The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and the relation of informal to symbolic logic, mathematical metatheory and the limiting metatheorems, modal logic, many-valued logic, relevance and paraconsistent logic, free logics, extensional v. intensional logics, the logic of fiction, epistemic logic, formal logical and semantic paradoxes, the concept of truth, (...) the formal theory of entailment, objectual and substitutional interpretation of the quantifiers, infinity and domain constraints, the Löwenheim-Skolem theorem and Skolem paradox, vagueness, modal realism v. actualism, counterfactuals and the logic of causation, applications of logic and mathematics to the physical sciences, logically possible worlds and counterpart semantics, and the legacy of Hilbert’s program and logicism. The handbook is meant to be both a compendium of new work in symbolic logic and an authoritative resource for students and researchers, a book to be consulted for specific information about recent developments in logic and to be read with pleasure for its technical acumen and philosophical insights. Key Features - Written by leading logicians and philosophers - Comprehensive authoritative coverage of all major areas of contemporary research in symbolic logic - Clear, in-depth expositions of technical detail - Progressive organization from general considerations to informal to symbolic logic to nonclassical logics - Presents current work in symbolic logic within a unified framework - Accessible to students, engaging for experts and professionals - Insightful philosophical discussions of all aspects of logic -Useful bibliographies in every chapter - Written by leading logicians and philosophers - Comprehensive authoritative coverage of all major areas of contemporary research in symbolic logic - Clear, in-depth expositions of technical detail - Progressive organization from general considerations to informal to symbolic logic to nonclassical logics - Presents current work in symbolic logic within a unified framework - Accessible to students, engaging for experts and professionals - Insightful philosophical discussions of all aspects of logic - Useful bibliographies in every chapter. (shrink)

From Descartes and Cartesian mind-body dualism in the 17th century though to 21st-century concerns about artificial intelligence programming, The Bloomsbury Companion to the Philosophy of Consciousness presents a compelling history and up-to-date overview of this burgeoning subject area. Acknowledging that many of the original concepts of consciousness studies are found in writings of past thinkers, it begins with introductory overviews to the thought of Descartes through to Kant, covering Brentano's restoration of empiricism to philosophical psychology and the major figures of (...) the late 19th and early 20th centuries: Russell, Wittgenstein, Ryle and James. These opening chapters on the forces in the history of consciousness lay the groundwork needed to understand how influential contemporary thinkers in the philosophy of mind interpret the concept of consciousness. Featuring leading figures in the field, Part II discusses current issues in a range of topics progressing from the so-called hard problem of understanding the nature of consciousness, to the methodology of invoking the possibility of philosophical zombies and the prospects of reductivism in philosophy of mind. Part III is dedicated to new research directions in the philosophy of consciousness, including chapters on experiment objections to functionalism and the scope and limits of artificial intelligence. Equipped with practical research resources including an annotated bibliography, a research guide and a glossary, The Bloomsbury Companion to the Philosophy of Consciousness is an authoritative guide for studying the past, present and future of consciousness. (shrink)

SummaryMind‐body identity theories are standardly supposed to be logically contingent. Kripke defends a quasi‐Cartesian property dualism by observing that bodies and minds or mental and neurophysiological events or event‐types can always be assigned distinct rigid designators. The concept of rigid designation implies that possibly nonidentical rigidly designated bodies and minds are necessarily and therefore actually nonidentical. But Kripke's argument does not refute materialist reductions that affirm the actual identity of minds and bodies while admitting only the possible nonidentity of ncwigidly (...) designated mental and material entities. This limits the adequate expression of contingent materialist theories, but does not defeat materialism per se. The mind‐body problem like other genuine ontological issues resists stipulative semantic‐philosophical resolution. (shrink)

MĂDĂLINA DIACONU, Tasten, Riechen, Schmecken. Eine Ästhetik der anästhesierten Sinne, 2005 ; SILVIA STOLLER, VERONICA VASTERLING,LINDA FISHER, Feministische Phänomenologie und Hermeneutik, 2005 ; KARL SCHUHMANN, Karl Schuhmann: Selected Papers on Phenomenology. Edited by CEES LEIJENHORST and PIET STEENBAKKERS, 2004 ; HIROSHI GOTO, Der Begriff der Person in der PhänomenologieHusserls. Ein Interpretationsversuch der Husserlschen Phänomenologie als Ethik im Hinblick auf den Begriff der Habitualität, 2004 ; GÜNTER FIGAL, Lebensverstricktheit und Abstandsnahme. „Verhalten zu sich“ im Anschluss an Heidegger, Kierkegaard und Hegel, 2001 (...) ; JACQUES DERRIDA, Le toucher, Jean-Luc Nancy, 2000. (shrink)

