The first part of the paper is a reminder of fundamental results connected with the adequacy problem for sentential logics with respect to matrix semantics. One of the main notions associated with the problem, namely that of the degree of complexity of a sentential logic, is elucidated by a couple of examples in the second part of the paper. E.g., it is shown that the minimal logic of Johansson and some of its extensions have degree of complexity 2. This is (...) the first example of an exact estimation of the degree of natural complex logics, i.e. logics whose deducibility relation cannot be represented by a single matrix. The remaining examples of complex logics are more artificial, having been constructed for the purpose of checking some theoretical possibilities. (shrink)

x1. This paper is a contribution to matrix semantics for sentential logics as presented in Los and Suszko [1] and Wojcicki [3], [4]. A generalization of Lindenbaum completeness lemma says that for each sentential logic there is a class K of matrices of the form such that the class is adequate for the logic, i.e., C = CnK.

The notion of a conditionally distributive lattice was introduced by B. Wolniewicz while formally investigating the ontology of situations . In several of this lectures he has appealed for a study of that class of lattices. The present abstract is a response to that request.

In this paper being a sequel to our [1] the logic with semi-negation is chosen as an example to elucidate some basic notions of the semantics for sentential calculi. E.g., there are shown some links between the Post number and the degree of complexity of a sentential logic, and it is proved that the degree of complexity of the sentential logic with semi-negation is 20. This is the first known example of a logic with such a degree of complexity. The (...) results of the final part of the paper cast a new light on the scope of the Kripke-style semantics in comparison to the matrix semantics. (shrink)

The aim of this note is to give an example of application of model theory to the theory of logical matrices. . More precisely, we show that Wojtylak's representation theorem is an immediate consequence of a result due to Mal'cev . Throughout the present note we assume that matrices, and classes of matrices under consideration are of the same xed similarity type. Suppose that K is an arbitrary class of matrices, and M is a matrix . We say that M1 (...) 2 K is called a replica of M in the class K i there is a homomorphism h of M onto M1 such that for every homomorphism g of M into arbitrary N 2 K there exists a homomorphism f of M1 into N such that g = f h. (shrink)

. In our paper, presented here in abstract form, we consider the sentential logic with semi-negation. It should be stressed, however, that our main interest is not that logic itself but rather more general matters concerning the theory of matrix semantics for sentential logics. The logic with semi-negation provides a relevant example for elucidating such basic notions of matrix semantics as degree of complexity, degree of uniformity, and self-referentiality. Thus our paper being a contribution to the theory of matrix semantics (...) may be treated as a sequel to [1]. (shrink)

The volume aims to show the variety of research currents of the Lvov-Warsaw School and the ways in which these currents are developed today. The content of the book is divided into three parts: “Logic and Semiotics”, “Metaphysics and Ontology”, and “Psychology and Sociology”.

Inhaltsverzeichnis/Table of Contents: Rudolf HALLER: Zwei Vorworte in einem. Evelyn DÖLLING: Alexius Meinong: "Der blinde Seher Theiresias". Jaakko HINTIKKA: Meinong in a Long Perspective. Richard SYLVAN: Re-Exploring Item-Theory. Francesca MODENATO: Meinong's Theory of Objects: An Attempt at Overcoming Psychologism. Jan WOLE??N??SKI: Ways of Dealing with Non-existence. Karel LAMBERT: Substitution and the Expansion of the World. Terence PARSONS: Meinongian Semantics Generalized. Reinhardt GROSSMANN: Thoughts, Objectives and States of Affairs. Peter SIMONS: Meinong's Theory of Sense and Reference. Barry SMITH: More Things in (...) Heaven and Earth. Michele LENOCI: Meinongs unvollständige Gegenstände und das Universalienproblem. Maria E. REICHER: Gibt es unvollständige Gegenstände? Dale JACQUETTE: Meinong's Concept of Implexive Being and Nonbeing. Herbert HOCHBERG:s, Functions, Existence and Relations in the Russell-Meinong Dispute, the Bradley Paradox and the Realism-Nominalism Controversy. Jacek PA_NICZEK: Are Contradictions Still Lurking in Meinongian Theories of Objects? Marie-Luise SCHUBERT KALSI: Apriorische Elemente im Denken. Liliana ALBERTAZZI: Forms of Completion. Johann Ch. MAREK: Zwei Gegenstände und ein Inhalt. Zur Intentionalität bei Meinong. Wolfgang KÜNNE: Some Varieties of Thinking. Reflections on Meinong and Fodor. Alberto VOLTOLINI: Is Meaning Without Actually Existing Reference Naturalizable? Markus S. STEPANIANS: Russells Kritik an Meinongs Begriff des Annahmeschlusses. Nenad MIŠ_EVI_: Imagination and Necessity. R.D. ROLLINGER: Meinong on Perception: Two Questions Concerning Propositional Seeing. Wolfgang G. STOCK: Die Genese der Theorie der Vorstellungsproduktion der Grazer Schule. Rudolf HALLER: Über Meinongs Wissenschaftstheorie. Alfred SCHRAMM: Meinongs Wahrscheinlichkeit. Karl SCHUHMANN: Der Wertbegriff beim frühen Meinong. Wilhelm BAUMGARTNER: Wertpräsentation. Ursula ZEGLÉN: Meinong's Analysis of Lying. Seppo SAJAMA: Hitting Reality: France Veber's Concept of Zadevanje. Matja_ POTR_: Sensation According to Meinong and Veber. Róbert SOMOS: Zwei Schüler Brentanos: Ákos von Pauler und Meinong. J.C. NYÍRI: Palágyis Kritik an der Gegenstandstheorie. David M. ARMSTRONG: Reaction to Meinong. (shrink)

