Making use of logic

Max Urchs

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

Abstract


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.

Full Text:

PDF

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.








logo
 
 
 
Financed by MNiSW on the basis of agreement no. 706/P-DUN/2018 (dated 10/05/18). Project 1: “Preparation of articles in English for eight editions of the journal Logic and Logical Philosophy over the period 2018–19; Vol. 27, No. 1–4 (2018), Vol. 28, No. 1–4 (2019)”; amount from the DUN grant: 64800 zł. Project 4: “Digitalisation of eight editions of the journal Logic and Logical Philosophy over the period 2018-19; Vol. 27, No. 1–4 (2018), Vol. 28, No. 1–4 (2019)”; amount from the DUN grant: 18600 zł.


ISSN: 1425-3305 (print version)
ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism