
Dwojaka natura ontologiczna znaków językowych i problem ich wzajemnych relacjiRuch Filozoficzny 77 (1): 7. 2021.

12J. M. Bocheński's Understanding of the World and Logical Albebraic StructuresEdukacja Filozoficzna 70 (5): 8192. 2020.This work will focus on Józef Maria Bocheński’s inclination towards seeing the world and its logical structure from the point of view of ontology. In section 2, we shall discuss the perception of the world deriving from Bocheński, while in the third section – issues of its logical structure will be dealt with. In section 4, we will present a formal framework of the structure of the world.

25On Metaknowledge and TruthIn Towards Mathematical Philosophy. pp. 319243. 2009.The paper deals with the problem of logical adequacy of language knowledge with cognition of reality. A logical explication of the concept of language knowledge conceived of as a kind of codiﬁed knowledge is taken into account in the paper. Formal considerations regarding the notions of metaknowledge (logical knowledge about language knowledge) and truth are developed in the spirit of some ideas presented in the author’s earlier papers (1991, 1998, 2001a,b, 2007a,b,c) treating about the notions…Read more

81Rejection in Łukasiewicz's and Słupecki's SenseIn The LvovWarsaw School, Past and Present, . pp. 575597. 2018.The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) sys…Read more

28Logic of Faith and Dead. The Idea and Outline of the Theoretical ConceptionPhilosophia Christine 55 (2): 125149. 2019.This paper discusses the theoretical assumptions behind the conception of the logic of faith and deed (LF&D) and outlines its formalaxiomatic frame and its method of construction, which enable us to understand it as a kind of deductive science. The paper is divided into several sections, starting with the logical analysis of the ambiguous terms of 'faith’ and 'action', and focusing in particular on the concepts of religious faith and deed as a type of conscious activity relating to a matter or…Read more

29Does the Lie Contradict the Truth?Studies in Logic, Grammar and Rhetoric 20 (33): 127153. 2010.The considerations presented in this work are an attempt at giving an answer to the arising doubts: it is obvious to philosophers and logicians that such considerations must be grounded on a relevant conception of the truth and the lie, on bringing up one of the most diﬃcult and disturbing philosophical problems, that is the problemate of the truth, on investigating what the lie is. The confusion about the notions related to the ambiguous terms of “the truth” and “the lie” introduces, in turn, a…Read more

15On Universal Roots in LogicDialogue and Universalism 8 (11): 143154. 1998.The aim of this study is to discuss in what sense one can speak about universal character of logic. The authors argue that the role of logic stands mainly in the generality of its language and its unrestricted applications to any field of knowledge and normal human life. The authors try to precise that universality of logic tends in: (a) general character of inference rules and the possibility of using those rules as a tool of justification of theorems of every science, (b) principles of correct…Read more

46What Is the Sense in Logic and Philosophy of LanguageBulletin of the Section of Logic 49 (2): 185211. 2020.In the paper, various notions of the logical semiotic sense of linguistic expressions – namely, syntactic and semantic, intensional and extensional – are considered and formalised on the basis of a formallogical conception of any language L characterised categorially in the spirit of certain Husserl's ideas of pure grammar, LeśniewskiAjdukiewicz's theory of syntactic/semantic categories and, in accordance with Frege's ontological canons, Bocheński's and some of Suszko's ideas of language adequ…Read more

Logic and the Ontology of LanguageIn Bartłomiej Skowron (ed.), Contemporary Polish Ontology, De Gruyter. pp. 109132. 2020.The main goal of this paper is to outline a general formallogical theory of language construed as a particular ontological being. The theory itself will be referred to as an ontology of language, because it is motivated by the fact that language plays a special role: it reflects ontology, and ontology reflects the world. Linguistic expressions will be regarded as having a dual ontological status: they are to be understood as either concreta – i.e. tokens, in the sense of material, physical…Read more

2On Universal Grammar and its FormalizationThe Paideia Archive: Twentieth World Congress of Philosophy 8 153172. 1998.This paper sketches or signals some ideas, results, and proposals connected with the theoretical issues related to the categorial approach to language which originated from the first author and which form the basis for further research by the second author. The main aims are the following: 1) to bring into common use some Polish ideas concerned with classical categorial grammar; 2) to take into consideration a universal and simultaneously formallogical perspective; 3) to consider Peirce's well…Read more