This book explores the thought of Alexius Meinong, a philosopher known for his unconventional theory of reference and predication. The chapters cover a natural progression of topics, beginning with the origins of Gegenstandstheorie, Meinong's theory of objects, and his discovery of assumptions as a fourth category of mental states to supplement his teacher Franz Brentano's references to presentations, feelings, and judgments. The chapters explore further the meaning and metaphysics of fictional and other nonexistent intended objects, fine points in Meinongian object (...) theory are considered and new and previously unanticipated problems are addressed. The author traces being and non-being, and aspects of beingless objects including objects in fiction, ideal objects in scientific theory, objects ostensibly referred to in false science and false history, and intentional imaginative projection of future states of affairs. The chapters focus on an essential choice of conceptual, logical, semantic, ontic and more generally metaphysical problems, and an argument is progressively developed from the first to the final chapter, as key ideas are introduced and refined. Meinong studies have come a long way from Bertrand Russell's off-target criticisms, and recent times have seen a rise of interest in a Meinongian approach to logic and the theory of meaning. New thinkers see Meinong as a bridge figure between analytic and continental thought, thanks to the need for an adequate semantics of meaning in philosophy of language and philosophy of mind, making this book a particularly timely publication. (shrink)

This book presents an historical and conceptual reconstruction of the theories developed by Meinong and a group of philosophers and experimental psychologists in Graz at the turn of the 19th century. Adhering closely to original texts, the contributors explore Meinong's roots in the school of Brentano, complex theories such as the theory of intentional reference and direct reference, and ways of developing philosophy which are closely bound up with the sciences, particularly psychology. Providing a faithful reconstruction of both Meinong's contributions (...) to science and the school that arose from his thought, this book shows how the theories of the Graz school raise the possibility of engaging in the scientific metaphysics and ontology that for so long have been considered off limits. (shrink)

The traditional conception of knowledge as justified true belief is refuted in two famous counterexamples by Edmund L. Gettier. Roderick M. Chisholm has attempted to rescue a version of the traditional conception by distinguishing between defective and nondefective kinds of justification, and redefining knowledge more specifically as nondefectively justified true belief. Chisholm's revised definition avoids Gettier's counterexamples, but goes too far in the opposite direction, imposing conditions that are too narrow and not jointly necessary for knowledge. Chisholm's definition excludes some (...) claims that intuitively constitute genuine knowledge1 by entailing that if a true belief is invalidated as knowledge when defectively justified by a total body of evidence that also makes evident at least one false proposition, then no knowledge whatsoever can be supported by the same evidence. An alternative analysis of knowledge is proposed, according to which the potential loophole between the state of affairs that justifies belief in a proposition, and the state of affairs that makes the proposition true, permitted by the traditional concept of knowledge and discovered by Gettier's counterexamples, is closed by redefining knowledge as semantically‐epistemically evidentially relevant justified true belief. (shrink)

The consistent formalization of Meinong's object theory in recent mathematical logic requires either plural modes of predication, or distinct categories of nuclear or constitutive and extranuclear or nonconstitutive properties. The plural modes of predication approach is rejected because it is reducible to the nuclear extranuclear property distinction, but not conversely, and because the nuclear extranuclear property distinction offers a more satisfactory solution to object theory paradoxes.

Jean-Yves Béziau Abstract In this paper I relate the story about the new rising of the square of opposition: how I got in touch with it and started to develop new ideas and to organize world congresses on the topic with subsequent publications.

GUILLERMO E. ROSADO HADDOCK, The Young Carnap's Unknown Master: Husserl's Influence onDer Raum and Der Logische Aufbau Der Welt. Aldershot: Ashgate Publishing Limited, 2008. xii + 138 pp. £50.00. I...

John Buridan's Sophismata contains some of the most interesting puzzles and paradoxes of any of the many surviving medieval informal logic manuals. Buridan's purpose is not only to illustrate and challenge Aristotelian syllogistic with difficulties of interpretation, but also in part to lay logical philosophical foundations for a radically nominalistic ontology in the tradition of William of Ockham.

