Anti-realism is a doctrine about logic, language, and meaning with roots in the work of Wittgenstein and Frege. In this book, the author clarifies Dummett's case for anti-realism and develops his arguments further. He concludes by advocating a radical reform of our logical practices.

Contents:
Preface
Abbreviations
1. The need for a logical calculus for the theory of SINN and BEDEUTUNG
2. The logic of GRUNDGESETZE
3. SINNE and GEDANKEN
4. Church's logic of sense and denotation 5. A logical calculus of the theory of SINN and BEDEUTUNG
6. Comparison with Russell and other thinkers
7. Possible revisions to Frege's philosophy
Appendix: Summary of definitions, axioms and inference rules
Bibliography

Most researchers would be amazed to discover that opinions they have about cherished themes in biology and medicine are biased. Van der Steen and Ho contend that logic and methodology are not well applied in biology and medicine, arguing that the impact of social and moral factors on claims within these two disciplines is underestimated. In response to this situation, Van der Steen and Ho present tools from logic and ethics for assessing existing literature. These tools will help to create sound articles and materials in the life sciences.

After reviewing logic and methodological approaches, broad guidelines are used to place science in a social context. Examples from life sciences illustrate the implementation of logic, methodology, and guidelines in forty-five brief case studies. Each study includes comments on quoted and paraphrased passages from a single article or book. Cross-references facilitate the assimilation of lessons from the text. Students, researchers, and scholars in biology, biomedicine, philosophy, and ethics as applied to the life sciences will find this guide useful in improving their research and writing skills.

This complete collection of Francis Bacon's essays is superbly presented and meticulously faithful to the original publication. An intellectual possessed of a staggering breadth of knowledge and learning, Francis Bacon wrote many essays on a range of topics. Subjects such as married life, child rearing, the sins of envy and vainglory, and the virtues of friendship, love and good counsel are all thoughtfully expounded upon and detailed in these essays. Cautionary writings on the subjects of anger and revenge are also present; Bacon notably makes an impassioned plea for true justice, noting that the quality of mercy is a far higher virtue than the 'wild justice' born of angry revenge. Reflecting the early colonial times in which Francis Bacon lived, we also witness essays upon the subjects of travel, Empire, ambition and commerce. Well-traveled and curious about distant lands, it is also with experience that Bacon imbues color and depth to his essays.

Things are particulars and their qualities are universals, but do universals have an existence distinct from the particular things describable by those terms? And what must be their nature if they do? This book provides a careful and assured survey of the central issues of debate surrounding universals, in particular those issues that have been a crucial part of the emergence of contemporary analytic ontology. The book begins with a taxonomy of extreme nominalist, moderate nominalist, and realist positions on properties, and outlines the way each handles the phenomena of predication, resemblance, and abstract reference. The debate about properties and philosophical naturalism is also examined. Different forms of extreme nominalism, moderate nominalism, and minimalist realism are critiqued. Later chapters defend a traditional realist view of universals and examine the objections to realism from various infinite regresses, the difficulties in stating identity conditions for properties, and problems with realist accounts of knowledge of abstract objects. In addition, the debate between Platonists and Aristotelians is examined alongside a discussion of the relationship between properties and an adequate theory of existence. The book's final chapter explores the problem of individuating particulars. The book makes accessible a difficult topic without blunting the sophistication of argument required by a more advanced readership.

First published in 2000. This is Volume V of eight in the Library of Philosophy series on the Philosophy of Mind and Language. Written in 1957, this book enquires how we use language as an instrument of reason, and whether our present use of it is efficient. The use of language for communication is treated as subsidiary.

Arguing Well is a lucid introduction to the nature of good reasoning, how to test and construct successful arguments. It assumes no prior knowledge of logic or philosophy. The book includes an introduction to basic symbolic logic. Arguing Well introduces and explains: * The nature and importance of arguments * What to look for in deciding whether arguments succeed or fail * How to construct good arguments * How to make it more certain that we reason when we should The book is ideal for any student embarking on academic study where presenting arguments are what matters most; in fact, for all people who want to understand the nature and importance of good reasoning and awaken their ability to argue well.

eBook available with sample pages: 0203133005

