-
432Categories of First-Order QuantifiersIn Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present, Springer- Birkhauser,. pp. 575-597. 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 first-order 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
-
806Introduction. The School: Its Genesis, Development and SignificanceIn Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present, Springer- Birkhauser,. pp. 3-14. 2018.The Introduction outlines, in a concise way, the history of the Lvov-Warsaw 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
-
221On 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
-
251Logic and SensePhilosophy Study 6 (9). 2016.In the paper, original formal-logical conception of syntactic and semantic: intensional and extensional senses of expressions of any language L is outlined. Syntax and bi-level intensional and extensional semantics of language L are characterized categorically: in the spirit of some Husserl’s ideas of pure grammar, Leśniewski-Ajukiewicz’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
-
542Does 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?
-
155Realistics 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
-
189Teoria zdań odrzuconychDissertation, Opole University. 1969.This is the PhD dissertation, written under supervision of Professor Jerzy Słupecki, published in the book: U.Wybraniec-Skardowska 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. 5-131. 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
-
25Teoria 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.
-
60Theory 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
-
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.
-
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
-
156On 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
-
219On the axiomatic systems of syntactically-categorial languagesBulletin of the Section of Logic 13 (4): 241-249. 1984.The paper contains an overview of the most important results presented in the monograph of the author "Teorie Językow Syntaktycznie-Kategorialnych" ("Theories of Syntactically-Categorial Languages" (in Polish), PWN, Warszawa-Wrocław 1985. In the monograph four axiomatic systems of syntactically-categorial languages are presented. The first two refer to languages of expression-tokens. The others also takes into consideration languages of expression-types. Generally, syntactically-categorial langua…Read more
-
230On the type-token relationshipsBulletin of the Section of Logic 15 (4): 164-168. 1986.The two-fold ontological character of linguistic objects revealed due to the distinction between “type” and “token” introduced by Ch. S. Peirce can be a base of the two-fold, both theoretical and axiomatic, approach to the language. Referring to some ideas included in A. A. Markov’s work [1954] (in Russian) on Theory of Algorithms and in some earlier papers of the author, the problem of formalization of the concrete and abstract words theories raised by J. Słupecki was solved. The construction o…Read more
-
140Logiczne 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
-
40On 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
-
132O 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.
-
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
-
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
-
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
-
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
-
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.
-
141Alfred 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.
-
80Meaning 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
-
348Meaning and Interpretation. IStudia Logica 85 (1): 105-132. 2007.The paper is an attempt at a logical explication of some crucial notions of current general semantics and pragmatics. A general, axiomatic, formal-logical theory of meaning and interpretation is outlined in this paper.In the theory, accordingto the token-type distinction of Peirce, language is formalised on two levels: first as a language of token-objects (understood as material, empirical, enduring through time-and space objects) and then – as a language of type-objects (understood as abstract …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
-
26Special 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
-
212On Language AdequacyStudies in Logic, Grammar and Rhetoric 40 (1): 257-292. 2015.The paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most being: the compatibility of language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory T o…Read more
-
37Logical 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.
-
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 |