Pub Date : 2023-09-14DOI: 10.1007/s10992-023-09710-x
Anna Wójtowicz, Krzysztof Wójtowicz
Abstract One of central problems in the theory of conditionals is the construction of a probability space, where conditionals can be interpreted as events and assigned probabilities. The problem has been given a technical formulation by van Fraassen (23), who also discussed in great detail the solution in the form of Stalnaker Bernoulli spaces. These spaces are very complex – they have the cardinality of the continuum, even if the language is finite. A natural question is, therefore, whether a technically simpler (in particular finite) partial construction can be given. In the paper we provide a new solution to the problem. We show how to construct a finite probability space $$mathrm {S}^#=left(mathrmOmega^#,mathrmSigma^#,mathrm P^#right)$$ S#=Ω#,Σ#,P# in which simple conditionals and their Boolean combinations can be interpreted. The structure is minimal in terms of cardinality within a certain, naturally defined class of models – an interesting side-effect is an estimate of the number of non-equivalent propositions in the conditional language. We demand that the structure satisfy certain natural assumptions concerning the logic and semantics of conditionals and also that it satisfy PCCP. The construction can be easily iterated, producing interpretations for conditionals of arbitrary complexity.
{"title":"A Minimal Probability Space for Conditionals","authors":"Anna Wójtowicz, Krzysztof Wójtowicz","doi":"10.1007/s10992-023-09710-x","DOIUrl":"https://doi.org/10.1007/s10992-023-09710-x","url":null,"abstract":"Abstract One of central problems in the theory of conditionals is the construction of a probability space, where conditionals can be interpreted as events and assigned probabilities. The problem has been given a technical formulation by van Fraassen (23), who also discussed in great detail the solution in the form of Stalnaker Bernoulli spaces. These spaces are very complex – they have the cardinality of the continuum, even if the language is finite. A natural question is, therefore, whether a technically simpler (in particular finite) partial construction can be given. In the paper we provide a new solution to the problem. We show how to construct a finite probability space $$mathrm {S}^#=left(mathrmOmega^#,mathrmSigma^#,mathrm P^#right)$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi>S</mml:mi> </mml:mrow> <mml:mo>#</mml:mo> </mml:msup> <mml:mo>=</mml:mo> <mml:mfenced> <mml:msup> <mml:mi>Ω</mml:mi> <mml:mo>#</mml:mo> </mml:msup> <mml:mo>,</mml:mo> <mml:msup> <mml:mi>Σ</mml:mi> <mml:mo>#</mml:mo> </mml:msup> <mml:mo>,</mml:mo> <mml:msup> <mml:mi>P</mml:mi> <mml:mo>#</mml:mo> </mml:msup> </mml:mfenced> </mml:mrow> </mml:math> in which simple conditionals and their Boolean combinations can be interpreted. The structure is minimal in terms of cardinality within a certain, naturally defined class of models – an interesting side-effect is an estimate of the number of non-equivalent propositions in the conditional language. We demand that the structure satisfy certain natural assumptions concerning the logic and semantics of conditionals and also that it satisfy PCCP. The construction can be easily iterated, producing interpretations for conditionals of arbitrary complexity.","PeriodicalId":51526,"journal":{"name":"JOURNAL OF PHILOSOPHICAL LOGIC","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134912384","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}
Pub Date : 2023-08-30DOI: 10.1007/s10992-023-09716-5
S. Hansson
{"title":"A Basis for AGM Revision in Bayesian Probability Revision","authors":"S. Hansson","doi":"10.1007/s10992-023-09716-5","DOIUrl":"https://doi.org/10.1007/s10992-023-09716-5","url":null,"abstract":"","PeriodicalId":51526,"journal":{"name":"JOURNAL OF PHILOSOPHICAL LOGIC","volume":" ","pages":""},"PeriodicalIF":1.5,"publicationDate":"2023-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46062611","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}
Pub Date : 2023-08-10DOI: 10.1007/s10992-023-09714-7
Kees van Berkel, Tim S. Lyon, Matteo Pascucci
Abstract This article proposes the use of temporal logic for an analysis of instrumentality inspired by the work of G.H. von Wright. The first part of the article contains the philosophical foundations. We discuss von Wright’s general theory of agency and his account of instrumentality. Moreover, we propose several refinements to this framework via rigorous definitions of the core notions involved. In the second part, we develop a logical system called Temporal Logic of Action and Expectations ( $$textsf{TLAE}$$ TLAE ). The logic is inspired by a fragment of propositional dynamic logic based on indeterministic time. The system is proven to be weakly complete relative to its given semantics. We then employ $$textsf{TLAE}$$ TLAE to formalise and analyse the instrumentality relations defined in the first part of the paper. Last, we point out philosophical implications and possible extensions of our work.
摘要:受赖特(G.H. von Wright)的启发，本文提出用时间逻辑分析工具性。文章的第一部分包括哲学基础。我们讨论了赖特的代理的一般理论和他的工具性的说明。此外，通过对所涉及的核心概念的严格定义，我们提出了对该框架的若干改进。在第二部分，我们开发了一个逻辑系统，称为行动和期望的时间逻辑($$textsf{TLAE}$$ TLAE)。该逻辑的灵感来自于基于不确定时间的命题动态逻辑的片段。证明了系统相对于其给定语义是弱完备的。然后，我们使用$$textsf{TLAE}$$ TLAE来形式化和分析本文第一部分中定义的工具关系。最后，我们指出了我们工作的哲学意义和可能的扩展。
{"title":"A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations","authors":"Kees van Berkel, Tim S. Lyon, Matteo Pascucci","doi":"10.1007/s10992-023-09714-7","DOIUrl":"https://doi.org/10.1007/s10992-023-09714-7","url":null,"abstract":"Abstract This article proposes the use of temporal logic for an analysis of instrumentality inspired by the work of G.H. von Wright. The first part of the article contains the philosophical foundations. We discuss von Wright’s general theory of agency and his account of instrumentality. Moreover, we propose several refinements to this framework via rigorous definitions of the core notions involved. In the second part, we develop a logical system called Temporal Logic of Action and Expectations ( $$textsf{TLAE}$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mi>TLAE</mml:mi> </mml:math> ). The logic is inspired by a fragment of propositional dynamic logic based on indeterministic time. The system is proven to be weakly complete relative to its given semantics. We then employ $$textsf{TLAE}$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mi>TLAE</mml:mi> </mml:math> to formalise and analyse the instrumentality relations defined in the first part of the paper. Last, we point out philosophical implications and possible extensions of our work.","PeriodicalId":51526,"journal":{"name":"JOURNAL OF PHILOSOPHICAL LOGIC","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135551869","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}
Pub Date : 2023-08-07DOI: 10.1007/s10992-023-09711-w
Andreas Kapsner, U. Rivieccio
{"title":"The Value of the One Value: Exactly True Logic revisited","authors":"Andreas Kapsner, U. Rivieccio","doi":"10.1007/s10992-023-09711-w","DOIUrl":"https://doi.org/10.1007/s10992-023-09711-w","url":null,"abstract":"","PeriodicalId":51526,"journal":{"name":"JOURNAL OF PHILOSOPHICAL LOGIC","volume":"52 1","pages":"1417 - 1444"},"PeriodicalIF":1.5,"publicationDate":"2023-08-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45382530","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}
Pub Date : 2023-08-03DOI: 10.1007/s10992-023-09707-6
Martin Fischer, Matteo Zicchetti
{"title":"Internal Categoricity, Truth and Determinacy","authors":"Martin Fischer, Matteo Zicchetti","doi":"10.1007/s10992-023-09707-6","DOIUrl":"https://doi.org/10.1007/s10992-023-09707-6","url":null,"abstract":"","PeriodicalId":51526,"journal":{"name":"JOURNAL OF PHILOSOPHICAL LOGIC","volume":"52 1","pages":"1295 - 1325"},"PeriodicalIF":1.5,"publicationDate":"2023-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48072663","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}
Pub Date : 2023-07-29DOI: 10.1007/s10992-023-09709-4
Satoru Niki, H. Wansing
{"title":"On the Provable Contradictions of the Connexive Logics C and C3","authors":"Satoru Niki, H. Wansing","doi":"10.1007/s10992-023-09709-4","DOIUrl":"https://doi.org/10.1007/s10992-023-09709-4","url":null,"abstract":"","PeriodicalId":51526,"journal":{"name":"JOURNAL OF PHILOSOPHICAL LOGIC","volume":"52 1","pages":"1355 - 1383"},"PeriodicalIF":1.5,"publicationDate":"2023-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45849467","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}
Pub Date : 2023-05-30DOI: 10.1007/s10992-023-09706-7
S. Logan
{"title":"Correction to: Depth Relevance and Hyperformalism","authors":"S. Logan","doi":"10.1007/s10992-023-09706-7","DOIUrl":"https://doi.org/10.1007/s10992-023-09706-7","url":null,"abstract":"","PeriodicalId":51526,"journal":{"name":"JOURNAL OF PHILOSOPHICAL LOGIC","volume":"52 1","pages":"1235 - 1235"},"PeriodicalIF":1.5,"publicationDate":"2023-05-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47313725","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：