发布求助
文献互助 智能选刊 最新文献

JOURNAL OF PHILOSOPHICAL LOGIC最新文献

筛选
英文 中文
Patches, Patchworks, and Epsilon Terms: A Neo-Carnapian Account of Theoretical Terms in Science 补丁、补丁工程和ε术语：科学理论术语的新卡纳帕学说
IF 1.5 1区 哲学
JOURNAL OF PHILOSOPHICAL LOGIC Pub Date : 2024-09-14 DOI: 10.1007/s10992-024-09774-3
Matteo De Benedetto, Elio La Rosa
{"title":"Patches, Patchworks, and Epsilon Terms: A Neo-Carnapian Account of Theoretical Terms in Science","authors":"Matteo De Benedetto, Elio La Rosa","doi":"10.1007/s10992-024-09774-3","DOIUrl":"https://doi.org/10.1007/s10992-024-09774-3","url":null,"abstract":"<p>In the last decades, scientific laws and concepts have been increasingly conceptualized as a patchwork of contextual and indeterminate entities. These patchwork constructions are sometimes claimed to be incompatible with traditional views of scientific theories and concepts, but it is difficult to assess such claims due to the informal character of these approaches. In this paper, we will show that patchwork approaches pose a new problem of theoretical terms. Specifically, we will demonstrate how a toy example of a patchwork structure might trivialize Carnap’s semantics for theoretical terms based upon epsilon calculus. However, as we will see, this new problem of theoretical terms can be given a neo-Carnapian solution, by generalizing Carnap’s account of theoretical terms in such a way that it applies also to patchwork constructions. Our neo-Carnapian approach to theoretical terms will also demonstrate that the analytic/synthetic distinction is meaningful even for patchwork structures.</p>","PeriodicalId":51526,"journal":{"name":"JOURNAL OF PHILOSOPHICAL LOGIC","volume":"188 1","pages":""},"PeriodicalIF":1.5,"publicationDate":"2024-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142250762","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Fusions in Intuitionistic Mereology 直觉单纯形学中的融合
IF 1.5 1区 哲学
JOURNAL OF PHILOSOPHICAL LOGIC Pub Date : 2024-09-11 DOI: 10.1007/s10992-024-09772-5
Annica Vieser
{"title":"Fusions in Intuitionistic Mereology","authors":"Annica Vieser","doi":"10.1007/s10992-024-09772-5","DOIUrl":"https://doi.org/10.1007/s10992-024-09772-5","url":null,"abstract":"<p>This paper investigates two intuitionistic mereological systems based on Tarski’s axiomatisation of general mereology. These systems use two intuitionistically non-equivalent formalisations of the notion of fusion. I study extensionality and supplementation properties as well as some variants of these systems, and defend parthood as a suitable primitive notion for intuitionistic mereology if working with Tarski’s axiomatisation. Furthermore, I arrive at an equi-interpretability result for one of the atomistic variants with intuitionistic plural logic. I discuss to what extent these results support the philosophical pertinence of the mereological systems under investigation as intuitionistic theories of parthood, thereby reacting to a conceptual challenge that we are confronted with when engaging in intuitionistic mereology.</p>","PeriodicalId":51526,"journal":{"name":"JOURNAL OF PHILOSOPHICAL LOGIC","volume":"29 1","pages":""},"PeriodicalIF":1.5,"publicationDate":"2024-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142199857","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Infinity, Choice, and Hume’s Principle 无限、选择和休谟原理
IF 1.5 1区 哲学
JOURNAL OF PHILOSOPHICAL LOGIC Pub Date : 2024-09-05 DOI: 10.1007/s10992-024-09771-6
Stephen Mackereth
{"title":"Infinity, Choice, and Hume’s Principle","authors":"Stephen Mackereth","doi":"10.1007/s10992-024-09771-6","DOIUrl":"https://doi.org/10.1007/s10992-024-09771-6","url":null,"abstract":"<p>It has long been known that in the context of axiomatic second-order logic (SOL), Hume’s Principle (HP) is mutually interpretable with “the universe is Dedekind infinite” (DI). In this paper, we offer a more fine-grained analysis of the logical strength of HP, measured by deductive implications rather than interpretability. Our main result is that HP is not deductively conservative over SOL + DI. That is, SOL + HP proves additional theorems in the language of pure second-order logic that are not provable from SOL + DI alone. Arguably, then, HP is not just a pure axiom of infinity, but rather it carries additional logical content. On the other hand, we show that HP is <span>(Pi ^1_1)</span> conservative over SOL + DI, and that HP is conservative over SOL + DI + “the universe is well ordered” (WO). Next, we show that SOL + HP does not prove any of the simplest and most natural versions of the axiom of choice, including WO and weaker principles. Lastly, we discuss other axioms of infinity. We show that HP does not prove the Splitting or Pairing principles (axioms of infinity stronger than DI).</p>","PeriodicalId":51526,"journal":{"name":"JOURNAL OF PHILOSOPHICAL LOGIC","volume":"6 1","pages":""},"PeriodicalIF":1.5,"publicationDate":"2024-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142199858","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Heraclitus-Maximal Worlds 赫拉克利特--最大世界
IF 1.5 1区 哲学
JOURNAL OF PHILOSOPHICAL LOGIC Pub Date : 2024-08-29 DOI: 10.1007/s10992-024-09773-4
JB Manchak, Thomas William Barrett
{"title":"Heraclitus-Maximal Worlds","authors":"JB Manchak, Thomas William Barrett","doi":"10.1007/s10992-024-09773-4","DOIUrl":"https://doi.org/10.1007/s10992-024-09773-4","url":null,"abstract":"<p>Within the context of general relativity, the Heraclitus asymmetry property requires that no distinct pair of spacetime events have the same local structure Manchak and Barrett (2023). Here, we explore Heraclitus-maximal worlds – those which are “as large as they can be” with respect to the Heraclitus property. Using Zorn’s lemma, we prove that such worlds exist and highlight a number of their properties. If attention is restricted to Heraclitus-maximal worlds, we show senses in which observers have the epistemic resources to know which world they inhabit.</p>","PeriodicalId":51526,"journal":{"name":"JOURNAL OF PHILOSOPHICAL LOGIC","volume":"42 1","pages":""},"PeriodicalIF":1.5,"publicationDate":"2024-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142199859","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Epistemic Logics for Relevant Reasoners 相关推理者的认识论逻辑
IF 1.5 1区 哲学
JOURNAL OF PHILOSOPHICAL LOGIC Pub Date : 2024-08-29 DOI: 10.1007/s10992-024-09770-7
Igor Sedlár, Pietro Vigiani
{"title":"Epistemic Logics for Relevant Reasoners","authors":"Igor Sedlár, Pietro Vigiani","doi":"10.1007/s10992-024-09770-7","DOIUrl":"https://doi.org/10.1007/s10992-024-09770-7","url":null,"abstract":"<p>We present a neighbourhood-style semantic framework for modal epistemic logic modelling agents who process information using relevant logic. The distinguishing feature of the framework in comparison to relevant modal logic is that the environment the agent is situated in is assumed to be a classical possible world. This framework generates two-layered logics combining classical logic on the propositional level with relevant logic in the scope of modal operators. Our main technical result is a general soundness and completeness theorem.</p>","PeriodicalId":51526,"journal":{"name":"JOURNAL OF PHILOSOPHICAL LOGIC","volume":"36 1","pages":""},"PeriodicalIF":1.5,"publicationDate":"2024-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142199860","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Explicit Abstract Objects in Predicative Settings 谓语环境中的显式抽象对象
IF 1.5 1区 哲学
JOURNAL OF PHILOSOPHICAL LOGIC Pub Date : 2024-07-09 DOI: 10.1007/s10992-024-09768-1
Sean Ebels-Duggan, Francesca Boccuni
{"title":"Explicit Abstract Objects in Predicative Settings","authors":"Sean Ebels-Duggan, Francesca Boccuni","doi":"10.1007/s10992-024-09768-1","DOIUrl":"https://doi.org/10.1007/s10992-024-09768-1","url":null,"abstract":"<p>Abstractionist programs in the philosophy of mathematics have focused on abstraction principles, taken as <i>implicit</i> definitions of the objects in the range of their operators. In second-order logic (<span>SOL</span>) with predicative comprehension, such principles are consistent but also (individually) mathematically weak. This paper, inspired by the work of Boolos (<i>Proceedings of the Aristotelian Society</i> <i>87</i>, 137–151, 1986) and Zalta (<i>Abstract Objects</i>, vol. 160 of <i>Synthese Library</i>, 1983), examines <i>explicit</i> definitions of abstract objects. These axioms state that there is a unique abstract encoding all concepts satisfying a given formula <span>(phi (F))</span>, with <i>F</i> a concept variable. Such a system is inconsistent in full <span>SOL</span>. It can be made consistent with several intricate tweaks, as Zalta has shown. Our approach in this article is simpler: we use a novel method to establish consistency in a restrictive version of predicative <span>SOL</span>. The resulting system, <span>RPEAO</span>, interprets first-order <span>PA</span> in extensional contexts, and has a natural extension delivering a peculiar interpretation of <span>PA</span> <span>(^2)</span>.</p>","PeriodicalId":51526,"journal":{"name":"JOURNAL OF PHILOSOPHICAL LOGIC","volume":"51 1","pages":""},"PeriodicalIF":1.5,"publicationDate":"2024-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141571148","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
An Intuitionistically Complete System of Basic Intuitionistic Conditional Logic 基本直观条件逻辑的直观完备系统
IF 1.5 1区 哲学
JOURNAL OF PHILOSOPHICAL LOGIC Pub Date : 2024-07-03 DOI: 10.1007/s10992-024-09763-6
Grigory Olkhovikov
{"title":"An Intuitionistically Complete System of Basic Intuitionistic Conditional Logic","authors":"Grigory Olkhovikov","doi":"10.1007/s10992-024-09763-6","DOIUrl":"https://doi.org/10.1007/s10992-024-09763-6","url":null,"abstract":"<p>We introduce a basic intuitionistic conditional logic <span>(textsf{IntCK})</span> that we show to be complete both relative to a special type of Kripke models and relative to a standard translation into first-order intuitionistic logic. We show that <span>(textsf{IntCK})</span> stands in a very natural relation to other similar logics, like the basic classical conditional logic <span>(textsf{CK})</span> and the basic intuitionistic modal logic <span>(textsf{IK})</span>. As for the basic intuitionistic conditional logic <span>(textsf{ICK})</span> proposed in Weiss (<i>Journal of Philosophical Logic</i>, <i>48</i>, 447–469, 2019), <span>(textsf{IntCK})</span> extends its language with a diamond-like conditional modality <span>(Diamond hspace{-4.0pt}rightarrow )</span>, but its (<span>(Diamond hspace{-4.0pt}rightarrow )</span>)-free fragment is also a proper extension of <span>(textsf{ICK})</span>. We briefly discuss the resulting gap between the two candidate systems of basic intuitionistic conditional logic and the possible pros and cons of both candidates.</p>","PeriodicalId":51526,"journal":{"name":"JOURNAL OF PHILOSOPHICAL LOGIC","volume":"40 1","pages":""},"PeriodicalIF":1.5,"publicationDate":"2024-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141549707","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Sequent Calculi for First-order $$textrm{ST}$$ 一阶 $$textrm{ST}$ 的序列计算
IF 1.5 1区 哲学
JOURNAL OF PHILOSOPHICAL LOGIC Pub Date : 2024-07-02 DOI: 10.1007/s10992-024-09766-3
Francesco Paoli, Adam Přenosil
{"title":"Sequent Calculi for First-order $$textrm{ST}$$","authors":"Francesco Paoli, Adam Přenosil","doi":"10.1007/s10992-024-09766-3","DOIUrl":"https://doi.org/10.1007/s10992-024-09766-3","url":null,"abstract":"<p>Strict-Tolerant Logic (<span>(textrm{ST})</span>) underpins naïve theories of truth and vagueness (respectively including a fully disquotational truth predicate and an unrestricted tolerance principle) without jettisoning any classically valid laws. The classical sequent calculus without Cut is sometimes advocated as an appropriate proof-theoretic presentation of <span>(textrm{ST})</span>. Unfortunately, there is only a partial correspondence between its derivability relation and the relation of local metainferential <span>(textrm{ST})</span>-validity – these relations coincide only upon the addition of elimination rules and only within the propositional fragment of the calculus, due to the non-invertibility of the quantifier rules. In this paper, we present two calculi for first-order <span>(textrm{ST})</span> with an eye to recapturing this correspondence in full. The first calculus is close in spirit to the Epsilon calculus. The other calculus includes rules for the discharge of sequent-assumptions; moreover, it is normalisable and admits interpolation.</p>","PeriodicalId":51526,"journal":{"name":"JOURNAL OF PHILOSOPHICAL LOGIC","volume":"66 1","pages":""},"PeriodicalIF":1.5,"publicationDate":"2024-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141501323","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Carnap’s Problem, Definability and Compositionality 卡尔纳普问题、可定义性和可组合性
IF 1.5 1区 哲学
JOURNAL OF PHILOSOPHICAL LOGIC Pub Date : 2024-06-26 DOI: 10.1007/s10992-024-09767-2
Pedro del Valle-Inclán
{"title":"Carnap’s Problem, Definability and Compositionality","authors":"Pedro del Valle-Inclán","doi":"10.1007/s10992-024-09767-2","DOIUrl":"https://doi.org/10.1007/s10992-024-09767-2","url":null,"abstract":"<p>In his <i>Formalization of Logic</i> (1943) Carnap pointed out that there are non-normal interpretations of classical logic: non-standard interpretations of the connectives and quantifiers that are consistent with the classical consequence relation of a language. Different ways around the problem have been proposed. In a recent paper, Bonnay and Westerståhl argue that the key to a solution is imposing restrictions on the type of interpretation we take into account. More precisely, they claim that if we restrict attention to interpretations that are (a) compositional, (b) non-trivial and (c) in the case of the quantifiers, invariant under permutations of the domain, Carnap’s Problem is avoided. This paper has two goals. The first is to show that Bonnay and Westerståhl’s solution to Carnap’s Problem doesn’t work. The second is to argue that something similar to their proposal seems to do the job. The problems with Bonnay and Westerståhl’s approach trace back to issues concerning the (un)definability of subsets of the domain of first-order structures, as well as to the compositionality of first-order languages. After expanding on these problems, I’ll propose a way to modify Bonnay and Westerståhl’s account and solve Carnap’s Problem.</p>","PeriodicalId":51526,"journal":{"name":"JOURNAL OF PHILOSOPHICAL LOGIC","volume":"44 1","pages":""},"PeriodicalIF":1.5,"publicationDate":"2024-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141501324","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Aristotelian and Boolean Properties of the Keynes-Johnson Octagon of Opposition 凯恩斯-约翰逊八边形对立的亚里士多德和布尔特性
IF 1.5 1区 哲学
JOURNAL OF PHILOSOPHICAL LOGIC Pub Date : 2024-06-24 DOI: 10.1007/s10992-024-09765-4
Lorenz Demey, Hans Smessaert
{"title":"Aristotelian and Boolean Properties of the Keynes-Johnson Octagon of Opposition","authors":"Lorenz Demey, Hans Smessaert","doi":"10.1007/s10992-024-09765-4","DOIUrl":"https://doi.org/10.1007/s10992-024-09765-4","url":null,"abstract":"<p>Around the turn of the 20th century, Keynes and Johnson extended the well-known square of opposition to an octagon of opposition, in order to account for subject negation (e.g., statements like ‘all non-<i>S</i> are <i>P</i>’). The main goal of this paper is to study the logical properties of the Keynes-Johnson (KJ) octagons of opposition. In particular, we will discuss three concrete examples of KJ octagons: the original one for subject-negation, a contemporary one from knowledge representation, and a third one (hitherto not yet studied) from deontic logic. We show that these three KJ octagons are all Aristotelian isomorphic, but not all Boolean isomorphic to each other (the first two are representable by bitstrings of length 7, whereas the third one is representable by bitstrings of length 6). These results nicely fit within our ongoing research efforts toward setting up a systematic classification of squares, octagons, and other diagrams of opposition. Finally, obtaining a better theoretical understanding of the KJ octagons allows us to answer some open questions that have arisen in recent applications of these diagrams.</p>","PeriodicalId":51526,"journal":{"name":"JOURNAL OF PHILOSOPHICAL LOGIC","volume":"78 1","pages":""},"PeriodicalIF":1.5,"publicationDate":"2024-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141501326","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信