At first glance there seem to be many similarities between Thomas S. Kuhn’s and Ludwik Fleck’s accounts of the development of scientific knowledge. Notably, both pay attention to the role played by the scientific community in the development of scientific knowledge. But putting first impressions aside, one can criticise some philosophers for being too hasty in their attempt to find supposed similarities in the works of the two men. Having acknowledged that Fleck anticipated some of Kuhn’s later theses, there seems (...) to be a temptation in more recent research to equate both theories in important respects. Because of this approach, one has to deal with the problem of comparing the most notable technical terms of both philosophers, namely ‘‘thought style’’ and ‘‘paradigm’’. This paper aims at a more thorough comparison between Ludwik Fleck’s concept of thought style and Thomas Kuhn’s concept of paradigm. Although some philosophers suggest that these two concepts are essentially equal in content, a closer examination reveals that this is not the case. This thesis of inequality will be defended in detail, also taking into account some of the alleged similarities which may be responsible for losing sight of the differences between these theories. (shrink)

The main objective of this collection of papers is to explore ideas of generation and transformation in the context of postdependency discourse as it may be traced in women’s writing published in Bengali, Polish, Czech, Russian and English. As we believe, literature does not have merely a descriptive function or a purely visionary quality but serves also as a discursive medium, which is rhetorically sophisticated, imaginatively influential and stimulates cultural dynamics. It is an essential carrier of collective memory and a (...) significant indicator of group identity. Along with philosophy, literature explores the intellectual and emotional, aesthetic and ethical components of our lives, and, while focusing on a single feeling or unique event or phenomenon, aspires to capture the universal attributes of human experience. Hence, we intend to juxtapose interpretations of literature originating in very different cultural milieus, such as the Central East European and South Asian,with the literary treatment of the philosophical dilemmas that challenge authors of various nationalities in times of great political, economic and social upheaval and transformation following long periods of dependency and suppression, caused either by colonial and imperialist domination or by communist ideology. (shrink)

English title: Ricoeur and Derrida — the Heritage of Death. In this article the author juxtaposes two different attempts of defending life against Heidegger’s horizon of death (Sein zum Tode) (the survie (survival) of Jacques Derrida and the “Living up to Death” of Paul Ricoeur). Their false proximity introduces a new insight into the discussion about the paradoxical positiveness of deconstruction. Ricoeur’s concept of life makes impossible the understanding of deconstruction as faithfulness to the other not in his identity, but (...) precisely in his otherness. (shrink)

This paper discusses the theoretical assumptions behind the conception of the logic of faith and deed (LF&D) and outlines its formal-axiomatic 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 matters of social importance. After outlining the main ideas and basic assumptions of the theoretical conception of the LF&D as an axiomatic theory, the author introduces some axiom systems for: 1) the logics of faith LF (doxastic logics), 2) the logic of deed LD, and 3) certain logics of norms DL (deontic logics) connected with "duties" and concerning actions/deeds. Lastly, the paper outlines the scientific LF&D based on the three types of logic 1)-3). (shrink)

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.

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)

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.

With reference to Polish logical-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 is that in syntactic researches it is redundant (...) to postulate the existence of abstract linguistic entities. Earlier, in a slightly different form, the idea was presented in paper "Logiczne podstawy ontologii składni języka" (1988). (shrink)

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 codified knowledge is taken into account in the paper. Formal considerations regarding the notions of meta-knowledge (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 of meaning, denotation and truthfulness (...) of well-formed expressions (wfes) of any given categorial language. Three aspects connected with knowledge codified in language are considered, including: 1) syntax and two kinds of semantics: intensional and extensional, 2) three kinds of non-standard language models and 3) three notions of truthfulness of wfes. Adequacy of language knowledge to cognitive objects is understood as an agreement of truthfulness of sentences in these three models. (shrink)

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.