Jacek Urbaniec: Platonism in the philosophy of mathematics does not necessarily imply that there are links between the temporal physical world and the eternal world of mathematics..

Contents: Preface. SCIENTIFIC WORKS OF MARIA STEFFEN-BATÓG AND TADEUSZ BATÓG. List of Publications of Maria Steffen-Batóg. List of Publications of Tadeusz Batóg. Jerzy POGONOWSKI: On the Scientific Works of Maria Steffen-Batóg. Jerzy POGONOWSKI: On the Scientific Works of Tadeusz Batóg. W??l??odzimierz LAPIS: How Should Sounds Be Phonemicized? Pawe??l?? NOWAKOWSKI: On Applications of Algorithms for Phonetic Transcription in Linguistic Research. Jerzy POGONOWSKI: Tadeusz Batóg's Phonological Systems. MATHEMATICAL LOGIC. Wojciech BUSZKOWSKI: Incomplete Information Systems and Kleene 3-valued Logic. Maciej KANDULSKI: Categorial Grammars with (...) Structural Rules. Miros??l??awa KO??L??OWSKA-GAWIEJNOWICZ: Labelled Deductive Systems for the Lambek Calculus. Roman MURAWSKI: Satisfaction Classes - a Survey. Kazimierz _WIRYDOWICZ: A New Approach to Dyadic Deontic Logic and the Normative Consequence Relation. Wojciech ZIELONKA: More about the Axiomatics of the Lambek Calculus. THEORETICAL LINGUISTICS. Jacek Juliusz JADACKI: Troubles with Categorial Interpretation of Natural Language. Maciej KARPI??N??SKI: Conversational Devices in Human-Computer Communication Using WIMP UI. Witold MACIEJEWSKI: Qualitative Orientation and Grammatical Categories. Zygmunt VETULANI: A System of Computer Understanding of Texts. Andrzej WÓJCIK: The Formal Development of van Sandt's Presupposition Theory. W??l??adys??l??aw ZABROCKI: Psychologism in Noam Chomsky's Theory . Ryszard ZUBER: Defining Presupposition without Negation. PHILOSOPHY OF LANGUAGE AND METHODOLOGY OF SCIENCES. Jerzy KMITA: Philosophical Antifundamentalism. Anna LUCHOWSKA: Peirce and Quine: Two Views on Meaning. Stefan WIERTLEWSKI: Method According to Feyerabend. Jan WOLE??N??SKI: Wittgenstein and Ordinary Language. Krystyna ZAMIARA: Context of Discovery - Context of Justification and the Problem of Psychologism. (shrink)

There is a long-standing disagreement among Branching-Time theorists. Even though they all believe that the branching representation accurately grasps the idea that the future, contrary to the past, is open, they argue whether this representation is compatible with the claim that one among many possible futures is distinguished—the single future that will come to be. This disagreement is paralleled in an argument about the bivalence of future contingents. The single, privileged future is often called the Thin Red Line. I reconstruct (...) the history of the arguments for and against this idea. Then, I propose my own version of the Thin Red Line theory which is immune to the major objections found in the literature. I argue that the semantic disagreement is grounded in distinct metaphysical presuppositions. My solution is expressed in a conceptual framework proposed by John MacFarlane, who distinguishes semantics from postsemantics. I extend his distinction and introduce a new notion of presemantics to elucidate my idea. (shrink)

