What is a logical theory? On theories containing assertions and denials. (English) Zbl 1525.03054
Summary: The standard notion of formal theory, in logic, is in general biased exclusively towards assertion: it commonly refers only to collections of assertions that any agent who accepts the generating axioms of the theory should also be committed to accept. In reviewing the main abstract approaches to the study of logical consequence, we point out why this notion of theory is unsatisfactory at multiple levels, and introduce a novel notion of theory that attacks the shortcomings of the received notion by allowing one to take both assertions and denials on a par. This novel notion of theory is based on a bilateralist approach to consequence operators, which we hereby introduce, and whose main properties we investigate in the present paper.
MSC:
| 03B22 | Abstract deductive systems |
References:
| [1] | Badia, G.; Marcos, J., On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions, Algebra Universalis, 79, 2, 41 (2018) · Zbl 1522.03103 · doi:10.1007/s00012-018-0522-z |
| [2] | Blasio, C.; Marcos, J.; Wansing, H., An inferentially many-valued two-dimensional notion of entailment, Bulletin of the Section of Logic, 46, 233-262 (2017) · Zbl 1423.03068 · doi:10.18778/0138-0680.46.3.4.05 |
| [3] | Carnap, R., Formalization of logic (1943), Cambridge: Harvard, Cambridge · Zbl 0061.00709 |
| [4] | Chang, CC; Keisler, HJ, Model theory. Studies in logic and the foundations of mathematics (1973), New York: North-Holland, New York · Zbl 0276.02032 |
| [5] | Curry, H., Foundations of mathematical logic (1963), New York: McGraw-Hill, New York · Zbl 0163.24209 |
| [6] | Czelakowski, J., Some theorems on structural entailment relations, Studia Logica, 42, 4, 417-429 (1983) · Zbl 0547.03014 · doi:10.1007/BF01371630 |
| [7] | Dunn, JM; Hardegree, GM, Algebraic methods in philosophical logic (2001), Oxford: Clarendon Press, Oxford · Zbl 1014.03002 |
| [8] | Gabbay, DM, Semantic investigations in Heyting’s intuitionistic logic. Synthese library (1981), Berlin: Springer, Berlin · Zbl 0453.03001 · doi:10.1007/978-94-017-2977-2 |
| [9] | Hilbert, D., Über den Zahlbegriff, Jahresbericht der Deutschen Mathematiker-Vereiningung, 8, 180-184 (1900) · JFM 31.0165.02 |
| [10] | Humberstone, L., The connectives (2011), Cambridge: MIT Press, Cambridge · Zbl 1242.03002 · doi:10.7551/mitpress/9055.001.0001 |
| [11] | Humberstone, L.; Béziau, J-Y, Dana Scott’s work with generalized consequence relations, Universal logic: An anthology, 263-279 (2012), Basel: Birkhäuser, Basel · Zbl 1295.03008 · doi:10.1007/978-3-0346-0145-0_23 |
| [12] | Łos, J.; Suszko, R., Remarks on sentential logics, Indagationes Mathematicae, 20, 177-183 (1958) · Zbl 0092.24802 · doi:10.1016/S1385-7258(58)50024-9 |
| [13] | Marcelino, S., & Caleiro, C. Axiomatizing non-deterministic many-valued generalized consequence relations. Synthese. doi:10.1007/s11229-019-02142-8. · Zbl 1496.03118 |
| [14] | Marcos, J.; Béziau, J-Y, Ineffable inconsistencies, Handbook of paraconsistency. Studies in logic, 301-311 (2007), London: College Publications, London · Zbl 1230.03056 |
| [15] | Martin, NM; Pollard, S., Closure spaces and logic (1996), Dordrecht: Kluwer, Dordrecht · Zbl 0855.54001 · doi:10.1007/978-1-4757-2506-3 |
| [16] | Morgan, CG, Sentential calculus for logical falsehoods, Notre Dame Journal of Formal Logic, XIV, 3, 347-353 (1973) · Zbl 0198.01301 |
| [17] | Segerberg, K., Classical propositional operators: An exercise in the foundations of logic (1982), Oxford: Oxford University Press, Oxford · Zbl 0491.03003 |
| [18] | Scott, D. (1974). Completeness and axiomatizability in many-valued logic. In Proceedings of the Tarski symposium (Vol. 25, pp. 411-436). Providence: American Mathematical Society. · Zbl 0318.02021 |
| [19] | Shoesmith, DJ; Smiley, TJ, Multiple-conclusion logic (1978), Cambridge: Cambridge University Press, Cambridge · Zbl 0381.03001 · doi:10.1017/CBO9780511565687 |
| [20] | Tarski, A., Über einige fundamentale Begriffe der Metamathematik, Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie, 23, 22-29 (1930) · JFM 57.1318.03 |
| [21] | Tarski, A. (1936). Über den Begriff der logischen Folgerung. In Actes du Congrès International de Philosophie Scientifique (Vol. 7, pp. 1-11). Paris. · JFM 62.1050.05 |
| [22] | Tarski, A. (1952). Some notions and methods on the borderline of algebra and metamathematics. In Proceedings of the international congress of mathematicians (Vol. I, pp. 705-719). American Mathematical Society. · Zbl 0049.00702 |
| [23] | Wójcicki, R., Theory of logical calculi. Synthese library (1998), Dordrecht: Kluwer, Dordrecht |
| [24] | Zygmunt, J., An essay in matrix semantics for consequence relations. Acta Universitatis Wratislaviensis (1984), Wrocław: U. Wrocław, Wrocław · Zbl 0559.03012 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
