New posts in logic

Functional completeness - Proving $\nLeftrightarrow$ is functionally complete

logic boolean-algebra

I can't quick punch-in / how do I start recording audio while playing in logic?

macos mojave logic

Really confused about the relationship between set theory, functions, ZFC, Peano axioms, etc.

logic set-theory definition foundations peano-axioms

When do free variables occur? Why allow them? What is the intuition behind them?

logic predicate-logic first-order-logic

Ultrafinitism and the denial of existence of $\lfloor e^{e^{e^{79}}} \rfloor$

logic computational-complexity philosophy finitism ultrafinitism

Is Hilbert's second problem about the real numbers or the natural numbers?

logic math-history

Who first explicitly noted that second-order logic is unaxiomatizable?

logic math-history

Substitution in sequent calculus vs substitution in lambda calculus

logic formal-languages substitution lambda-calculus sequent-calculus

Construction of Ultrafilters

logic set-theory model-theory

Jech's Set Theory logic prerequisites

reference-request logic set-theory

What is the difference between intuitionistic, classical, modal and linear logic?

logic type-theory modal-logic intuitionistic-logic linear-logic

A word for when two statements are both true or both false

single-word-requests programming logic

$\wedge,\cap$ and $\vee,\cup$ between Logic and Set Theory always interchangeable?

soft-question logic elementary-set-theory intuition

Urns with marbles and gems

logic

Logic puzzle inspired by “Blue Eyes”

logic puzzle natural-deduction

Understanding the meaning of $\forall,\exists$ rules in sequent calculus.

logic first-order-logic quantifiers proof-theory sequent-calculus

What is the $\tau$ symbol in the Bourbaki text?

logic notation

what does it mean that constructible universe is definable from ordinals?

logic set-theory model-theory ordinals

Does ZFC prove a sentence in the language of arithmetic that PA+Con(ZFC) cannot prove?

logic set-theory peano-axioms

What are the rules for the use of dots rather than parentheses in logical formulae?

logic propositional-calculus predicate-logic logic-translation