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)

Metaethical constructivism aims to explain morality’s authority and relevance by basing it in agency, in a capacity of the creatures who are in fact morally bound. But constructivists have struggled to wring anything recognizably moral from an appropriately minimal conception of agency. Even if they could, basing our reasons in our individual agency seems to make other people reason-giving for us only indirectly. This paper argues for a constructivism based on a social conception of agency, on which our capacity to (...) recognize ourselves as having reasons ties us inescapably to others. It argues that mutual recognition is a pervasive feature of linguistic concepts, and builds this into a view called transformative expressivism. (shrink)

A long-standing debate in group ontology and group epistemology concerns whether some groups possess mental states and/or epistemic states such as knowledge that do not reduce to the mental states and/or epistemic states of the individuals who comprise such groups (and are also states not possessed by any of the members). Call those who think there are such states inflationists. There has recently been a defense in the literature of a specific type of inflationary knowledge—viz., knowledge of facts about group (...) minds or group self-knowledge (GS-K). In this paper I address whether some groups do possess such knowledge. I argue that we have good reason to think they do not. I do so by exploring the most explicit defense of such knowledge in the literature—Lukas Schwengerer’s (2022) defense—as well as other ways of defending this thesis and arguing that such ways are problematic. In the latter part of the paper, I explain why the two most popular inflationary approaches to group knowledge simpliciter are incompatible with there being GS-K. In doing so I work to show why even inflationists should reject the view that there is inflationary group self-knowledge. (shrink)

European Journal of Philosophy, EarlyView.

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)

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)

Two experiments with undergraduates as subjects were carried out with the aim of replicating and extending previous results showing that the implication of the behavioral life-cycle hypothesis (H. M. Shefrin & R. H. Thaler, 1988) that people classify assets in different mental accounts (current income, current assets, and future income) may explain how consumption choices are influenced by temporary income changes. In both experiments subjects made fictitious choices between paying for a good in cash or according to a more expensive (...) installment plan after they had received an income which was either less, the same, or larger than usual. In Experiment 1 subjects were supposed to have savings so that the total assets were equal, whereas in Experiment 2 the total assets varied. The results of both experiments supported the role of mental accounts in demonstrating that subjects were unwilling to pay in cash after an income decrease even though they had access to saved money. Thus, in effect they chose to pay more for the good than they had to. Indicating a need for further refinement of the concept of mental account, choices to pay in cash after an income decrease tended to be more frequent when the consumption and savings motives were compatible than when they were incompatible. Furthermore, increasing the total assets made subjects more willing to pay in cash after an income decrease. (shrink)

Two experiments with undergraduates as subjects tested explanations of how a prior temporary income change influences choices between buying and deferred buying. In Experiment 1 predictions from the behavioral life-cycle theory (Shefrin & Thaler, 1988), the renewable resources model (Linville & Fischer, 1991) and the loss-sensitivity principle (Garling & Romanus, 1997) were contrasted. The results are inconsistent with the latter two explanations since the framing of buying as positive (buying a new model of a product) or negative (replacing a broken (...) product) did not interact with the income change. Congruent with the behavioral life-cycle theory, willingness to buy was greater when subjects received a temporary income increase than when they received a temporary income decrease although total assets were equal. Further support for the behavioral life-cycle theory is obtained in Experiment 2 where four income-change conditions and durable and nondurable goods are compared. (shrink)

Classically, Christians have professed the saving efficacy of the cross. Does Karl Rahner? Recent commentary on Foundations of Christian Faith has described Rahner as conflating “atonement” generally with penal substitutionary theories of a changing God, as ruling out the redemptive significance of Christ’s death, and as denigrating the normativity of Scripture in order to do so. This article responds to these claims, unfolding Rahner’s soteriology and arguing that he advances a theology of the cross which affirms its saving efficacy, including (...) in the last decade of his work. (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 dissertation investigates conceptions of responsibility at work in contemporary intergenerational nuclear waste policy. It argues that articulations of responsibility at work in current policy unduly privileges resemblance to the present as a condition for that responsibility holding as an intergenerational relation. The dissertation begins by arguing that current waste disposal practices depend on a view of responsibility contingent on the presumption that future generations will be minimally epistemologically, socially, and politically continuous with present generations. Extant policy is therefore found (...) to place an asymmetric and unjust burden on future generations. The dissertation thus concludes that responsibilities to future generations require that responsibility be thought prior to particular determinations of the possible identity of our inheritors. (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 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.

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)

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)

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 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.

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.

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)

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.

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)

