New posts in metalogic

Has the Gödel sentence been explicitly produced?

logic meta-math metalogic

Formalizing the meta-language of First order Logic and studying it as a formal system

logic first-order-logic meta-math metalogic

$\to$ vs. $\vdash$ in logic

logic definition propositional-calculus metalogic

How are metalogic proofs valid?

logic meta-math metalogic

Valid form and true premises makes an argument sound, but do 'premises' mean P, Q, R,... or 'what comprises the antecedent'?

discrete-mathematics logic propositional-calculus boolean-algebra metalogic