This book presents an in-depth and critical reconstruction of Prawitz's epistemic grounding, and discusses it within the broader field of proof-theoretic semantics. The theory of grounds is also provided with a formal framework, through which several relevant results are proved. Investigating Prawitz's theory of grounds, this work answers one of the most fundamental questions in logic: why and how do some inferences have the epistemic power to compel us to accept their conclusion, if we have accepted their premises? Prawitz proposes an innovative description of inferential acts, as applications of constructive operations on grounds for the premises, yielding a ground for the conclusion. The book is divided into three parts. In the first, the author discusses the reasons that have led Prawitz to abandon his previous semantics of valid arguments and proofs. The second part presents Prawitz's grounding as found in his ground-theoretic papers. Finally, in the third part, a formal apparatus is developed, consisting of a class of languages whose terms are equipped with denotation functions associating them to operations and grounds, as well as of a class of systems where important properties of the terms can be proved.

'A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw Pawlak in 1982, and focuses mainly on its logic-algebraic interpretation. The theory is embedded in a broader perspective that includes logical and mathematical methodologies pertaining to the theory, as well as related epistemological issues. Any mathematical technique that is introduced in the book is preceded by logical and epistemological explanations. Intuitive justifications are also provided, insofar as possible, so that the general perspective is not lost.

Such an approach endows the present treatise with a unique character. Due to this uniqueness in the treatment of the subject, the book will be useful to researchers, graduate and pre-graduate students from various disciplines, such as computer science, mathematics and philosophy. It features an impressive number of examples supported by about 40 tables and 230 figures. The comprehensive index of concepts turns the book into a sort of encyclopaedia for researchers from a number of fields.

'A Geometry of Approximation' links many areas of academic pursuit without losing track of its focal point, Rough Sets.

Like the journal TOPOl, the TOPOl Library is based on the assumption that philosophy is a lively, provocative, delightful activity, which constantly challenges our inherited habits, painstakingly elaborates on how things could be different, in other stories, in counterfactual situations, in alternative possible worlds. Whatever its ideology, whether with the intent of uncovering a truer structure of reality or of shooting our anxiety, of exposing myths or of following them through, the outcome of philosophical activity is always the destabilizing, unsettling generation of doubts, of objections, of criticisms. It follows that this activity is intrinsically a dialogue, that philosophy is first and foremost philosophical discussion, that it requires bringing out conflicting points of view, paying careful, sympathetic attention to their structure, and using this dialectic to articulate one's approach, to make it richer, more thoughtful, more open to variation and play. And it follows that the spirit which one brings to this activity must be one of tolerance, of always suspecting one's own blindness and consequently looking with unbiased eye in every comer, without fearing to pass a (fallible) judgment on what is there but also without failing to show interest and respect.

A selection of papers presented at the international conference Applied Logic: Logic at Work', held in Amsterdam in December 1992. Nowadays, the term applied logic' has a very wide meaning, as numerous applications of logical methods in computer science, formal linguistics and other fields testify. Such applications are by no means restricted to the use of known logical techniques: at its best, applied logic involves a back-and-forth dialogue between logical theory and the problem domain. The papers focus on the application of logic to the study of natural language, in syntax, semantics and pragmatics, and the effect of these studies on the development of logic. In the last decade, the dynamic nature of natural language has been the most interesting challenge for logicians. Dynamic semantics is here applied to new topics, the dynamic approach is extended to syntax, and several methodological issues in dynamic semantics are systematically investigated. Other methodological issues in the formal studies of natural language are discussed, such as the need for types, modal operators and other logical operators in the formal framework. Further articles address the scope of these methodological issues from other perspectives ranging from cognition to computation. The volume presents papers that are interesting for graduate students and researchers in the field of logic, philosophy of language, formal semantics and pragmatics, and computational linguistics.

This three volume collection gathers together responses to Weber's sociology in the period 1920-1945. Bryan Turner provides an extensive analysis of the reception of Weber.

Bringing elementary logic out of the academic darkness into the light of day, Paul Tomassi makes logic fully accessible for anyone attempting to come to grips with the complexities of this challenging subject. Including student-friendly exercises, illustrations, summaries and a glossary of terms, Logic introduces and explains:

* The Theory of Validity
* The Language of Propositional Logic
* Proof-Theory for Propositional Logic
* Formal Semantics for Propositional Logic including the Truth-Tree Method
* The Language of Quantificational Logic including the Theory of Descriptions.

Logic is an ideal textbook for any logic student: perfect for revision, staying on top of coursework or for anyone wanting to learn about the subject. Related downloadable software for Macs and PCs is available for this title at www.logic.routledge.com.

