On Jaśkowski's discussive logics
type: Item
instance of: scholarly article
title: On Jaśkowski's discussive logics
zbMATH Open document ID: 0818.03012
DOI: 10.1007/BF01058531
published in: Studia Logica
publication date: 1995-02-22T00:00:00Z
review text: `Discussive logics' are apparently extensions of classical propositional or predicate systems which are `inconsistent' in the sense that \(\alpha\) or \(\neg \alpha\) may be included in a theory, yet are not `trivial' in the sense that the theory coincides with the set of all logical formulae. This paper seeks to show that such logics provide a proper foundation for the axiomatization of physics. The authors claim `it is the purpose of this paper to lay those foundations; we leave their consequences to physics to a future paper'. `Laying the foundations' consists in presenting the well-known modal calculus S5 along with Kripke semantics, axiomatization and some completeness results, then developing the extension S5Q\(^ =\) which is `S5 with quantification and necessary equality'. Next `discussive' analogues of these systems are presented, called \(J\) and \(J^*\) with corresponding axiomatizations, `Kripke type' semantics and model- theoretic results. At the end of the paper a formal theory of `pragmatic truth' is sketched founded on the notion of a `simple pragmatic structure', or sps, \(\langle A_ 1, A_ 2, R_ i, R_ j, P\rangle\) where \(A_ 1\) is a set of `real objects (e.g. vapour trajectories,\dots spectral lines\dots)', \(A_ 2\) is a set of ideal objects `(e.g. quarks or wave functions\dots)', \(R_ i\) are relations over \(A_ 1\) and \(R_ j\) relations over \(A_ 1\cup A_ 2\) and \(P\) are `true decidable propositions' and `general sentences that express laws or theories already accepted as true'. A kind of Kripke semantics founded on these structures is supposed to furnish an appropriate sense of `pragmatic truth' for the axiomatization of physics. After the rather laboured `laying out' of the logic, this comes at breathtaking speed, lacking detail (e.g. of the conditions defining \(P\)) and with no results yet to suggest a fruitful application to quantum mechanics. The paper ends with discussion of Dalla Chiara's similar formalism.
Mathematics Subject Classification ID: 03B53
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B80
Mathematics Subject Classification ID: 03B30
zbMATH DE Number: 724128
zbMATH Keywords: paraconsistent logic
zbMATH Keywords: discussive logic
zbMATH Keywords: modal logic
zbMATH Keywords: S5 with quantification and necessary equality
zbMATH Keywords: pragmatic truth
zbMATH Keywords: foundation for the axiomatization of physics
zbMATH Keywords: Kripke semantics
author: N. C. A. da Costa
author: Francisco Antonio Doria
MaRDI profile type: Publication
cites work: Q3861360
cites work: Q3469089
cites work: Q4071731
cites work: Q5202170
cites work: Q3983431
cites work: Undecidability and incompleteness in classical mechanics
cites work: Q4395540
cites work: Q4883232
cites work: A Suppes predicate for general relativity and set-theoretically generic spacetimes
cites work: Q4132492
cites work: Q3758803
cites work: Remarks on discussive propositional calculus
cites work: On the definition of ‘formal deduction’
cites work: Q5604443
cites work: Propositional calculus for contradictory deductive systems
cites work: On the algebra of classes of formulae of Jaskowski's discussive system
cites work: The axiomatization of S. Jaskowski's discussive system
cites work: Discussive sentential calculuc of Jaskowski
cites work: Pragmatic truth and approximation to truth
cites work: Q5797033
cites work: Q3731564
cites work: Q5537599
description: scientific article; zbMATH DE number 724128