The Truth Table Formulation of Propositional Logic

被引：0

作者：

Haze, Tristan Grotvedt ^{[1
]}

机构：

[1] Univ Melbourne, Faulty Arts, Room 659,Level 6 North Wing,Bldg 148,Arts West, Victoria 3010, Australia

来源：

TEOREMA | 2023年 / 42卷 / 01期

关键词：

Propositional Logic; Truth Tables; Philosophy of Logic; Symbolism; Notation; Formal Proof;

D O I：

暂无

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

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.

引用

页码：123 / 147

页数：25

共 50 条

[1] A TRUTH-FUNCTIONAL FORMALIZATION OF THE LOGIC OF PROPOSITIONAL ATTITUDES
RIEMENSCHNEIDER, RA
JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (03) : 681 - 681
[2] Truth Diagrams Versus Extant Notations for Propositional Logic
Cheng, Peter C-H
JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2020, 29 (02) : 121 - 161
[3] Truth Diagrams Versus Extant Notations for Propositional Logic
Peter C.-H. Cheng
Journal of Logic, Language and Information, 2020, 29 : 121 - 161
[4] Theory of integral truth degrees of formula in SMTL propositional logic
Li, Jun
Yao, Jin-Tao
Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2013, 41 (05): : 878 - 883
[5] Resolution method of linguistic truth-valued propositional logic
Zou, L
Liu, X
Xu, Y
PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON NEURAL NETWORKS AND BRAIN, VOLS 1-3, 2005, : 1996 - 1999
[6] Propositional Logic as a Propositional Fuzzy Logic
Callejas Bedregal, Benjamin Rene
Cruz, Anderson Paiva
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 143 : 5 - 12
[7] Lattice-Valued Truth Degree in Lukasiewicz Propositional Fuzzy Logic
Zhang, Dong-xiao
QUANTITATIVE LOGIC AND SOFT COMPUTING 2010, VOL 2, 2010, 82 : 331 - 337
[8] Weak completeness of resolution in a linguistic truth-valued propositional logic
Xu, Yang
Chen, Shuwei
Liu, Jun
Ruan, Da
THEORETICAL ADVANCES AND APPLICATIONS OF FUZZY LOGIC AND SOFT COMPUTING, 2007, 42 : 358 - +
[9] TRUTH-TABLE VERIFICATION OF AN ITERATIVE LOGIC ARRAY
DIAS, FJO
IEEE TRANSACTIONS ON COMPUTERS, 1976, 25 (06) : 605 - 613
[10] Linguistic truth-valued intuitionistic fuzzy propositional logic based on LIA
Zou, Li
Wu, Shuiting
Wu, Zhengjiang
Xu, Yang
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND KNOWLEDGE ENGINEERING (ISKE 2007), 2007,

← 1 2 3 4 5 →