奥克汉主义与量化模态逻辑

IF 0.3 3区哲学 Q1 Arts and Humanities

Logique et Analyse Pub Date : 2015-01-01 DOI:10.2143/LEA.231.0.3141814

Andrea Iacona

{"title":"奥克汉主义与量化模态逻辑","authors":"Andrea Iacona","doi":"10.2143/LEA.231.0.3141814","DOIUrl":null,"url":null,"abstract":"This paper outlines a formal account of tensed sentences that is consistent with Ockhamism, a view according to which future contingents are either true or false. The account outlined substantively differs from attempts that have been made so far to provide a formal apparatus for such view, in that it does not involve some expressly modied version of branching time semantics. The system on which it is based is the simplest quantified modal logic.","PeriodicalId":46471,"journal":{"name":"Logique et Analyse","volume":"15 1","pages":"355-372"},"PeriodicalIF":0.3000,"publicationDate":"2015-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Ockhamism and Quantified Modal Logic\",\"authors\":\"Andrea Iacona\",\"doi\":\"10.2143/LEA.231.0.3141814\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper outlines a formal account of tensed sentences that is consistent with Ockhamism, a view according to which future contingents are either true or false. The account outlined substantively differs from attempts that have been made so far to provide a formal apparatus for such view, in that it does not involve some expressly modied version of branching time semantics. The system on which it is based is the simplest quantified modal logic.\",\"PeriodicalId\":46471,\"journal\":{\"name\":\"Logique et Analyse\",\"volume\":\"15 1\",\"pages\":\"355-372\"},\"PeriodicalIF\":0.3000,\"publicationDate\":\"2015-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Logique et Analyse\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.2143/LEA.231.0.3141814\",\"RegionNum\":3,\"RegionCategory\":\"哲学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"Arts and Humanities\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Logique et Analyse","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.2143/LEA.231.0.3141814","RegionNum":3,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"Arts and Humanities","Score":null,"Total":0}

引用次数: 2

摘要

本文概述了一种与奥克汉主义相一致的时态句子的正式描述，根据这种观点，未来偶然事件要么是真的，要么是假的。概述的描述与迄今为止为这种观点提供正式工具的尝试有本质上的不同，因为它不涉及某些明确修改版本的分支时间语义。它所基于的系统是最简单的量化模态逻辑。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Ockhamism and Quantified Modal Logic

This paper outlines a formal account of tensed sentences that is consistent with Ockhamism, a view according to which future contingents are either true or false. The account outlined substantively differs from attempts that have been made so far to provide a formal apparatus for such view, in that it does not involve some expressly modied version of branching time semantics. The system on which it is based is the simplest quantified modal logic.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Logique et Analyse PHILOSOPHY-

CiteScore

0.60

自引率

0.00%

发文量

期刊介绍： Logique et Analyse is the continuation of Bulletin Intérieur, which was published from 1954 on by the Belgian National Centre for Logical Investigation, and intended originally only as an internal publication of results for its members and collaborators. Since the start of the new series, in 1958, however, the journal has been open to external submissions (and subscriptions). Logique et Analyse itself subscribes to no particular logical or philosophical doctrine, and so is open to articles from all points of view, provided only that they concern the designated subject matter of the journal.