Scientists use visualisations of different kinds in a variety of ways in their scientific work. In the following article, we will take a closer look at the use of photographic pictures as scientific evidence. In accordance with Patrick Maynard’s thesis, photography will be regarded as a family of technologies serving different purposes in divergent contexts. One of these is its ability to detect certain phenomena. Nonetheless, with regard to the philosophical thesis of theory-ladenness of observation, we encounter certain reservations concerning (...) the status of photography and that of photographic pictures in the process of measurement in science. Accordingly, the aim of this paper is twofold: We will discuss suggested solutions both for the technological and for the psychological part of the problem of theory-ladenness appearing in the context of the use of photography in scientific observations. The essential proposal will be to follow Christian Suhm in his advice to make a distinction between theory-relativity and theory-ladenness. (shrink)

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 language expressions. In the paper the principle is introduced for categorial languages generated (...) by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k > 0 is treated as a two-argument functorfunction defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility. (shrink)

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.

The internet has considerably changed epistemic practices in science as well as in everyday life. Apparently, this technology allows more and more people to get access to a huge amount of information. Some people even claim that the internet leads to a democratization of knowledge. In the following text, we will analyze this statement. In particular, we will focus on a potential change in epistemic structure. Does the internet change our common epistemic practice to rely on expert opinions? Does it (...) alter or even undermine the division of epistemic labor? The epistemological framework of our investigation is a naturalist-pragmatist approach to knowledge. We take it that the internet generates a new environment to which people seeking information must adapt. How can they, and how should they, expand their repertory of social markers to continue the venture of filtering, and so make use of the possibilities the internet apparently provides? To find answers to these questions we will take a closer look at two case studies. The first example is about the internet platform WikiLeaks that allows so-called whistle-blowers to anonymously distribute their information. The second case study is about the search engine Google and the problem of personalized searches. Both instances confront a knowledge-seeking individual with particular difficulties which are based on the apparent anonymity of the information distributor. Are there ways for the individual to cope with this problem and to make use of her social markers in this context nonetheless? (shrink)

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 Suszko: language should be a linguistic scheme of ontological reality and simultaneously a tool of its (...) cognition. In the logical conception of language L, its expressions should satisfy some general conditions of language adequacy. The adequacy ensures their unambiguous syntactic and semantic senses and mutual, syntactic, and semantic compatibility, correspondence guaranteed by the acceptance of a postulate of categorial compatibility syntactic and semantic categories of expressions of L. From this postulate, three principles of compositionality follow: one syntactic and two semantic already known to Frege. They are treated as conditions of homomorphism partial algebra of L into algebraic models of L: syntactic, intensional, and extensional. In the paper, they are applied to some expressions with quantifiers. Language adequacy connected with the logical senses described in the logical conception of language L is, of course, an idealization, but only expressions with high degrees of precision of their senses, after due justification, may become theorems of science. (shrink)

In diesem Beitrag soll das Wechselverhältnis von Wissenschaft, Politik und Gesellschaft näher beleuchtet werden. Im Fokus der Untersuchung wird dabei der Begriff des Faktums stehen, dessen Bedeutung durch die neuesten Sprachspiele auf der Bühne der internationalen Politik zumindest in den Augen vieler Wissenschaftler in Misskredit gebracht wurde. In einem ersten Analyseschritt wird aus wissenschaftstheoretischer Perspektive aufgezeigt, inwieweit der Begriff des Faktums als konstitutiv für das nach wie vor hohe Ansehen wissenschaftlicher Erkenntnis in der Gesellschaft betrachtet werden kann. Diese Einsicht in (...) den Zusammenhang von öffentlicher Reputation und Faktenbasiertheit wissenschaftlicher Erkenntnis ist dabei keinesfalls neu, sondern gehört quasi zum wissenschaftsphilosophischen Grundkanon. Der kurze Rekurs auf diese Überlegungen dient im Folgenden als Einstieg in die kritische Erörterung der Frage nach der Zuverlässigkeit dieses Fundaments der Fakten. Ein besonderes Augenmerk wird in der Untersuchung auf das Problem der Wertbeladenheit epistemischer Prozesse in den Wissenschaften gelegt. Inwiefern beeinflussen Werte die Objektivität wissenschaftlicher Resultate? Ist eine solche Beeinflussung stets negativ zu betrachten? Wie hängen die Probleme der Wertbeladenheit und die für die Wissenschaften postulierte Glaubwürdigkeitskrise zusammen? Welche Lösungsstrategien lassen sich aufzeigen? Die Diskussion dieser Fragen wird in eine kritische Auseinandersetzung mit neoliberalen Wertauffassungen münden, welche in den letzten Jahrzehnten verstärkt nicht nur an die wissenschaftliche Gemeinschaft heran-, sondern von deren Mitgliedern auch in diese hineingetragen wurden und werden. (shrink)

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 formal-logical 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-level and type-level. As (...) such, it takes into account the dual – token and type – ontological character of linguistic entities. The basic notions of the theory: language communication, meaning and interpretation are introduced on the second, type-level of formalization, and their required prior formalization of some of the notions introduced on the first, token-level; among others, the notion of an act of communication. Owing to the theory, it is possible to address the problems of adequacy of both empirical acts of communication and of language communication in general. All the conditions of adequacy of communication discussed in the presented paper, are valid for one-way communication (sender-recipient); nevertheless, they can also apply to the reverse direction of language communication (recipient-sender). Therefore, they concern the problem of two-way understanding in language communication. (shrink)

