Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Results found: 4

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  TENSE LOGIC
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

Stosowalność niektórych rozszerzeń tense logic w logicznej analizie rozumowań prawniczych

100%
Kozanecka-Dymek A.
Kwartalnik Filozoficzny
|
2015
|
vol. 43
|
issue 2
EN
The paper considers possible applications of some extensions of tense logic in the logical analysis of legal reasoning. At the beginning of the article it is pointed out that the time element plays an important role in the legal sciences. Then conditions are given that must be imposed on temporal systems which can be applied in these sciences. The next parts of the paper contain: a brief characterization of metric tense logic, a characterization of tense logic with the operators Since and Until, and examples of the formalization of sentences of legal language by means of symbols occurring in these logics. The standpoint presented claims that adequate temporal systems, which are extensions of tense logic, can provide a language to formalize sentences of legal language that contain specific time expressions and to model inferences consisting of such sentences conducted in the legal sciences. Appropriate systems would also provide tools to check the formal correctness of these reasonings.
2

SYSTEMS OF TENSE LOGIC IN THE NATURAL SCIENCES (Systemy tense logic oraz ich stosowalnosc w naukach przyrodniczych)

88%
Kozanecka-Dymek A.
Edukacja Filozoficzna
|
2009
|
issue 48
193-218
EN
The paper is devoted to the problem of possibility of application of some systems of tense logic in the natural sciences. In the beginning of the paper there are given conditions imposed on formal systems which can be applied in the real sciences. In the second part of the paper definition of physical time (and relation of preceding) are given. There are also briefly discussed the most important properties of physical time. Third part of the paper presents a syntactic characterization of the systems of tense logic. Finally, the last part of the paper seeks to answer whether the systems of tense logic adequate express, by means of theses, some properties of physical time and relation of temporal aftermath. What follows, whether they (especially their language) can find applications in the natural sciences, mainly in physics.
3

FULFILLING RUSSELL’S WISH: A.N. PRIOR AND THE RESURGENCE OF PHILOSOPHICAL THEOLOGY

88%
Jakobsen D.
Organon F. medzinárodný časopis pre analytickú filozofiu
|
2023
|
vol. 30
|
issue 1
32 – 52
EN
Wolterstorff (2009) provides an important explanation to the question: What caused the surprising resurgence of philosophical theology that has occurred over the last 50 years—a resurgence that rivals its zenith in the Middle Ages? Recent discoveries in Arthur Norman Prior’s correspondence with J.J.C Smart and Mary Prior, between November 1953 and August 1954 on the possibility of necessary existence, demonstrates the importance of Prior’s discussion of the Barcan formulae in Time and Modality (1957) for the resurgence of analytic theology. The correspondence establishes that Prior’s discovery of tense-logic, and his discussion of quantified tense-logic constituted the perfect opportunity for him to challenge key anti-metaphysical assumptions in analytic philosophy, from which four important consequences can be drawn for the resurgence of philosophical theology. First, Prior’s discussion of time and existence challenged the idea of Russell (1945) and Findlay (1948) on the logical status of a necessary existing being. Second, the discussion challenged the Analytic school’s view of analysis and gave Prior the opportunity to introduce a different perspective on the relationship between logic and metaphysics. Third, it gave Prior a good opportunity to demonstrate that the then-prevailing attitude towards medieval logic was wrong. Fourth, it made it possible for Prior to demonstrate that the highly surprising metaphysical conclusions of quantified tense-logic brings modern logicians into a discussion with the theologically minded medieval logicians.
4

HIGHLIGHTS IN THE DEVELOPMENT OF TENSE-LOGIC

88%
Øhrstrøm P.
Organon F. medzinárodný časopis pre analytickú filozofiu
|
2023
|
vol. 30
|
issue 1
5 - 31
EN
For the first time Arthur Norman Prior presented his ideas of tense-logic1 on the 27th August in 1954. He developed the field further in many publications until his death in 1969. His books Time and Modality (1957a), Past, Present and Future (1967), and Papers on Time and Tense (1968) were clearly vital milestones. Much of Prior’s personal motivation had to do with his struggle with the logical tension between the theological doctrines of divine foreknowledge and human freedom. It turned out that tense-logic gave rise to a powerful tool for dealing with this and similar problems. Furthermore, important highlights in Prior’s tense-logic were the development of branching time and the introduction of instant propositions (leading to what has later been called ‘hybrid logic’). Since Prior’s death, many further developments of formal tense logic and its semantics have been presented and carefully investigated. In philosophical logic, many researchers have focused on discussions regarding ‘the true future’ and the notion of ‘the thin red line’.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.