首页 > 最新文献

Studia Logica最新文献

英文 中文
Categoricity Problem for LP and K3 LP 和 K3 的分类问题
IF 0.7 3区 数学 Q2 LOGIC Pub Date : 2024-05-03 DOI: 10.1007/s11225-024-10098-1
Selcuk Kaan Tabakci

Even though the strong relationship between proof-theoretic and model-theoretic notions in one’s logical theory can be shown by soundness and completeness proofs, whether we can define the model-theoretic notions by means of the inferences in a proof system is not at all trivial. For instance, provable inferences in a proof system of classical logic in the logical framework SET-FMLA do not determine its intended models as shown by Carnap (Formalization of logic, Harvard University Press, Cambridge, 1943), i.e., there are non-Boolean models that satisfy its provable inferences. In the literature, this is known as the Categoricity problem or Carnap’s problem. In this paper, we will discuss the Categoricity problem (or Carnap’s problem) for three-valued logics K3 and LP. We will provide three different restrictions on admissible models that will deliver us categoricity results, some of which draw from the solutions provided for the Categoricity problem for classical logic in Belnap and Massey (Stud Log 49(1):67–82, 1990) and Bonnay and Westerståhl (Erkenntis 81(4):721–739, 2016). We will then argue that two of those solutions are philosophically well-motivated: (1) restricting the admissible models where negation is interpreted as a Strong Kleene truth-function, and (2) restricting the admissible models where a complex formula is assigned the third value when its immediate subformulas are assigned the third value.

尽管逻辑理论中的证明论概念与模型论概念之间的紧密关系可以通过完备性和完备性证明来证明,但我们是否可以通过证明系统中的推论来定义模型论概念却并非易事。例如,在 SET-FMLA 的逻辑框架中,经典逻辑证明系统中的可证推论并不像卡尔纳普(《逻辑的形式化》,哈佛大学出版社,剑桥,1943 年)所证明的那样决定其预期模型,即存在满足其可证推论的非布尔模型。在文献中,这被称为分类问题或卡尔纳普问题。本文将讨论三值逻辑 K3 和 LP 的分类性问题(或卡纳普问题)。我们将对可接受模型提供三种不同的限制,这些限制将为我们提供分类结果,其中一些限制借鉴了贝尔纳普和梅西(Stud Log 49(1):67-82, 1990)以及博奈和韦斯特斯托尔(Erkenntis 81(4):721-739, 2016)中为经典逻辑的分类问题提供的解决方案。然后,我们将论证其中两个解决方案在哲学上是有充分动机的:(1)限制否定被解释为强克莱因真函数的可容许模型,以及(2)限制复式在其直接子公式被赋予第三值时被赋予第三值的可容许模型。
{"title":"Categoricity Problem for LP and K3","authors":"Selcuk Kaan Tabakci","doi":"10.1007/s11225-024-10098-1","DOIUrl":"https://doi.org/10.1007/s11225-024-10098-1","url":null,"abstract":"<p>Even though the strong relationship between proof-theoretic and model-theoretic notions in one’s logical theory can be shown by soundness and completeness proofs, whether we can <i>define</i> the model-theoretic notions by means of the inferences in a proof system is not at all trivial. For instance, provable inferences in a proof system of classical logic in the logical framework <span>SET-FMLA</span> do not determine its intended models as shown by Carnap (Formalization of logic, Harvard University Press, Cambridge, 1943), i.e., there are non-Boolean models that satisfy its provable inferences. In the literature, this is known as the <i>Categoricity problem</i> or <i>Carnap’s problem</i>. In this paper, we will discuss the Categoricity problem (or Carnap’s problem) for three-valued logics K3 and LP. We will provide three different restrictions on admissible models that will deliver us categoricity results, some of which draw from the solutions provided for the Categoricity problem for classical logic in Belnap and Massey (Stud Log 49(1):67–82, 1990) and Bonnay and Westerståhl (Erkenntis 81(4):721–739, 2016). We will then argue that two of those solutions are philosophically well-motivated: (1) restricting the admissible models where negation is interpreted as a Strong Kleene truth-function, and (2) restricting the admissible models where a complex formula is assigned the third value when its immediate subformulas are assigned the third value.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"18 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-05-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140882099","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}
引用次数: 0
Categorical Proof-theoretic Semantics 分类证明论语义学
IF 0.7 3区 数学 Q2 LOGIC Pub Date : 2024-05-03 DOI: 10.1007/s11225-024-10101-9
David Pym, Eike Ritter, Edmund Robinson

