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 rejected propositions II" with (...) Jerzy Słupecki and Grzegorz Bryll. -/- -/- . (shrink)

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. The concept of a (...) rejected sentence was introduced by J. Łukasiewicz in the course of his inquiry into Aristotelian Syllogistic. It was essentialy generelized by J. Słupecki who, with reference to Tarski's axiomatic theory of deductive systems (1930), gave the formal definition of the rejection function Cn' according to which a sentence y is rejected on the base of a set of sentences X iff at least one sentence which belongs to X can be deduced from the sentence y. Słupecki proved (1959) that the function Cn', which assignes to the set X the set of sentences rejected on the basis of X, is additive and satisfies the axioms of Tarski's general theory of deductive systems. Work (1) uses not only Tarski's general theory of systems but also his the so-called enlarged theory of systems (1930). It constructs a theory T of rejected sentences (propositions), which is created from Tarski's richer theory of systems by adding one axiom and a number of definitions; among them the definition of the rejection function Cn' is fundamental one. Cn' is a function which assignes to every set X of false sentences the set Cn'X whose members are exclusively false senteces. A number of theorems which describes properties of defined concepts have been proved in T. Some of them are necessary for conducting considertions of the concluding section of (1) devoted to the empirical sentences. Section 2 of (1) deals with the theory of the unit consequenses. It is characterized by an axiom from which follow all axioms of Tarski's general theory of deductive systems, additivity and the property that the unit consequence of the set X of sentences is a unit consequence only one sentence of X. An example of unit consequence is the rejection consequence Cn'. In section 3 of (1) the dual theory T' equivalent to T is presented. In T' the primitive concept is the rejection function Cn'. The fundamental axiom of T' states that Cn' is a unit consequence. The concluding section brings a few examples of applications of the definitions and theorems of T in the domain of the scientific methodology. Work (2) corresonds to J. Słupecki paper (1959) and the theory T of rejected propositions given in work (1). In this paper some suplements of the theory T are given. Work (3) is an extension of the theory of rejected propositios given in the paper (1). It is an attempt of formalization some problems of methodology of the empirical sciences which concern to such concepts as: empirical sentence, similar sentence, generalization, inductive conclusion etc. (shrink)

This paper attempts to demonstrate that the conviction about the harmony and order of the world was a fundamental metaphysical principle of the Pythagoreans. This harmony and order were primarily sought in the structures of arithmetics, yet following the discovery of incommensurable magnitudes (irrational numbers, as we now call them), the Pythagoreans began to see geometrical structure as a fundamental part of the world. On the example of the Pythagoreans’ metaphysics and science, the paper shows the mutual relations between metaphysics (...) and science. It demonstrates— on the one hand—the necessity of the first as a guide for the latter, and—on the other—how our scientific research can change its basic metaphysical principles when these are found to be inappropriate. The paper also tries to show the need for a realistic approach in our scientific research by means of the same example of the Pythagoreans, that is, the need to discern something which is below the surface appearance. (shrink)

The paper tries to demonstrate that the process of the increase of entropy does not explain the asymmetry of time itself because it is unable to account for its fundamental asymmetries, that is, the asymmetry of traces (we have traces of the past and no traces of the future), the asymmetry of causation (we have an impact on future events with no possibility of having an impact on the past), and the asymmetry between the fixed past and the open future, (...) To this end, the approaches of Boltzmann, Reichenbach (and his followers), and Albert are analysed. It is argued that we should look for alternative approaches instead of this, namely we should consider a temporally asymmetrical physical theory or seek a source of the asymmetry of time in metaphysics. This second approach may even turn out to be complementary if only we accept that metaphysics can complement scientific research programmes. (shrink)

Publikacja składa się z dwu zasadniczych części, z których pierwsza zawiera rozprawy poświęcone twórczości Izydory Dąmbskiej, zaś druga - jej pracy własne, publikowane poprzednio w „Kwartalniku Filozoficznym". Tom otwiera wiersz Zbigniewa Herberta „Potęga smaku" dedykowany przez poetę tej wybitnej uczonej, który to utwór dobrze oddaje, w warstwie ideowej, wartości bliskie Dąmbskiej.

Der Aufsatz beschäftigt sich mit den zahlreichen Polonica in der bekannten Zeitschrift, die bis 1918 eine wichtige Rolle in Österreich - auch für polnische Lehrer in Galizien - gespielt hat. Einer Analyse wurden einzelne philologische Sparten wie polnsiche, klassische, germanische Philologien (mit Bezug auf polnische Elemente) unterzogen.