Why do we trust TV news? What reasons might support a recipient’s assessment of the trustworthiness of this kind of information? This paper presents a veritistic analysis of the epistemic practice of news production and communication. The topic is approached by discussing a detailed case study, namely the characteristics of the most popular German news programme, called the ‘Tagesschau’. It will be shown that a veritistic analysis can indeed provide a recipient with relevant reasons to consider when pondering on the (...) trustworthiness of sources of information. Moreover, it will turn out that these reasons are part of what recipients might gather from media literacy. (shrink)

During the Covid-19 pandemic, a significant number of people has seemingly been lured in believing conspiracy theories. Many deliberately disregarded expert advices by virologists and physicians to reduce new infections. This turning away from traditional expert authorities exemplifies the »crisis of expertise« that has been discussed in the philosophy of science for some time, namely that many people seem to have lost their trust in the established authority of expert knowledge and are looking for epistemic alternatives, especially on the Internet (...) and in particular on social media. In this article, this digital cultural trend will be analysed. Will people actually becoming more epistemically autonomous as a result of this new tend? Attention is drawn to the epistemic and moral vulnerability of people who opt for new media as epistemic alternatives instead of relying on traditional expert opinion. It will be shown that some important presuppositions about the Internet and, especially, social media tools as alternative ways to gathering information and find moral support in a group of likeminded people do not hold. (shrink)

Without doubt, there is a widespread usage of visualisations in science. However, what exactly the _epistemic status_ of these visual representations in science may be remains an open question. In the following, I will argue that at least some scientific visualisations are indispensible for our cognitive processes. My thesis will be that, with regard to the activity of _learning_, visual representations are of relevance in the sense of contributing to the aim of _scientific_ _understanding_. Taking into account that understanding can (...) be regarded as an epistemic desideratum in its own right, I will argue that, at least in some instances, no understanding can be achieved without the aid of visualisations. Consequently, they are of crucial importance in this process. Moreover, to support this thesis we will make use of some findings in educational psychology. (shrink)

Without doubt, there is a great diversity of scientific images both with regard to their appearances and their functions. Diagrams, photographs, drawings, etc. serve as evidence in publications, as eye-catchers in presentations, as surrogates for the research object in scientific reasoning. This fact has been highlighted by Stephen M. Downes who takes this diversity as a reason to argue against a unifying representation-based account of how visualisations play their epistemic role in science. In the following paper, I will suggest an (...) alternative explanation of the diversity of scientific images. This account refers to processes which are caused by the social setting of science. What exactly is meant by this, I will spell out with the aid of Ludwik Fleck’s theory of the social mechanisms of scientific communication. (shrink)