In proof-theoretic semantics, model-theoretic validity is replaced by proof-theoretic validity. Validity of formulae is defined inductively from a base giving the validity of atoms using inductive clauses derived from proof-theoretic rules. A key aim is to show completeness of the proof rules without any requirement for formal models. Establishing this for propositional intuitionistic logic raises some technical and conceptual issues. We relate Sandqvist’s (complete) base-extension semantics of intuitionistic propositional logic to categorical proof theory in presheaves, reconstructing categorically the soundness and completeness arguments, thereby demonstrating the naturality of Sandqvist’s constructions. This naturality includes Sandqvist’s treatment of disjunction that is based on its second-order or elimination-rule presentation. These constructions embody not just validity, but certain forms of objects of justifications. This analysis is taken a step further by showing that from the perspective of validity, Sandqvist’s semantics can also be viewed as the natural disjunction in a category of sheaves.

在证明论语义学中,模型论有效性被证明论有效性所取代。公式的有效性是通过证明理论规则中的归纳条款,从给出原子有效性的基础上归纳定义的。其主要目的是证明证明规则的完备性,而不需要任何形式模型。为命题直观逻辑建立这一点会引发一些技术和概念问题。我们将桑德奎斯特的直观命题逻辑(完备)基扩展语义学与预分支中的分类证明理论联系起来,分类地重建了完备性和完备性论证,从而证明了桑德奎斯特构造的自然性。这种自然性包括桑德奎斯特对析取的处理,而析取是基于其二阶或消去规则的呈现。这些构造不仅体现了有效性,而且体现了某些形式的理由对象。我们进一步分析表明,从有效性的角度来看,桑德奎斯特的语义学也可以被看作是剪子范畴中的自然析取。
{"title":"Categorical Proof-theoretic Semantics","authors":"David Pym, Eike Ritter, Edmund Robinson","doi":"10.1007/s11225-024-10101-9","DOIUrl":"https://doi.org/10.1007/s11225-024-10101-9","url":null,"abstract":"<p>In proof-theoretic semantics, model-theoretic validity is replaced by proof-theoretic validity. Validity of formulae is defined inductively from a base giving the validity of atoms using inductive clauses derived from proof-theoretic rules. A key aim is to show completeness of the proof rules without any requirement for formal models. Establishing this for propositional intuitionistic logic raises some technical and conceptual issues. We relate Sandqvist’s (complete) base-extension semantics of intuitionistic propositional logic to categorical proof theory in presheaves, reconstructing categorically the soundness and completeness arguments, thereby demonstrating the naturality of Sandqvist’s constructions. This naturality includes Sandqvist’s treatment of disjunction that is based on its second-order or elimination-rule presentation. These constructions embody not just validity, but certain forms of objects of justifications. This analysis is taken a step further by showing that from the perspective of validity, Sandqvist’s semantics can also be viewed as the natural disjunction in a category of sheaves.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"16 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-05-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140882103","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}
引用次数: 0
A Model Theory of Topology 拓扑模型理论
IF 0.7 3区 数学 Q2 LOGIC Pub Date : 2024-05-03 DOI: 10.1007/s11225-024-10107-3
Paolo Lipparini

An algebraization of the notion of topology has been proposed more than 70 years ago in a classical paper by McKinsey and Tarski, leading to an area of research still active today, with connections to algebra, geometry, logic and many applications, in particular, to modal logics. In McKinsey and Tarski’s setting the model theoretical notion of homomorphism does not correspond to the notion of continuity. We notice that the two notions correspond if instead we consider a preorder relation ( sqsubseteq ) defined by (a sqsubseteq b) if a is contained in the topological closure of b, for ab subsets of some topological space. A specialization poset is a partially ordered set endowed with a further coarser preorder relation ( sqsubseteq ). We show that every specialization poset can be embedded in the specialization poset naturally associated to some topological space, where the order relation corresponds to set-theoretical inclusion. Specialization semilattices are defined in an analogous way and the corresponding embedding theorem is proved. Specialization semilattices have the amalgamation property. Some basic topological facts and notions are recovered in this apparently very weak setting. The interest of these structures arises from the fact that they also occur in many rather disparate contexts, even far removed from topology.