Any enthymeme can be made logically valid by adding as a suppressed premise a conditional that reiterates the argument's stated content and inferential structure in if-then form, We cannot blanketly prohibit reiteration to avoid this sort of trivialization, because some enthymemes legitimately require completion by reiterative conditionals, The solution proposed here is to allow reiterative expansions, but to rank them, other things being equal, as less charitable than nonreiterative expansions. Reiterative expansions can then be chosen as the most charitable only (...) when all nonreiterative expansions have been eliminated for independent reasons. This pluralistic model encourages experimentation with a number of different permissible expansions in evaluating enthymemes, from the least controversial or problematic to the most trivializing and the least charitable. (shrink)

In Nicomachean Ethics, Aristotle offers a solution to the problem of motivating morality based on his distinction between three types of friendship. I consider Aristotle's argument in detail, placing it in a context of similar concerns about the question of why we ought to be moral that ranges from Socrates' discussion of the ring of Gyges in Plato's Republic to Wittgenstein's distinction between internal and external rewards and punishments for action in Tractatus Logico-Philosophicus. Contrary to J.O. Urmson's conclusion that Aristotle's (...) discussion of the highest form of friendship is an editorial insertion in Book VIII of the Ethics, I attempt to show, by filling in the necessary steps in Aristotle's inference, that the treatment of friendship is an integral part of what Aristotle considers a complete moral philosophy. According to the interpretation that I propose, Aristotle's account of being worthy of the highest form of friendship is indispensable to his explanation of an internally rewarding reason for being moral. (shrink)

In moral dilemmas, where circumstances prevent two or more equally justified prima facie ethical requirements from being fulfilled, it is often maintained that, since the agent cannot do both, conjoint obligation is overridden by Kant's principle that ought implies can, but that the agent nevertheless has a disjunctive obligation to perform one of the otherwise obligatory actions or the other. Against this commonly received view, it is demonstrated that although Kant's ought-can principle may avoid logical inconsistency, the principle is incompatible (...) with disjunctive obligation in standard deontic logic, and that it entails paradoxically that none of the conflicting dilemma actions will in fact occur. The principle appears to provide the only plausible safeguard against deontic antinomy, but cannot be admitted because of its collision with considered moral judgments. (shrink)

A complete philosophy of mathematics must address Paul Benacerraf’s dilemma. The requirements of a general semantics for the truth of mathematical theorems that coheres also with the meaning and truth conditions for non-mathematical sentences, according to Benacerraf, should ideally be coupled with an adequate epistemology for the discovery of mathematical knowledge. Standard approaches to the philosophy of mathematics are criticized against their own merits and against the background of Benacerraf’s dilemma, particularly with respect to the problem of understanding the distinction (...) between pure and applied mathematics and the effectiveness of applied mathematics in the natural sciences and engineering. The evaluation of these alternatives provides the basis for articulating a philosophically advantageous Aristotelian inherence concept of mathematical entities. An inherence account solves Benacerraf’s dilemma by interpreting mathematical entities as nominalizations of structural spatiotemporal properties inhering in existent spatiotemporal entities. (shrink)

P. M. S. Hacker, Wittgenstein’s place in twentieth-century analytic philosophy:Oxford Blackwell, 1996. xviii + 346 pp. £50.00 $54.00 (cloth); £14.99 $21.95 (paper) Jarmo Pulkkinen, The threat of logical mathematism. A study on the critique of mathematical logic in Germany at the turn of the 20th century. Frankfurt a.M:Peter Lang, 1994. Scandinavian University Studies in the Humanities and Social Sciences; 7). 186 pp. 24 DM. ISBN 3-631-47409-1.

In his philosophy of culture, Joseph Margolis maintains that, although human beings and human societies have a history, there is no human nature in the sense of a fixed essence. I consider objections to Margolis's thesis, beginning with the possibility that nonhuman intelligent species might be in a position to study human behavior from its origins to its demise with the proper distance from our own situation in order to arrive at an understanding of what is essential to human nature, (...) perhaps as a Kantian regulative rather than constitutive principle, and involving abstractions from particular cases and idealizations, as in other branches of science. Finally, I examine the historical‐past orientation of Margolis's concept of humanity's self‐understanding and its dependence on the intentionality of human thought, and I conclude that it provides an inadequate reason for denying that there can be such a thing as human nature. (shrink)