Das Positionspapier adressiert Probleme und Schwierigkeiten, die sich aus dem elektronischen Publizieren und den derzeitigen bibliometrischen Bewertungsverfahren wissenschaftlicher Expertise ergeben. Hierzu zählen u.a. der ‚Markt‘ der Informationen (Stichwort: Verlagsoligopole), das Wissenschaftler:innen-Tracking und die Metrisierung der Wissenschaft. -/- Es richtet sich insbesondere an Vertreter:innen die akademischen Philosophie als Fachdisziplin. Das Papier enthält Empfehlungen dazu, wie die identifizierten Problempunkte innerhalb der Disziplin lösungsorientiert angegangen werden können. Folgende Punkte werden zur Diskussion gestellt: -/- - Diamond-Open-Access im Bereich des elektronischen Publizierens: Infrastruktur in die (...) Hände der wissenschaftlichen Community - Peer Review: Begutachtung nach Kriterien der Wissenschaftlichkeit - Bewerbungsverfahren: Nutzung von Visualisierungen statt Metriken - Promotionsphase: Trennung der Rollen von Betreuung und Begutachtung - Datenhoheit: Unterbindung des Wissenschaftler-Trackings -/- Die Empfehlungen zielen auf eine unmittelbare Stärkung der Autonomie des Wissenschaftsbetriebs. (shrink)

During the Covid-19 pandemic, a considerable amount of people seem to have been lured into believing in conspiracy theories. These people deliberately disregard expert advice by virologists and physicians concerning social behaviour that is aimed at reducing the number of new infections. Disregarding traditional experts and their advice is just one example of what, in the philosophy of science, is referred to as a crisis of expertise – the phenomenon whereby people seem to have lost their trust in traditional expert (...) advice and are looking for alternatives. In the following paper, the trend to use Internet technology as an epistemic alternative will be analysed in detail by investigating the question of whether the Internet really allows people to become epistemically more autonomous. The focus will be on the epistemic and moral vulnerability of people resorting to new media tools instead of relying on traditional expert opinion. It will be shown that some important presuppositions about the Internet and, in particular, social media tools as alternative ways to collect information and find emotional support in a group of like-minded people cannot be maintained. (shrink)

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 difficult 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 confusion connected with attempts at answering the questions posed. Thus, in the first part of this paper, we will deal with the very notion itself, or – more precisely – with the notions of the truth; in the second one – with the notions of the lie, and in the third part – we will juxtapose the notions of the truth and the lie in such a way that in each case it should be possible to provide an answer to the question asked in the title of the work. Part four, being the final one, contains certain summary of it, as well as final considerations as a peculiar challenge. (shrink)

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 formal-logical conception of any language L characterised categorially in the spirit of certain Husserl's ideas of pure grammar, Leśniewski-Ajdukiewicz'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 adequacy of expressions of L. The adequacy ensures their unambiguous syntactic and (...) semantic senses and mutual, syntactic and semantic correspondence guaranteed by the acceptance of a postulate of categorial compatibility of syntactic and semantic (extensional and intensional) categories of expressions of L. This postulate defines the unification of these three logical senses. There are three principles of compositionality which follow from this postulate: one syntactic and two semantic ones already known to Frege. They are treated as conditions of homomorphism of partial algebra of L into algebraic models of L: syntactic, intensional and extensional. In the paper, they are applied to some expressions with quantifiers. Language adequacy connected with the logical senses described in the logical conception of language L is, obviously, an idealisation. The syntactic and semantic unambiguity of its expressions is not, of course, a feature of natural languages, but every syntactically and semantically ambiguous expression of such languages may be treated as a schema representing all of its interpretations that are unambiguous expressions. (shrink)