Husserl's "Logical Investigations" is designed to help students and specialists work their way through Husserl's expansive text by bringing together in a single volume six self-contained, expository yet critical essays, each the work of an international expert on Husserl's thought and each devoted to a separate Logical Investigation.

Relevant to philosophy, law, management, and artificial intelligence, these papers explore the applicability of nonmonotonic or defeasible logic to normative reasoning. The resulting systems purport to solve well-known deontic paradoxes and to provide a better treatment than classical deontic logic does of prima facie obligation, conditional obligation, and priorities of normative principles.

It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as weIl as to consumers of logic in many applied areas. The main logic artiele in the Encyelopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics in logic'. We are confident that the second edition will prove to be just as good. ! The first edition was the second handbook published for the logic commu nity. It followed the North Holland one volume Handbook 0/ Mathematical Logic, published in 1977, edited by the late Jon Barwise. The four volume Handbook 0/ Philosophical Logic, published 1983-1989 came at a fortunate at the evolution of logic. This was the time when logic temporal junction was gaining ground in computer science and artificial intelligence cireles. These areas were under increasing commercial pressure to provide devices which help andjor replace the human in his daily activity. This pressure required the use of logic in the modelling of human activity and organisa tion on the one hand and to provide the theoretical basis for the computer program constructs on the other.

This book defines a logical system called the Protocol-theoretic Logic of Epistemic Norms (PLEN), it develops PLEN into a formal framework for representing and reasoning about epistemic norms, and it shows that PLEN is theoretically interesting and useful with regard to the aims of such a framework. In order to motivate the project, the author defends an account of epistemic norms called epistemic proceduralism. The core of this view is the idea that, in virtue of their indispensable, regulative role in cognitive life, epistemic norms are closely intertwined with procedural rules that restrict epistemic actions, procedures, and processes. The resulting organizing principle of the book is that epistemic norms are protocols for epistemic planning and control. The core of the book is developing PLEN, which is essentially a novel variant of propositional dynamic logic (PDL) distinguished by more or less elaborate revisions of PDL's syntax and semantics. The syntax encodes the procedural content of epistemic norms by means of the well-known protocol or program constructions of dynamic and epistemic logics. It then provides a novel language of operators on protocols, including a range of unique protocol equivalence relations, syntactic operations on protocols, and various procedural relations among protocols in addition to the standard dynamic (modal) operators of PDL. The semantics of the system then interprets protocol expressions and expressions embedding protocols over a class of directed multigraph-like structures rather than the standard labeled transition systems or modal frames. The intent of the system is to better represent epistemic dynamics, build a logic of protocols atop it, and then show that the resulting logic of protocols is useful as a logical framework for epistemic norms. The resulting theory of epistemic norms centers on notions of norm equivalence derived from theories of process equivalence familiar from the study of dynamic and modal logics. The canonical account of protocol equivalence in PLEN turns out to possess a number of interesting formal features, including satisfaction of important conditions on hyperintensional equivalence, a matter of recently recognized importance in the logic of norms, generally. To show that the system is interesting and useful as a framework for representing and reasoning about epistemic norms, the author applies the logical system to the analysis of epistemic deontic operators, and, partly on the basis of this, establishes representation theorems linking protocols to the action-guiding content of epistemic norms. The protocol-theoretic logic of epistemic norms is then shown to almost immediately validate the main principles of epistemic proceduralism.

Perspectives on Time deals with the problem of time from different perspectives such as logic, physics and philosophy. It contains 18 previously unpublished papers, written by philosophers from various European countries, as well as a large introduction about the history and the main situation in the respective fields today. The prominent issues which are addressed in this book concern the direction of time, the reality of tenses, the objectivity of becoming, the existence in time, and the logical structures of reasoning about time. The papers have been written based on different approaches, partly depending on whether the authors subscribe to an A-theory or a B-theory of time. Audience: Due to the broad variety of approaches the book contains important contributions both for philosophers, philosophers of science, logicians and for scientists working in the field of language and AI.

