This is the first book to systematically study the weak systems of mereology. In its chapters, the author critically analyzes and explains core topics related to mereology, such as parthood without antisymmetry, non-existence of the zero element, and Lesniewski's notion of class and set. The book also delves into three theories of parthood: two concern the sum existence axioms, and the third contends with transitivity of parthood. This is the first systematic analysis of systems of mereology of its kind and is suitable for students, scholars, logicians, and mathematicians who wish to further their knowledge of mereology. Original polish publication "Podstawy teorii czesci" by The Nicolaus Copernicus University Press

Epistemic Logic studies statements containing verbs such as 'know' and 'wish'. It is one of the most exciting areas in medieval philosophy. Neglected almost entirely after the end of the Middle Ages, it has been rediscovered by philosophers of the present century. This is the first comprehensive study of the subject. Ivan Boh explores the rules for entailment between epistemic statements, the search for the conditions of knowing contingent propositions, the problems of substitutivity in intentional contexts, the relationship between epistemic and modal logic, and the problems of composite and divided senses in authors ranging from Abelard to Frachantian.

G.E. Moore, more than either Bertrand Russell or Ludwig Wittgenstein, was chiefly responsible for the rise of the analytic method in twentieth-century philosophy. This selection of his writings shows Moore at his very best.
The classic essays are crucial to major philosophical debates that still resonate today. Amongst those included are:
* A Defense of Common Sense
* Certainty
* Sense-Data
* External and Internal Relations
* Hume's Theory Explained
* Is Existence a Predicate?
* Proof of an External World
In addition, this collection also contains the key early papers in which Moore signals his break with idealism, and three important previously unpublished papers from his later work which illustrate his relationship with Wittgenstein.

Contemporary analytic philosophy can generally be characterized by the following tendencies: commitment to first-order predicate logic as the only viable formal logic; rejection of correspondence theories of truth; a view of existence as something expressed by the existential quantifier; a metaphysics that doesn t give the world as a whole its due. This book seeks to offer an alternative analytic theory, one that provides a unified account of what there is, how we speak about it, the underlying logic of our language, how the truth of what we say is determined, and the central role of the real world in all of this. The result is a robust account of reality. The inspiration for many of the ideas that constitute this overall theory comes from such sources as Aristotle, Leibniz, Ryle, and Sommers."

"The book's major parts, one on polarity and the other on analogy, introduce the reader to the patterns of thinking that are fundamental not only to Greek philosophy but also to classical civilization as a whole. As a leading classicist in his own right, Lloyd is an impeccable guide. His sophistication in adducing anthropological parallels to Greek models of polarity and analogy broadens his perspective, making him a forerunner in the study of what we are now used to calling semiotics. A striking example of Lloyd's approach is his re-examination of the dichotomy of Olympian and chthonian gods in ancient Greek world view, which surpasses the reductionist and pseudo-historical models of sky-gods and earth-goddesses that are still commonly invoked to account for polarities in Greek pantheon. "In the second part, dealing with analogy, three crucial metaphorical models for the universe turn out to be basis for a dazzlingly wide variety of scientific and philosophical perspectives. Each model is tested in the whole spectrum of Greek artistic, philosophical and scientific thought. This work is a treasure-house of insights for experts and non experts alike." --Gregory Nagy, Harvard University

This volume gives a theoretical account of the problem of analyzing and evaluating argumentative discourse. After placing argumentation in a communicative perspective, and then discussing the fallacies that occur when certain rules of communication are violated, the authors offer an alternative to both the linguistically-inspired descriptive and logically-inspired normative approaches to argumentation.
The authors characterize argumentation as a complex speech act in a critical discussion aimed at resolving a difference of opinion. The various stages of a critical discussion are outlined, and the communicative and interactional aspects of the speech acts performed in resolving a simple or complex dispute are discussed. After dealing with crucial aspects of analysis and linking the evaluation of argumentative discourse to the analysis, the authors identify the fallacies that can occur at various stages of discussion. Their general aim is to elucidate their own pragma- dialectical perspective on the analysis and evaluation of argumentative discourse, bringing together pragmatic insight concerning speech acts and dialectical insight concerning critical discussion.

The mathematical proof is the most important form of justification in mathematics. It is not, however, the only kind of justification for mathematical propositions. The existence of other forms, some of very significant strength, places a question mark over the prominence given to proof within mathematics. This collection of essays, by leading figures working within the philosophy of mathematics, is a response to the challenge of understanding the nature and role of the proof.

