Pub Date : 2024-09-18DOI: 10.1007/s11225-024-10138-w
José G. Alvim, Hugo L. Mariano, Caio de A. Mendes
This work mainly concerns the—here introduced—category of (mathscr {Q})-sets and functional morphisms, where (mathscr {Q}) is a commutative semicartesian quantale. We prove it enjoys all limits and colimits, that it has a classifier for regular subobjects (a sort of truth-values object), which we characterize and give explicitly. Moreover: we prove it to be (kappa )-locally presentable, (where (kappa =max{|mathscr {Q}|^+, aleph _0})); we also describe a hierarchy of monoidal structures in this category.
{"title":"Quantale Valued Sets: Categorical Constructions and Properties","authors":"José G. Alvim, Hugo L. Mariano, Caio de A. Mendes","doi":"10.1007/s11225-024-10138-w","DOIUrl":"https://doi.org/10.1007/s11225-024-10138-w","url":null,"abstract":"<p>This work mainly concerns the—here introduced—category of <span>(mathscr {Q})</span>-sets and functional morphisms, where <span>(mathscr {Q})</span> is a commutative semicartesian quantale. We prove it enjoys all limits and colimits, that it has a classifier for regular subobjects (a sort of truth-values object), which we characterize and give explicitly. Moreover: we prove it to be <span>(kappa )</span>-locally presentable, (where <span>(kappa =max{|mathscr {Q}|^+, aleph _0})</span>); we also describe a hierarchy of monoidal structures in this category.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"7 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142252674","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-18DOI: 10.1007/s11225-024-10150-0
Heng Zhou, Yongjun Wang, Baoshan Wang, Jian Yan
We employ topos quantum theory as a mathematical framework for quantum logic, combining the strengths of two distinct intuitionistic quantum logics proposed by Döring and Coecke respectively. This results in a novel intuitionistic quantum logic that can capture contextuality, express the physical meaning of superposition phenomenon in quantum systems, and handle both measurement and evolution as dynamic operations. We emphasize that superposition is a relative concept dependent on contextuality. Our intention is to find a model from the perspective of quantum theory that accommodates semantic paradoxes. We refine Aerts et al.’s interpretation of the liar paradox using models from quantum mechanics and present a model based on quantum theory, incorporating contextuality and superposition to interpret semantic paradoxes. We associate the truth values of statements in semantic paradoxes with quantum states in a given context, interpreting statements with unclear truth value assignments as superposition states within the current context. Dynamic operations are employed to distinguish the truth value assignments of statements among different times. Unlike the classic interpretation of paradoxes, we accept the reasonable existence of semantic paradoxes and point out the difference between paradoxes and contradictions.
{"title":"Quantum Interpretation of Semantic Paradox: Contextuality and Superposition","authors":"Heng Zhou, Yongjun Wang, Baoshan Wang, Jian Yan","doi":"10.1007/s11225-024-10150-0","DOIUrl":"https://doi.org/10.1007/s11225-024-10150-0","url":null,"abstract":"<p>We employ topos quantum theory as a mathematical framework for quantum logic, combining the strengths of two distinct intuitionistic quantum logics proposed by Döring and Coecke respectively. This results in a novel intuitionistic quantum logic that can capture contextuality, express the physical meaning of superposition phenomenon in quantum systems, and handle both measurement and evolution as dynamic operations. We emphasize that superposition is a relative concept dependent on contextuality. Our intention is to find a model from the perspective of quantum theory that accommodates semantic paradoxes. We refine Aerts et al.’s interpretation of the liar paradox using models from quantum mechanics and present a model based on quantum theory, incorporating contextuality and superposition to interpret semantic paradoxes. We associate the truth values of statements in semantic paradoxes with quantum states in a given context, interpreting statements with unclear truth value assignments as superposition states within the current context. Dynamic operations are employed to distinguish the truth value assignments of statements among different times. Unlike the classic interpretation of paradoxes, we accept the reasonable existence of semantic paradoxes and point out the difference between paradoxes and contradictions.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"187 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142252673","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-13DOI: 10.1007/s11225-024-10147-9
Francesco Paoli, Gavin St. John
This is the Editorial Introduction to “S.I.: Strong and Weak Kleene Logics”.
这是《S.I.:强克莱因逻辑与弱克莱因逻辑》的编辑导言。
{"title":"Editorial Introduction","authors":"Francesco Paoli, Gavin St. John","doi":"10.1007/s11225-024-10147-9","DOIUrl":"https://doi.org/10.1007/s11225-024-10147-9","url":null,"abstract":"<p>This is the Editorial Introduction to “S.I.: Strong and Weak Kleene Logics”.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"27 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142201586","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-02DOI: 10.1007/s11225-024-10146-w
Alex Belikov, Evgeny Loginov
In his seminal paper ‘Truth’, M. Dummett considered negated conditional statements as one of the main motivations for introducing a three-valued logical framework. He left a sketch of an implication connective that, as we observe, shares some intuitions with Wansing-style account for connexivity. In this article, we discuss Dummett’s ‘unfinished’ implication and suggest two possible reconstructions of it. One of them collapses into implication from W. Cooper’s ‘Logic of Ordinary Discourse’ (textbf{OL}) and J. Cantwell’s ‘Logic of Conditional Negation’ (textbf{CN}), whereas the other turns out to be previously unknown implication connective and can be used to obtain a novel logical system, entitled here as (textbf{cRM}_textbf{3}). As to the technical results, we introduce a sound and complete axiomatic proof-system for (textbf{cRM}_textbf{3}) and present a theorem for the semantic embedding of (textbf{CN}) into (textbf{cRM}_textbf{3}).
杜梅特(M. Dummett)在其开创性论文《真理》中,将否定条件语句视为引入三值逻辑框架的主要动机之一。他留下了一个蕴涵连接词的草图,正如我们所观察到的,这个蕴涵连接词与万辛式的连接性解释有一些相同的直觉。在本文中,我们将讨论杜梅特的 "未完成 "蕴涵,并提出两种可能的重建方案。其中一个可以从库珀(W. Cooper)的 "普通话语逻辑学"(Logic of Ordinary Discourse)和坎特韦尔(J. Cantwell)的 "条件否定逻辑学"(Logic of Conditional Negation)中折叠成蕴涵,而另一个则是以前未知的蕴涵连接词,可以用来得到一个新的逻辑体系,本文称之为(textbf{cRM}_textbf{3})。在技术成果方面,我们为(textbf{cRM}_textbf{3})引入了一个健全而完整的公理证明系统,并提出了一个将(textbf{CN})语义嵌入(textbf{cRM}_textbf{3})的定理。
{"title":"Dummett’s Theory of Truth as a Source of Connexivity","authors":"Alex Belikov, Evgeny Loginov","doi":"10.1007/s11225-024-10146-w","DOIUrl":"https://doi.org/10.1007/s11225-024-10146-w","url":null,"abstract":"<p>In his seminal paper ‘Truth’, M. Dummett considered negated conditional statements as one of the main motivations for introducing a three-valued logical framework. He left a sketch of an implication connective that, as we observe, shares some intuitions with Wansing-style account for connexivity. In this article, we discuss Dummett’s ‘unfinished’ implication and suggest two possible reconstructions of it. One of them collapses into implication from W. Cooper’s ‘Logic of Ordinary Discourse’ <span>(textbf{OL})</span> and J. Cantwell’s ‘Logic of Conditional Negation’ <span>(textbf{CN})</span>, whereas the other turns out to be previously unknown implication connective and can be used to obtain a novel logical system, entitled here as <span>(textbf{cRM}_textbf{3})</span>. As to the technical results, we introduce a sound and complete axiomatic proof-system for <span>(textbf{cRM}_textbf{3})</span> and present a theorem for the semantic embedding of <span>(textbf{CN})</span> into <span>(textbf{cRM}_textbf{3})</span>.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"20 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142201588","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-31DOI: 10.1007/s11225-024-10119-z
Rustam Galimullin, Fernando R. Velázquez-Quesada
Communication within groups of agents has been lately the focus of research in dynamic epistemic logic. This paper studies a recently introduced form of partial (more precisely, topic-based) communication. This type of communication allows for modelling scenarios of multi-agent collaboration and negotiation, and it is particularly well-suited for situations in which sharing all information is not feasible/advisable. The paper can be divided into two parts. In the first part, we present results on invariance and complexity of model checking. Moreover, we compare partial communication with the public announcement and arrow update settings in terms of both language-expressivity and update-expressivity. Regarding the former, the three settings are equivalent, their languages being equally expressive. Regarding the latter, all three modes of communication are incomparable in terms of update-expressivity. In the second part, we shift our attention to strategic topic-based communication. We do so by extending the language with a modality that quantifies over the topics the agents can ‘talk about’, thus allowing a form of arbitrary partial communication. For this new framework, we provide a complete axiomatisation, showing also that the new language’s model checking problem is PSPACE-complete. Finally, we argue that, in terms of expressivity, this new language of arbitrary partial communication is incomparable to that of arbitrary public announcements and also to that of arbitrary arrow updates.
{"title":"Topic-Based Communication Between Agents","authors":"Rustam Galimullin, Fernando R. Velázquez-Quesada","doi":"10.1007/s11225-024-10119-z","DOIUrl":"https://doi.org/10.1007/s11225-024-10119-z","url":null,"abstract":"<p>Communication within groups of agents has been lately the focus of research in dynamic epistemic logic. This paper studies a recently introduced form of <i>partial</i> (more precisely, <i>topic-based</i>) <i>communication</i>. This type of communication allows for modelling scenarios of multi-agent collaboration and negotiation, and it is particularly well-suited for situations in which sharing all information is not feasible/advisable. The paper can be divided into two parts. In the first part, we present results on invariance and complexity of model checking. Moreover, we compare partial communication with the public announcement and arrow update settings in terms of both language-expressivity and update-expressivity. Regarding the former, the three settings are equivalent, their languages being equally expressive. Regarding the latter, all three modes of communication are incomparable in terms of update-expressivity. In the second part, we shift our attention to <i>strategic</i> topic-based communication. We do so by extending the language with a modality that quantifies over the topics the agents can ‘talk about’, thus allowing a form of <i>arbitrary partial communication</i>. For this new framework, we provide a complete axiomatisation, showing also that the new language’s model checking problem is <i>PSPACE</i>-complete. Finally, we argue that, in terms of expressivity, this new language of arbitrary partial communication is incomparable to that of arbitrary public announcements and also to that of arbitrary arrow updates.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"31 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-08-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142201585","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-27DOI: 10.1007/s11225-024-10142-0
Alexander De Klerck, Lorenz Demey
Aristotelian diagrams, such as the square of opposition and other, more complex diagrams, have a long history in philosophical logic. Alpha-structures and ladders are two specific kinds of Aristotelian diagrams, which are often studied together because of their close interactions. The present paper builds upon this research line, by reformulating and investigating alpha-structures and ladders in the contemporary setting of logical geometry, a mathematically sophisticated framework for studying Aristotelian diagrams. In particular, this framework allows us to formulate well-defined functions that construct alpha-structures and ladders out of each other. In order to achieve this, we point out the crucial importance of imposing an ordering on the elements in the diagrams involved, and thus formulate all our results in terms of ordered versions of alpha-structures and ladders. These results shed interesting new light on the prospects of developing a systematic classification of Aristotelian diagrams, which is one of the main ongoing research efforts within logical geometry today.
{"title":"Alpha-Structures and Ladders in Logical Geometry","authors":"Alexander De Klerck, Lorenz Demey","doi":"10.1007/s11225-024-10142-0","DOIUrl":"https://doi.org/10.1007/s11225-024-10142-0","url":null,"abstract":"<p>Aristotelian diagrams, such as the square of opposition and other, more complex diagrams, have a long history in philosophical logic. Alpha-structures and ladders are two specific kinds of Aristotelian diagrams, which are often studied together because of their close interactions. The present paper builds upon this research line, by reformulating and investigating alpha-structures and ladders in the contemporary setting of logical geometry, a mathematically sophisticated framework for studying Aristotelian diagrams. In particular, this framework allows us to formulate well-defined functions that construct alpha-structures and ladders out of each other. In order to achieve this, we point out the crucial importance of imposing an ordering on the elements in the diagrams involved, and thus formulate all our results in terms of ordered versions of alpha-structures and ladders. These results shed interesting new light on the prospects of developing a systematic classification of Aristotelian diagrams, which is one of the main ongoing research efforts within logical geometry today.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"70 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142201595","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-20DOI: 10.1007/s11225-024-10136-y
Claudia Mureşan
Arising in the study of Quantum Logics, PBZ(^{*})-lattices are the paraorthomodular Brouwer–Zadeh lattices in which the pairs of elements with their Kleene complements satisfy the Strong De Morgan condition with respect to the Brouwer complement. They form a variety (mathbb {PBZL}^{*}) which includes that of orthomodular lattices considered with an extended signature (by endowing them with a Brouwer complement coinciding with their Kleene complement), as well as antiortholattices (whose Brouwer complements are trivial). The former turn out to have directly irreducible lattice reducts and, under distributivity, no nontrivial elements with bounded lattice complements, since the elements with bounded lattice complements coincide to the sharp elements in distributive PBZ(^{*})-lattices. The variety (mathbb {DIST}) of distributive PBZ(^{*})-lattices has an infinite ascending chain of subvarieties, and the variety generated by orthomodular lattices and antiortholattices has an infinity of pairwise disjoint infinite ascending chains of subvarieties.
{"title":"Distributive PBZ $$^{*}$$ -lattices","authors":"Claudia Mureşan","doi":"10.1007/s11225-024-10136-y","DOIUrl":"https://doi.org/10.1007/s11225-024-10136-y","url":null,"abstract":"<p>Arising in the study of Quantum Logics, PBZ<span>(^{*})</span>-<i>lattices</i> are the paraorthomodular Brouwer–Zadeh lattices in which the pairs of elements with their Kleene complements satisfy the Strong De Morgan condition with respect to the Brouwer complement. They form a variety <span>(mathbb {PBZL}^{*})</span> which includes that of orthomodular lattices considered with an extended signature (by endowing them with a Brouwer complement coinciding with their Kleene complement), as well as antiortholattices (whose Brouwer complements are trivial). The former turn out to have directly irreducible lattice reducts and, under distributivity, no nontrivial elements with bounded lattice complements, since the elements with bounded lattice complements coincide to the sharp elements in distributive PBZ<span>(^{*})</span>-lattices. The variety <span>(mathbb {DIST})</span> of distributive PBZ<span>(^{*})</span>-lattices has an infinite ascending chain of subvarieties, and the variety generated by orthomodular lattices and antiortholattices has an infinity of pairwise disjoint infinite ascending chains of subvarieties.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"2 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-08-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142225876","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-20DOI: 10.1007/s11225-024-10140-2
Yannis Stephanou
If we wish to formulate an axiomatic truth-theory interpreting a modal language and treat the symbol of necessity as a sentential operator and not as a quantifier over possible worlds, there arise various problems. These are due partly to the fact that words could have meant something other than what they actually mean and partly to certain principles of modal metaphysics. One of those principles is existentialism about propositions: a proposition that is expressed in a sentence containing a non-empty name could not exist if the referent of the name did not exist. The paper explains how the problems arise. It also explains how we can avoid them using substitutional quantification in the metalanguage. The truth-theory we can construct in that way is compositional and homophonic, and its theorems interpreting the various sentences of the modal language are derived in a straightforward way. The paper develops one such theory for a propositional modal language and one for a first-order modal language. The first-order case involves a number of intricacies that are discussed.
{"title":"Substitutional Quantification in Truth-Theories for Modal Languages","authors":"Yannis Stephanou","doi":"10.1007/s11225-024-10140-2","DOIUrl":"https://doi.org/10.1007/s11225-024-10140-2","url":null,"abstract":"<p>If we wish to formulate an axiomatic truth-theory interpreting a modal language and treat the symbol of necessity as a sentential operator and not as a quantifier over possible worlds, there arise various problems. These are due partly to the fact that words could have meant something other than what they actually mean and partly to certain principles of modal metaphysics. One of those principles is existentialism about propositions: a proposition that is expressed in a sentence containing a non-empty name could not exist if the referent of the name did not exist. The paper explains how the problems arise. It also explains how we can avoid them using substitutional quantification in the metalanguage. The truth-theory we can construct in that way is compositional and homophonic, and its theorems interpreting the various sentences of the modal language are derived in a straightforward way. The paper develops one such theory for a propositional modal language and one for a first-order modal language. The first-order case involves a number of intricacies that are discussed.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"4 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-08-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142201587","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-12DOI: 10.1007/s11225-024-10125-1
Hajnal Andréka, Zalán Gyenis, István Németi, Ildikó Sain
A logic family is a bunch of logics that belong together in some way. First-order logic is one of the examples. Logics organized into a structure occur in abstract model theory, institution theory and in algebraic logic. Logic families play a role in adopting methods for investigating sentential logics to first-order like logics. We thoroughly discuss the notion of logic families as defined in the recent Universal Algebraic Logic book.
{"title":"Logic Families","authors":"Hajnal Andréka, Zalán Gyenis, István Németi, Ildikó Sain","doi":"10.1007/s11225-024-10125-1","DOIUrl":"https://doi.org/10.1007/s11225-024-10125-1","url":null,"abstract":"<p>A logic family is a bunch of logics that belong together in some way. First-order logic is one of the examples. Logics organized into a structure occur in abstract model theory, institution theory and in algebraic logic. Logic families play a role in adopting methods for investigating sentential logics to first-order like logics. We thoroughly discuss the notion of logic families as defined in the recent Universal Algebraic Logic book.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"2 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-08-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141932370","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-08-12DOI: 10.1007/s11225-024-10137-x
Takahiro Yamada
A classical reconstruction of Wright’s first-order logic of strict finitism is presented. Strict finitism is a constructive standpoint of mathematics that is more restrictive than intuitionism. Wright sketched the semantics of said logic in Wright (Realism, Meaning and Truth, chap 4, 2nd edition in 1993. Blackwell Publishers, Oxford, Cambridge, pp.107–75, 1982), in his strict finitistic metatheory. Yamada (J Philos Log. https://doi.org/10.1007/s10992-022-09698-w, 2023) proposed, as its classical reconstruction, a propositional logic of strict finitism under an auxiliary condition that makes the logic correspond with intuitionistic propositional logic. In this paper, we extend the propositional logic to a first-order logic that does not assume the condition. We will provide a sound and complete pair of a Kripke-style semantics and a natural deduction system, and show that if the condition is imposed, then the logic exhibits natural extensions of Yamada (2023)’s results.
{"title":"Wright’s First-Order Logic of Strict Finitism","authors":"Takahiro Yamada","doi":"10.1007/s11225-024-10137-x","DOIUrl":"https://doi.org/10.1007/s11225-024-10137-x","url":null,"abstract":"<p>A classical reconstruction of Wright’s first-order logic of strict finitism is presented. Strict finitism is a constructive standpoint of mathematics that is more restrictive than intuitionism. Wright sketched the semantics of said logic in Wright (Realism, Meaning and Truth, chap 4, 2nd edition in 1993. Blackwell Publishers, Oxford, Cambridge, pp.107–75, 1982), in his strict finitistic metatheory. Yamada (J Philos Log. https://doi.org/10.1007/s10992-022-09698-w, 2023) proposed, as its classical reconstruction, a propositional logic of strict finitism under an auxiliary condition that makes the logic correspond with intuitionistic propositional logic. In this paper, we extend the propositional logic to a first-order logic that does not assume the condition. We will provide a sound and complete pair of a Kripke-style semantics and a natural deduction system, and show that if the condition is imposed, then the logic exhibits natural extensions of Yamada (2023)’s results.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"32 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-08-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141932371","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}