Paul Edwards' October 1989 essay, ‘Heidegger's Quest for Being’ illustrates the wisdom of the dictum that the only legitimate criticism of a philosopher's position is a constructive criticism. His negative critique amounts to no more than expressions of distaste, dislike, and displeasure, and nothing of philosophical interest follows from his assertions, as the discourse is primarily an argument ad hominem . He grossly misinterprets Heidegger on some elemental and fundamental matters as well. In particular, he sorely misinterprets what he refers (...) to as the ‘Quest for Being’, which only further contributes to the objectionable character of the essay. (shrink)

In the late forties, Stanisław Jaśkowski published two papers onthe discursive sentential calculus, D2. He provided a definition of it by an interpretation in the language of S5 of Lewis. The knownaxiomatization of D2 with discursive connectives as primitives was introduced by da Costa, Dubikajtis and Kotas in 1977. It turns out, however,that one of the axioms they used is not a thesis of the real Jaśkowski’s calculus. In fact, they built a new system, D∗2 for short, that differs from (...) D2 inmany respects. The aim of this paper is to introduce a direct Kripke-type semantics for the system, axiomatize it in a new way and prove soundness andcompleteness theorems. Additionally, we present labelled tableaux for D∗2.1. (shrink)

The class Matr(C) of all matrices for a prepositional logic (, C) is investigated. The paper contains general results with no special reference to particular logics. The main theorem (Th. (5.1)) which gives the algebraic characterization of the class Matr(C) states the following. Assume C to be the consequence operation on a prepositional language induced by a class K of matrices. Let m be a regular cardinal not less than the cardinality of C. Then Matr (C) is the least class (...) of matrices containing K and closed under m-reduced products, submatrices, matrix homomorphisms, and matrix homomorphic counter-images. (shrink)

In this paper, we present a calculus of paraconsistent logic. We propose an axiomatisation and a semantics for the calculus, and prove several important meta-theorems. The calculus, denoted as CB1, is an extension of systems PI, C min and B1, and a proper subsystem of Sette’s calculus P1. We also investigate the generalization of CB1 to the hierarchy of related calculi.

Demonstrates the systematic connection between Kant's ethics and his philosophy of history.

In the paper we study the class of weakly algebraizable logics, characterized by the monotonicity and injectivity of the Leibniz operator on the theories of the logic. This class forms a new level in the non-linear hierarchy of protoalgebraic logics.

The principle of explosion asserts that any formula can be derived from any pair of other contradictory formulas. Paraconsistent logic is typically regarded as a logic in which the universal validity of this principle is questioned. Therefore, a key point is determining when the validity can be considered universal to classify a logic as paraconsistent. A pertinent example to illustrate this point is the calculus CB1 that admits the principle but only for negated formulas, i.e., from any set {α, ∼α} (...) any other formula follows if and only if α is of the form ∼γ. Another example is Sette’s calculus P1, which is paraconsistent at the level of variables but not complex formulas. Both serve as compelling examples of the so-called borderline cases. In this paper, we examine several calculi expected to be paraconsistent at the level of literals. It means that a pair of formulas, α and ∼α, can yield any β if, and only if α is neither a propositional variable nor is its iterated negation. Furthermore, it is assumed that in some calculi presented here, β must adhere to specific restrictions. Once these conditions are satisfied, we refer to calculus as paraconsistent in a “controllable manner”. (shrink)

Polish society has found itself at a very important point in its history. The transformation from a traditional to a postmodern pluralistic society involves changes in many spheres of social life. These trends give rise to the question of which way the younger generation of Polish nurses will be going. The main objective of this research was to elucidate the opinions of nurses on life and health as basic values, and on their ethical and religious background regarding their nursing care. (...) The study made use of a questionnaire for collection and interpretation of the data. Although this article shows some lack of consistency, and even contradictions, it is possible to conclude that life and health are cherished with affection by the great majority of nurses as positive factors of human existence. (shrink)

The paper is conceived as a first study on the Suszko operator. The purpose of this paper is to indicate the existence of close relations holding between the properties of the Suszko operator and the structural properties of the model class for various sentential logics. The emphasis is put on generality both of the results and methods of tackling the problems that arise in the theory of this operator. The attempt is made here to develop the theory for non-protoalgebraic logics.

In 1953, Jerzy Kalinowski published his paper on the logic of normative sentences. The paper is recognized as one of the first publications on the formal system of deontic logic. The aim of this paper is to present a tableau system for Kalinowski’s deontic logic and to discuss some of the topics related to the paradoxes of deontic logic.