The article presents J. Kmita’s methodological interpretation of selected cognitive methods used by K. Marx. Those methods were (and I believe they still are) significant for the social sciences and the humanities, even a century after they had been developed. J Kmita’s interpretation reveals specificity of epistemic procedures carried out by the author of “Capital” and emphasizes contemporary actuality of Marx’s epistemological ideas. To achieve that aim, Kmita refers to the concepts established in the field of philosophy of science of (...) his time. According to J. Kmita, the attractiveness of Marx’s approach lies in the opportunity to develop a methodological interpretation of Marx philosophy, which in turn enables the formation of a unique theory of science development, alternative to those provided by logical positivism, falsificationism, neopragmatism or sociology of knowledge. Such theory would combine the perspective of sociology of knowledge with an epistemological approach to the development of science. (shrink)

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) systems and rejection (refutation) systems, introduced by Łukasiewicz and developed by (...) his student Słupecki, the pioneers of the method, which becomes relevant in modern approaches to logic. (shrink)

El libro “La Iglesia doliente. Un largo invierno en Cracovia”, escrito por la Dra. Miriam Dolly Arancibia, narra el martirio de la filósofa y religiosa Edith Stein y del sacerdote Jerzy Popiełuszko. Ambos fueron víctimas de la persecución a la Iglesia Católica en Polonia, ella lo fue del nazismo, él lo fue del comunismo estalinista. Ambos sufrieron la intolerancia religiosa y racial llevada a su máxima expresión. La ciudad de Cracovia, donde el Beato Juan Pablo II residió durante cuarenta (...) años, es el escenario desde el cual fluye el relato de los acontecimientos. La misma ciudad que será sede de la Jornada Mundial de la Juventud en el año 2016 -/- The book "The suffered Church. A long winter in Krakow", written by Dr. Miriam Dolly Arancibia, recounts the martyrdom of Edith Stein and Jerzy Popiełuszko. Both were victims of persecution by the Catholic Church in Poland, she was under Nazism and he was under Stalinist communism. Both suffered religious and racial intolerance led to its maximum expression. The city of Krakow, where Blessed John Paul II lived for forty years, is the stage from which flows the account of the events and the same city that will host the world youth day in 2016. (shrink)

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 classifications, distinguished the following types of reasoning: (1) deductive and (2) non-deductive, and additionally two (...) types of them in each of the two, depending on the manner of combining their premises with the conclusion through the relation of classical logical entailment. Consequently, the four types of reasoning: unilateral deductive (incl. its sub-types: deductive inference and proof), bilateral deductive (incl. complete induction), and reductive (incl. the sub-types: explanation and verification), logically nonvaluable (incl. inference by analogy, statistic inference), correspond to four operators of derivability. They are defined formally on the ground of Tarski’s axiomatic theory of deductive systems, by means of the consequence operation _Cn_ (Tarski in Monatshefte Math Phys 37:361–404, 1930a, C R Soc Sci Lett Vars 23:22–29, 1930b). Also, certain metalogical properties of these operators are given, as well as their relations with Tarski’s consequence operations \(Cn^+\) ( \(Cn^+ = Cn\) ) and dual consequences \(Cn^{-1}\) (Słupecki in Zeszyty Naukowe Uniwersytetu Wrocławskiego Seria B Nr 3:33–40, 1959, Słupecki et al. in Stud Log 29:76–123, 1971, Wybraniec-Skardowska, in: Wybraniec-Skardowska, Bryll (eds) Z badań nad teorią zdań odrzuconych [Studies in the Theory of Rejected Propositions], Series B, Studia i Monografie, Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Opole, 1969), and \(Cn^-\) (Wójcicki in Bull Sect Log 2(2):54–57, 1973)). (shrink)

