On causality. Ingarden's analysis vs. Jaśkowski’s logic

Max Urchs

DOI: http://dx.doi.org/10.12775/LLP.1994.004


Considering the growing need for formal counterparts of causal nexus (AI is desperately looking for a good one!) and thus trying to construct appropriate relations within a formal framework one faces the problem that the notion of “causal connection” is by no means explained with sufficient precision. How to overcome the resulting difficulties?

Full Text:



Arend Heyting: “Die formalen Regeln der intuitionistischen Mathematik”, Sitzungsberichte der Preussischen Akademie der Wissenschaften. Mathematisch-Physikalische Klasse (1930), 57–71, 158–169.

Roman Ingarden: Formale Ontologie/Form und Wesen. Der Streit um die Existenz der Welt I, Max-Niemeyer Verlag T¨ubingen 1964.

Roman Ingarden: Über die kausale Struktur der realen Welt. Der Streit um die Existenz der Welt III, Max-Niemeyer Verlag T¨ubingen 1974.

Stanisław Jaśkowski: “On the modal and causal functions in symbolic logic”, Studia Philosophica (1951), 72–92.

Stanisław Jaśkowski: “Propositional Calculus for Contradictory Deductive Systems”, Studia Logica XXIV (1969), 143–160.

Jan Łukasiewicz: “Analiza i konstrukcja pojęcia przyczyny”, Przegląd Filozoficzny (1906), 105–179.

Max Urchs: “Kripke-style semantics for Jaśkowski’s system Qf”, Bull. Sec. of Logic 10/1 (1981), 24–29.

Max Urchs: Kausallogik, Habilitationsschrift, Leipzig 1987.

Max Urchs: “On the logic of Event-causation. Jaśkowski-style Systems of Causal Logic”, Studia Logica LIII (1994), 551–578.

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism