-
150On the theory of labels-tokensBulletin of the Section of Logic 10 (1): 30-33. 1981.This note is based on a lecture delivered at the Conference on the Scien- tic Research of the Mathematical Center of Opole, Turawa, May 10-11th, 1980. A somewhat extended version will be published in the Proceedings of the Conference. At the same time it is an abstract of a part of a planned larger paper, which will involve the theory of label-tokens. The theory is included into the author's monograph in Polish "Teorie Językow Syntaktycznie Kategorialnych", PWN, Warszawa-Wrocław 1985 and into it…Read more
-
145Realistics Premises of Epistemic Argumentation for Dynamic Epistemic LogicsStudies in Logic, Grammar and Rhetoric 23 (36): 173-187. 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
-
139On Universal Roots in LogicDialogue and Universalism 8 (11): 143-154. 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
-
132Alfred Tarski - człowiek, który zdefiniował prawdęRuch Filozoficzny 4 (4). 2007.This article is a characteristic of Alfred Tarski's profile, seen from a personal perspective after a long visit to Berkeley, at the invitation of Jan Tarski, in the house where Alfred Tarski lived. It takes into account the scientific achievements and research results of Tarski, as well as certain impressions of the author of these memories concerning the exotic life of this great Polish logician and mathematician of the 20th century.
-
126Logiczne podstawy ontologii składni językaStudia Filozoficzne 271 (6-7): 263-284. 1988.By logical foundations of language syntax ontology we understand here the construction of formalized linguistic theories based on widely conceived mathematical logic and dependent on two trends in language ontology. The formalization includes exclusively the syntactic aspect of logical analysis of language characterized categorially according to Ajdukiewicz's approach [1935, 1960]. Any categorial language L is characterized formally on two levels: on one of them it concerns the language of expre…Read more
-
119O konceptualizacji wiedzy nieostrejFilozofia Nauki 3. 1996.In the article the problem of imprecise information and concepts is considered. The theory of rough sets and the theory of fuzzy sets are used to provide an original solution to this problem.
-
97The Polish School of Argumentation: A ManifestoArgumentation 28 (3): 267-282. 2014.Building on our diverse research traditions in the study of reasoning, language and communication, the Polish School of Argumentation integrates various disciplines and institutions across Poland in which scholars are dedicated to understanding the phenomenon of the force of argument. Our primary goal is to craft a methodological programme and establish organisational infrastructure: this is the first key step in facilitating and fostering our research movement, which joins people with a common …Read more
-
83The Warsaw School of Logic: Main Pillars, Ideas, SignificanceStudia 1-11. forthcoming.The Warsaw School of Logic (WSL) was the famous branch of the Lvov-Warsaw School (LWS) – the most important movement in the history of Polish philosophy. Logic made the most important field in the activities of the WSL. The aim of this work is to highlight the role and significance of the WSL in the history of logic in the 20th century.
-
79Meaning and Interpretation. IIStudia Logica 85 (2): 261-274. 2007.The paper enriches the conceptual apparatus of the theory of meaning and denotation that was presented in Part I (Section 3). This part concentrates on the notion of interpretation, which is defined as an equivalence class of the relation possessing the same manner of interpreting types. In this part, some relations between meaning and interpretation, as well as one between denotation an interpretational denotation are established. In the theory of meaning and interpretation, the notion of langu…Read more
-
76Operator Counterparts of Types of ReasoningLogica Universalis 17 (4): 511-528. 2023.Logical and philosophical literature provides different classifications of reasoning. In the Polish literature on the subject, for instance, there are three popular ones accepted by representatives of the Lvov-Warsaw School: Jan Łukasiewicz, Tadeusz Czeżowski and Kazimierz Ajdukiewicz (Ajdukiewicz in Logika pragmatyczna [Pragmatic Logic]. PWN, Warsaw (1965, 2nd ed. 1974). Translated as: Pragmatic Logic. Reidel & PWN, Dordrecht, 1975). The author of this paper, having modified those classificatio…Read more
-
60Logical and philosophical ideas in certain formal approaches to languageSynthese 116 (2): 231-277. 1998.This paper reminds, puts in order, sketches and also initiates some researches from the field of logic and philosophy of language. It lays emphasis on the logical-linguistic and ontological developmental lines originated with Polish researchers. The author discusses two opposite orientations of the former line in the process of formalization of language, called here nominalistic and Platonistic. The paper mentions the author's result (1989; 1991) concerning theoretical equivalence of two axiomat…Read more
-
56Theory 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
-
52Logic and the Ontology of LanguageIn Bartłomiej Skowron (ed.), Contemporary Polish Ontology, De Gruyter. pp. 109-132. 2019.The main goal of this paper is to outline a general formal-logical 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
-
50Z badań nad teorią zdań odrzuconychWydawnictwo Wyższej Szkoły Pedagogicznej w Opolu, Zeszyty Naukowe, Seria B: Studia i Monografie nr 22. 1969.The monograph contains three works on research on the concept of a rejected sentence. This research, conducted under the supervision of Prof. Jerzy Słupecki by U. Wybraniec-Skardowska (1) "Theory of rejected sentences" and G. Bryll (2) "Some supplements of theory of rejected sentences" and (3) "Logical relations between sentences of empirical sciences" led to the construction of a theory rejected sentences and made it possible to formalize certain issues in the methodology of empirical sciences.…Read more
-
40The theory of rejected propositions. IIStudia Logica 30 (1). 1972.This paper is a continuation of Part I under the same title. Its Chapter III contains results given in the following publications: U. Wybraniec-Skardowska, Teoria zdań odrzuconych (Theory of Rejected Sentences), (doctoral dissertation under the supervision of Jerzy Słupecki, published as a monograph), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Monografie, Nr 22 (1969), 5-131. G. Bryll, Związki logiczne pomiędzy zdaniami nauk empirycznych (Logical relations between sentences o…Read more
-
3924th European Summer School on Logic, Language and InformationBulletin of Symbolic Logic 19 (4): 519-522. 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 6-17, 2012. The organisation committee was chaired by Janusz Czelakowski and Urszula Wybraniec-Skardowska (Institute of Mathe…Read more
-
38Theory of Language Syntax: Categorial ApproachKluwer Academic Publishers. 1991.This book presents a formal and philosophical analysis of language syntax. It refers to some ideas of E.Husserl and G. Frege, to S. Leśniewski's theory of syntactic categories and K. Ajdukiewicz's conception of formal grammar, also to Ch.S. Pierces's distinction between tokens (concrete linguistic entities) and types (ideal linguistic entities) and to A.A. Markov's theory of algorithms. The central aim of the book is - in the spirit of these ideas - to provide both strict yet comprehensive lect…Read more
-
38On the eliminatibility of ideal linguistic entitiesStudia Logica 48 (4). 1989.With reference to Polish logico-philosophical tradition two formal theories of language syntax have been sketched and then compared with each other. The first theory is based on the assumption that the basic linguistic stratum is constituted by object-tokens (concrete objects perceived through the senses) and that the types of such objects (ideal objects) are derivative constructs. The other is founded on an opposite philosophical orientation. The two theories are equivalent. The main conclusion…Read more
-
34On Pairs of Dual Consequence OperationsLogica Universalis 5 (2): 177-203. 2011.In the paper, the authors discuss two kinds of consequence operations characterized axiomatically. The first one are consequence operations of the type Cn + that, in the intuitive sense, are infallible operations, always leading from accepted (true) sentences of a deductive system to accepted (true) sentences of the deductive system (see Tarski in Monatshefte für Mathematik und Physik 37:361–404, 1930, Comptes Rendus des Séances De la Société des Sciences et des Lettres de Varsovie 23:22–29, 193…Read more
-
34Logical Squares for Classical Logic SentencesLogica Universalis 10 (2-3): 293-312. 2016.In this paper, with reference to relationships of the traditional square of opposition, we establish all the relations of the square of opposition between complex sentences built from the 16 binary and four unary propositional connectives of the classical propositional calculus. We illustrate them by means of many squares of opposition and, corresponding to them—octagons, hexagons or other geometrical objects.
-
31On the formalization of classical categorial grammarPoznan Studies in the Philosophy of the Sciences and the Humanities 89 269. 2006.This article summarizes the main ideas for formalizing categorial languages genrated by classical categorial grammar originated by K. Ajdukiewicz [1935,1960].This formalization is presented in detail in the author's monographs in Polish "Teorie Języków Syntaktycznie Kategorialnych" ("Theories of Syntactically Categorical Languages"), PWN, Warszawa-Wrocław 1985 and in English "Theory of Language Syntax, Categorial Approach", Kluwer Academic Publishers, Boston-London-Dordrecht 1991.
-
27Calculus of Contextual Rough Sets in Contextual SpacesJournal of Applied Non-Classical Logics 8 (1): 9-26. 1998.The work broadens – to a considerable extent – Z. Pawlak’s original method (1982, 1992) of approximation of sets. The approximation of sets included in a universum U goes on in the contextual approximation space CAS which consists of: 1) a sequence of Pawlak’s approximation spaces (U,Ci), where indexes i from set I are linearly ordered degrees of contexts (I, <), and Ci is the universum partition U, 2) a sequence of binary relations on sets included in U, relations called context relations inde…Read more
-
25Special Issue Including Selected Papers from the “Logic and Linguistics” Workshop of the 4th World Congress on Universal LogicJournal of Logic, Language and Information 23 (3): 249-252. 2014.Logic and linguistics have engaged in a many-faceted dialogue since the very beginnings of both disciplines in Antiquity. While participants may have had diverse views over the ages, arguably, the dialogue has always revolved around the relationship between human thought and natural language. While there are those who see these two domains as one and the same, or as a case of one-directional influence , we beg to differ. To us, the long historical tradition of authors such as Arnauld, Boole, Tur…Read more
-
24Teoria zdań odrzuconych. IStudia Logica 29 (1): 116-119. 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. 75-123), it is a broad abstract in Polish on pages 116-118.
-
24On Universal Grammar and its FormalizationThe Paideia Archive: Twentieth World Congress of Philosophy 8 153-172. 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 formal-logical perspective; 3) to consider Peirce's well-…Read more
-
20Foundations for the formalization of metamathematics and axiomatizations of consequence theoriesAnnals of Pure and Applied Logic 127 (1-3): 243-266. 2004.This paper deals with Tarski's first axiomatic presentations of the syntax of deductive system. Andrzej Grzegorczyk's significant results which laid the foundations for the formalization of metalogic, are touched upon briefly. The results relate to Tarski's theory of concatenation, also called the theory of strings, and to Tarski's ideas on the formalization of metamathematics. There is a short mention of author's research in the field. The main part of the paper surveys research on the theory o…Read more
-
15Teoria zdań odrzuconych. IIStudia Logica 30 (1): 140-142. 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. 97-145), its broad abstract in Polish on pages 140-142.
-
Cardinal Stefan Wyszynski University In WarsawOther (Part-time)
Areas of Specialization
Science, Logic, and Mathematics |
Areas of Interest
Science, Logic, and Mathematics |
Philosophy, Misc |
Metaphysics and Epistemology |