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)

The present work considers Hume's critique of infinity in historical context as a product of Enlightenment theory of knowledge, and assesses the prospects of ...

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)

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)

If conceptual analysis is possible for finite thinkers, then there must ultimately be a distinction between complex and primitive or irreducible and unanalyzable concepts, by which complex concepts are analyzed as relations among primitive concepts. This investigation considers the advantages of categorizing intentionality as a primitive rather than analyzable concept, in both a historical Brentanian context and in terms of contemporary philosophy of mind. Arguments in support of intentionality as a primitive relation are evaluated relative to objections, especially a recent (...) criticism by Jerry A. Fodor. Against this background, the relation between qualia and intentionality in the understanding of consciousness is explored. (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)

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)

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)

This collection of newly comissioned essays by international contributors offers a representative overview of the most important developments in contemporary philosophical logic. Presents controversies in philosophical implications and applications of formal symbolic logic. Surveys major trends and offers original insights.

As a contribution to the critical appreciation of a central thesis in Russell’s philosophical logic, I consider the Third Man objection to Platonic realism in the philosophy of mathematics, and argue that the Third Man infinite regress, for those who accept its assumptions, provides a worthy substitute for Whitehead and Russell’s Axiom of Infinity in positing a denumerably infinite set or series onto which other sets, series, and formal operations in the foundations of mathematics can be mapped.

A conceptual analysis of the problem of induction suggests that the difficulty of justifying probabilistic reasoning depends on a mistaken comparison between deductive and inductive inference. Inductive reasoning is accordingly thought to stand in need of special justification because it does not measure up to the standard of conditional absolute certainty guaranteed by deductive validity. When comparison is made, however, it appears that deductive reasoning is subject to a counterpart argument that is just as threatening to the justification of deductive (...) as to inductive inference. Trying to explain induction in such a way that it satisfies a special justificatory requirement in contrast with deduction is therefore not the way to justify induction. An alternative approach is sought in a style of justification developed by Aristotle for the law of noncontradiction and by Kant for the conclusions of transcendental reasoning that with variations can be used to justify both deduction and induction. This strategy upholds a principle when the principle must be presupposed even to raise doubts about the principle's justification. (shrink)

This chapter contains sections titled: Validity and Necessity The Validity Paradox Gödel Arithmetizing the Validity Paradox The Validity Paradox in S5 Validity, Necessity, and Deductive Inference.

This chapter contains sections titled: Creative Inner Space O True Apothecary! A Votary to Fond Desire Philosophers Gaining Altitude Insight and Delusion Life, Liberty, and the Pursuit of Cannabis.

The argument diagramming method developed by Monroe C. Beardsley in his (1950) book Practical Logic, which has since become the gold standard for diagramming arguments in informal logic, makes it possible to map the relation between premises and conclusions of a chain of reasoning in relatively complex ways. The method has since been adapted and developed in a number of directions by many contemporary informal logicians and argumentation theorists. It has proved useful in practical applications and especially pedagogically in teaching (...) basic logic and critical reasoning skills at all levels of scientific education. I propose in this essay to build on Beardsley diagramming techniques to refine and supplement their structural tools for visualizing logical relationships in a number of categories not originally accommodated by Beardsley diagramming, including circular reasoning, reductio ad absurdum arguments, and efforts to dispute and contradict arguments, with applications and analysis. (shrink)

The concept of death is of special importance in Schopenhauer''s metaphysics of appearance and Will. Death for Schopenhauer is the aim and purpose of life, that toward which life is directed, and the denial of the individual will to life. Despite his profound pessimism, Schopenhauer vehemently rejects suicide as an unworthy affirmation of the will to life by those who seek to escape rather than seek nondiscursive knowledge of Will in suffering. The only manner of self-destruction Schopenhauer finds philosophically acceptable (...) is the ascetic saint''s death by starvation. Here the individual will to life is so completely mastered as to refuse even the most basic desire for nourishment, and thereby passes into nonexistence in complete renunciation of the individual will. Schopenhauer''s attitude toward suicide nevertheless embodies an inconsistency. If, as Schopenhauer believes, the aim of life is death, and death is an unreal aspect of the world as appearance, then there appears to be no justification why the philosopher should not rush headlong into it - not to affirm the will to life in an abject effort to avoid suffering, but in order to fulfill life''s purpose by ending it for distinctly philosophical reasons immediately upon arriving at an understanding of the appearance-reality distinction. (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)