70 多年前,麦肯锡和塔尔斯基在一篇经典论文中提出了拓扑学概念的代数化,从而开创了一个至今仍然活跃的研究领域,它与代数、几何、逻辑以及许多应用特别是模态逻辑都有联系。在麦肯锡和塔尔斯基的设定中,同态的模型理论概念与连续性概念并不对应。我们注意到,如果我们考虑一个前序关系 ( sqsubseteq ),其定义是:对于某个拓扑空间的子集 a, b,如果 a 包含在 b 的拓扑闭包中,则 (a sqsubseteq b) 这两个概念是对应的。特化集合是一个部分有序集合,它被赋予了一个更粗的前序关系 ( sqsubseteq )。我们证明,每个特化集合都可以嵌入到与某个拓扑空间自然相关的特化集合中,其中的有序关系对应于集合论上的包容。我们用类似的方法定义了特化半格,并证明了相应的嵌入定理。特化半格具有合并特性。一些基本拓扑学事实和概念在这个看似非常弱的环境中得到了恢复。这些结构之所以令人感兴趣,是因为它们也出现在许多相当不同的背景中,甚至远离拓扑学。
{"title":"A Model Theory of Topology","authors":"Paolo Lipparini","doi":"10.1007/s11225-024-10107-3","DOIUrl":"https://doi.org/10.1007/s11225-024-10107-3","url":null,"abstract":"<p>An algebraization of the notion of topology has been proposed more than 70 years ago in a classical paper by McKinsey and Tarski, leading to an area of research still active today, with connections to algebra, geometry, logic and many applications, in particular, to modal logics. In McKinsey and Tarski’s setting the model theoretical notion of homomorphism does not correspond to the notion of continuity. We notice that the two notions correspond if instead we consider a preorder relation <span>( sqsubseteq )</span> defined by <span>(a sqsubseteq b)</span> if <i>a</i> is contained in the topological closure of <i>b</i>, for <i>a</i>, <i>b</i> subsets of some topological space. A <i>specialization poset</i> is a partially ordered set endowed with a further coarser preorder relation <span>( sqsubseteq )</span>. We show that every specialization poset can be embedded in the specialization poset naturally associated to some topological space, where the order relation corresponds to set-theoretical inclusion. Specialization semilattices are defined in an analogous way and the corresponding embedding theorem is proved. Specialization semilattices have the amalgamation property. Some basic topological facts and notions are recovered in this apparently very weak setting. The interest of these structures arises from the fact that they also occur in many rather disparate contexts, even far removed from topology.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"101 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-05-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140882159","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}
引用次数: 0
Very True Operators on Pre-semi-Nelson Algebras 前半纳尔逊代数上的非常真算子
IF 0.7 3区 数学 Q2 LOGIC Pub Date : 2024-05-03 DOI: 10.1007/s11225-024-10109-1
Shokoofeh Ghorbani

In this paper, we use the concept of very true operator to pre-semi-Nelson algebras and investigate the properties of very true pre-semi-Nelson algebras. We study the very true N-deductive systems and use them to establish the uniform structure on very true pre-semi-Nelson algebras. We obtain some properties of this topology. Finally, the corresponding logic very true semi-intuitionistic logic with strong negation is constructed and algebraizable of this logic is proved based on very true semi-Nelson algebras.

在本文中,我们将非常真算子的概念用于前半-尼尔逊代数,并研究了非常真前半-尼尔逊代数的性质。我们研究了非常真 N 演绎系统,并利用它们建立了非常真前半纳尔逊代数的统一结构。我们获得了这一拓扑的一些性质。最后,我们构建了相应的具有强否定的非常真半直觉逻辑,并基于非常真半纳尔逊数组证明了该逻辑的可代数性。
{"title":"Very True Operators on Pre-semi-Nelson Algebras","authors":"Shokoofeh Ghorbani","doi":"10.1007/s11225-024-10109-1","DOIUrl":"https://doi.org/10.1007/s11225-024-10109-1","url":null,"abstract":"<p>In this paper, we use the concept of very true operator to pre-semi-Nelson algebras and investigate the properties of very true pre-semi-Nelson algebras. We study the very true N-deductive systems and use them to establish the uniform structure on very true pre-semi-Nelson algebras. We obtain some properties of this topology. Finally, the corresponding logic very true semi-intuitionistic logic with strong negation is constructed and algebraizable of this logic is proved based on very true semi-Nelson algebras.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"23 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-05-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140882193","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}
引用次数: 0
Propositional Type Theory of Indeterminacy 不确定性的命题类型理论
IF 0.7 3区 数学 Q2 LOGIC Pub Date : 2024-05-03 DOI: 10.1007/s11225-024-10099-0
Víctor Aranda, Manuel Martins, María Manzano

The aim of this paper is to define a partial Propositional Type Theory. Our system is partial in a double sense: the hierarchy of (propositional) types contains partial functions and some expressions of the language, including formulas, may be undefined. The specific interpretation we give to the undefined value is that of Kleene’s strong logic of indeterminacy. We present a semantics for the new system and prove that every element of any domain of the hierarchy has a name in the object language. Finally, we provide a proof system and a (constructive) proof of completeness.

