SOPhiA 2013

Salzburgiense Concilium Omnibus Philosophis Analyticis

SOPhiA ToolsDE-pageEN-page.DS_STORE-page._.DS_STORE-page

Programm - Vortrag

Ein Beispiel des positionellen Ansatzes zur temporalen Logik
(Logik & Philosophie der Mathematik, Englisch)

S.A. Kripke in his letter (1958) to A.N. Prior argued that the standard temporal logic (i.e. the Prior's temporal logic) does not conform to the contemporary physics, especially, to the Einstein's Theory of Relativity. It is so because the Theory of Relativity precludes the existence of the objective present-time which in fact constitutes one of the fundamental concepts of the Prior's logic. Prior attempted to respond to the Kripke's objection in several manners, inter alia by constructing branching-time logics. However, branching-time logics did not succeed in satisfying the requirements of the contemporary physics.

M. Tkaczyk's thesis is that the modal-logic type of approach to temporal logic cannot be merely adjusted to the area of physical discourse since it is strongly influenced by some tense-logic principles. Tkaczyk advocates the positional approach to temporal logic. His temporal logic employs the concept of simultaneity rather than the concept of the present-time since in place of temporal assertion constants (as "It has at some time been the case that" or "It has always been the case that") it contains the realization operator that is a kind of temporal conjunction.

In my talk I will present Tkaczyk's positional logic ET and analyze its application in the area of physical discourse. I intend also to submit a supplementation to the Tkaczyk's proposition by introducing the definitions of the counterparts of the G. H. von Wright's logics' connectives ("and then", "and next") that establish the ordering of the moments of time.

Chair: Christine Schurz
Zeit: 10:30-11:00, 14. September 2013 (Samstag)
Ort: HS 104

Anna Maria Karczewska
(John Paul II Catholic University of Lublin, Polen)

Anna Maria Karczewska (MA in phil.). The John Paul II Catholic University of Lublin (Poland), Faculty of Philosophy, Department of Logic. 2010 master in philosophy; thesis about Collapsing Modalities in Certain Systems of Modal Logic. Publications in logics and philosophy of logic.

Testability and Meaning deco