Arthur W. Burks’s Theorem on Adding a Superfluous Condition
Abstract
In the first part of the article true expressions and false expressions are presented that served A. W. Burks to build a formal system of logic of causal propositions along with considering their later use in the system built in 1963.
In the second part of the article the possibility of conducting an axiomatic proof of the theorem on adding a superfluous condition is analyzed. The consequences are also shown of substituting a negation of the same propositional variable for the propositional variable and conditions are analyzed of substitution for propositional variables and possibilities of avoiding those difficulties.
References
Amsterdamski S.: Nauka a porządek świata, Warszawa 1983.
Borkowski L.: W sprawie intuicyjnej interpretacji logiki trójwartościowej Łukasiewicza, „Roczniki Filozoficzne” 25 (1977), z. 1, s. 61-68.
Bunge M.: O przyczynowości. Miejsce zasady przyczynowej we współczesnej nauce, Warszawa: PWN 1968.
Burks A.W.: The Logic of Causal Propositions, „Mind” 60 (1951), s. 363-382.
Burks A.W.: Chance, Cause, Reason, Chicago–London 1977.
Gawecki B.: Zagadnienie przyczynowości w fizyce, Warszawa 1969.
Kamiński S.: Typy wiedzy teoretycznej, „Analecta Cracoviensia” 14 (1982), s. 11-16.
Kiczuk S.: Problematyka wartości poznawczej systemów logiki zmiany, Lublin: RW KUL 1984.
Mazierski S.: Prawa przyrody. Studium metodologiczne, Lublin: RW KUL 1993.
Modrzejewska A.: O implikacji kauzalnej, „Roczniki Filozoficzne” 52 (2004), nr 1, s. 215-225.
Słupecki J.: Próba intuicyjnej interpretacji logiki trójwartościowej Łukasiewicza, [w:] T. Kotarbiński (red.), Rozprawy logiczne, Warszawa 1964, s. 185-191.
Copyright (c) 2005 Roczniki Filozoficzne
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