Following neo-Aristotelians Alasdair MacIntyre and Martha Nussbaum, we claim that humans are story-telling animals who learn from the stories of diverse others. Moral agents use rational emotions, such as compassion which is our focus here, to imaginatively reconstruct others’ thoughts, feelings and goals. In turn, this imaginative reconstruction plays a crucial role in deliberating and discerning how to act. A body of literature has developed in support of the role narrative artworks (i.e. novels and films) can play in allowing us (...) the opportunity to engage imaginatively and sympathetically with diverse characters and scenarios in a safe protected space that is created by the fictional world. By practising what Nussbaum calls a ‘loving attitude’, her version of ethical attention, we can form virtuous habits that lead to phronesis (practical wisdom). In this paper, and taking compassion as an illustrative focus, we examine the ways that students’ moral education might usefully develop from engaging with narrative artworks through Philosophy for Children (P4C), where philosophy is a praxis, conducted in a classroom setting using a Community of Inquiry (CoI). We argue that narrative artworks provide useful stimulus material to engage students, generate student questions, and motivate philosophical dialogue and the formation of good habits which, in turn, supports the argument for philosophy to be taught in schools. (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 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.

Contemporary philosopher David Benatar has advanced the self-evidently controversial claim that “coming into existence is always a harm.” Benatar’s argument turns on the basic asymmetry between pleasure and pain, an asymmetry he seeks to explain by the principle that those who never exist cannot be deprived. Benatar’s import is almost incredible: humans should cease to procreate immediately, thereby engendering the extinction of the species—a view known as “anti-natalism.” According to many of his readers, the ancient Hebrew sage Qoheleth expresses a (...) pessimistic nihilism that runs as thick as Benatar’s. Prima facie grounding for this assertion is that Qoheleth, like Benatar, raises the issue of whether coming into existence may be a harm—and gives an affirmative answer. In two passages, Ecclesiastes 6:1-6 and 4:1-3, Qoheleth declares that an unborn hypothetical person is “better off” than their existent counterpart. Yet the meaning and implication of these words is far from obvious. Does Qoheleth imply that the non-exister’s state, and non-existence in general, is universally superior to existence? Or is he instead speaking exceptionally, of particular persons in rare circumstances? By examining the two “better”-statements in their literary context, I will argue that Qoheleth intends these examples as exceptions. He does not go so far as to make the supremely nihilistic claim that coming into existence is always, or even generally, a net harm; yet, he does concede that in certain cases, it can be. Beyond this, I will explore how the two thinkers’ divergent conclusions can be traced to a deeper difference of philosophical method. This question concerning non-existence opens a window to Qoheleth’s broader scheme of values and therefore serves as a surprisingly useful entry point by which to engage his philosophy. The paper utilizes the methodology Jaco Gericke has recently termed “philosophical criticism,” but specifically applied to Qoheleth. (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)

This essay examines Qoheleth’s Catalogue of the Times poem in Eccl 3:2–8. I argue that the two most common scholarly interpretations of the poem’s overall meaning fail to sufficiently account for its literary context and that an underdeveloped alternative reading is to be preferred. When we read the poem in light of two other closely related passages, 1:4–11 and 3:9–15, it becomes clear that a poem ostensibly about “time” is much less concerned with “timing” than is typically thought, but instead (...) signifies Qoheleth’s frustration with the inevitable equilibrating tendency embedded into every human task. (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 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 languages are languages built in accordance with principles of the theory of syntactic categories introduced by S. Leśniewski [1929,1930]; they are connected (...) with- the Ajdukiewicz’s work [1935] which was a continuation of Leśniewski’s idea and further developed and popularized in the research on categorial grammars, by Y. Bar-Hillel [1950,1953,1964]. To assign a suitable syntactic category to each word of the vocabulary is the main idea of syntactically-categorial approach to language. Compound expressions are built from the words of the vocabulary and then a suitable syntactic-category is assigned to each of them. A language built in this way should be decidable, which means that there should exist an algorithm for deciding about each expression of it, whether it is well-formed or is syntactically connected . The traditional, originating from Husserl, understanding of the syntactic category confronts some difficulties. This notion is defined by abstraction using the concept of affiliation of two expressions to the same syntactic category. (shrink)

Homology is a biological sameness relation that is purported to hold in the face of changes in form, composition, and function. In spite of the centrality and importance of homology, there is no consensus on how we should understand this concept. The two leading views of homology, the genealogical and developmental accounts, have significant shortcomings. We propose a new account, the hierarchical-dependency account of homology, which avoids these shortcomings. Furthermore, our account provides for continuity between special, general, and serial homology.

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 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.

According to the canonical formulation of the modal account of luck [e.g. Pritchard (2005)], an event is lucky just when that event occurs in the actual world but not in a wide class of the nearest possible worlds where the relevant conditions for that event are the same as in the actual world. This paper argues, with reference to a novel variety of counterexample, that it is a mistake to focus, when assessing a given event for luckiness, on events distributed (...) over just the nearest possible worlds. More specifically, our objection to the canonical formulation of the modal account of luck reveals that whether an event is lucky depends crucially on events distributed over all possible worlds–viz., across the modal universe. It is shown that an amended modal account of luck which respects this point has the additional virtue of avoiding a notable kind of counterexample to modal accounts of luck proposed by Lackey (2008). (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 main purpose of the paper is to outline the formal-logical, general theory of language treated as a particular ontological being. The theory itself is called the ontology of language, because it is motivated by the fact that the language plays a special role: it reflects ontology and ontology reflects the world. Language expressions are considered to have a dual ontological status. They are understood as either concretes, that is tokens – material, physical objects, or types – classes of tokens, (...) which are abstract objects. Such a duality is taken into account in the presented logical theory of syntax, semantics and pragmatics. We point to the possibility of building it on two different levels; one which stems from concretes, language tokens of expressions, whereas the other one – from their classes, types conceived as abstract, ideal beings. The aim of this work is not only to outline this theory as taking into account the functional approach to language, with respect to the dual ontological nature of its expressions, but also to show that the logic based on it is ontologically neutral in the sense that it abstracts from accepting some existential assumptions, related with the ontological nature of these linguistic expressions and their extra-linguistic ontological counterparts (objects). (shrink)

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

The life-cycle theory of saving behavior (Modigliani, 1988) suggests that humans strive towards an equal intertemporal distribution of wealth. However, behavioral life-cycle theory (Shefrin & Thaler, 1988) proposes that people use self-control heuristics to postpone wealth until later in life. According to this theory, people use a system of cognitive budgeting known as mental accounting. In the present study it was found that mental accounts were used differently depending on if the income change was positive or negative. This was shown (...) both in a representative nationwide sample of households and in a student sample. Respondents were more willing to cut down on their propensity to consume when faced with an income decrease than to raise it when the income increased. Furthermore, contrary to the predictions of behavioral life-cycle theory, it was found that the respondents adjusted their propensity to consume the most when the income increases or decreases took place immediately. Hence, it is suggested that theories of intertemporal choice (e.g., Loewenstein, 1988; Loewenstein & Prelec, 1992) provide a better account of the data than does the behavioral lifecycle theory. (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)

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)

Mental accounting is a concept associated with the work of Richard Thaler. According to Thaler, people think of value in relative rather than absolute terms. They derive pleasure not just from an object’s value, but also the quality of the deal – its transaction utility (Thaler, 1985). In addition, humans often fail to fully consider opportunity costs (tradeoffs) and are susceptible to the sunk cost fallacy. Why are people willing to spend more when they pay with a credit card than (...) cash (Prelec & Simester, 2001)? Why would more individuals spend $10 on a theater ticket if they had just lost a $10 bill than if they had to replace a lost ticket worth $10 (Kahneman & Tversky, 1984)? Why are people more likely to spend a small inheritance and invest a large one (Thaler, 1985)? According to the theory of mental accounting, people treat money differently, depending on factors such as the money’s origin and intended use, rather than thinking of it in terms of the “bottom line” as in formal accounting (Thaler, 1999). An important term underlying the theory is fungibility, the fact that all money is interchangable and has no labels. In mental accounting, people treat assets as less fungible than they really are. Even seasoned investors are susceptible to this bias when they view recent gains as disposable “house money” (Thaler & Johnson, 1990) that can be used in high-risk investments. In doing so, they make decisions on each mental account separately, losing out the big picture of the portfolio. (See also partitioning and pain of paying for ideas related to mental accounting.) . (shrink)

What is to be learned from the chaotic downfall of the Weimar Republic and the erosion of European liberal statehood in the interwar period vis-a-vis the ongoing European crisis? This book analyses and explains the recurrent emergence of crises in European societies. It asks how previous crises can inform our understanding of the present crisis. The particular perspective advanced is that these crises not only are economic and social crises, but must also be understood as crises of public power, order (...) and authority. In other words, it argues that substantial challenges to the functional and normative setup of democracy and the rule of law were central to the emergence and the unfolding of these crises. The book draws on and adds to the rich ’crises literature’ developed within the critical theory tradition to outline a conceptual framework for understanding what societal crises are. The central idea is that societal crises represent a discrepancy between the unfolding of social processes and the institutional frameworks that have been established to normatively stabilize such processes. The crises at issue emerged in periods characterized by strong social, economic and technological transformations as well as situations of political upheaval. As such, the crises represented moments where the existing functional and normative grid of society, as embodied in notions of public order and authority, were severely challenged and in many instances undermined. Seen in this perspective, the book reconstructs how crises unfolded, how they were experienced, and what kind of responses the specific crises in question provoked. -/- Table of Contents -/- Introduction: European Crises of Public Power: From Weimar until Today, Poul F. Kjaer & Niklas Olsen / Part I: Semantics, Notions and Narratives of Societal Crisis / 1. What Time Frame Makes Sense for Thinking About Crises?, David Runciman / 2. The Stakes of Crises, Janet Roitman / Part II: Weimar and the Interwar Period: Ideologies of Anti-Modernism and Liberalism / 3. The Crisis of Modernity – Modernity as Crisis: Towards a Typology of Crisis Discourses in Interwar East Central Europe and Beyond, Balázs Trencsényi / 4. European Legitimacy Crisis – Weimar and Today: Rational and Theocratic Authority in the Schmitt-Strauss Exchange, John P. McCormick / 5. Crisis and the Consumer: Reconstructions of Liberalism in Twentieth Century Political Thought , Niklas Olsen / Part III: The Causes of Crises: From Corporatism to Governance / 6. The Constitutionalization of Labour Law and the Crisis of National Democracy , Chris Thornhill / 7. The Crisis in Labour Law: From Weimar to Austerity Ruth Dukes / 8. From the Crisis of Corporatism to the Crisis of Governance, Poul F. Kjaer / Part IV: The Euro and the Crisis of Law and Democracy / 9. What is left of the European Economic Constitution II? From Pyrrhic Victory to Cannae Defeat Christian Joerges / 10. Reflections on Europe’s “Rule of Law Crisis”, Jan-Werner Müller. 11. Democracy under Siege: The Decay of Constitutionalisation and the Crisis of Public Law and Public Opinion, Hauke Brunkhorst/ Part V: The Consequences of Crises and the Future of Europe / 12. Crises and Extra-Legality: From Above and From Below, William E. Scheuermann / 13. “We could all go Down the Road of Lebanon” – Crisis Thinking on the Anti-Muslim Far Right, Mikkel Thorup / 14. Conclusions and Perspectives: The Re-Constitution of Europe, Poul F. Kjaer & Niklas Olsen Index . (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)

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 this paper we present two distinctly epistemological puzzles that arise for one who aspires to defend some plausible version of the precautionary principle. The first puzzle involves an application of contextualism in epistemology; and the second puzzle concerns the task of defending a plausible version of the precautionary principle that would not be invalidated by de minimis.

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)

In a recent paper in this journal, we proposed two novel puzzles associated with the precautionary principle. Both are puzzles that materialise, we argue, once we investigate the principle through an epistemological lens, and each constitutes a philosophical hurdle for any proponent of a plausible version of the precautionary principle. Steglich-Petersen claims, also in this journal, that he has resolved our puzzles. In this short note, we explain why we remain skeptical.

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)

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)