John Stuart Mill considered his A System of Logic, first published in 1843, the methodological foundation and intellectual groundwork of his later works in ethical, social, and political theory. Yet no book has attempted in the past to engage with the most important aspects of Mill's Logic. This volume brings together leading scholars to elucidate the key themes of this influential work, looking at such topics as his philosophy of language and mathematics, his view on logic, induction and deduction, free will, argumentation, ethology and psychology, as well as his account of normativity, kinds of pleasure, philosophical and political method and the "Art of Life."

The introduction of Greek philosophy into the Muslim world left an indelible mark on Islamic intellectual history. Philosophical discourse became a constant element in even traditionalist Islamic sciences. However, Aristotelian metaphysics gave rise to doctrines about God and the universe that were found highly objectionable by a number of Muslim theologians, among whom the fourteenth-century scholar Ibn Taymiyya stood foremost.

Ibn Taymiyya, one of the greatest and most prolific thinkers in medieval Islam, held Greek logic responsible for the `heretical' metaphysical conclusions reached by Islamic philosophers, theologians, mystics, and others. He therefore set out to refute philosophical logic, a task which culminated in one of the most devastating attacks ever levelled against the logical system upheld by the early Greeks, the later commentators, and their Muslim followers. His argument is grounded in an empirical approach that in many respects prefigures the philosophies of the British empiricists.

Professor Hallaq's translation, with a substantial introduction and extensive notes, makes this important work available to a wider audience for the first time.

Philosophy means 'love of wisdom,' but author Edmond Holmes fears the encroaching dominance of intellect over feeling. In this title, Holmes argues that metaphysics' reliance on intellect and pure reason undermines the study of philosophy. Rather, Holmes suggests a return to intuitional philosophy, combining thought and feeling. First published in 1930, this title will be ideal for students interested in Philosophy and Western Civilisation.

This work investigates problems about mind, meaning and mathematics rooted in preconceptions of language. It deals in particular with problems which are connected with our tendency to be misled by certain prevailing views and preconceptions about language. Philosophical claims made by theorists of meaning are scrutinized and shown to be connected with common views about the nature of certain mathematical notions and methods. Drawing in particular on Wittgenstein's ideas, the author demonstrates a strategy for tracing out and resolving conceptual and philosophical problems. By a critical examination of examples from different areas of philosophy, he shows that many problems arise through the transgression of the limits of the use of technical concepts and formal methods. Many 'prima facie' different kinds of problems are shown to have common roots, and should thus be dealt with and resolved together. Such an approach is usually prevented by the influence of traditional philosophical terminology and classification. The results of this investigation make it clear that the received ways of subdividing the subject matter of philosophy often conceal the roots of the problem.

Originally published in 1938. This compact treatise is a complete treatment of Aristotle's logic as containing negative terms. It begins with defining Aristotelian logic as a subject-predicate logic confining itself to the four forms of categorical proposition known as the A, E, I and O forms. It assigns conventional meanings to these categorical forms such that subalternation holds. It continues to discuss the development of the logic since the time of its founder and address traditional logic as it existed in the twentieth century. The primary consideration of the book is the inclusion of negative terms - obversion, contraposition etc. - within traditional logic by addressing three questions, of systematization, the rules, and the interpretation.

In Fallacies and Judgments of Reasonableness, Frans H. van Eemeren, Bart Garssen and Bert Meuffels report on their systematic empirical research of the conventional validity of the pragma-dialectical discussion rules. The experimental studies they carried out during more than ten years start from the pragma-dialectical theory of argumentation developed at the University of Amsterdam, their home university. In these studies they test methodically the intersubjective acceptability of the rules for critical discussion proposed in this theory by confronting ordinary arguers who have not received any special education in argumentation and fallacies with discussion fragments containing both fallacious and non-fallacious argumentative moves. The research covers a wide range of informal fallacies. In this way, the authors create a basis for comparing the theoretical reasonableness conception of pragma-dialectics with the norms for judging argumentative moves prevailing in argumentative practice. Fallacies and Judgments of Reasonableness provides a unique insight into the relationship between theoretical and practical conceptions of reasonableness, supported by extensive empirical material gained by means of sophisticated experimental research.

This book is intended as a first introduction to the subject. It deals with questions of truth and meaning, questions which provide a basis for much of what is discussed in philosophy in general. This book should be of interest to students of philosophy.

Perhaps everyone who can think has the concept of possibility, but no one understands it. The metaphysical theory of Determinism is a symptom of this lack of understanding, and the inconclusiveness of its opponents' arguments indicates that the lack is universal. In this book, first published in 1968, the author shows that there are a number of different kinds on non-logical possibility, subtly interrelated, each requiring separate explanation. An original contribution to the subject, it is essential reading for all students of philosophy.

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects , J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning , and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2 .

First published in 1986. Routledge is an imprint of Taylor & Francis, an informa company.

This second volume in the series Logic, Epistemology, and the Unity of Science brings a pragmatic perspective to the discussion of the unity of science.

Contemporary philosophy and cognitive science increasingly acknowledge the systematic interrelation of language, thought and action. The principal function of language is to enable speakers to communicate their intentions to others, to respond flexibly in a social context and to act cooperatively in the world. This book will contribute to our understanding of this dynamic process by clearly presenting and discussing the most important hypotheses, issues and theories in philosophical and logical study of language, thought and action. Among the fundamental issues discussed are the rationality and freedom of agents, theoretical and practical reasoning, individual and collective attitudes and actions, the nature of cooperation and communication, the construction and conditions of adequacy of scientific theories, propositional contents and their truth conditions, illocutionary force, time, aspect and presupposition in meaning, speech acts within dialogue, the dialogical approach to logic and the structure of dialogues and other language games, as well as formal methods needed in logic or artificial intelligence to account for choice, paradoxes, uncertainty and imprecision.

This volume contains major contributions by leading logicians, analytic philosophers, linguists and computer scientists. It will be of interest to graduate students and researchers from philosophy, logic, linguistics, cognitive science and artificial intelligence. There is no comparable survey in the existing literature.

Soren Kierkegaard and Friedrich Nietzsche remain two of the most interesting and compelling thinkers for contemporary readers. Rejecting the dry, dispassionate tone of most academic philosophy, these thinkers offer witty, penetrating critiques of many modern values as well as passionately moving portraits of alternative ideals. This work reveals that what Kierkegaard and Nietzsche most fundamentally share, and what can be their greatest contribution to contemporary ethics, is a method of illustrating and evaluating different ways of life considered as a whole. In asking what way of life is best, Kierkegaard and Nietzsche revive an ancient approach to ethics largely neglected throughout the modern era. This work offers a detailed elucidation of this method and of their respective ideals, Kierkegaard's life of faith and Nietzsche's life of individual sovereignty. These ideals are explored within each thinker's typology of different ways of life and then compared and contrasted with each other.

First published in 1943, and revised for this 1952 edition, this book was intended for use by students of philosophy and as such traditional and modern developments in logic have been combined in a unified treatment. The author envisaged this volume as filling a gap for a simple, introductory text on formal logic, written from a modern point of view, unencumbered by traditional doctrine. This title provides a thorough introduction and grounding in the philosophy of logic, and was later revised after the author's death to correct a number of logical errors - making this edition the most complete version of the work.

In Wittgenstein on Logic as the Method of Philosophy, Oskari Kuusela examines Wittgenstein's early and late philosophies of logic, situating their philosophical significance in early and middle analytic philosophy with particular reference to Frege, Russell, Carnap, and Strawson. He argues that not only the early but also the later Wittgenstein sought to further develop the logical-philosophical approaches of his contemporaries. Throughout his career Wittgenstein's aim was to resolve problems with and address the limitations of Frege's and Russell's accounts of logic and their logical methodologies so as to achieve the philosophical progress that originally motivated the logical-philosophical approach. By re-examining the roots and development of analytic philosophy, Kuusela seeks to open up covered up paths for the further development of analytic philosophy. Offering a novel interpretation of the philosopher, he explains how Wittgenstein extends logical methodology beyond calculus-based logical methods and how his novel account of the status of logic enables one to do justice to the complexity and richness of language use and thought while retaining rigour and ideals of logic such as simplicity and exactness. In addition, this volume outlines the new kind of non-empiricist naturalism developed in Wittgenstein's later work and explaining how his account of logic can be used to dissolve the long-standing methodological dispute between the ideal and ordinary language schools of analytic philosophy. It is of interest to scholars, researchers, and advance students of philosophy interested in engaging with a number of scholarly debates.