本文的目的是定义一个部分命题类型理论。我们的系统在双重意义上是部分的:(命题)类型的层次结构包含部分函数,语言的某些表达(包括公式)可能是未定义的。我们对未定义值的具体解释是克莱因的强不确定性逻辑。我们提出了新系统的语义,并证明层次结构中任何域的每个元素在对象语言中都有一个名称。最后,我们提供了一个证明系统和一个(构造性)完备性证明。
{"title":"Propositional Type Theory of Indeterminacy","authors":"Víctor Aranda, Manuel Martins, María Manzano","doi":"10.1007/s11225-024-10099-0","DOIUrl":"https://doi.org/10.1007/s11225-024-10099-0","url":null,"abstract":"<p>The aim of this paper is to define a partial Propositional Type Theory. Our system is partial in a double sense: the hierarchy of (propositional) types contains partial functions and some expressions of the language, including formulas, may be undefined. The specific interpretation we give to the undefined value is that of Kleene’s strong logic of indeterminacy. We present a semantics for the new system and prove that every element of any domain of the hierarchy has a name in the object language. Finally, we provide a proof system and a (constructive) proof of completeness.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"40 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-05-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140882304","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}
引用次数: 0
On Weak Lewis Distributive Lattices 论弱路易斯分布网格
IF 0.7 3区 数学 Q2 LOGIC Pub Date : 2024-05-03 DOI: 10.1007/s11225-024-10112-6
Ismael Calomino, Sergio A. Celani, Hernán J. San Martín

In this paper we study the variety (textsf{WL}) of bounded distributive lattices endowed with an implication, called weak Lewis distributive lattices. This variety corresponds to the algebraic semantics of the ({vee ,wedge ,Rightarrow ,bot ,top })-fragment of the arithmetical base preservativity logic (mathsf {iP^{-}}). The variety (textsf{WL}) properly contains the variety of bounded distributive lattices with strict implication, also known as weak Heyting algebras. We introduce the notion of WL-frame and we prove a representation theorem for WL-lattices by means of WL-frames. We extended this representation to a topological duality by means of Priestley spaces endowed with a special neighbourhood relation between points and closed upsets of the space. These results are applied in order to give a representation and a topological duality for the variety of weak Heyting–Lewis algebras, i.e., for the algebraic semantics of the arithmetical base preservativity logic (textsf{iP}^{-}).

在本文中,我们研究了蕴含着蕴涵的有界分布格的种类(textsf{WL}),称为弱路易斯分布格。这个种类对应于算基保留逻辑 (mathsf {iP^{-}} 的 ({vee ,wedge ,Rightarrow ,bot ,top })-片段的代数语义。)(mathsf{iP^{-}})-碎片正确地包含了具有严格蕴涵的有界分布格的碎片,也被称为弱海丁格。我们引入了 WL 框架的概念,并通过 WL 框架证明了 WL 格的表示定理。我们通过普里斯特里空间(Priestley space)将这种表示法扩展到拓扑对偶性,并在空间的点和闭合颠倒点之间赋予了特殊的邻域关系。应用这些结果是为了给出弱海廷-刘易斯代数的表示法和拓扑对偶性,即算术基保留逻辑的代数语义(textsf{iP}^{-})。
{"title":"On Weak Lewis Distributive Lattices","authors":"Ismael Calomino, Sergio A. Celani, Hernán J. San Martín","doi":"10.1007/s11225-024-10112-6","DOIUrl":"https://doi.org/10.1007/s11225-024-10112-6","url":null,"abstract":"<p>In this paper we study the variety <span>(textsf{WL})</span> of bounded distributive lattices endowed with an implication, called weak Lewis distributive lattices. This variety corresponds to the algebraic semantics of the <span>({vee ,wedge ,Rightarrow ,bot ,top })</span>-fragment of the arithmetical base preservativity logic <span>(mathsf {iP^{-}})</span>. The variety <span>(textsf{WL})</span> properly contains the variety of bounded distributive lattices with strict implication, also known as weak Heyting algebras. We introduce the notion of WL-frame and we prove a representation theorem for WL-lattices by means of WL-frames. We extended this representation to a topological duality by means of Priestley spaces endowed with a special neighbourhood relation between points and closed upsets of the space. These results are applied in order to give a representation and a topological duality for the variety of weak Heyting–Lewis algebras, i.e., for the algebraic semantics of the arithmetical base preservativity logic <span>(textsf{iP}^{-})</span>.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"34 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-05-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140882157","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}
引用次数: 0
Algebraic Structures Formalizing the Logic of Quantum Mechanics Incorporating Time Dimension 将时间维度纳入量子力学逻辑的代数结构形式化
IF 0.7 3区 数学 Q2 LOGIC Pub Date : 2024-05-03 DOI: 10.1007/s11225-024-10103-7
Ivan Chajda, Helmut Länger

