Syntax vs semantics in logic and metalogic
35272
Why are $\vdash$ and $\vDash$ symbols from metalanguage?
147947
Does double negation distribute over implication intuitionistically?
66690
Preparing for metric dominance: alternatives to idioms using imperial units
9968
First-order logic advantage over second-order logic
129230
Use of prepositions in strings of conjunctions
44655
Modal verbs in reported speech
113640
Why is there this strange contradiction between the language of logic and that of set theory?
145388
Structural Induction: Metalogic Proof
25201
Conjunction "or" and the plural rule
21837
A natural-language format for time and date
30481
How to avoid perceived circularity when defining a formal language?
78396
Logical Operators, || or OR?
96203
How does negation affect the use and understanding of "or" and "and"
18462
Transitivity check vs. Transitive Closure
42990
Adjectives versus Noun Adjuncts
103342
Why should we care about syntactic proofs if we can show semantically that statements are true?
71670
Predicates and Quantifiers?