The purpose of the paper is to rethink the role of actuality in the branching model of possibilities. We investigate the idea that the model should be enriched with an additional factor—the so-called Thin Red Line—which is supposed to represent the single possible course of events that gets actualized in time. We believe that this idea was often misconceived which prompted some unfortunate reactions. On the one hand, it suggested problematic semantic models of future tense and and on the other, (...) it provoked questionable lines of criticism. We reassess the debate and point to potential pitfalls, focusing on the semantic dimension of the Thin Red Line theory. Our agenda transcends the semantics, however. We conclude that semantic considerations do not threaten the Thin Red Line theory and that the proper debate should be carried in the domain of metaphysics. (shrink)

In this paper, I discuss, as carried out by Gaven Kerr, a reconstruction of Aquinas’s argument for the existence of God from his work De Ente et Essentia. My analysis leads to complementing Kerr’s proposal with the following elements: a summarization of the presented argument in a more formal manner; a specification of the main presuppositions of the Thomistic conception of existence; a drawing of attention to the fact that the essence–esse composition is a borderline case of the array of (...) potency–act compositions; a distinguishing of the empirical and speculative interpretations or versions of Aquinas’s argument; a clarification of what is the Divine exception from the essence–esse composition; a distinguishing of the three models of participation and a defence of the moderate model. I regard the following two issues to be of key importance for the argument under discussion: the relation between the Aristotelian compositional model and the Platonic model of participation as well as the defence of the Thomistic conception of the essence–esse composition. (shrink)

This paper discusses the main logical ideas put forward by Jan Łukasiewicz within their historical context and further development.

In a recently published paper, Patrick Todd (2016, 'Future contingents are all false! On behalf of a Russellian open future') advocates a novel treatment of future contingents. On his view, all statements concerning the contingent future are false. He motivates his semantic postulates by considerations in philosophy of time and modality, in particular by the claim that there is no actual future. I present a number of highly controversial consequences of Todd’s theory. Inadequacy of his semantics might indirectly serve as (...) an argument against the philosophical view underpinning his proposal. (shrink)

We investigate the semantics of historical counterfactuals in indeterministic contexts. We claim that "plain" and "necessitated" counterfactuals differ in meaning. To substantiate this claim, we propose a new semantic treatment of historical counterfactuals in the Branching Time framework. We supplement our semantics with supervaluationist postsemantics, thanks to which we can explain away the intuitions which seem to talk in favor of the identification of "would" with "would necessarily".

The aim of this paper is to defend the ontological Principle of Sufficient Reason (PSR-O). I analyse various versions of this principle and various ways of justifying it. Then I attempt to challenge some counterexamples allegedly refuting a universal application of the PSR-O. There are standard and non-standard versions of the PSR-O. The PSR-Ostand can only be valid if there are no chains of contingent reasons and outcomes with first modules, i.e. all chains are actually infinite. However, there are serious (...) arguments against this possibility. The necessary condition of the PSR-Onon-stand is the existence of a necessary substance: that substance would be a direct reason of certain contingent states of affairs obtaining in its domain, and those states of affairs would then be indirect reasons for all other contingent states of affairs and things. There are two advantages of the PSR-Onon-stand: a nomological unity of the world and explanatory simplicity. (shrink)

Presented here is the German translation of Jan Patočka’s fragment Nitro a svět which was written in the 1940s and belongs to the so called „Strahov Papers“. The fragment reflects Patočka’s early attempts towards a thinking of subjectivity and the world. Thereby Patočka’s approach is phenomenological, but also integrates motives of German Idealism. The critical impact of the fragment lies in its orientation against the scientific biologism of its times.

Let J be any proper ideal of subsets of the real line R which contains all finite subsets of R. We define an ideal J * ∣B as follows: X ∈ J * ∣B if there exists a Borel set $B \subset R \times R$ such that $X \subset B$ and for any x ∈ R we have $\{y \in R: \langle x,y\rangle \in B\} \in \mathscr{J}$ . We show that there exists a family $\mathscr{A} \subset \mathscr{J}^\ast\mid\mathscr{B}$ of power ω (...) 1 such that $\bigcup\mathscr{A} \not\in \mathscr{J}^\ast\mid\mathscr{B}$ . In the last section we investigate properties of ideals of Lebesgue measure zero sets and meager sets in Cohen extensions of models of set theory. (shrink)

We prove that no logic (i.e. consequence operation) determined by any class of orthomodular lattices admits the deduction theorem (Theorem 2.7). We extend those results to some broader class of logics determined by ortholattices (Corollary 2.6).