As Classical Propositional Logic finds its algebraic counterpart in Boolean algebras, the logic of Quantum Mechanics, as outlined within G. Birkhoff and J. von Neumann’s approach to Quantum Theory (Birkhoff and von Neumann in Ann Math 37:823–843, 1936) [see also (Husimi in I Proc Phys-Math Soc Japan 19:766–789, 1937)] finds its algebraic alter ego in orthomodular lattices. However, this logic does not incorporate time dimension although it is apparent that the propositions occurring in the logic of Quantum Mechanics are depending on time. The aim of the present paper is to show that tense operators can be introduced in every logic based on a complete lattice, in particular in the logic of quantum mechanics based on a complete orthomodular lattice. If the time set is given together with a preference relation, we introduce tense operators in a purely algebraic way. We derive several important properties of such operators, in particular we show that they form dynamic pairs and, altogether, a dynamic algebra. We investigate connections of these operators with logical connectives conjunction and implication derived from Sasaki projections in an orthomodular lattice. Then we solve the converse problem, namely to find for given time set and given tense operators a time preference relation in order that the resulting time frame induces the given operators. We show that the given operators can be obtained as restrictions of operators induced by a suitable extended time frame.

正如经典命题逻辑在布尔代数中找到其代数对应物一样,量子力学逻辑也在 G. Birkhoff 和 J. von Neumann 的量子理论方法(Birkhoff and von Neumann in Ann Math 37:823-843, 1936)[另见(Husimi in I Proc Phys-Math Soc Japan 19:766-789, 1937)]中的正交网格中找到其代数对应物。然而,尽管量子力学逻辑中出现的命题显然取决于时间,但这一逻辑并不包含时间维度。本文的目的是要说明,时态算子可以引入每一种基于完整网格的逻辑,尤其是基于完整正交网格的量子力学逻辑。如果时间集与偏好关系一起给出,我们就能以纯代数的方式引入时态算子。我们推导出了这些算子的几个重要性质,特别是我们证明了它们形成了动态对,并且总共形成了一个动态代数。我们研究了这些算子与正交网格中由佐佐木投影导出的逻辑连接词连接和蕴涵的联系。然后,我们解决了反向问题,即为给定的时间集和给定的时态算子找到一个时间偏好关系,以使所得到的时间框架诱导给定的算子。我们证明,给定算子可以作为合适的扩展时间框架所诱导算子的限制而得到。
{"title":"Algebraic Structures Formalizing the Logic of Quantum Mechanics Incorporating Time Dimension","authors":"Ivan Chajda, Helmut Länger","doi":"10.1007/s11225-024-10103-7","DOIUrl":"https://doi.org/10.1007/s11225-024-10103-7","url":null,"abstract":"<p>As Classical Propositional Logic finds its algebraic counterpart in Boolean algebras, the logic of Quantum Mechanics, as outlined within G. Birkhoff and J. von Neumann’s approach to Quantum Theory (Birkhoff and von Neumann in Ann Math 37:823–843, 1936) [see also (Husimi in I Proc Phys-Math Soc Japan 19:766–789, 1937)] finds its algebraic alter ego in orthomodular lattices. However, this logic does not incorporate time dimension although it is apparent that the propositions occurring in the logic of Quantum Mechanics are depending on time. The aim of the present paper is to show that tense operators can be introduced in every logic based on a complete lattice, in particular in the logic of quantum mechanics based on a complete orthomodular lattice. If the time set is given together with a preference relation, we introduce tense operators in a purely algebraic way. We derive several important properties of such operators, in particular we show that they form dynamic pairs and, altogether, a dynamic algebra. We investigate connections of these operators with logical connectives conjunction and implication derived from Sasaki projections in an orthomodular lattice. Then we solve the converse problem, namely to find for given time set and given tense operators a time preference relation in order that the resulting time frame induces the given operators. We show that the given operators can be obtained as restrictions of operators induced by a suitable extended time frame.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"12 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-05-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140882195","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}
引用次数: 0
Paraconsistency in Non-Fregean Framework 非弗雷格框架中的准一致性
IF 0.7 3区 数学 Q2 LOGIC Pub Date : 2024-05-03 DOI: 10.1007/s11225-024-10114-4
Joanna Golińska-Pilarek