The subject matter of this work covers the issues or problems listed below: * The problem of the ontological status of language signs and a more general philosophical problem connected with it: * What is language as a system of signs, which – on the one hand – serves to: 1) represent our knowledge about the reality which is being recognized, and, on the other one to: 2) a. explore and better cognize or discover it, b. describe it in an (...) adequate manner, and c. enable users to make interpersonal communication? All the pragmatic functions of language require carrying out its logical-philosophical analysis, and this means both regarding its syntax and semantics. Such an analysis is not possible without determining the following: How are signs perceived and what is their ontological nature in the so-called functional approach towards logical semiotics of natural language, founded on two ways of their usage: either as signs which we use in concrete situational or situational-language contexts or as isolated signs detached from such contexts? In the first case, they are language tokens (concretes), existing material objects perceived through the senses, with a fixed temporal-spatial location, in the other one – they are non-concretes and as such (as the majority of researchers in the field of philosophy and linguistics accept) – abstract objects, language types. The type-token distinction (differentiation between abstract and concrete) has already acquired a certain status in contemporary philosophy and is of considerable importance to metaphysics and epistemology in particular. Indeed, it is most often illustrated with reference to language signs (words, expressions) as the distinction type/token of a sign, introduced into semiotics by Ch. S. Peirce. In the semiotic analysis, and also in the linguistic one, there are used both types and tokens of signs, however, often without paying due attention to when it is said about types and when about tokens. This is related to the problems which are still considered by the philosophy of language: What is the type? What is the token (specimen)? What are the mutual relations between the type and the token? Disputes concerning providing answers to these questions are related to existential issues dealing with the ontological status of these language signs and two currents within the ontology of language, remaining under the influence of two fundamental concepts formed in the debate: nominalism and realism. The author presents in brief different stances on the above-mentioned issues or problems, as well as argues that from the logical point of view: 1) working out any theoretical conception of language must take into account its bi-aspectual characteristics: as a language of expression-tokens and as a language of expression-types; 2) advocating either of the standpoints: (a) types exist independent of their tokens, or (b) it is not so, can be omitted in syntactic considerations on language; 3) mutual relations between sign-tokens differ from the mutual relations between sign-types, yet; 4) determination of the mutual relation between sign-types and sign-tokens depends on accepting either of the standpoints: (a) or (b); 5) semantic or semantic-pragmatic concepts of language, such as meaning, denotation, interpretation should be defined exclusively for types of tokens, but their definitions require certain reference to the functions which sign-tokens perform in the language (words, expressions), or to relations between them; 6) The concept of an act of language communication differs from general language communication: the first one is defined by means of sign-tokens, whereas the other one – with the use of sign-types. (shrink)

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. The (...) views held by An- drzej Grzegorczyk, which are outlined in the work, form a certain rationalistic vision of the world and mankind. (shrink)

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.

Im März 2020 änderte sich das Leben für viele (nicht nur in Deutschland) radikal. Das Virus SARS-CoV-2, besser bekannt als „COVID-19-“ oder „Corona-Virus“, breitete sich als Verursacher einer zwischenzeitlich global virulenten Pandemie in unvermuteter Geschwindigkeit aus. Es verwundert nicht, dass viele in dieser unsicheren Zeit auf der Suche nach Orientierung nach scheinbar bekannten Mustern fahnden. Ein solches Muster glaubten offenbar einige, in Camus’ Roman "Die Pest" finden zu können, ein Roman, der – dem Titel nach – auch von einer Seuche (...) zu erzählen scheint. Befasst man sich mit dem Werk von Albert Camus, dem Philosophen und Literaturnobelpreisträger, kommt man schwerlich umhin, eines der Grundprobleme der Philosophie als einer akademischen Disziplin zu thematisieren, an der zweifelsohne ein öffentliches Interesse besteht, die sich aber in der Rolle des Um-Rat-Gefragten notorisch unwohl zu fühlen scheint. In diesem Beitrag werden die Thesen Albert Camus’ zur Relevanz der Kunst, zu deren Spannungsverhältnis zur akademischen Philosophie und zur Rolle beider in unserer krisengeschüttelten Gesellschaft untersucht. (shrink)

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 of any categorial language L generated by the so-called classical (...) categorial grammar, and also on the ground of its extension to the bi-level, intensional and extensional semantic-pragmatic theory ST for L. In T, according to the token-type distinction of Ch.S. Peirce, L is characterized first as a language of well-formed expression-tokens (wfe-tokens) - material, concrete objects - and then as a language of wfe-types - abstract objects, classes of wfe-tokens. In ST the semantic-pragmatic notions of meaning and interpretation for wfe-types of L of intensional semantics and the notion of denotation of extensional semanics for wfe-types and constituents of knowledge are formalized. These notions allow formulating a postulate (an axiom of categorial adequacy) from which follow all the most important conditions of the language adequacy, including the above, and a structural one connected with three principles of compositionality. (shrink)

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 (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)

