-
58Something, nothing and Leibniz’s question. negation in logic and metaphysicsStudies in Logic, Grammar and Rhetoric 54 (1): 175-190. 2018.This paper discusses the concept of nothing (nothingness) from the point of logic and ontology (metaphysics). It is argued that the category of nothing as a denial of being is subjected to various interpretations. In particular, this thesis concerns the concept of negation as used in metaphysics. Since the Leibniz question ‘Why is there something rather than nothing?’ and the principle of sufficient reason is frequently connected with the status of nothing, their analysis is important for the pr…Read more
-
12Truth and Adequacy. Remarks on Petrażycki’s MethodologyStudia Humana 7 (4): 3-8. 2018.The paper discusses the concept of adequacy central for Pertażycki’s methodology. According to Petrażycki any valuable scientific theory should be adequate, that is, neither limping nor jumping. Consequently, adequacy of a theory is a stronger condition than its truth. Every adequacy theory is true, but not conversely. However, there is problem, because scientific laws are conditionals. This suggests that adequacy is too strong conditions, because the consequence of an implication has a wider sc…Read more
-
6. The classical Liar paradox is as follows We can construct several Liar-like paradoxes, for instance of meaninglesness: An additional principles: A is meaningful A is meaningful; A is meaningful if and only if A is true or false; is not meaningful; is true is not meaningful; Assume that is true; hence is not meaningful; but is meaningful as true; Assume that is false; hence is meaningful, but jest meaningful and true; hence is meaningful; hence is not meaningful; hence we return to…Read more
-
28Universality of LogicBulletin of the Section of Logic 46 (1/2). 2017.This paper deals with the problem of universality property of logic. At first, this property is analyzed in the context of first-order logic. Three senses of the universality property are distinguished: universal applicability, topical neutrality and validity. All theses senses can be proved to be justified. The fourth understanding, namely the amount of expressive power, is connected with the criticism of the first-order thesis: first-order logic is the logic. The categorical approach to logic …Read more
-
34Logic in the Light of Cognitive ScienceStudies in Logic, Grammar and Rhetoric 48 (1): 87-101. 2016.Logical theory codifies rules of correct inferences. On the other hand, logical reasoning is typically considered as one of the most fundamental cognitive activities. Thus, cognitive science is a natural meeting-point for investigations about the place of logic in human cognition. Investigations in this perspective strongly depend on a possible understanding of logic. This paper focuses on logic in the strict sense; that is, the theory of deductive inferences. Two problems are taken into account…Read more
-
Krytyka idealizmu przez Kazimierza AjdukiewiczaIn , Język–znak–rzeczywistość, Polskie Towarzystwo Semiotyczne. pp. 149-163. 2007.
-
On Leonard Nelson's Criticism of EpistemologyIn Epistemology, Knowledge and the Impact of Interaction, Springer. pp. 383-400. 2016.This paper analyses proofs of impossibility of epistemology formulated by Leonard Nelson. He proposed two such demonstrations. The first proof tries to show that no criterion of knowledge is possible. Nelson's second argument considers the sentence B 'A is a piece of knowledge' as being synthetic. On the other hand, Epistemology cannot employ problematic premises. Hence, it consists of analytic sentences. Now, epistemology is impossible because synthetic sentence cannot be derived from purely an…Read more
-
5279Was Gaunilo Right in his Criticism of Anselm? A Contemporary PerspectiveEuropean Journal for Philosophy of Religion 4 (2): 101--111. 2012.Gaunilo argued that Anselm could prove the existence of many perfect objects, for example, the happiest island, that is, happier than any other island. More formally, Gaunilo’s arguments were intended to show that the sentence “God exists‘ does not follow from premises accepted by Anselm. Contemporary versions of the ontological proof use the maximalization procedure in order to demonstrate that God exists as the most perfect being. This paper argues that this method, which is based on maximaliz…Read more
-
Logischer Rationalismus, Philosophische Schriften der Lemberg-Warschauer SchuleRevue Philosophique de la France Et de l'Etranger 178 (3): 393-394. 1988.
-
3Recherches Sur La Philosophie Et Le Langage XVI Stanislav Lesnievski Aujourd'huiLibrarie Philosophique J. Vrin. 1996.
-
8Polish Attempts to Modernize Thomism by Logic (Bocheński and Salamucha)Studies in East European Thought 55 (4): 299-313. 2003.This paper reports some attempts undertaken in Poland in the 1930s to modernize Thomism by means of modern logic. In particular, it concerns J.M. Bocheński and J. Salamucha, the leading members of the CracowCircle. They attempted to give precise logical form to the Five Ways of Thomas Aquinas. Other works concerned the concept of transcendentals, the levels of abstraction, and the concept of essence.
-
97Psychologism and metalogicSynthese 137 (1-2). 2003.This paper examines two arguments againstpsychologism advanced by Frege andHusserl. The first argument says that thelaws of logic cannot be justified by thelaws of psychology, because the formerand a priori and certain, but the latterare probable only. The second argumentpoints out that the status of logicallaws as universal principles of thinking isnot intelligible on the psychologisticinterpretation of logic. The author tries toshow how to examine both arguments bymetalogical devices.
-
9Remarks on Extensionality and IntensionalityIn Jan Wolenski (ed.), Philosophical Logic in Poland, Kluwer Academic Publishers. pp. 321--325. 1994.
-
43Some Current Problems in Metamathematics 1History and Philosophy of Logic 16 (2): 159-168. 1995.In this article the author first described the developments which brought to focus the importance of consistency proofs for mathematics, and which led Hilbert to promote the science of metamathemat-ics. Further comments and remarks concern the (partly analogous) beginnings of the work on the decision problem, Gödel?s theorems and related matters, and general metamathematics. An appendix summarizes a text by the author on completeness and categoricity
-
24The principle of bivalence and Suszko thesisBulletin of the Section of Logic 38 (3/4): 99-110. 2009.
Areas of Interest
Metaphilosophy |
Logic and Philosophy of Logic |