Presented here are translations of two essays of the Austrian logician, philosopher and experimental psychologist Ernst Mally, originally delivered at the Third International Congress of Philosophy in Heidelberg, Germany. Both essays conclude with discussion between Mally and Kurt Grelling. Mally was a student of Alexius Meinong and a contributor to logical investigations in the field of object theory (Gegenstandstheorie). In these essays, Mally introduces a vital distinction between formal and extra-formal ?determinations? (Bestimmungen), and he argues that formal determinations are not (...) part of the identity conditions for intended objects, but provide the basis for a theory of pure logical and mathematical relations. Mally then proceeds to develop a formal logic of formal and extra-formal determinations, whose interrelations of ontic and modal predications provide an analysis of fundamental object theory concepts. (shrink)

The paradox of analysis is the problem of formulating analyses that avoid the metaphilosophical dilemma of uninformativeness where analysandum and analysans are identical in meaning, and incorrectness or unsoundness where analysandum and analysans are nonidentical in meaning. Frege's distinction between sense and reference supports an intentional solution to the paradox, incorporating Roderick M. Chisholm's concept of converse intentional properties. Formal definitions of unrestricted Leibnizian or conceptual identity and referential identity or codesignation are provided, under which analysanda and analysantia are referentially (...) identical, guaranteeing informativeness, of philosophically correct analyses. (shrink)

Meinong introduces the concept of implexive being and nonbeing to explain the metaphysics of universals, and as a contribution to the theory of reference and perception. Meinong accounts for Aristotle's doctrine of the inherence of secondary substances in primary substances in object theory terms as the implection of incomplete universals in complete existent or subsistent objects. The derivative notion of implexive so-being is developed by Meinong to advance an intuitive modal semantics that admits degrees of possibility. A set theoretical interpretation (...) of Meinong's mereological concept of the implection of incomplete beingless objects in existent or subsistent complete objects is proposed. The implications of Meinong's concept of implection are exploited to answer extensionalist objections about "Meinong's jungle", defending the ontic economy of an extraontological neo-Meinongian semantic domain that supports individual reference and true predication of constitutive properties to beingless objects. (shrink)

Meinong's doctrine of the modal moment and the watering-down of extranuclear properties to surrogate nuclear counterparts was offered in response to Russell's problem of the existent round square. To avoid an infinite regress of successively watered-down factualities, Meinong stipulates that the modal moment itself cannot be watered-down. This limits free assumption, since it means that the idea of the existent-cum-modal-moment round square cannot be entertained in thought. It is possible to eliminate the modal moment and watering-down from Meinongian semantics in (...) favor of a strict enforcement of the distinction between nuclear and extranuclear properties. This provides a simpler, more economical Meinongian object theory, and regains unrestricted free assumption. (shrink)

The debate on the status and legality of cannabis continues to gain momentum. Here, personal anecdotes combined with academic and scientific reports combine to sharpen some of the fascinating philosophical issues associated with cannabis use. A frank, professionally informed and playful discussion of cannabis usage in relation to philosophical inquiry Considers the meaning of a ‘high’, the morality of smoking marijuana for pleasure, the slippery slope to more dangerous drugs, and the human drive to alter our consciousness Not only incorporates (...) contributions from philosophers, psychologists, sociologists or legal, pharmacological, and medical experts, but also non-academics associated with the cultivation, distribution, and sale of cannabis Brings together an international team of writers from the United States, Canada, UK, Finland, Switzerland, South Africa, and New Zealand. (shrink)

An elementary algebra identifies conceptual and corresponding applicational limitations in John Kemeny and Paul Oppenheim’s (K-O) 1956 model of theoretical reduction in the sciences. The K-O model was once widely accepted, at least in spirit, but seems afterward to have been discredited, or in any event superceeded. Today, the K-O reduction model is seldom mentioned, except to clarify when a reduction in the Kemeny-Oppenheim sense is not intended. The present essay takes a fresh look at the basic mathematics of K-O (...) comparative vocabulary theoretical term reductions, from historical and philosophical standpoints, as a contribution to the history of the philosophy of science. The K-O theoretical reduction model qualifies a theory replacement as a successful reduction when preconditions of explanatory adequacy and comparable systematicization are met, and there occur fewer numbers of theoretical terms identified as replicable syntax types in the most economical statement of a theory’s putative propositional truths, as compared with the theoretical term count for the theory it replaces. The challenge to the historical model developed here, to help explain its scope and limitations, involves the potential for equivocal theoretical meanings of multiple theoretical term tokens of the same syntactical type. (shrink)