Many contributors of the debate about knowledge by testimony concentrate on the problem of justification. In my paper I will stress a different point – the concept of testimony itself. As a starting point I will use the definitional proposal of Jennifer Lackey. She holds that the concept of testimony should be regarded as entailing two aspects – one corresponding to the speaker, the other one to the hearer. I will adopt the assumption that we need to deal with both (...) aspects. Nevertheless, I will show that her concept – which suggests regarding testimony as an act of communication conveying information – is too broad and, therefore, I will end up with a different twofold definition. (shrink)

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 objects – or types, in the sense of classes of tokens – i.e. abstract objects. Such a duality will then be taken into account in the logical theory of syntax, semantics and pragmatics presented here. We point to the possibility of constructing the latter on two different levels, one stemming from concreta, construed as linguistic tokens of expressions, the other from their classes – namely types, conceived as abstract, ideal beings. The aim of this work is not only to outline such a theory with respect to the dual ontological nature of the expressions of language in terms that take into account a functional approach to language itself, but also to show that the logic based on it is ontologically neutral in the sense that it is abstracted from the level at which certain existential assumptions relating to the ontological nature of these linguistic expressions and their extra-linguistic ontological counterparts (objects) would have to be embraced. (shrink)

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 towards philosophical studies and teaching (...) of philosophy, dealing with philosophy and propagation of it as an intellectual and moral mission, passion for clarity and precision, as well as exchange of thoughts, and cooperation with representatives of other disciplines. The genesis is followed by a chronological presentation of the development of the School in the successive years. The author mentions all the key representatives of the School, accompanying the names with short descriptions of their achievements. The development of the School after Poland’s regaining independence in 1918 meant part of the members moving from Lvov to Warsaw, thus providing the other segment to the name—Warsaw School of Logic. The author dwells longer on the activity of the School during the Interwar period—the time of its greatest prosperity, which ended along with the outbreak of World War 2. Attempts made after the War to recreate the spirit of the School are also outlined and the names of continuators are listed accordingly. The presentation ends with some concluding remarks on the contribution of the School to contemporary developments in the fields of philosophy, mathematical logic or computer science in Poland. (shrink)

The recently much discussed phenomenon of testimony as a social source of knowledge plays a crucial justificatory role in Richard Swinburne's philosophy of religion. Although Swinburne officially reduces his principle of testimony to the criterion of simplicity and, therefore, to a derivative epistemic source, we will show that simplicity does not play the crucial role in this epistemological context. We will argue that both Swinburne's philosophical ideas and his formulations allow for a fundamental epistemic principle of testimony, by showing that (...) Swinburne has already implicitly justified the use of testimony as an epistemic source via his fundamental a priori principle of credulity. (shrink)

‘Visualisations play an important role in science’, this seems to be an uncontroversial statement today. Scientists not only use visual representations as means to communicate their research results in publications or talks, but also often as surrogates for their objects of interest during the process of research. Thus, we can make a distinction between two contexts of usage here, namely the explanatory and the exploratory context. The focus of this paper is on the latter one. Obviously, using visualisations as surrogates (...) for their objects of depiction presupposes the assumption that the former can tell us something relevant about the latter. Thus, a particular referential relation between object and image has to be assumed that can transfer the relevant information. Furthermore, as science is a collaborative enterprise – a social activity – this information has to be intersubjectively accessible and stable. Nonetheless, philosophers of science still quarrel about the epistemic and ontological status of such visualisations. After all, they are means to visualise theoretical entities, such as the Higgs Boson, i.e. entities that are principally not observable with the unaided eye. Especially the significant reliance on information technology devices to access this world of the unobservable provokes a lot of suspicion with regard to the referential status of such visualisations. In this sense, quite a few philosophers adopt social constructivism as an explanatory hypothesis. A particular image is constructed with the aid of instruments and theoretical assumptions; hence it does not refer to an entity outside this system. In this paper, I will critically analyse this assumption and try to argue for an alternative point of view. (shrink)