The subject of this essay is political, and therefore social, philosophy; and therefore, ethics. We want to know whether the right thing for a society to do is to incorporate in its structure requirements that we bring about equality, or liberty, or both if they are compatible, and if incompatible then which if either, or what sort of mix if they can to some degree be mixed. But this fairly succinct statement of the issue before us requires considerable clarification, even (...) as a statment of the issue. For it is widely, and in my view correctly, held that some sort of equality is utterly fundamental in these matters. We seek a principle, or principles, that apply to all, are the same for all. In that sense, certainly, equality is fundamental and inescapable. But this is a very thin sort of “equality.” It will almost equally widely be agreed that the principles in question should in some more interesting sense “treat” people equally, e.g., by allotting to all the same set of rights, and moreover, rights that are – again we have to say “in some sense” – nonarbitrary, so that whatever they are, persons of all races, sexes, and so on will have the same fundamental rights assigned to them. Taking this to be, again, essentially uncontroversial, though not without potentially worrisome points of unclarity, it needs, now, to be pointed out that this characterization does not settle the issue that this essay is concerned with. That issue is about economic matters in particular. (shrink)

The Indian philosopher Acarya Nagarjuna (c. 150-250 CE) was the founder of the Madhyamaka (Middle Path) school of Mahayana Buddhism and arguably the most influential Buddhist thinker after Buddha himself. Indeed, in the Tibetan and East Asian traditions, Nagarjuna is often referred to as the "second Buddha." This book presents a survey of the whole of Nagarjuna's philosophy based on his key philosophical writings. His primary contribution to Buddhist thought lies in the further development of the concept of sunyata or (...) "emptiness." For Nagarjuna, all phenomena are without any svabhava, literally "own-nature" or "self-nature," and thus without any underlying substance. Particular emphasis is put on discussing Nagarjuna's thinking as philosophy. The present discussion shows how his thoughts on metaphysics, epistemology, the self, language, and truth present a unified theory of reality with considerable systematic appeal. The book offers a systematic account of Nagarjuna's philosophical position. It reads Nagarjuna in his own philosophical context, but also shows that the issues of Indian and Tibetan Buddhist philosophy have at least family resemblances to issues in European philosophy. (shrink)

In 1968 the authors of the so-called Harvard Report, proposed the recognition of an irreversible coma as a new criterion for death. The proposal was accepted by the medical, legal, religious and political circles in spite of the lack of any explanation why the irreversible coma combined with the absence of brainstem reflexes, including the respiratory reflex might be equated to death. Such an explanation was formulated in the President’s Commission Report published in 1981. This document stated, that the brain (...) is the central integrator of the body, therefore the destruction of the brain results in the lack of that integration and the death of the organism. Therefore, according to that document, the so-called “brain dead” patients are really, biologically dead; strictly speaking they are not any more biological organisms but collections of organs and tissues. Their death was masked by the use of the medical equipment, but it was a real, biological death. Thus, the explanation given by the President’s Commission Report constituted a biological rationale for the new concept of death, known as “brain death.” However, after the long discussion, this rationale was refuted because of the evidence given by many medical authorities, that the bodies of the “brain dead” and “brainstem dead” patients are alive. In the context of the discussion about the neurological criteria for death, some authors follow the idea of Plato, that human being is the soul or mind, and the body does not belong to the human essence. Therefore, the loss of consciousness, which may be identified with the mind, constitutes the loss of personhood and may be interpreted as human death. The other group stresses the Aristotelian and Thomistic concept that the body belongs to the essence of every living creature, including human. Therefore, as long as the body is alive, the human being is alive and we cannot call the given patient dead even if he is deeply comatose. Moreover, in spite of the opinions dominating in the mass-media, these patients should be considered not only alive but also may be conscious to some degree and their state can be reversible. Their brains are lacking the electrical functions, but the neuronal tissue is alive and that state is reversible for at least first 48 hours since the onset of coma; this phenomenon is called “global ischemic penumbra” and is responsible for the regularly happening events interpreted as miracles, when some of the “brain dead” or “brainstem dead” patients turn to be alive and come back to normal life. Therefore, the neurological criteria of death are still lacking generally accepted scientific basis and should not be used in medicine and in the legal systems as a basis for diagnosing comatose/having no brainstem reflexes/apneic patients dead. (shrink)

Nagarjuna's Vigrahavyavartani is one of the most important Madhyamaka Buddhist philosophical texts. Jan Westerhoff offers a new translation, reflecting the best current philological research and all available editions, and adds his own philosophical commentary on the text. His nuanced, philosophically sophisticated commentary explains Nagarjuna's arguments in a way that is both grounded in historical and textual scholarship and connected explicitly to contemporary philosophical concerns.