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.

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to (...) term reduction, etc. But there is more to the isomorphism than this. For instance, it is an old idea---due to Brouwer, Kolmogorov, and Heyting---that a constructive proof of an implication is a procedure that transforms proofs of the antecedent into proofs of the succedent; the Curry-Howard isomorphism gives syntactic representations of such procedures. The Curry-Howard isomorphism also provides theoretical foundations for many modern proof-assistant systems (e.g. Coq). This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic. Key features - The Curry-Howard Isomorphism treated as common theme - Reader-friendly introduction to two complementary subjects: Lambda-calculus and constructive logics - Thorough study of the connection between calculi and logics - Elaborate study of classical logics and control operators - Account of dialogue games for classical and intuitionistic logic - Theoretical foundations of computer-assisted reasoning · The Curry-Howard Isomorphism treated as the common theme. · Reader-friendly introduction to two complementary subjects: lambda-calculus and constructive logics · Thorough study of the connection between calculi and logics. · Elaborate study of classical logics and control operators. · Account of dialogue games for classical and intuitionistic logic. · Theoretical foundations of computer-assisted reasoning. (shrink)

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)

Seminar papers on Dvaitadvaita philosophy with reference to Advaitabrahmasiddhi of Madhusūdana Sarasvatī and Nyāyāmr̥ta of Vyāsatīrtha, 1460-1539.

-- v. 2. Pami︠a︡ti Vitalii︠a︡ Ivanovicha Svint︠s︡ova.

Jean Baudrillard is one of the outstanding representatives both of French poststructuralism and postmodernism. Because of radical criticism it was not possible for him to establish a logically coherent theoretical system; the philosophical aspects of his work are specifically merged, therefore, into a critical asystematic fragmentarism, which is the subject of this work. From the critique of the political economy of the sign, through critiques of rationalism, reality, progress, truth, history to the theory of simulation, Baudrillard's specific para-concepts (fatal strategy, (...) symbolic exchange, seduction, hyperreality, pataphysics, etc.) are constantly fragmentarily present in the development of his thought. These concepts are Baudrillard's attempt at disengagement from modern philosophy and his new, unsystematic postmodern view of reality in general. In the analysis of binary metaphysical oppositions (reality-simulation, subject-object, knowledge-seduction, history-end, radical-irradical nihilism, metaphysics (God)-pataphysics), Baudrillard is radically exclusive through the arbitrary preference of one over the other concept. his ideas, it is possible to conclude that these dualistic antagonisms are also paradoxically compatible in his system, this compatibility is very close to the irrational mysticism of this thinker. This book is a clear and lucid presentation of this unique brand of postmodernism to English speaking scholarship. (shrink)

This chapter offers a proceduralist argument against capital punishment. More specifically, it contends that the possibility of irrevocable mistakes precludes the just administration of the death penalty. At stake is a principle of political morality: legal institutions must strive to remedy their mistakes and to compensate those who suffer from wrongful sanctions. The incompatibility of remedy and execution is the crux of the irrevocability argument: because the wrongly executed cannot enjoy the morally required compensation, execution is impermissible. Along with defending (...) his key premises, Yost explains the complicated role that sentencing uncertainty plays in the argument. He concludes by noting some of the flaws in substantive consequentialist and retributivist justifications of capital punishment. (shrink)

Purpose. The research is aimed at substantiation of the process of formation of various human images in the postmodernism era in the context of biophilosophy, taking into account the need to find an adequate response to historical challenges and the production of new value orientations reflecting succession of civilization development. Theoretical basis. The author in his theoretical constructs proceeds from the need of taking into account the biophilosophical aspect of postmodern man, as the one who, remaining a representative of the (...) species Homo sapiens, began to dynamically change, losing its own natural and functional qualities, acquiring to a large extent the socio-technology-related qualities. The thesis that in the postmodern society the moral and legal foundations of existence of human being, as the subject of actions and responsibility for these actions, practically coincide with the biological foundations is taken as initial argument. New biological knowledge, as well as the related technologies, orient the public consciousness towards production of fundamentally new or modernization of the existing bio-philosophical ideas. The author's vision of the anthropological collision of the Post-Modernism era is caused by the fact that the issues of a postmodern man acquire a special urgency at the end of the ХХ – early XXI century. A progressive disproportion between a human being, whose abilities as a representative of the species Homo sapiens are biologically limited, and the human community, which sees no limits in its information and technological expansion, is of current interest. Originality. The author reveals the key features of the Post-Modernism era, in which a fundamentally different civilizational space originates, and where a new type of person emerges in its internal culture, which is called the postmodern man. The postmodern man was considered through the prism of bio-philosophy. Its interest in man is caused by his or her place in nature, the prospects of development at the individual, population and species levels. Conclusions. In the process of development of bio-philosophy, its research field will be naturally expanded with the use of philosophical means of perception of life as such and filling the bio-philosophy with philosophical and biological issues. In contemporary conditions, the study of the boundaries of biological reality and its previously unknown properties, definition of new horizons of theoretical knowledge in the science of life, the critical rethinking of the concepts of biocentrism and anthropocentrism in the space of modern scientific knowledge, the definition of perspective trends in the study of man, his or her place and role in the planetary being is of great importance. (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)