Justification of theorems plays a vital role in any rational human activity. It is indispensable in science. The deductive method of justifying theorems is used in all sciences and it is the only method of justifying theorems in deductive disciplines. It is based on the notion of proof, thus it is a method of proving theorems. In the Warsaw School of Logic (WSL) – the famous branch of the Lvov-Warsaw School (LWS) – two types of the method: axiomatic deduction method (...) and natural deduction method were developed and practiced. In this paper, both of these methods are briefly discussed with an emphasis on their historical, groundbreaking significance for logic. The axiomatic method by means of rejection (proposed by Jan Łukasiewicz – a co-creator of the WSL), which is the method of the so-called rejection proof (rejection/refutation method) in logical systems and the proving method of generalized natural deduction, which is a hybrid deduction–refutation method of proving theorems, are also outlined in the paper. The author discusses their historical significance. This paper also contains a brief mention of the most significant results which the application of the discussed methods introduced into contemporary scientific research, not only logical one. (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 book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the Problem of (...) Their Mutual Relations” provides a broad introduction into the problem area connected with this differentiation, while the logic-formal characteristics of the distinction are framed in the work entitled “On the Type-Token Relationships” (Chapter 1). The basic part of the book deals with issues relating to syntax (Chapters 2-4) and semantics of language (Chapters 5-6), as well as pertaining to syntactic-semantic pragmatic questions (Chapters 7-13). Throughout the book, language, categorial language, is characterized syntactically as generated by classical categorial grammar (Chapter 2) and formalized on two opposing levels: as language of expression-tokens (level of tokens) and language of expression-types (level of types). The author’s considerations contained in Chapters 2 and 4 lead to the important philosophical conclusion that in formal-logical syntactic studies on language the assumption that expression-types constitute the primary language layer while expression-tokens make the secondary one, can be neglected; thus, this speaks in favour of the opposing standpoint—the concretistic one—in the ontology of language syntax. In the works “Meaning and Interpretations”, Parts I and II (Chapters 5 and 6), it is underlined, however, that such semantic concepts as: meaning, denotation and interpretation are defined on the types level, yet their formal definitions require making use of notions of the tokens level. The semantic notions introduced in the above-mentioned articles are also used in the following works of the present selection, under the titles: “Three Principles of Compositionality” and “On Metaknowledge and Truth” (Chapters 7 and 8). They formalize two principles of compositionality that are well known in the literature on the subject, deriving from Frege, i.e. those of meaning and of denotation; they are related to the syntactic principle of compositionality which was introduced by the author. All the three principles are, at the same time, three conditions of homomorphism of categorial language algebra into three kinds of non-standard models of language (one syntactic and two semantic ones: intensional and extensional), which allows introducing three definitions of truthfulness into these models. The next two works in the collection, entitled: “On Language Adequacy” and “What is the Sense in Logic and Philosophy of Language” (Chapters 9 and 10) concern adequacy of categorial language syntax along with its dual semantics: intensional and extensional, and categorial compatibility of any of its syntactic categories with two corresponding semantic categories: intensional and extensional, based on the compatibility the syntactic category of each language expression with the ontological category assigned to its denotatum. The well-known problem of categorial compatibility for first-order quantifiers finds its solution in the paper “Categories of First-Order Quantifiers” (Chapter 11). In the work “Logic and Ontology of Language” (Chapter 12), being in a sense a summary of the considerations presented in the preceding chapters of the book, language is treated as an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. Application—like throughout the book—of tools of classical logic and set theory has resulted in emergence of a general formal logical theory of syntax, semantics and pragmatics of language, which takes into account duality in the understanding of linguistic expressions as tokens (concretes) and types (abstract objects). In terms that take into account a functional approach to language itself, there comes out an ontological neutrality of logic with respect to existential assumptions relating to the ontological nature of linguistic expressions and their extra-linguistic ontological counterparts. The issues connected with applying logic while explaining the manner of using linguistic tokens and linguistic types to determine notions of language communication are raised and illustrated in the last chapter of the work, bearing the title “A Logical Conceptualization of Knowledge on the Notion of Language Communication”. (shrink)

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 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 formulating of thoughts and using language, and (c) general deductive method of reasoning, i.e in the study of language syntax and semantics. The authors present two theories of language syntax and semantics as exemplifications based on the Tarski’s famous results in metalogic: (1) a formalization of universal syntax system by Andrzej Grzegorczyk based on a new primitive notion of quotation-marks operator, and (2) an enlarged system of axiomatic theory of syntax of any categorial language of Urszula Wybraniec-Skardowska’s in which the main role plays the relation of concatenation understood as a set-theoretical function. The study concludes in arguing that the importance of the result (2) lies not only in solving some philosophical problems but also in different fields of knowledge and spheres of human life as ex. in discussion and education as well. (shrink)

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 objects, as classes of tokens). The basic concepts (...) of the theory, i.e. the notions: meaning, denotation and interpretation of well-formed expressions (wfes) of the language are formalised on the type-level, by utilising some semantic-pragmatic primitive notions introduced on the token-level. The paper is divided into two parts.In Part Ia theoryof meaningand denotation is proposed, and in Part II - its expansion to the theory of meaning and interpretation is presented.The meaninga wfe is defined as an equivalence class of the relation possessing the same manner of using types (cf. Ajdukiewicz [1934], Wittgenstein [1953]). The concept of denotation is defined by means of the relation of referring which holds between wfe-types and objects of reality described by the given language. (shrink)

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 (...) its English version: Theory of Language Syntax. Categorial Approach, Kluwer Academic Publishers, Boston-London-Dordrecht 1991. (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 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 real interactivity systems. Due to the epistemic character of the considerations, the (...) problem undertaken in the paper concerns working out fundamental assumptions that refer to building of epistemic logics. They allow establishing the correctness of the discourse defined by rational postulates of protocols of real communication. In the context of the presented problem there are the following two research questions distinguished: 1) How do we determine the rule of building of real dynamic epistemic logics? and 2) How should we define semantics for these logics? Within the framework of considerations relating to the research questions asked, certain epistemic operators, relativized to types of communicating, are introduced. Basic logical relations between using these operators are established for these operators. The relations are presented by a diagram called the square of epis temic operators. On the basis of these logical relations some axioms for real dynamic epistemic logics are presented. The semantics of real dynamic epistem ic logics is extended by the methods of lower and upper approximation of formula evaluating. This allows defining ‘approximation Kripke models’. The results of conceptualization of knowledge on real premises of epistemic argum entation presented in this paper can be applied to rhetoric in real systems of interaction. (shrink)