A non-Fregean framework aims to provide a formal tool for reasoning about semantic denotations of sentences and their interactions. Extending a logic to its non-Fregean version involves introducing a new connective (equiv ) that allows to separate denotations of sentences from their logical values. Intuitively, (equiv ) combines two sentences (varphi ) and (psi ) into a true one whenever (varphi ) and (psi ) have the same semantic correlates, describe the same situations, or have the same content or meaning. The paper aims to compare non-Fregean paraconsistent Grzegorczyk’s logics (Logic of Descriptions (textsf{LD}), Logic of Descriptions with Suszko’s Axioms (textsf{LDS}), Logic of Equimeaning (textsf{LDE})) with non-Fregean versions of certain well-known paraconsistent logics (Jaśkowski’s Discussive Logic (textsf{D}_2), Logic of Paradox (textsf{LP}), Logics of Formal Inconsistency (textsf{LFI}{1}) and (textsf{LFI}{2})). We prove that Grzegorczyk’s logics are either weaker than or incomparable to non-Fregean extensions of (textsf{LP}), (textsf{LFI}{1}), (textsf{LFI}{2}). Furthermore, we show that non-Fregean extensions of (textsf{LP}), (textsf{LFI}{1}), (textsf{LFI}{2}), and (textsf{D}_2) are more expressive than their original counterparts. Our results highlight that the non-Fregean connective (equiv ) can serve as a tool for expressing various properties of the ontology underlying the logics under consideration.

非弗雷格框架旨在为句子的语义指称及其相互作用的推理提供一个形式化的工具。将一个逻辑扩展到它的非弗雷格版本涉及到引入一个新的连接词 ((equiv )),它允许将句子的指称与它们的逻辑值分开。直观地说,只要 (varphi ) 和 (psi ) 有相同的语义关联,描述相同的情况,或者有相同的内容或意义,(equiv )就会把两个句子 (varphi )和 (psi )组合成一个真句子。本文旨在比较非弗雷格准相容的格热戈日克逻辑(Logic of Descriptions (textsf{LD})、Logic of Descriptions with Suszko's Axioms (textsf{LDS})、等价逻辑(Logic of Equimeaning))与某些著名的准一致逻辑(雅斯科夫斯基的讨论逻辑(Jaśkowski's Discussive Logic)、悖论逻辑(Logic of Paradox)、形式不一致逻辑(Logics of Formal Inconsistency)的非弗雷格版本((textsf{LFI}{1})和(textsf{LFI}{2}))。我们证明格热戈日克的逻辑要么弱于要么无法与非弗雷格扩展的(textsf{LP})、(textsf{LFI}{1})、(textsf{LFI}{2})相提并论。此外,我们还证明了 (textsf{LP})、(textsf{LFI}{1})、(textsf{LFI}{2})和(textsf{D}_2)的非弗赖根扩展比它们原来的扩展更具表现力。我们的研究结果突出表明,非自由连接词(equiv)可以作为一种工具来表达所考虑的逻辑所依据的本体的各种属性。
{"title":"Paraconsistency in Non-Fregean Framework","authors":"Joanna Golińska-Pilarek","doi":"10.1007/s11225-024-10114-4","DOIUrl":"https://doi.org/10.1007/s11225-024-10114-4","url":null,"abstract":"<p>A non-Fregean framework aims to provide a formal tool for reasoning about semantic denotations of sentences and their interactions. Extending a logic to its non-Fregean version involves introducing a new connective <span>(equiv )</span> that allows to separate denotations of sentences from their logical values. Intuitively, <span>(equiv )</span> combines two sentences <span>(varphi )</span> and <span>(psi )</span> into a true one whenever <span>(varphi )</span> and <span>(psi )</span> have the same semantic correlates, describe the same situations, or have the same content or meaning. The paper aims to compare non-Fregean paraconsistent Grzegorczyk’s logics (Logic of Descriptions <span>(textsf{LD})</span>, Logic of Descriptions with Suszko’s Axioms <span>(textsf{LDS})</span>, Logic of Equimeaning <span>(textsf{LDE})</span>) with non-Fregean versions of certain well-known paraconsistent logics (Jaśkowski’s Discussive Logic <span>(textsf{D}_2)</span>, Logic of Paradox <span>(textsf{LP})</span>, Logics of Formal Inconsistency <span>(textsf{LFI}{1})</span> and <span>(textsf{LFI}{2})</span>). We prove that Grzegorczyk’s logics are either weaker than or incomparable to non-Fregean extensions of <span>(textsf{LP})</span>, <span>(textsf{LFI}{1})</span>, <span>(textsf{LFI}{2})</span>. Furthermore, we show that non-Fregean extensions of <span>(textsf{LP})</span>, <span>(textsf{LFI}{1})</span>, <span>(textsf{LFI}{2})</span>, and <span>(textsf{D}_2)</span> are more expressive than their original counterparts. Our results highlight that the non-Fregean connective <span>(equiv )</span> can serve as a tool for expressing various properties of the ontology underlying the logics under consideration.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"28 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-05-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140882305","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}
引用次数: 0
On a Generalization of Heyting Algebras I 论海廷代数的广义化 I
IF 0.7 3区 数学 Q2 LOGIC Pub Date : 2024-05-03 DOI: 10.1007/s11225-024-10110-8
Amirhossein Akbar Tabatabai, Majid Alizadeh, Masoud Memarzadeh

