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 |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=163898912&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 163898912 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 02101602 IHG jtl: Teorema issn: 02101602 maglogo: N pubinfo: dt: 2023 vid: 42 iid: 1 pid: 20677 pub: Teorema artinfo: ui: 163898912 ppf: 123 ppct: 25 formats: fmt: @attributes: type: P size: 2.5MB tig: atl: The Truth Table Formulation of Propositional Logic. aug: au: Haze, Tristan Grøtvedt affil: Faulty of Arts, The University of Melbourne, Room 659, Level 6 North Wing, Building 148, Arts West, Victoria 3010, Australia su: Truth tables (Mathematical logic) Wittgenstein, Ludwig, 1889-1951 Proposition (Logic) Semantics Proof theory Symbolism Finite groups Logic Formal languages Intellect sug: subj: Truth tables (Mathematical logic) Wittgenstein, Ludwig, 1889-1951 Proposition (Logic) Semantics Proof theory Symbolism Finite groups Logic Formal languages Intellect keyword: demostración formal filosofía de la lógica Formal Proof lógica proposicional notación Notation Philosophy of Logic Propositional Logic simbolismo tablas de verdad Truth Tables demostración formal filosofía de la lógica lógica proposicional notación simbolismo tablas de verdad ab: 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. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Copyright of Teorema is the property of Teorema and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. item: Teorema holder: Teorema dt: @attributes: year: 2023 holdings: @attributes: islocal: N |
|---|