This article explores the question of how the members of the Lvov-Warsaw School promoted values that can be regarded as components of so-called logical culture. The author argues that these values are strictly connected with science. With references to Łukasiewicz, Czeżowski, and Kotarbiński,the article explores how values shape the logical culture and determines society as directed towards values. The article connects the meta-philosophical perspective with the philosophical one.

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 expression-tokens, on the other one - that of expression-types. Accepting the view (...) that expression-concretes, that is expression-tokens - thus, physical objects are fundamental language layer, whereas the secondary layer for L are expression-abstracts, that is expression-types - thus, ideal objects, it is the nominalistic, concretistic philosophical view on the ontological nature of language entities that is adhered to. Supporting the view that expression-types are the basic language layer, while expression-concretes are the secondary one, we take the opposite standpoint - platonizing one. We prove that the two dual approaches towards the two-level syntax theory of language are logically eqivalent. In the scope of language syntax, both conceptions deriving from two different existential assumption are equivalent. This statement is philosophical significance, since it proves that in syntactical studies on language the assumption of the existence of abstract language beings (interpreted as classes equiform tokens) can be neglected. The idea was signalized by author in ealier paper "On the type-token relationships'' [1986) and than, in a slighly diffrent form in English "On the eliminatibility of ideal linguistic entities, Studia Logica 48,no 4 (1989), pp. 587-615. (shrink)