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...
| Publicado en: | Teorema Vol. 42; no. 1; pp. 123 - 148 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Teorema
2023
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| Sumario: | 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. Desarrollando una sugerencia de Wittgenstein, ofrezco una explicación de las tablas de verdad como fórmulas de un lenguaje formal. Defino la sintaxis y la semántica de TPL (el lenguaje de la lógica proposicional tabular) y desarrollo su teoría de la demostración. Las fórmulas individuales de TPL y los grupos finitos de fórmulas con la misma fila superior y matriz TF (representación de posibles valoraciones) pueden servir como sus propias pruebas con respecto a las propiedades metalógicas de interés. Sin embargo, la situación es diferente para los grupos de fórmulas cuyas filas superiores difieren. |
|---|