The Truth Table Formulation of Propositional Logic.

Developing a suggestion of Wittgenstein, I provide an account of truth tables as formulas of a formal language. I define the syntax and semantics of TPL (the language of Tabular Propositional Logic) and develop its proof theory. Single formulas of TPL, and finite groups of formulas with the same top...

Descripción completa

Detalles Bibliográficos

Publicado en:	Teorema Vol. 42; no. 1; pp. 123 - 148
Autor principal:	Haze, Tristan Grøtvedt
Formato:	Artículo
Publicado:	Teorema 2023
Materias:	Truth tables (Mathematical logic) Wittgenstein, Ludwig, 1889-1951 Proposition (Logic) Semantics Proof theory Symbolism Finite groups Logic Formal languages Intellect
Acceso en línea:	Ver este registro en EBSCOhost