Gareth Evans proved that if two objects are indeterminately equal then they are different in reality. He insisted that this contradicts the assumption that there can be vague objects. However we show the consistency between Evans's proof and the existence of vague objects within classical logic. We formalize Evans's proof in a set theory without the axiom of extensionality, and we define a set to be vague if it violates extensionality with respect to some other set. There exist models of (...) set theory where the axiom of extensionality does not hold, so this shows that there can be vague objects. (shrink)

We prove a set-theoretic version of Hájek, Paris and Shepherdson's theorem [HPS00] as follows: The set ω of natural numbers must contain a non-standard natural number in any natural Tarskian semantics of CŁ0, the set theory with comprehension principle within Lukasiewicz's infinite-valued predicate logic. The key idea of the proof is a generalization of the derivation of Moh Shaw-Kwei's paradox, which is a Russell-like paradox for many-valued logic.

In ${\mathbf{H}}$ , a set theory with the comprehension principle within Łukasiewicz infinite-valued predicate logic, we prove that a statement which can be interpreted as “there is an infinite descending sequence of initial segments of ω” is truth value 1 in any model of ${\mathbf{H}}$ , and we prove an analogy of Hájek’s theorem with a very simple procedure.

We introduce the simpler and shorter proof of Hajek’s theorem that the mathematical induction on ω implies a contradiction in the set theory with the comprehension principle within Łukasiewicz predicate logic Ł ${\forall}$ (Hajek Arch Math Logic 44(6):763–782, 2005) by extending the proof in (Yatabe Arch Math Logic, accepted) so as to be effective in any linearly ordered MV-algebra.

We show that Kubota and Levine’s characterization of the HPSG-based theory of non-constituent coordination proposed in Yatabe Proceedings of the 7th International Conference on Head-Driven Phrase Structure Grammar, CSLI, Stanford, pp 325–344, 2001) and later works is inaccurate, and that the theory in question does not require any ad hoc mechanisms to account for the long-known fact that right-node raising and left-node raising can affect semantic interpretation. In the course of demonstrating this, we fill in some details of this (...) HPSG-based theory that were left unspecified in the previous literature, and we also present novel accounts of split-antecedent relative clauses and of respectively interpretation that are consistent with the theory. Furthermore, we argue that the phenomenon of summative agreement may provide a reason to prefer this theory over CG-based theories like Kubota and Levine’s. (shrink)

En raison de son statut de département japonais, la situation postcoloniale vécue par les habitants d'Okinawa reste peu visible de l'extérieur. TI n'en demeure pas moins que la double sujétion de l'île, au Japon et aux États-Unis, suscite depuis 1945 colère et indignation. Mais dans le cadre général de la seconde modernité japonaise, quelle peut être la portée pratique d'une pensée critique ? Cette interrogation­ servira de fil conducteur à notre texte qui se propose de suivre l'itinéraire d'une jeune chanteuse (...) qui, placée au croisement des mondes japonais et okinawais, tente de se frayer une voie qui mène vers des états de paix.Because of Okinawa's particular status as a Japanese constituency, the post-colonial situation experienced by its inhabitants has never been transparent to the outside world, although the island's dual dependency, on Japan and the United States, has been a source of anger and indignation ever since 1945. But in the more general context of Japan's second age of modernity, where does critical thinking lead in practice? This is the underlying thread of our narrative, in which we follow a young singer, caught between her Japanese and Okinawa backgrounds, as she tries to fight her way through to a state of peace. (shrink)

According to [M.S. Kurilić, Cohen-stable families of subsets of the integers, J. Symbolic Logic 66 257–270], adding a Cohen real destroys a splitting family on ω if and only if is isomorphic to a splitting family on the set of rationals, , whose elements have nowhere dense boundaries. Consequently, implies the Cohen-indestructibility of . Using the methods developed in [J. Brendle, S. Yatabe, Forcing indestructibility of MAD families, Ann. Pure Appl. Logic 132 271–312] the stability of splitting families in (...) several forcing extensions is characterized in a similar way . Also, it is proved that a splitting family is preserved by the Sacks forcing if and only if it is preserved by some forcing which adds a new real. The corresponding hierarchy of splitting families is investigated. (shrink)

Let A[ω]ω be a maximal almost disjoint family and assume P is a forcing notion. Say A is P-indestructible if A is still maximal in any P-generic extension. We investigate P-indestructibility for several classical forcing notions P. In particular, we provide a combinatorial characterization of P-indestructibility and, assuming a fragment of MA, we construct maximal almost disjoint families which are P-indestructible yet Q-destructible for several pairs of forcing notions . We close with a detailed investigation of iterated Sacks indestructibility.

This volume gathers together for the first time are all the key texts in a crucial debate in modern philosophy, centered on Leibniz's famous 1695 essay, the "New System of the Nature of Substances and their Communication," in which he introduced his strikingly original theory of metaphysics. His "system" became increasingly famous and drew him into discussion and development of these ideas, both in public and in private, with a variety of thinkers, most notably the great French philosopher Pierre Bayle. (...) Woolhouse's and Francks's new English edition gives the only full representation of this debate, and will therefore be essential reading for anyone who wishes to gain a proper understanding of Leibniz's philosophy and its intelletual context. All the texts are newly translated and extensively annotated; many appear in English for the first time. (shrink)

t. 1. Apo ton prōto skeptomeno anthrōpo mechri ton 6. aiōna M.Ch. -- t. 2. Apo ton 7. aiōna M.Ch. mechri to sēmera.

We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealised explanation game in which players collaborate to find the best explanation for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping causal (...) patterns of variable granularity and scope. We characterise the conditions under which such a game is almost surely guaranteed to converge on a optimal explanation surface in polynomial time, and highlight obstacles that will tend to prevent the players from advancing beyond certain explanatory thresholds. The game serves a descriptive and a normative function, establishing a conceptual space in which to analyse and compare existing proposals, as well as design new and improved solutions. (shrink)

