We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
The Truth Table Formulation of Propositional Logic.
- Authors
Haze, Tristan Grøtvedt
- Abstract
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 row and TF matrix (depiction of possible valuations), are able to serve as their own proofs with respect to metalogical properties of interest. The situation is different, however, for groups of formulas whose top rows differ.
- Subjects
TRUTH tables (Mathematical logic); SEMANTICS; SYMBOLISM; LOGIC; INTELLECT
- Publication
Teorema, 2023, Vol 42, Issue 1, p123
- ISSN
0210-1602
- Publication type
Article