This volume explores the central problems and exposes intriguing new directions in the philosophy of mathematics, making it an essential teaching resource, ...

Franz Brentano (1838-1917) led an intellectual revolution that sought to revitalize German-language philosophy and to reverse its post-Kantian direction. His philosophy laid the groundwork for philosophy of science as it came to fruition in the Vienna Circle, and for phenomenology in the work of such figures as his student Edmund Husserl. This volume brings together newly commissioned chapters on his important work in theory of judgement, the reform of syllogistic logic, theory of intentionality, empirical descriptive psychology and phenomenology, theory of (...) knowledge, metaphysics and ontology, value theory, and natural theology. It also offers a critical evaluation of Brentano's significance in his historical context, and of his impact on contemporary philosophy in both the analytic and the continental traditions. (shrink)

This essay offers a detailed philosophical criticism of Frege’s popular thesis that identity is a relation of names. I consider Frege’s position as articulated both in ‘On Sense and Reference’, and in the Grundgesetze, where he appears to take an objectual view of identity, arguing that in both cases Frege is clearly committed to the proposition that identity is a relation holding between names, on the grounds that two different things can never be identical. A counterexample to Frege’s thesis is (...) considered, and a positive thesis is developed according to which, in contradistinction to the Fregean position, identity is a reflexive, symmetric, and transitive relation holding only between a thing and itself which can be expressed as a relation between names. (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)

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 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)

In a bold series of pronouncements, Arthur Schopenhauer maintains that the Kantian thing-in-itself is Will. The division between the world as Will and representation, with its impressive array of implications, is Schopenhauer's most important and distinctive contribution to metaphysics. To understand what Schopenhauer means by ‘Will’ as opposed to the empirical ‘will’, and his reasons for identifying thing-in-itself with Will, we must look in detail at two related arguments by which Schopenhauer proposes to link these concepts. The arguments appear in (...) the first and second editions of Schopenhauer's masterwork, The World as Will and Representation. The differences between the two versions appear to represent a change in his thinking about the most persuasive way to demonstrate the nature of thing-in-itself. The arguments are reconstructed for the sake of comparison, and critically evaluated in light of a variety of objections. While Schopenhauer's first, analogical, argument is inconclusive, his second argument offers a highly defensible inference identifying thing-in-itself as Will. (shrink)

An unconventional formalization of the canonical square of opposition in the notation of classical symbolic logic secures all but one of the canonical square’s grid of logical interrelations between four A-E-I-O categorical sentence types. The canonical square is first formalized in the functional calculus in Frege’s Begriffsschrift, from which it can be directly transcribed into the syntax of contemporary symbolic logic. Difficulties in received formalizations of the canonical square motivate translating I categoricals, ‘Some S is P’, into symbolic logical notation, (...) not conjunctively as \, but unconventionally instead in an ontically neutral conditional logical symbolization, as \. The virtues and drawbacks of the proposal are compared at length on twelve grounds with the explicit existence expansion of A and E categoricals as the default strategy for symbolizing the canonical square preserving all original logical interrelations. (shrink)

