Search results

1

Neurčité situace a logika

100%

Dvořák P.

Filosofický časopis (Philosophical Journal)

|

2015

|

vol. 63

|

issue 3, Special No: Sedmkrát z logiky a metodologie vědy

9-38

EN

The article surveys and evaluates various approaches to the logic of indeterminate situations. Two types of such situations are discussed: future contingents and quantum indeterminacy. Approaches differ according to whether they can salvage (i) classical tautologies (such as the law of excluded middle) as logical truths, (ii) bivalence and (iii) truth-functionality. What I call “the first solution” denies bivalence and either saves classical logical truths (supervaluations) or truth-functionality (multi-valued approach), but not both. The so-called “second solution”, saving all aforementioned features, harbors difficulties for the contingency of future contingents and is inapplicable in the quantum realm. Finally, the third solution saves bivalence but, at least in the case of quantum logic, abandons truth-functionality.

2

Is the Past Determined (Necessary)?

63%

Woleński J.

Roczniki Filozoficzne

|

2018

|

vol. 66

|

issue 4

183-196

EN

This paper is inspired by Marcin Tkaczyk’s works and discusses the problem of the necessity of the past (is the past determined?) and its role in the analysis of future contingents. The discussion centers on the statements (accepted by Tkaczyk, but slightly paraphrased)) firstly, that every past state of affairs is determined, and, secondly, that at least some some future states of affairs are contingent. The paper argues that because the first assertion is not justified, the antinomy of future contingents does not arise. The argument uses modal and metalogical devices.

PL

Praca niniejsza jest inspirowana twórczością Marcina Tkaczyka i omawia problem koniecz-ności przeszłości (czy przeszłość jest zdeterminowana?) i jej roli w analizie przyszłych zdarzeń przy¬godnych. Dyskusja skupia się na stwierdzeniach (zaakceptowanych przez Tkaczyka, ale nie¬co spa¬rafrazowanych): po pierwsze, że każdy dotychczasowy stan rzeczy jest ustalany, po drugie, że przynajmniej niektóre przyszłe stany są przypadkowe. Artykuł dowodzi, że ponieważ pierwsze twierdzenie nie jest uzasadnione, nie powstaje antynomia przyszłych zdarzeń przygodnych. Argument korzysta ze środków modalnych i metalogicznych.

3

Is Transparent Intensional Logic a non-classical logic?

51%

Materna P.

Logic and Logical Philosophy

|

2014

|

vol. 23

|

issue 1

47–55

EN

It is shown that: (a) classicality is connected with various criteria some of which are fulfilled by TIL while some other are not; (b) some more general characteristic of classicality connects it with philosophical realism whereas (radical) anti-realism is connected with non-classical logics; (c) TIL is highly expressive due to its hyperintensionality, which makes it possible to handle procedures as objects sui generis. Thus TIL is classical in obeying principles of realism and non-classical in transcending some principles taught by textbooks of classical logic.

Refine search results

1 Filosofický časopis (Philosophical Journal)

1 Logic and Logical Philosophy

1 Roczniki Filozoficzne

1 Dvořák P.

1 Materna P.

1 Woleński J.

1 2018

1 2015

1 2014

Neurčité situace a logika

Is the Past Determined (Necessary)?

Is Transparent Intensional Logic a non-classical logic?