Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

John Buridan’s Sophismata and Interval Temporal Semantics

John Buridan’s Sophismata and Interval Temporal Semantics In this paper we look at the suitability of modern interval-based temporal logic for modeling John Buridan’s treatment of tensed sentences in his Sophismata. Building on the paper (Øhrstrøm 1984), we develop Buridan’s analysis of temporal logic, paying particular attention to his notions of negation and the absolute/relative nature of the future and the past.We introduce a number of standard modern propositional interval temporal logics (ITLs) to illustrate where Buridan’s interval-based temporal analysis differs from the standard modern approaches. We give formal proofs of some claims in (Øhrstrøm 1984), and sketch how the standard modern systems could be defined in terms of Buridan’s proposals, showing that his logic can be taken as more basic.In diesem Aufsatz betrachten wir das Geeignetsein einer modernen intervallbasierten temporalen Logik für die Modellierung von John Buridans Behandlung zeitabhängiger Sätze in seinen Sophismata. Aufbauend auf den Aufsatz (Øhrstrøm 1984) stellen wir Buridans Analyse der temporalen Logik dar, mit besonderer Berücksichtigung seiner Begriffe der Negation und der absoluten/relativen Natur der Zukunft und der Vergangenheit. Wir führen einige standardmäßige moderne intervallbasierte temporale Aussagenlogiken (ITLs) ein, um zu illustrieren, wo Buridans intervallbasierte temporale Analyse von den standardmäßigen modernen Zugangsweisen abweicht. Wir geben formale Beweise einiger Behauptungen in (Øhrstrøm 1984) an und skizzieren, wie die standardmäßigen modernen Systeme im Sinne der Vorschläge Buridans definiert werden könnten; wir zeigen damit, dass seine Logik als die grundlegendere aufgefasst werden kann. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png History of Philosophy and Logical Analysis Brill

John Buridan’s Sophismata and Interval Temporal Semantics

Loading next page...
 
/lp/brill/john-buridan-s-sophismata-and-interval-temporal-semantics-hXn0Wer0Ly
Publisher
Brill
Copyright
Copyright © Koninklijke Brill NV, Leiden, The Netherlands
ISSN
2666-4283
eISSN
2666-4275
DOI
10.30965/26664275-01301009
Publisher site
See Article on Publisher Site

Abstract

In this paper we look at the suitability of modern interval-based temporal logic for modeling John Buridan’s treatment of tensed sentences in his Sophismata. Building on the paper (Øhrstrøm 1984), we develop Buridan’s analysis of temporal logic, paying particular attention to his notions of negation and the absolute/relative nature of the future and the past.We introduce a number of standard modern propositional interval temporal logics (ITLs) to illustrate where Buridan’s interval-based temporal analysis differs from the standard modern approaches. We give formal proofs of some claims in (Øhrstrøm 1984), and sketch how the standard modern systems could be defined in terms of Buridan’s proposals, showing that his logic can be taken as more basic.In diesem Aufsatz betrachten wir das Geeignetsein einer modernen intervallbasierten temporalen Logik für die Modellierung von John Buridans Behandlung zeitabhängiger Sätze in seinen Sophismata. Aufbauend auf den Aufsatz (Øhrstrøm 1984) stellen wir Buridans Analyse der temporalen Logik dar, mit besonderer Berücksichtigung seiner Begriffe der Negation und der absoluten/relativen Natur der Zukunft und der Vergangenheit. Wir führen einige standardmäßige moderne intervallbasierte temporale Aussagenlogiken (ITLs) ein, um zu illustrieren, wo Buridans intervallbasierte temporale Analyse von den standardmäßigen modernen Zugangsweisen abweicht. Wir geben formale Beweise einiger Behauptungen in (Øhrstrøm 1984) an und skizzieren, wie die standardmäßigen modernen Systeme im Sinne der Vorschläge Buridans definiert werden könnten; wir zeigen damit, dass seine Logik als die grundlegendere aufgefasst werden kann.

Journal

History of Philosophy and Logical AnalysisBrill

Published: Apr 5, 2010

There are no references for this article.