Aphoristic work on Vedanta philosophy; critical edition with commentary and supercommentaries.

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)

Prologue, invitation to thinking about God In the Hebrew Bible? -- Part I, questions about God? -- Why does God in the Bible have a body? -- What do God's body parts in the Bible mean? -- Why is God angry in the Bible? -- Does God in the Bible have gender or sexuality? -- Part II, questions about God in the world? -- What can creation tell us about God? -- Who-or what-is the Satan? -- Why do people suffer (...) according to the Hebrew Bible? -- Epilogue, God in the Bible and beyond. (shrink)

Réflexions sur la façon de dire et de montrer le paysage au XXIe siècle. Aborde la question en s'appuyant sur de nombreuses disciplines comme l'art, l'esthétique, le théâtre ou les sciences et techniques.

Many books explain what is known about the universe. This book investigates what cannot be known. Rather than exploring the amazing facts that science, mathematics, and reason have revealed to us, this work studies what science, mathematics, and reason tell us cannot be revealed. In The Outer Limits of Reason, Noson Yanofsky considers what cannot be predicted, described, or known, and what will never be understood. He discusses the limitations of computers, physics, logic, and our own thought processes. Yanofsky describes (...) simple tasks that would take computers trillions of centuries to complete and other problems that computers can never solve; perfectly formed English sentences that make no sense; different levels of infinity; the bizarre world of the quantum; the relevance of relativity theory; the causes of chaos theory; math problems that cannot be solved by normal means; and statements that are true but cannot be proven. He explains the limitations of our intuitions about the world -- our ideas about space, time, and motion, and the complex relationship between the knower and the known. Moving from the concrete to the abstract, from problems of everyday language to straightforward philosophical questions to the formalities of physics and mathematics, Yanofsky demonstrates a myriad of unsolvable problems and paradoxes. Exploring the various limitations of our knowledge, he shows that many of these limitations have a similar pattern and that by investigating these patterns, we can better understand the structure and limitations of reason itself. Yanofsky even attempts to look beyond the borders of reason to see what, if anything, is out there. (shrink)

Three standard psychometric tests were administered to parents who volunteered their children for a randomised, double-blind placebo-controlled trial of a new asthma drug and to a control group of parents whose children were eligible for the trial but had declined the invitation. The trial took place at a children's hospital in Australia. The subjects comprised 68 parents who had volunteered their children and 42 who had not, a participation rate of 94 per cent and 70 per cent, respectively. The responses (...) of these parents to the Gordon Survey of Interpersonal Values Questionnaire, the Coopersmith Self-Esteem Inventory and the Cattell Sixteen Personality Factor Questionnaire were analysed by computer. There was a marked difference between the psychological profiles of the two groups of parents. Volunteering parents put more value on benevolence while non-volunteering parents were more concerned with power and prestige. The self-esteem of volunteering parents was much lower than that of non-volunteering parents. Finally, volunteering parents were more introverted, exhibited greater anxiety and low supergo, while non-volunteering parents appeared to have greater social confidence and emotional stability. Since an individual's values, self-esteem and personality may be important antecedents of behaviour, these findings suggest that parents who volunteer their children for clinical research are not only socially disadvantaged and emotionally vulnerable, but may also be psychologically predisposed to volunteering. Furthermore, these findings provide evidence for the existence of a psychosocial 'filter' effect of the informed consent procedure, which may be discouraging the better educated, more privileged and psychologically resilient members of society from participation as research subjects. (shrink)