-
How to Speak About History of Analytic PhilosophyIn Jan Woleński, Friedrich Stadler & Anna Brożek (eds.), The Significance of the Lvov-Warsaw School in the European Culture, Springer Verlag. 2017.
-
9The Semantics Controversy at the 1935 Paris CongressPhilosophia Scientiae 22 199-211. 2018.Les débats qui ont eu lieu, lors du Congrès de philosophie scientifique de 1935, sur la sémantique et sa portée philosophique présentent un grand intérêt historique pour deux raisons. Tout d’abord, on s’accorde à y reconnaître un des évènements majeurs du congrès. En second lieu, et de façon plus substantielle, ils ont joué un rôle décisif dans le développement de la sémantique comme discipline philosophique. C’est Carnap qui en a pris l’initiative en invitant Tarski à donner deux conférences. C…Read more
-
59Something, 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
-
5347Was 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.
-
4Recherches 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.
-
36The Cognitive Relation in a Formal SettingStudia Logica 86 (3): 479-497. 2007.This paper proposes a formal framework for the cognitive relation understood as an ordered pair with the cognitive subject and object of cognition as its members. The cognitive subject is represented as consisting of a language, conequence relation and a stock of accepted theories, and the object as a model of those theories. This language allows a simple formulation of the realism/anti-realism controversy. In particular, Tarski’s undefinability theorem gives a philosophical argument for realism…Read more
-
In the Scope of Logic, Methodology, and Philosophy of Science (Vol II) (edited book)Kluwer Academic Publishers. 2002.
-
Wajsberg on the first-order predicate calculus for the finite modelsBulletin of the Section of Logic 2 (2): 107-111. 1973.
-
51What is formal in formal semantics?Dialectica 58 (3). 2004.Formal semantics is understood either as a formal analysis of semantical features of natural language or as model-theoretic semantics of formal(ized) languages. This paper focuses on the second understanding. The problem is how to identify the formal aspects of formal semantics, if we understand ‘formal’ as ‘independent of content’. This is done by showing that the form of semantical interpretation of a language L is given by its syntax and the parallelism of the signature of L and its interpret…Read more
Areas of Interest
Metaphilosophy |
Logic and Philosophy of Logic |