In 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 theories T+, T−, and T′ are equivalent. (shrink)

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 (...) of the theories presented here has two levels. The axiomatic theory of label-tokens: material, physical linguistic objects, constitutes the first one. Label-types, according to the literature of the subject, are defined on the other level as equivalence classes of equiform label-tokens. Assuming the opposite point of view, one can accept that theory of label-types: abstract labels, formalized on the first level, in which it is possible to define the notion of label-token as well as the derivative notions on the second level, should become the basis of formalization of the theory of linguistic expressions and the theory of language in general. The axioms and definitions of both theories of labels: T k and T p representing the other approach to the ontology of language are included in the sequel of the abstract. The foundations of the theory of labels T k in which the primary assumption as to the label-types existence is superfluous have been referred on the basis of the author's monography "Teorie Języków Syntaktycznie Kategorialnych" ( "The Theories of Syntactically Categorial Languages"), PWN, Warszawa-Wrocław 1985. The basis of the theory of labels T p which takes into account the other position has to be presented here for the first time. Some extended ideas of the paper will also be presented in author's paper "Logiczne podstawy ontologii składni Języka" ("Logical foundations of language syntax ontology), Studia Filozoficzne 6-7 (271-272), (1988), pp. 263-284. (shrink)

The origins of testing scientific models with statistical techniques go back to 18th century mathematics. However, the modern theory of statistical testing was primarily developed through the work of Sir R.A. Fisher, Jerzy Neyman, and Egon Pearson in the inter-war period. Some of Fisher's papers on testing were published in economics journals (Fisher, 1923, 1935) and exerted a notable influence on the discipline. The development of econometrics and the rise of quantitative economic models in the mid-20th century made statistical (...) significance testing a commonplace, albeit controversial tool within economics. -/- In the debate about significance testing, methodological controversies intertwine with epistemological issues and sociological developments. Our aim in this chapter is to expound these connections and to show how the use of, and the debate about, significance testing in economics differs from other social sciences, such as psychology. (shrink)

Leon Koj napisał w zakończeniu do Problemów semiotyki logicznej, że nie sposób sobie wyobrazić semiotyki w Polsce bez Jerzego Pelca. Można opinię tę rozumieć tak, że Jerzy Pelc wywarł na semiotykę polską wpływ, bez którego to, co w niej najlepsze, nie przybrałoby nigdy formy rozwiniętej, nie ujrzałoby światła dziennego oraz nie znalazłoby odbicia w dydaktyce uniwersyteckiej. Jest to opinia trafna, a rozprawy zawarte w niniejszym – poświęconym Jerzemu Pelcowi – tomie Studiów Semiotycznych są oznakami tego wpływu.

This is a collection of new investigations and discoveries on the history of a great tradition, the Lvov-Warsaw 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.

EN: Selection of Marczyński's interviews on philosophy and literature which were recorded in early 2007 for the purpose of his radio broadcast "Hortus (In)Conclusus." Includes interviews with: Marek Bieńczyk, Józef Bremer, Ihor Byczko, Andrij Dachnij, Anna Dziedzic, Mateusz Falkowski, Tadeusz Gadacz, Michał Głowiński, Dorota Hall, Serhij Jospenko, Wachtang Kebuładze, Zbigniew Kloch, Andrzej Kołakowski, Wasyl Lisowyj, Ołeksandr Majewskyj, Anton Marczynski, Julia Marczyńska, Wadym Menżulin, Zbigniew Mikołejko, Monika Milewska, Andrij Okara, Ihor Paśko, Adam Pomorski, Myrosła Popowycz, Jerzy Prokopiuk, Iryna Puchta, Barbara (...) Skarga, Dmytro Stepowyk, Władysław Stróżewski, Myrosław Trofymuk, Tomas Venclova, Jan Woleński, Taras Wozniak, Arkadiusz Żychliński. (shrink)

From the apparently trivial problem of homonyms, I argue that proper names as they occur in natural languages cannot be characterised as strings of sounds or characters. This entails, first, that the proper names philosophers talk about are not physical entities, like strings, but abstractions that, second, may be better characterised as triples (s, m, C), where s is the string that conveys the meaning m in a set of contexts C. Third, the generality principle of compositionality may be put (...) into question, for apparently its converse holds in some cases. Finally, the prominence of context for determining the meaning expressed by a sign suggests a strong connection between proper names and indexicals. This connection has been largely overlooked by the analytic tradition, in spite that both proper names and indexicals have been among their hottest topics. This may be because the analytic literature about proper names has been decisively influenced by Frege’s work, which was better suited for formal languages. Izydora Dąmbska and Jerzy Pelc, with their semiotic background, were able to have a finer understanding of this quasi-indexical character of proper names. (shrink)

In this article author traces relation between argumentation and cultural practice. The first part focuses on definition of argumentation in informal logic tradition. In particular, it discusses argument in terms of verbal and social activity involving the use of everyday language. Author claims that there is no argumentation beyond language. The second part explains persuasive argumentation as a form of cultural practice. The persuasive arguments found in “social practice” can be understood as a social activity, analysable within the context of (...) a given cultural system. Author refers to an approach taking the argumentative expression as a certain type of communicative practice, directed towards respecting, recognising or accepting specific actions. The inclusion of persuasive argumentation in the “circuit of cultural activities” to be studied makes it possible to compare this type of argumentation with other social practices, and to posit a clear historical dimension in the study of argumentation. It also makes it possible to view persuasive argumentation as one of many cultural activities aimed at changing or perpetuating behaviours, attitudes, thinking, etc. The third part of the paper concerns the problem of humanistic interpretation of persuasive argumentation. Author attempts to develop this intuition, at the same time demonstrating the problems that arise from this approach. In conclusion, author tries to analyze argumentation in terms of culture theory and humanistic interpretation. (shrink)