With each sentential logic C, identified with a structural consequence operation in a sentential language, the class Matr * (C) of factorial matrices which validate C is associated. The paper, which is a continuation of [2], concerns the connection between the purely syntactic property imposed on C, referred to as Maehara Interpolation Property (MIP), and three diagrammatic properties of the class Matr* (C): the Amalgamation Property (AP), the (deductive) Filter Extension Property (FEP) and Injections Transferable (IT). The main theorem of (...) the paper (Theorem 2.2) is analogous to the Wroski's result for equational classes of algebras [13]. It reads that for a large class of logics the conjunction of (AP) and (FEP) is equivalent to (IT) and that the latter property is equivalent to (MIP). (shrink)

"Romantic love is a defining phenomenon in human existence, and an object of heightened interest for literature, art, popular culture, and psychology. But what is romantic love and why is it typically experienced as so significant to our existence? Using central ideas from the philosophy of S2ren Kierkegaard as well as engaging with contemporary discussions in the philosophy of love, this book explores the nature of romantic love and philosophically substantiates its meaningfulness to an individual's life. It does so by (...) developing a connection between love and selfhood, here explained in terms of one's distinct individuality. To be a self, it is claimed, is to possess a 'name,' that is, an individual essence. Further, the book argues, it is when we love that we regard people by their names; we respond to who they are. Accordingly, the idea anchoring the book is that love is a correspondence between essences: if Jane loves Edward, she responds to him being 'who he is,' by virtue of her being 'who she is.' The conception of being thus correspondent has important implications as to the moral and spiritual value of romantic love. Relying on Kierkegaard's analysis of the self, of faith, and of love - even if sometimes in a way that departs from Kierkegaard's explicit position - the book explores these implications. By doing this, it construes romantic love as a desirable phenomenon, emotionally, morally, and spiritually". (shrink)

The classesMatr( ) of all matrices (models) for structural finitistic entailments are investigated. The purpose of the paper is to prove three theorems: Theorem I.7, being the counterpart of the main theorem from Czelakowski [3], and Theorems II.2 and III.2 being the entailment counterparts of Bloom's results [1]. Theorem I.7 states that if a classK of matrices is adequate for , thenMatr( ) is the least class of matrices containingK and closed under the formation of ultraproducts, submatrices, strict homomorphisms and (...) strict homomorphic pre-images. Theorem II.2 in Section II gives sufficient and necessary conditions for a structural entailment to be finitistic. Section III contains theorems which characterize finitely based entailments. (shrink)

Hannah Arendt's critique of education in 1950s USA provides an important way of understanding the development of citizenship education. Her theory on the nature of childhood and her concepts of natality and authority give insight into both the directions of current policies and practices, and the possible future states into which these elements may crystallise. It is argued that education for citizenship is an expression of the hope that children will ‘save’ us from ourselves and that there are two distinct (...) directions that this hope is taking, one representing an orientation to the past and the other to the future. Arendt's critique focuses on what she argues is the proper relationship to both past and future that the educator must maintain. The argument is contextualised through the Scottish approach to citizenship education. (shrink)

The paper is concerned with the old conjecture that there are infinitely many twin primes. In the paper we show that this conjecture is true, that is, it is true in the standard model of arithmetic. The proof is based on Rasiowa–Sikorski Lemma. The key role are played by the derived notion of a Rasiowa–Sikorski set and the method of forcing adjusted to arbitrary first–order languages. This approach was developed in the papers Czelakowski [ 4, 5 ]. The central idea (...) consists in constructing an appropriate countable model \(\textbf{A}\) of Peano arithmetic by means of a Rasiowa–Sikorski set. This model validates the twin prime conjecture. Since \(\textbf{A}\) is elementarily equivalent to the standard model, the conjecture follows. Thus the standard model validates the twin primes conjecture. More generally, it is shown that de Polignac’s conjecture has a positive solution. The paper employs methods borrowed from the contemporary mathematical logic. Such a ’logical’ approach may be viewed as a useful addition to the dominant methodology in number theory based on mathematical analysis. (shrink)

The aim of the paper is to reconstruct the essential content and main sources of Larry Laudan's position in the philosophy of science. A background for the reconstruction is provided by the controversy about the nature of changes in science and by the controversy about so called „scientific realism”.

The paper consists of two parts. In the first one the author analyses the situation of mankind in the last decades of the 20th century, regarding it as tragic; in his reflections he refers mainly to the conceptions of Georg W. F. Hegel, Karl Marx and some Christian thinkers. The second part is a critique of Karl Popper’s conception of history, especially his main claim that history has no meaning.

The paper presents reflections on human existence and the nature of human being. The author of the paper presents his own standpoint and compares it with other philosophical and religious conceptions of the human being, inter alia those formed in Christianity, Marxism and Cartesianism. The primary concern of the essay is the existential-anthropological significance of human being’s creativity.

The paper discusses the problem of essence and sense of history, especially modern history, mainly by discussing Thomas Langan’s position expressed in his 1978 essay “Searching in History for the Sense of It All,” The Review of Metaphysics, September.