In his eleventh century dialogue De Casu Diaboli, Anselm seeks to avoid the problem of evil for theodicy and explain the fall of Satan as attributable to Satan’s own self-creating wrongful will. It is something, as such, for which God as Satan’s divine Creator cannot be held causally or morally responsible. The distinctions on which Anselm relies presuppose an interesting metaphysics of nonbeing, and of the nonbeing of evil in particular as a privation of good, worthy of critical philosophical investigation (...) in its own right. Anselm’s concept of nonbeing does not resolve the philosophical problem of evil implied by Satan’s fall from grace, but is shown perhaps more unexpectedly to enable Anselm’s proof for the inconceivable nonexistence of God as the greatest conceivable intended object of thought to avoid Kant’s Critique of Pure Reason objection to the general category of ”ontological’ arguments. (shrink)

The paradox of analysis is the problem of formulating analyses that avoid the metaphilosophical dilemma of uninformativeness where analysandum and analysans are identical in meaning, and incorrectness or unsoundness where analysandum and analysans are nonidentical in meaning. Frege's distinction between sense and reference supports an intentional solution to the paradox, incorporating Roderick M. Chisholm's concept of converse intentional properties. Formal definitions of unrestricted Leibnizian or conceptual identity and referential identity or codesignation are provided, under which analysanda and analysantia are referentially (...) identical, guaranteeing informativeness, of philosophically correct analyses. (shrink)

In a chapter of - so to speak - an intellectual autobiography I sketch the reasons and ways I became a practitioning Meinongian logician. The way is a chain of transgressions, e.g., the transgression of extensionalism or of the law of excluded middle, and a struggle against widespread misinterpretations of Meinong's Gegenstandstheorie. Although the opposition towards Meinong's theory of objects persists in analytic philosophy, its main insights - that thought is intentional and that logic must be ontologically neutral - haven't (...) lost their attraction. Moreover: there is no substantive criticism to show that we cannot refer and truely predicate properties of intended objects regardless of their ontic status. (shrink)

The concept of a dialogue is considered in general terms from the standpoint of its referential presuppositions. The semantics of dialogue implies that dialogue participants must generally have a collective intentionality of agreed-upon references that is minimally sufficient for them to be able to disagree about other things, and ideally for outstanding disagreements to become clearer at successive stages of the dialogue. These points are detailed and illustrated in a fictional dialogue, in which precisely these kinds of referential confusions impede (...) progress in shared understanding. It is only through a continuous exchange of question and answer in this dialogue case study that the meanings of key terms and anaphorical references are disambiguated, and a relevantly complete collective intentionality of shared meaning between dialogue participants is achieved. The importance of a minimally shared referential semantics for the terms entering into reasoning and argument in dialogue contexts broadly construed cannot be over-estimated. Where to draw the line between referential agreement and disagreement within any chosen dialogue, as participants work toward better mutual understanding in clearing up referential incongruities, is sometimes among the dialogue’s main points of dispute. (shrink)

Meinong's doctrine of the modal moment and the watering-down of extranuclear properties to surrogate nuclear counterparts was offered in response to Russell's problem of the existent round square. To avoid an infinite regress of successively watered-down factualities, Meinong stipulates that the modal moment itself cannot be watered-down. This limits free assumption, since it means that the idea of the existent-cum-modal-moment round square cannot be entertained in thought. It is possible to eliminate the modal moment and watering-down from Meinongian semantics in (...) favor of a strict enforcement of the distinction between nuclear and extranuclear properties. This provides a simpler, more economical Meinongian object theory, and regains unrestricted free assumption. (shrink)

Meinong's doctrine of the modal moment and the watering-down of extranuclear properties to surrogate nuclear counterparts was offered in response to Russell's problem of the existent round square. To avoid an infinite regress of successively watered-down factualities, Meinong stipulates that the modal moment itself cannot be watered-down. This limits free assumption, since it means that the idea of the existent-cum-modal-moment round square cannot be entertained in thought. It is possible to eliminate the modal moment and watering-down from Meinongian semantics in (...) favor of a strict enforcement of the distinction between nuclear and extranuclear properties. This provides a simpler, more economical Meinongian object theory, and regains unrestricted free assumption. (shrink)

The five participants in this dialogue critically discuss Zeno of Elea's paradox of Achilles and the tortoise. They consider a number of solutions to and restatements of the paradox, together with their philosophical implications. Among the issues investigated include the appearance-reality distinction, Aristotle's distinction between actual and potential infinity, the concept of a continuum, Cantor's continuum hypothesis and theory of transfinite ordinals, and, as a solution to Zeno's puzzle, the distinction between infinite and indeterminate or inexhaustible divisibility.