(nabla )-algebra is a natural generalization of Heyting algebra, unifying many algebraic structures including bounded lattices, Heyting algebras, temporal Heyting algebras and the algebraic presentation of the dynamic topological systems. In a series of two papers, we will systematically study the algebro-topological properties of different varieties of (nabla )-algebras. In the present paper, we start with investigating the structure of these varieties by characterizing their subdirectly irreducible and simple elements. Then, we prove the closure of these varieties under the Dedekind-MacNeille completion and provide the canonical construction and the Kripke representation for (nabla )-algebras by which we establish the amalgamation property for some varieties of (nabla )-algebras. In the sequel of the present paper, we will complete the study by covering the logics of these varieties and their corresponding Priestley-Esakia and spectral duality theories.

(nabla )-代数是海廷代数的自然概括,它统一了许多代数结构,包括有界网格、海廷代数、时态海廷代数以及动态拓扑系统的代数表达。在两篇系列论文中,我们将系统地研究不同品种的 (nabla )-代数的代数拓扑性质。在本文中,我们首先通过描述这些变体的子直接不可还原元素和简单元素来研究它们的结构。然后,我们证明了这些变体在戴德金-麦克尼尔完备性下的封闭性,并为(nabla)-阿尔格布拉提供了典型构造和克里普克表示,通过这些构造和表示,我们为(nabla)-阿尔格布拉的一些变体建立了合并性质。在本文的续篇中,我们将通过这些变体的逻辑及其相应的 Priestley-Esakia 和谱对偶理论来完成研究。
{"title":"On a Generalization of Heyting Algebras I","authors":"Amirhossein Akbar Tabatabai, Majid Alizadeh, Masoud Memarzadeh","doi":"10.1007/s11225-024-10110-8","DOIUrl":"https://doi.org/10.1007/s11225-024-10110-8","url":null,"abstract":"<p><span>(nabla )</span>-algebra is a natural generalization of Heyting algebra, unifying many algebraic structures including bounded lattices, Heyting algebras, temporal Heyting algebras and the algebraic presentation of the dynamic topological systems. In a series of two papers, we will systematically study the algebro-topological properties of different varieties of <span>(nabla )</span>-algebras. In the present paper, we start with investigating the structure of these varieties by characterizing their subdirectly irreducible and simple elements. Then, we prove the closure of these varieties under the Dedekind-MacNeille completion and provide the canonical construction and the Kripke representation for <span>(nabla )</span>-algebras by which we establish the amalgamation property for some varieties of <span>(nabla )</span>-algebras. In the sequel of the present paper, we will complete the study by covering the logics of these varieties and their corresponding Priestley-Esakia and spectral duality theories.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"101 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-05-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140882279","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}
引用次数: 0
On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness 论形式不一致和形式不确定的四值逻辑
IF 0.7 3区 数学 Q2 LOGIC Pub Date : 2024-05-03 DOI: 10.1007/s11225-024-10106-4
Marcelo E. Coniglio, G. T. Gomez–Pereira, Martín Figallo

Belnap–Dunn’s relevance logic, (textsf{BD}), was designed seeking a suitable logical device for dealing with multiple information sources which sometimes may provide inconsistent and/or incomplete pieces of information. (textsf{BD}) is a four-valued logic which is both paraconsistent and paracomplete. On the other hand, De and Omori, while investigating what classical negation amounts to in a paracomplete and paraconsistent four-valued setting, proposed the expansion (textsf{BD2}) of the four valued Belnap–Dunn logic by a classical negation. In this paper, we introduce a four-valued expansion of BD called ({textsf{BD}^copyright }), obtained by adding an unary connective ({copyright }, )which is a consistency operator (in the sense of the Logics of Formal Inconsistency, LFIs). In addition, this operator is the unique one with the following features: it extends to (textsf{BD}) the consistency operator of LFI1, a well-known three-valued LFI, still satisfying axiom ciw (which states that any sentence is either consistent or contradictory), and allowing to define an undeterminedness operator (in the sense of Logic of Formal Undeterminedness, LFUs). Moreover, ({textsf{BD}^copyright }) is maximal w.r.t. LFI1, and it is proved to be equivalent to BD2, up to signature. After presenting a natural Hilbert-style characterization of ({textsf{BD}^copyright }) obtained by means of twist-structures semantics, we propose a first-order version of ({textsf{BD}^copyright }) called ({textsf{QBD}^copyright }), with semantics based on an appropriate notion of four-valued Tarskian-like structures called (textbf{4})-structures. We show that in ({textsf{QBD}^copyright }), the existential and universal quantifiers are interdefinable in terms of the paracomplete and paraconsistent negation, and not by means of the classical negation. Finally, a Hilbert-style calculus for ({textsf{QBD}^copyright }) is presented, proving the corresponding soundness and completeness theorems.