This collection brings together thirteen essays by some of the most respected contemporary scholars of Schopenhauer's aesthetics from a wide spectrum of philosophical perspectives. The dynamics of the empirical will and Will as a thing-in-itself in the interplay of Schopenhauer's metaphysics and philosophy of fine art has important implications for the freedom, salvation and tragic suffering of the artist, the representation of Platonic Ideas in art, and the role of artistic inspiration, emotion and aesthetic pleasure in the beautiful and sublime. (...) These essays examine the unique theory Schopenhauer developed to explain the life and work of the artist, and the influence his aesthetic philosophy has had on subsequent artistic traditions in such diverse areas as music, painting, poetry, literature and architecture. The authors present Schopenhauer's thought as a vital and enduring contribution to aesthetic theory, and to the idealist vision which continues to guide Romantic and neo-Romantic art. (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)

The Turing Test is a verbal-behavioral operational criterion of artificial intelligence. If a machine can participate in question–and–answer conversation adequately enough to deceive an intelligent interlocutor, then it has intelligent information processing abilities. Robert M. French has argued that recent discoveries in cognitive science about subcognitive processes involving associational primings prove that the Turing Test cannot provide a satisfactory criterion of machine intelligence, that Turing's prediction concerning the feasibility of building machines to play the imitation game successfully is false, and (...) that the test should be rejected as ethnocentric and incapable of measuring kinds and degrees of nonhuman intelligence. But French's criticism is flawed, because it requires Turing's sufficient conditional criterion of intelligence to serve as a necessary condition. Turing's Test is defended against these objections, and French's claim that the test ought to be rejected because machines cannot pass it is deemed unscientific, resting on the empirically unwarranted assumption that intelligent machines are possible. (shrink)

The argument from incremental differences among objects with indefinite property-Complement demarcations arranged along a continuum is known classically as the sorites or slippery slope fallacy. The inferences are typically unsound, And may contain structural logical defects, Though the precise source of error is the subject of wide-Ranging philosophical dispute. In this treatment, Slippery slopes are reduced to a single category of logically valid (but sometimes unsound) conditional chains of hypothetical syllogism. The analysis provides a framework for distinguishing between unsound slippery (...) slope sophisms, And logically valid semantically sound slippery slope arguments. (shrink)

This book presents a remarkable diversity of contemporary opinions on the prospects of addressing philosophical topics from a psychological perspective. It considers the history and philosophical merits of psychologism, and looks systematically at psychologism in phenomenology, cognitive science, epistemology, logic, philosophy of language, philosophical semantics, and artificial intelligence.

In this challenging and provocative analysis, Dale Jacquette argues that contemporary philosophy labours under a number of historically inherited delusions about the nature of logic and the philosophical significance of certain formal properties of specific types of logical constructions. Exposing some of the key misconceptions about formal symbolic logic and its relation to thought, language and the world, Jacquette clears the ground of some very well-entrenched philosophical doctrines about the nature of logic, including some of the most (...) fundamental seldom-questioned parts of elementary propositional and predicate-quantificational logic. Having presented difficulties for conventional ways of thinking about truth functionality, the metaphysics of reference and predication, the role of a concept of truth in a theory of meaning, among others, Jacquette proceeds to reshape the network of ideas about traditional logic that philosophy has acquired along with modern logic itself. In so doing Jacquette is able to offer a new perspective on a number of existing problems in logic and philosophy of logic. (shrink)

The traditional concept of propositional knowledge as justified true belief (JTB), even when modified, typically in its justification condition, to avoid Gettier-typecounterexamples, remains subject to a variety of criticisms. The redefinition proposed here puts pressure more specifically on the concept of truth as redundant in light of and inaccessible beyond the most robust requirements of best justification. Best-J is defined as justification for believing in a proposition’s truth where there is no better countermanding justification for believing instead the proposition’s negation. (...) A pragmatic perspective argues that truth is unnecessary and unattainable as a condition of knowledge beyond the requirement for practically attainable best justified belief. The key argument with respect to the eliminability of the truth condition in favor of a properly tailored justification condition is that there is nothing we do or can do in trying to satisfy the truth condition for knowledge beyond considering the epistemic merits of the justification that a believer accepts in coming to believe that the proposition is true. (shrink)