Making use of logic
DOI:
https://doi.org/10.12775/LLP.1998.011Abstract
It seems that Polish logic has always been open to considerations concerning the use of methods and results of formal logic within disciplines. We overview a couple of such Polish contributions to what may be called the realm of applied logic. We take a closer look at the formalization of natural reasoning, inconsistency-tolerant logic, and at the formal analysis of causal nexus.References
Alchourron, C., P. G¨ardenfors, D. Makinson, 1985, “On the logic of theory change: Partial meet contraction, functions and their asociated revision functions”, Journal of Symbolic Logic 50, p. 510–530.
Greniewski, H., 1925, “Proba dedukcyjnej teorij przyczynowości”, Przegląd Filozoficzny 27, p. 82–105.
Indrzejczak, A., 1997, “Sekwentowe i założeniowe formalizacje zdaniowych logik modalnych”, Doctoral Dissertation.
Ingarden, R., 1964, Formale Ontologie/Form und Wesen. Der Streit um die Existenz der Welt, volume I, Max-Niemeyer Verlag, Tübingen.
Ingarden, R., 1974, Über die kausale Struktur der realen Welt. Der Streit um die Existenz der Welt, volume III, Max-Niemeyer Verlag, Tübingen.
Jaśkowski, S., 1951, “On the modal and causal functions in symbolic logic”, Studia Philosophica 4, p. 71–92.
Kiczuk, S., 1995, Związek przyczynowy a logika przyczynowości, RW KUL, Lublin 1995.
Łukasiewicz, J., 1970, “On Determinism”, in Selected Works (ed. by L. Borkowski), North-Holland, Amsterdam London, p. 110–128.
Łukasiewicz, J., 1906, “Analiza i konstrukcja pojęcia przyczyny”, Przegląd Filozoficzny 8, p. 105–179.
Makinson, D., 1976, “A characterization of structural completeness of a structural consequence operation”, Reports on Mathematical Logic 6, p. 99–101.
Perzanowski, J., and A. Pietruszczak, 1993, “Editorial of LLP”, Logic and Logical Philosophy 1, p. 3–6. DOI: http://dx.doi.org/10.12775/LLP.1993.001
Pieczkowski, A., 1968, “Undecidability of the homogeneous formulas of degree 3 of the predicate calculus”, Studia Logica 28, p. 7–15.
Pieczkowski, A., 1974, “Causal implications of Jaśkowski”, Studia Logica 34, p. 169–186.
Trybulec, A., 1974, “A model of causality”, Studia Logica 34, p. 7–16.
Trzęsicki, K., 1988, “Teza determinizmu a zasady przyczynowości i skutków (związki logiczne)”, Studia Filozoficzne 6–7, p. 189–205.
Urchs, M., 1992, “On Determinism. Still Unproved in Classical Logic”, Bull. Sect. of Logic 21/4, p. 168–170.
Urchs, M., 1994, “Jaśkowski-style systems of causal logic”, Studia Logica 53, p. 169–186.
Wolniewicz, B., 1985, Ontologia sytuacji, PWN Warszawa.
Downloads
Published
How to Cite
Issue
Section
Stats
Number of views and downloads: 219
Number of citations: 0