贝尔纳普-邓恩的相关性逻辑(relevance logic)是为处理有时可能提供不一致和/或不完整信息的多个信息源而设计的一种合适的逻辑装置。(textsf{BD})是一个四值逻辑,它既是准一致的,又是准完备的。另一方面,De 和 Omori 在研究经典否定在准完备和准一致的四值环境中的作用时,提出了用经典否定来扩展四值贝尔纳普-邓恩逻辑的 (textsf{BD2})。在本文中,我们引入了四值贝尔纳普-邓恩逻辑的扩展,称为 ({textsf{BD}^copyright }),它是通过添加一个一元连接词 ({copyright },)得到的,而这个一元连接词是一个一致性算子(在形式不一致逻辑(Logics of Formal Inconsistency, LFIs)的意义上)。此外,这个算子是唯一一个具有以下特征的算子:它扩展到了(textsf{BD}) LFI1 的一致性算子,这是一个著名的三值 LFI,仍然满足公理 ciw(该公理指出任何句子要么是一致的要么是矛盾的),并且允许定义一个不确定度算子(在形式不确定度逻辑的意义上,LFUs)。此外,({textsf{BD}^copyright }) 在 LFI1 中是最大的,而且它被证明等价于 BD2,直到签名为止。在介绍了通过扭转结构语义得到的 ({textsf{BD}^copyright }) 的自然希尔伯特式特征之后,我们提出了 ({textsf{BD}^copyright }) 的一阶版本,称为 ({textsf{QBD}^copyright }) ,其语义基于一个适当的四值塔斯基类结构概念,称为 (textbf{4})-structures 。我们证明了在({textsf{QBD}^copyright }) 中,存在量词和普遍量词是可以通过准完全否定和准一致否定来相互定义的,而不是通过经典否定来定义的。最后,提出了一个希尔伯特式的({textsf{QBD}^copyright } )微积分,证明了相应的健全性和完备性定理。
{"title":"On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness","authors":"Marcelo E. Coniglio, G. T. Gomez–Pereira, Martín Figallo","doi":"10.1007/s11225-024-10106-4","DOIUrl":"https://doi.org/10.1007/s11225-024-10106-4","url":null,"abstract":"<p>Belnap–Dunn’s relevance logic, <span>(textsf{BD})</span>, was designed seeking a suitable logical device for dealing with multiple information sources which sometimes may provide inconsistent and/or incomplete pieces of information. <span>(textsf{BD})</span> is a four-valued logic which is both paraconsistent and paracomplete. On the other hand, De and Omori, while investigating what classical negation amounts to in a paracomplete and paraconsistent four-valued setting, proposed the expansion <span>(textsf{BD2})</span> of the four valued Belnap–Dunn logic by a classical negation. In this paper, we introduce a four-valued expansion of <span>BD</span> called <span>({textsf{BD}^copyright })</span>, obtained by adding an unary connective <span>({copyright }, )</span>which is a consistency operator (in the sense of the Logics of Formal Inconsistency, <b>LFI</b>s). In addition, this operator is the unique one with the following features: it extends to <span>(textsf{BD})</span> the consistency operator of <span>LFI1</span>, a well-known three-valued <b>LFI</b>, still satisfying axiom <b>ciw</b> (which states that any sentence is either consistent or contradictory), and allowing to define an undeterminedness operator (in the sense of Logic of Formal Undeterminedness, <b>LFU</b>s). Moreover, <span>({textsf{BD}^copyright })</span> is maximal w.r.t. <span>LFI1</span>, and it is proved to be equivalent to <span>BD2</span>, up to signature. After presenting a natural Hilbert-style characterization of <span>({textsf{BD}^copyright })</span> obtained by means of twist-structures semantics, we propose a first-order version of <span>({textsf{BD}^copyright })</span> called <span>({textsf{QBD}^copyright })</span>, with semantics based on an appropriate notion of four-valued Tarskian-like structures called <span>(textbf{4})</span>-structures. We show that in <span>({textsf{QBD}^copyright })</span>, the existential and universal quantifiers are interdefinable in terms of the paracomplete and paraconsistent negation, and not by means of the classical negation. Finally, a Hilbert-style calculus for <span>({textsf{QBD}^copyright })</span> is presented, proving the corresponding soundness and completeness theorems.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"1 1","pages":""},"PeriodicalIF":0.7,"publicationDate":"2024-05-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140882308","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}
引用次数: 0
期刊
Studia Logica
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1