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

Logic and Logical Philosophy最新文献

筛选
英文 中文
Zeno of Sidon vindicatus: a mereological analysis of the bisection of the circle 西顿的泽诺证明了真理：对圆平分的表面论分析
IF 0.5
Logic and Logical Philosophy Pub Date : 2022-11-24 DOI: 10.12775/llp.2022.032
P. Maffezioli
{"title":"Zeno of Sidon vindicatus: a mereological analysis of the bisection of the circle","authors":"P. Maffezioli","doi":"10.12775/llp.2022.032","DOIUrl":"https://doi.org/10.12775/llp.2022.032","url":null,"abstract":"I provide a mereological analysis of Zeno of Sidon’s objection that in Euclid’s Elements we need to supplement the principle that there are no common segments of straight lines and circumferences. The objection is based on the claim that such a principle is presupposed in the proof that the diameter cuts the circle in half. Against Zeno, Posidonius attempts to prove against Zeno the bisection of the circle without resorting to Zeno’s principle. I show that Posidonius’ proof is flawed as it fails to account for the case in which one of the two circumferences cut by the diameter is a proper part of the other. When such a case is considered, then either the bisection of the circle is false or it presupposes Zeno’s principle, as claimed by Zeno.","PeriodicalId":43501,"journal":{"name":"Logic and Logical Philosophy","volume":" ","pages":""},"PeriodicalIF":0.5,"publicationDate":"2022-11-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48298198","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Measures in Euclidean Point-Free Geometry (an exploratory paper) 欧几里得无点几何中的测度(一篇探索性论文)
IF 0.5
Logic and Logical Philosophy Pub Date : 2022-11-18 DOI: 10.12775/llp.2022.031
G. Barbieri, Giangiacomo Gerla
{"title":"Measures in Euclidean Point-Free Geometry (an exploratory paper)","authors":"G. Barbieri, Giangiacomo Gerla","doi":"10.12775/llp.2022.031","DOIUrl":"https://doi.org/10.12775/llp.2022.031","url":null,"abstract":"We face with the question of a suitable measure theory in Euclidean point-free geometry and we sketch out some possible solutions. The proposed measures, which are positive and invariant with respect to movements, are based on the notion of infinitesimal masses, i.e. masses whose associated supports form a sequence of finer and finer partitions.","PeriodicalId":43501,"journal":{"name":"Logic and Logical Philosophy","volume":"1 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2022-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"66615902","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Immune Logics ain't that Immune 免疫逻辑没有那么免疫
IF 0.5
Logic and Logical Philosophy Pub Date : 2022-10-25 DOI: 10.12775/llp.2022.029
J. J. Joaquin
{"title":"Immune Logics ain't that Immune","authors":"J. J. Joaquin","doi":"10.12775/llp.2022.029","DOIUrl":"https://doi.org/10.12775/llp.2022.029","url":null,"abstract":"Da Ré and Szmuc argue that while there is a symmetry between ‘infectious’ and ‘immune’ logics, this symmetry fails w.r.t. extending an algebra with an immune or an infectious element. In this paper, I show that the symmetry also fails w.r.t. defining a new logical operation from a given set of primitive (Boolean) operations. I use the case of the material conditional to illustrate this point.","PeriodicalId":43501,"journal":{"name":"Logic and Logical Philosophy","volume":" ","pages":""},"PeriodicalIF":0.5,"publicationDate":"2022-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41881541","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
From the Meinongian Point of View 从梅农店看
IF 0.5
Logic and Logical Philosophy Pub Date : 2022-10-24 DOI: 10.12775/llp.2022.028
Maciej Sendłak
{"title":"From the Meinongian Point of View","authors":"Maciej Sendłak","doi":"10.12775/llp.2022.028","DOIUrl":"https://doi.org/10.12775/llp.2022.028","url":null,"abstract":"\u0000\u0000\u0000In this paper, I discuss one of Peter van Inwagen’s charges against the Meinongian thesis, which states that some objects do not exist. The charges aimed to show that the thesis either leads to a contradiction or that it is obscure. Both consequences support the opposite Quinean thesis, which states that every object exists. As opposed to the former, the latter ought to be consistent and clear. I argue why there is no contradiction in the Meinongian thesis and why the Quinean thesis is not clear.\u0000\u0000\u0000","PeriodicalId":43501,"journal":{"name":"Logic and Logical Philosophy","volume":" ","pages":""},"PeriodicalIF":0.5,"publicationDate":"2022-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43009602","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Dismissal of ‘Substance’ and ‘Being’ in Peirce’s Regenerated Logic 皮尔斯《再生逻辑》中对“实体”与“存在”的消解
IF 0.5
Logic and Logical Philosophy Pub Date : 2022-08-08 DOI: 10.12775/llp.2022.026
M. Brioschi
{"title":"The Dismissal of ‘Substance’ and ‘Being’ in Peirce’s Regenerated Logic","authors":"M. Brioschi","doi":"10.12775/llp.2022.026","DOIUrl":"https://doi.org/10.12775/llp.2022.026","url":null,"abstract":"After introducing the debate between substance philosophy and process philosophy, and clarifying the relevance of the category of ‘substance’ in Peirce’s thought, the present paper reconstructs the role of ‘substance’ and ‘being’ from Peirce’s early works to his theory of the proposition, provided after his studies on the logic of relatives. If those two categories apparently disappear in Peirce’s writings from the mid-1890s onwards, the account of ‘subject’ and ‘copula’ in Peirce’s analysis of the proposition allows one to grasp the reasons why Peirce omits ‘substance’ and ‘being’ in favor of his three categories (Firstness, Secondness, Thirdness), and to understand why his philosophy cannot be considered as a substance philosophy.","PeriodicalId":43501,"journal":{"name":"Logic and Logical Philosophy","volume":" ","pages":""},"PeriodicalIF":0.5,"publicationDate":"2022-08-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45181647","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Revisiting the Conditional Construal of Conditional Probability 对条件概率的条件构造的再认识
IF 0.5
Logic and Logical Philosophy Pub Date : 2022-07-24 DOI: 10.12775/llp.2022.024
Jakub Węgrecki, L. Wronski
{"title":"Revisiting the Conditional Construal of Conditional Probability","authors":"Jakub Węgrecki, L. Wronski","doi":"10.12775/llp.2022.024","DOIUrl":"https://doi.org/10.12775/llp.2022.024","url":null,"abstract":"We show how to extend any finite probability space into another finite one which satisfies the conditional construal of conditional probability for the original propositions, given some maximal allowed degree of nesting of the conditional. This mitigates the force of the well-known triviality results.","PeriodicalId":43501,"journal":{"name":"Logic and Logical Philosophy","volume":" ","pages":""},"PeriodicalIF":0.5,"publicationDate":"2022-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48453541","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Local Applications of Logics via Model-Theoretic Interpretations 通过模型理论解释的逻辑局部应用
IF 0.5
Logic and Logical Philosophy Pub Date : 2022-07-09 DOI: 10.12775/llp.2022.023
Carlos Benito-Monsalvo
{"title":"Local Applications of Logics via Model-Theoretic Interpretations","authors":"Carlos Benito-Monsalvo","doi":"10.12775/llp.2022.023","DOIUrl":"https://doi.org/10.12775/llp.2022.023","url":null,"abstract":"This paper analyses the notion of ‘interpretation’, which is often tied to the semantic approach to logic, where it is used when referring to truth-value assignments, for instance. There are, however, other uses of the notion that raise interesting problems. These are the cases in which interpreting a logic is closely related to its justification for a given application. The paper aims to present an understanding of interpretations that supports the model-theoretic characterization of validity to the detriment of the proof-theoretic one. This is done by making use of the hierarchy of ST-related logics. Finally, a localist conception of logic is defended as the natural view stemming from the model-theoretic approach.","PeriodicalId":43501,"journal":{"name":"Logic and Logical Philosophy","volume":" ","pages":""},"PeriodicalIF":0.5,"publicationDate":"2022-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42733557","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On the Axiom of Canonicity 论规范性的公理
IF 0.5
Logic and Logical Philosophy Pub Date : 2022-07-07 DOI: 10.12775/llp.2022.022
J. Pogonowski
{"title":"On the Axiom of Canonicity","authors":"J. Pogonowski","doi":"10.12775/llp.2022.022","DOIUrl":"https://doi.org/10.12775/llp.2022.022","url":null,"abstract":"The axiom of canonicity was introduced by the famous Polish logician Roman Suszko in 1951 as an explication of Skolem's Paradox (without reference to the L\"{o}wenheim-Skolem theorem) and a precise representation of the axiom of restriction in set theory proposed much earlier by Abraham Fraenkel. We discuss the main features of Suszko's contribution and hint at its possible further applications.","PeriodicalId":43501,"journal":{"name":"Logic and Logical Philosophy","volume":" ","pages":""},"PeriodicalIF":0.5,"publicationDate":"2022-07-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47445358","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Game Semantics, Quantifiers and Logical Omniscience 游戏语义、量词和逻辑全知
IF 0.5
Logic and Logical Philosophy Pub Date : 2022-06-13 DOI: 10.12775/llp.2022.021
Bruno Ramos Mendonça
{"title":"Game Semantics, Quantifiers and Logical Omniscience","authors":"Bruno Ramos Mendonça","doi":"10.12775/llp.2022.021","DOIUrl":"https://doi.org/10.12775/llp.2022.021","url":null,"abstract":"Logical omniscience states that the knowledge set of ordinary rational agents is closed for its logical consequences. Although epistemic logicians in general judge this principle unrealistic, there is no consensus on how it should be restrained. The challenge is conceptual: we must find adequate criteria for separating obvious logical consequences (consequences for which epistemic closure certainly holds) from non-obvious ones. Non-classical game-theoretic semantics has been employed in this discussion with relative success. On the one hand, with urn semantics [15], an expressive fragment of classical game semantics that weakens the dependence relations between quantifiers occurring in a formula, we can formalize, for a broad array of examples, epistemic scenarios in which an individual ignores the validity of some first-order sentence. On the other hand, urn semantics offers a disproportionate restriction of logical omniscience. Therefore, an improvement of this system is needed to obtain a better solution of the problem. In this paper, I argue that our linguistic competence in using quantifiers requires a sort of basic hypothetical logical knowledge that can be formulated as follows: when inquiring after the truth-value of ∀xφ, an individual might be unaware of all substitutional instances this sentence accepts, but at least she must know that, if an element a is given, then ∀xφ holds only if φ(x/a) is true. This thesis accepts game-theoretic formalization in terms of a refinement of urn semantics. I maintain that the system so obtained (US+) affords an improved solution of the logical omniscience problem. To do this, I characterize first-order theoremhood in US+. As a consequence of this result, we will see that the ideal reasoner depicted by US+ only knows the validity of first-order formulas whose Herbrand witnesses can be trivially found, a fact that provides strong evidence that our refinement of urn semantics captures a relevant sense of logical obviousness.","PeriodicalId":43501,"journal":{"name":"Logic and Logical Philosophy","volume":" ","pages":""},"PeriodicalIF":0.5,"publicationDate":"2022-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43091797","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Four-Valued Logical Framework for Reasoning About Fiction 小说推理的四值逻辑框架
IF 0.5
Logic and Logical Philosophy Pub Date : 2022-05-25 DOI: 10.12775/llp.2022.020
N. Peron, H. Antunes
{"title":"A Four-Valued Logical Framework for Reasoning About Fiction","authors":"N. Peron, H. Antunes","doi":"10.12775/llp.2022.020","DOIUrl":"https://doi.org/10.12775/llp.2022.020","url":null,"abstract":"In view of the limitations of classical, free, and modal logics to deal with fictional names, we develop in this paper a four-valued logical framework that we see as a promising strategy for modeling contexts of reasoning in which those names occur. Specifically, we propose to evaluate statements in terms of factual and fictional truth values in such a way that, say, declaring ‘Socrates is a man’ to be true does not come down to the same thing as declaring ‘Sherlock Holmes is a man’ to be so. As a result, our framework is capable of representing reasoning involving fictional characters that avoids evaluating statements according to the same semantic standards. The framework encompasses two logics that differ according to alternative ways one may interpret the relationships among the factual and fictional truth values.","PeriodicalId":43501,"journal":{"name":"Logic and Logical Philosophy","volume":" ","pages":""},"PeriodicalIF":0.5,"publicationDate":"2022-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42541510","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"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学术官方微信