138Logic and Ontology of LanguageIn Bartłomiej Skowron (ed.), Contemporary Polish Ontology, De Gruyter, Mouton. pp. 109132. 2019.The main purpose of the paper is to outline the formallogical, general theory of language treated as a particular ontological being. The theory itself is called the ontology of language, because it is motivated by the fact that the language plays a special role: it reflects ontology and ontology reflects the world. Language expressions are considered to have a dual ontological status. They are understood as either concretes, that is tokens – material, physical objects, or types – classes of to…Read more

114On Certain Axiomatizations of Arithmetic of Natural and Integer NumbersAxioms 2019 (Deductive Systems). 2019.The systems of arithmetic discussed in this work are nonelementary theories. In this paper, natural numbers are characterized axiomatically in two dierent ways. We begin by recalling the classical set P of axioms of Peano’s arithmetic of natural numbers proposed in 1889 (including such primitive notions as: set of natural numbers, zero, successor of natural number) and compare it with the set W of axioms of this arithmetic (including the primitive notions like: set of natural numbers and relat…Read more

2024th European Summer School on Logic, Language and InformationBulletin of Symbolic Logic 19 (4): 519522. 2013.The European Summer Schools in Logic, Language and Information (ESSLLI) have been organised every year since 1989 under the auspices of the Association for Logic, Language and Information (FoLLI) in different cities around Europe. The 24th European Summer School in Logic, Language and Information (ESSLLI 2012) took place at the University of Opole, Poland, during August 617, 2012. The organisation committee was chaired by Janusz Czelakowski and Urszula WybraniecSkardowska (Institute of Mathe…Read more

118In this paper, two axiomatic theories T− and T′ are constructed, which are dual to Tarski’s theory T+ (1930) of deductive systems based on classical propositional calculus. While in Tarski’s theory T+ the primitive notion is the classical consequence function (entailment) Cn+, in the dual theory T− it is replaced by the notion of Słupecki’s rejection consequence Cn− and in the dual theory T′ it is replaced by the notion of the family Incons of inconsistent sets. The author has proved that the th…Read more

189Categories of First Order QuantifiersLvovWarsaw School. Past and Present. 2018.One well known problem regarding quantifiers, in particular the 1st order quantifiers, is connected with their syntactic categories and denotations.The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized firstorder languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of languag…Read more

77Rejection in Łukasiewicz's and Słupecki' SenseLvovWarsaw School. Past and Present. 2018.The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance …Read more

85Alfred Tarski  the man who defined truthFilozofia, Scientific Works of Jan Długosz Academy, Częstochowa 6771. 2008.This article is a translation of the paper in Polish (Alfred Tarski  człowiek, który zdefiniował prawdę) published in Ruch Filozoficzny 4 (4) (2007). It is a personal Alfred Tarski memories based on my stay in Berkeley and visit the Alfred Tarski house for the invitation of Janusz Tarski.

111The LvovWarsaw School. Past and Present (edited book)Springer Birkhauser,. 2018.This is a collection of new investigations and discoveries on the history of a great tradition, the LvovWarsaw School of logic , philosophy and mathematics, by the best specialists from all over the world. The papers range from historical considerations to new philosophical, logical and mathematical developments of this impressive School, including applications to Computer Science, Mathematics, Metalogic, Scientific and Analytic Philosophy, Theory of Models and Linguistics.

219Logical Conceptualization of Knowledge on the Notion of Language CommunicationStudies in Logic, Grammar and Rhetoric 52 (1): 247269. 2017.The main objective of the paper is to provide a conceptual apparatus of a general logical theory of language communication. The aim of the paper is to outline a formallogical theory of language in which the concepts of the phenomenon of language communication and language communication in general are defined and some conditions for their adequacy are formulated. The theory explicates the key notions of contemporary syntax, semantics, and pragmatics. The theory is formalized on two levels: token…Read more

180Rejection in Łukasiewicz's and Słupecki's SenseIn Urszula WybraniecSkardowska & Ángel Garrido (eds.), The LvovWarsaw School. Past and Present, . pp. 575597. 2018.The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance …Read more

181Categories of FirstOrder QuantifiersIn Urszula WybraniecSkardowska & Ángel Garrido (eds.), The LvovWarsaw School. Past and Present, . pp. 575597. 2018.One well known problem regarding quantifiers, in particular the 1storder quantifiers, is connected with their syntactic categories and denotations. The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized firstorder languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of languag…Read more

395Introduction. The School: Its Genesis, Development and SignificanceIn Urszula WybraniecSkardowska & Ángel Garrido (eds.), in: The LvovWarsaw School. Past and Present, Springer. pp. 314. 2018.The Introduction outlines, in a concise way, the history of the LvovWarsaw School – a most unique Polish school of worldwide renown, which pioneered trends combining philosophy, logic, mathematics and language. The author accepts that the beginnings of the School fall on the year 1895, when its founder Kazimierz Twardowski, a disciple of Franz Brentano, came to Lvov on his mission to organize a scientific circle. Soon, among the characteristic features of the School was its serious approach to…Read more

68On Life According to the Logic of Gift, Toil, and ChallengesStudies in Logic, Grammar and Rhetoric 27 (40). 2012.The present essay deals with certain questions in the feld of humanistic philosophy, ethics and axiology, discussed in the light of still newer and newer challenges of our changing times. It highlights the signicant role of Professor Andrzej Grzegorczyk in solving and overcoming problems encountered in the life of man, which is based on his natural logic and incessant eorts aimed at preservation of fundamental moral values, as well as at shaping the principles of the individual and social life. …Read more

75Logic and SensePhilosophy Study 6 (9). 2016.In the paper, original formallogical conception of syntactic and semantic: intensional and extensional senses of expressions of any language L is outlined. Syntax and bilevel intensional and extensional semantics of language L are characterized categorically: in the spirit of some Husserl’s ideas of pure grammar, LeśniewskiAjukiewicz’s theory syntactic/semantic categories and in accordance with Frege’s ontological canons, Bocheński’s famous motto—syntax mirrors ontology and some ideas of Susz…Read more

86Does the Lie Contradict the Truth?Studies in Logic, Grammar and Rhetoric 20 (33). 2010.The main task of this work is not to determine the bases for a moral evaluation of the lie; neither is it to describe its negative qualification. We are interested rather in the very problemate of the truth and the lie itself, considered as a juxtaposition of two of its notions: the truth and the lie, one that aims to provide a positive – as it would seem obvious – answer to the question contained in the title of the present work: Does the lie contradict the truth?

16Realistics Premises of Epistemic Argumentation for Dynamic Epistemic LogicsStudies in Logic, Grammar and Rhetoric 23 (36). 2011.In the paper, certain rational postulates for protocols describing real communicating are introduced.These rational postulates, on the one hand, allow assigning a certain typology of real systems of interactions, which is consistent with the reality of epistemic argumentation in systems of communicating, and on the other one – defining rules of using argumentation in real situations. Moreover, the presented postulates for protocols characterize information networks and administering knowledge in…Read more

50Teoria zdań odrzuconychDissertation, Opole University. 1969.This is the PhD dissertation, written under supervision of Professor Jerzy Słupecki, published in the book: U.WybraniecSkardowska i Grzegorz Bryll "Z badań nad teorią zdań odrzuconych" ( "Studies of theory of rejected sentences"), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Seria B: Studia i Monografie nr 22, pp. 5131. It is the first, original publication on the theory of rejected sentences on which are based, among other, papers: "Theory of rejected propositions. I"and "Theory of …Read more

23Teoria zdań odrzuconych. IStudia Logica 29 (1): 116119. 1971.This is not an article, but it is published after the paper "The theory of rejected proposition.I" (in Studia Logica, 29 (1971), pp. 75123), it is a broad abstract in Polish on pages 116118.

45Theory of rejected propositions. IStudia Logica 29 (1). 1971.The idea of rejection of some sentences on the basis of others comes from Aristotle, as Jan Łukasiewicz states in his studies on Aristotle's syllogistic [1939, 1951], concerning rejection of the false syllogistic form and those on certain calculus of propositions. Short historical remarks on the origin and development of the notion of a rejected sentence, introduced into logic by Jan Łukasiewicz, are contained in the Introduction of this paper. This paper is to a considerable extent a summary of…Read more

14Teoria zdań odrzuconych. IIStudia Logica 30 (1): 140142. 1972.This is not an article, but it is published after the paper "The theory of rejected proposition.II" (in Studia Logica, 30 (1972), pp. 97145), its broad abstract in Polish on pages 140142.

Cardinal Stefan Wyszynski University In WarsawOther (Parttime)
Areas of Specialization
Science, Logic, and Mathematics 
Areas of Interest
Science, Logic, and Mathematics 
Philosophy, Misc 
Metaphysics and Epistemology 