Plato's dialogues frequently criticize traditional Greek myth, yet Plato also integrates myth with his writing. Daniel S. Werner confronts this paradox through an in-depth analysis of the Phaedrus, Plato's most mythical dialogue. Werner argues that the myths of the Phaedrus serve several complex functions: they bring nonphilosophers into the philosophical life; they offer a starting point for philosophical inquiry; they unify the dialogue as a literary and dramatic whole; they draw attention to the limits of language and the limits of (...) knowledge; and they allow Plato to co-opt cultural authority as a way of defining and legitimating the practice of philosophy. Platonic myth, as a species of traditional tale, is thus both distinct from philosophical dialectic and similar to it. Ultimately, the most powerful effect of Platonic myth is the way in which it leads readers to participate in Plato's dialogues and to engage in a process of self-examination. (shrink)

Ariès traces Western man's attitudes toward mortality from the early medieval conception of death as the familiar collective destiny of the human race to the modern tendency, so pronounced in industrial societies, to hide death as if it were an embarrassing family secret.

Capital punishment—the legally authorized killing of a criminal offender by an agent of the state for the commission of a crime—stands in special need of moral justification. This is because execution is a particularly severe punishment. Execution is different in kind from monetary and custodial penalties in an obvious way: execution causes the death of an offender. While fines and incarceration set back some of one’s interests, death eliminates the possibility of setting and pursuing ends. While fines and incarceration narrow (...) one’s routes to happiness, death eliminates its possibility. Not surprisingly, there is much debate about the moral permissibility of capital punishment. This entry maps the terrain of this debate. The first section discusses justifications of the death penalty as they appear in major theories of punishment. The second section surveys moral objections to execution that apply to most justifications. The third addresses procedural criticisms, which do not target the morality of execution so much as the justice of its implementation. (shrink)

In Seeing Things as They Are (Searle 2015), Searle developed a direct realist’s theory of perception. According to direct realism, physical objects are directly and immediately perceived. Searle claims that Berkeley’s theory of perception goes against direct realism. For Searle, Berkeley’s theory suggests that only subjective experiences (ideas) are directly and immediately perceived, not physical objects. Contrary to Searle, G. S. Pappas claims that Berkeley’s theory of perception is consistent with the view that physical objects are immediately perceivable (Pappas 1982; (...) Pappas 1987). Given the conflicting interpretations of Berkeley’s theory of perception, this paper attempts to defend Searle’s position on Berkeley’s theory of perception. It refutes Pappas’ interpretation by arguing that he is inconsistent with Berkeley’s theses of ontological phenomenalism and heterogeneity thesis. (shrink)

Purpose. To examine the existential anthropology of G. Marcel and E. Minkowski, in order to demonstrate the necessity of distinguishing the universal-spiritual, as human in human being, apart from the individual-existential in him, and to reveal the hierarchical correlation of biosocial, existential and spiritual spheres in personality. Theoretical basis. Within existential philosophy the author differentiates two separate traditions and proceeds from the insufficiency of the distinction of existential sphere, proposed by phenomenological tradition, showing the necessity of its correlation with the (...) spiritual sphere as a sphere of humanity, proposed by non-phenomenological tradition of G. Marcel and E. Minkowski. Originality. The author presents the anthropological conception of G. Marcel and E. Minkowski, in which human personality is understood as unity of individual-existential and universal-spiritual, which requires a special trans-empirical field of culture, which contains senses, images and symbols of humanity. Also, the author presents the recent developments of existential thinkers in distinguishing existential and spiritual dimensions, both not reducible to the physical and social dimensions. Conclusions. In both existential traditions, the specifically human was founded as a trans-biological and trans-social phenomenon, which appears as indefinable and non-predetermined. But in first tradition, humanity is understood as an existence, as a unique individuality, "project", variant of humanity, equivalent to other variants, and universal is understood as a community of human condition in the world. While in the second tradition, the universal is understood as spiritual. Thus, horizontal level of our private existence, as the process of movement from birth to death, is supplemented by vertical of human, universal ideals and images. Humanity appears as a task, on the way to which human being transcends beyond the limits of his individual "self" to the "super-individual", through inclusion into spiritual community, into universal culture. (shrink)

In this original work of cultural criticism, Allen S. Weiss explores the meaning of radio to the modern imagination.

The foundation of the Christian counselling movement -- Christian counselling in the UK -- The aims of Christian counselling -- Integrating psychological and biblical truth -- Sigmund Freud--the founding father of psychotherapy -- The individual psychology of Alfred Adler -- Abraham Maslow--the man with new age tendencies -- Carl Rogers--a man who believed in himself -- Albert Ellis--the aggressive atheist -- The Bible's verdict on psychological 'truth' -- The case against Larry Crabb -- Self-esteem: the secular foundation -- Self-esteem and (...) the Christian counselling movement -- Self-esteem dogma in the light of scripture. (shrink)

Critics of the computational connectionism of the last decade suggest that it shares undesirable features with earlier empiricist or associationist approaches, and with behaviourist theories of learning. To assess the accuracy of this charge the works of earlier writers are examined for the presence of such features, and brief accounts of those found are given for Herbert Spencer, William James and the learning theorists Thorndike, Pavlov and Hull. The idea that cognition depends on associative connections among large networks of neurons (...) is indeed one with precedents, although the implications of this for psychological issues have been interpreted variously — not all versions of connectionism are alike. (shrink)

From the concrete experience of war, Michael S. Yandell constructs a phenomenology of “negative revelation” in which false or distorted claims of goodness and justice disintegrate and become meaningless, adding depth to the term moral injury.