On causality. Ingarden's analysis vs. Jaśkowski’s logic
DOI:
https://doi.org/10.12775/LLP.1994.004Abstract
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?
References
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.
Downloads
Published
How to Cite
Issue
Section
Stats
Number of views and downloads: 207
Number of citations: 0