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 条

[31] ARISTOTLE PROPOSITIONAL LOGIC
SLATER, BH
PHILOSOPHICAL STUDIES, 1979, 36 (01) : 35 - 49
[32] A Propositional Plausible Logic
Billington, David
AI 2015: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2015, 9457 : 76 - 82
[33] Nonmonotonic propositional logic
Wei LI
Yuefei SUI
Yuhui WANG
Frontiers of Computer Science, 2021, (03) : 105 - 106
[34] Nonmonotonic propositional logic
Wei Li
Yuefei Sui
Yuhui Wang
Frontiers of Computer Science, 2021, 15
[35] Propositional structure and truth conditions
McGlone, Michael
PHILOSOPHICAL STUDIES, 2012, 157 (02) : 211 - 225
[36] Propositional logic of essence
Correia, F
JOURNAL OF PHILOSOPHICAL LOGIC, 2000, 29 (03) : 295 - 313
[37] The Axiomatization of Propositional Logic
Giero, Mariusz
FORMALIZED MATHEMATICS, 2016, 24 (04): : 281 - 290
[38] Propositional Logic of Essence
Fabrice Correia
Journal of Philosophical Logic, 2000, 29 : 295 - 313
[39] The Porretani on truth and propositional meaning
Donato, Enrico
BRITISH JOURNAL FOR THE HISTORY OF PHILOSOPHY, 2024, 32 (01) : 45 - 64
[40] An organic jelly made fractal logic gate with an infinite truth table
Subrata Ghosh
Daisuke Fujita
Anirban Bandyopadhyay
Scientific Reports, 5

← 1 2 3 4 5 →