These two volumes contain all of my articles published between 1956 and 1975 which might be of interest to readers in the English-speaking world. The first three essays in Vol. 1 deal with historical themes. In each case I have attempted a rational reconstruction which, as far as possible, meets con temporary standards of exactness. In The Problem of Universals Then and Now some ideas of W.V. Quine and N. Goodman are used to create a modem sketch of the history of the debate on universals beginning with Plato and ending with Hao Wang's System: E. The second article concerns Kant's Philosophy of Science. By analyzing his position vis-a-vis I. Newton, Christian Wolff, and D. Hume, it is shown that for Kant the very notion of empirical knowledge was beset with a funda mental logical difficulty. In his metaphysics of experience Kant offered a solution differing from all prior as well as subsequent attempts aimed at the problem of establishing a scientific theory. The last of the three historical papers utilizes some concepts of modem logic to give a precise account of Wittgenstein's so-called Picture Theory of Meaning. E. Stenius' interpretation of this theory is taken as an intuitive starting point while an intensional variant of Tarski's concept of a relational system furnishes a technical instrument. The concepts of model world and of logical space, together with those of homomorphism and isomorphism be tween model worlds and between logical spaces, form the conceptual basis of the reconstruction."

Using both Father Kevin Wall's eidetic matrix of "the relational unity of being" and Edith Stein's remarkable synoptic view of intentionality in both Aquinas and Husserl, this book uncovers purely logical ground for a subalternate eidetic science called "convergent phenomenology," itself located at the inmost depths of Husserlian phenomenology. Convergent phenomenology emerges as a distinctively new discipline dealing with relation-like objectivity as opposed to the thing-like objectivity of traditional phenomenology. This has grand implications for the way we as humans conceive of God and being. The book thus benefits theologians, logicians, and phenomenologists by revealing the constitutive interrelationality of transcendental logic in an utterly new light as already flowering forth into formal ontology itself. What emerges is a rich conception of divinity and humanity.

The tableau methodology, invented in the 1950's by Beth and Hintikka and later perfected by Smullyan and Fitting, is today one of the most popular proof theoretical methodologies. Firstly because it is a very intuitive tool, and secondly because it appears to bring together the proof-theoretical and the semantical approaches to the presentation of a logical system. The increasing demand for improved tableau methods for various logics is mainly prompted by extensive applications of logic in computer science, artificial intelligence and logic programming, as well as its use as a means of conceptual analysis in mathematics, philosophy, linguistics and in the social sciences. In the last few years the renewed interest in the method of analytic tableaux has generated a plethora of new results, in classical as well as non-classical logics. On the one hand, recent advances in tableau-based theorem proving have drawn attention to tableaux as a powerful deduction method for classical first-order logic, in particular for non-clausal formulas accommodating equality. On the other hand, there is a growing need for a diversity of non-classical logics which can serve various applications, and for algorithmic presentations of these logicas in a unifying framework which can support (or suggest) a meaningful semantic interpretation. From this point of view, the methodology of analytic tableaux seems to be most suitable. Therefore, renewed research activity is being devoted to investigating tableau systems for intuitionistic, modal, temporal and many-valued logics, as well as for new families of logics, such as non-monotonic and substructural logics. The results require systematisation. This Handbook isthe first to provide such a systematisation of this expanding field. It contains several chapters on the use of tableaux methods in classical logic, but also contains extensive discussions on: the uses of the methodology in intuitionistic logics modal and temporal logics substructural logics, nonmonotonic and many-valued logics the implementation of semantic tableaux a bibliography on analytic tableaux theorem proving. The result is a solid reference work to be used by students and researchers in Computer Science, Artificial Intelligence, Mathematics, Philosophy, Cognitive Sciences, Legal Studies, Linguistics, Engineering and all the areas, whether theoretical or applied, in which the algorithmic aspects of logical deduction play a role.

An accessible guide for those facing the study of Logic for the first time, this book covers key thinkers, terms and texts. "The Key Terms in Philosophy" series offers clear, concise and accessible introductions to the central topics in philosophy. Each book offers a comprehensive overview of the key terms, concepts, thinkers and major works in the history of a key area of philosophy. Ideal for first-year students starting out in philosophy, the series will serve as the ideal companion to study of this fascinating subject. "Key Terms in Logic" offers the ideal introduction to this core area in the study of philosophy, providing detailed summaries of the important concepts in the study of logic and the application of logic to the rest of philosophy. A brief introduction provides context and background, while the following chapters offer detailed definitions of key terms and concepts, introductions to the work of key thinkers and lists of key texts. Designed specifically to meet the needs of students and assuming no prior knowledge of the subject, this is the ideal reference tool for those coming to Logic for the first time. "The Key Terms" series offers undergraduate students clear, concise and accessible introductions to core topics. Each book includes a comprehensive overview of the key terms, concepts, thinkers and texts in the area covered and ends with a guide to further resources.