This book seeks to arrive at a better understanding of the relationships between the objective and subjective aspects of time. It discusses the existence of fluent time, a controversial concept in many areas, from philosophy to physics. Fluent time is understood as directional time with a past, a present and a future. We experience fluent time in our lives and we adopt a temporal perspective in our ways of knowing and acting. Nevertheless, the existence of fluent time has been debated for both philosophical and scientific reasons, thus creating a rift between the subjective and objective aspects of time. Starting from the basic notion of points of view, or perspectives, this book explores the relationships between objective or external time, as it has been conceptualized by science, and subjective or internal time, which is involved in our lived experiences. It establishes a general framework encompassing the nature, structure and mode of existence of points of view, in which the objective and subjective aspects of time can be integrated. The book mainly addresses researchers and postgraduates in philosophy and logic. Additionally, it offers inspiration for physicists and computer scientists involved in the modeling and simulation of complex behaviors for which the representation of internal time should be considered together with the notion of objective, external time.

A classic of how to think clearly and critically and ahead of its time in anticipating the threats to democracy by poor argument and shoddy reasoning Engaging, clear and witty, it is a brilliant example of how philosophy can connect with the concerns with everyone and requires no knowledge of the subject Susan Stebbing was the first woman in the UK to be appointed a professor of philosophy, in 1933 A new foreword by Nigel Warburton and introduction by Peter West help to set Stebbing book in helpful context

This introduction to modality places the emphasis on the metaphysics of modality rather than on the formal semetics of quantified modal logic. The text begins by introducing students to the "de re/de dicto" distinction, conventionalist and conceptualist theories of modality and some of the key problems in modality, particularly Quine's criticisms. It then moves on to explain how possible worlds provide a solution to many of the problems in modality and how possible worlds themselves have been used to analyse notions outside modality such as properties and propositions. Possible worlds introduce problems of their own and the book argues that to make progress with these problems a theory of possible worlds is required. The pros and cons of various theories of possible worlds are then examined in turn, including those of Lewis, Kripke, Adams, Stalnaker and Plantinga.

This introduction to modality places the emphasis on the metaphysics of modality rather than on the formal semetics of quantified modal logic. The text begins by introducing students to the "de re/de dicto" distinction, conventionalist and conceptualist theories of modality and some of the key problems in modality, particularly Quine's criticisms. It then moves on to explain how possible worlds provide a solution to many of the problems in modality and how possible worlds themselves have been used to analyse notions outside modality such as properties and propositions. Possible worlds introduce problems of their own and the book argues that to make progress with these problems a theory of possible worlds is required. The pros and cons of various theories of possible worlds are then examined in turn, including those of Lewis, Kripke, Adams, Stalnaker and Plantinga.

Paradoxes are more than just intellectual puzzles - they raise substantive philosophical issues and offer the promise of increased philosophical knowledge. In this introduction to paradox and paradoxes, Doris Olin shows how seductive paradoxes can be, why they confuse and confound, and why they continue to fascinate. Olin examines the nature of paradox, outlining a rigorous definition and providing a clear and incisive statement of what does and does not count as a resolution of a paradox. The view that a statement can be both true and false, that contradictions can be true, is seen to provide a challenge to the account of paradox resolution, and is explored. With this framework in place, the book then turns to an in-depth treatment of the Prediction Paradox, versions of the Preface/Fallibility Paradox, the Lottery Paradox, Newcomb's Problem, the Prisoner's Dilemma and the Sorites Paradox. Each of these paradoxes is shown to have considerable philosophical punch. Olin unpacks the central arguments in a clear and systematic fashion, offers original analyses and solutions, and exposes further unsettling implications for some of our most deep-seated principles and convictions.

Paradoxes are more than just intellectual puzzles - they raise substantive philosophical issues and offer the promise of increased philosophical knowledge. In this introduction to paradox and paradoxes, Doris Olin shows how seductive paradoxes can be, why they confuse and confound, and why they continue to fascinate. Olin examines the nature of paradox, outlining a rigorous definition and providing a clear and incisive statement of what does and does not count as a resolution of a paradox. The view that a statement can be both true and false, that contradictions can be true, is seen to provide a challenge to the account of paradox resolution, and is explored. With this framework in place, the book then turns to an in-depth treatment of the Prediction Paradox, versions of the Preface/Fallibility Paradox, the Lottery Paradox, Newcomb's Problem, the Prisoner's Dilemma and the Sorites Paradox. Each of these paradoxes is shown to have considerable philosophical punch. Olin unpacks the central arguments in a clear and systematic fashion, offers original analyses and solutions, and exposes further unsettling implications for some of our most deep-seated principles and convictions.

This book is a study in the logic of questions (sometimes called erotetic logic). The central topics in erotetic logic have been the structure of questions and the question-answer relationship. This book doesn't neglect these problems, but much of it is focussed on other issues. The main subject is the logical analysis of certain relations between questions and the contexts of their appearance. And our aim is to elaborate the conceptual apparatus of the inferential approach to the logic of questions. Questions are asked for many reasons and for different purposes. Yet, before a question is asked or posed, a questioner must arrive at it. In many cases arriving at a question resembles coming to a conclusion: there are some premises involved and some inferential thought processes take place. If we agree that a conclusion need not be "conclusive," we may say that sometimes questions can play the role of conclusions. But questions can also perform the role of premises: we often pass from some "initial" question to another question. In other words, there are inferential thought processes - we shall call them erotetic inferences - in which questions play the roles of conclusions or conclusions and premises. The inferential approach to the logic of questions focusses its attention on the analysis of erotetic inferences. This book consists of eight chapters.

This book deals with a previously neglected episode in the history of logic and theories of cognition: the way in which conceptions of inference changed during the 17th century. Gaukroger focuses on the work of Descartes, contrasting his explanation of inference as an instantaneous grasp in accord with the natural light of reason with the Aristotelian view of inference as a discursive process. He offers a new interpretation of Descartes' contribution to the question, revealing it to be a significant advance over humanist and late Scholastic conceptions, and argues that the Cartesian account played a pivotal role in the development of our understanding of the nature of inference.

"This collection of essays showcases recent work on Hume and the Is/Ought question. There are four distinct attempts to redefine and prove Hume's no-ought-from-is thesis in such a way as to evade the famous counterexamples of A.N. Prior. The rival approaches are explained and discussed together with their implications for meta-ethical theory" --Provided by publisher.

The fourteenth volume of the Second Edition covers central topics in philosophical logic that have been studied for thousands of years, since Aristotle: Inconsistency, Causality, Conditionals, and Quantifiers. These topics are central in many applications of logic in central disciplines and this book is indispensable to any advanced student or researcher using logic in these areas. The chapters are comprehensive and written by major figures in the field.

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

somewhat like Henkin's nonstandard interpretation of higher-order logics, while the right semantics [or logical modalities is an analogue to the standard of type theory in Henkin's sense. interpretation Another possibility would be to follow W.V. Quine's advice to give up logi- cal modalities as being beyond repair. Or we could also try to develop a logic of conceptual possibility, restricting the range of our "possible worlds" to those compatible with the transcendental presuppositions of our own conceptual sys- tem. This looks in fact like one of the most interesting possible theories I have dreamt of developing but undoubtedly never will. Its kinship with Kant's way of thinking should be obvious. Besides putting the entire enterprise of possible-worlds semantics into a perspective, we can also see that the actual history of possible-worlds seman- tics is more complicated than it might first appear to be. For the standard in- terpretation of modal logics has reared its beautiful head repeatedly in the writings of Stig Kanger, Richard Montague the pre-Montague-semantics theorist, and Nino Cocchiarella.

Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians, but also researchers and students of computer science, logic, linguistics, cognitive science, philosophy, and any of the other fields in which the ideas are being applied. Containing clear definitions of the essential concepts, illuminated with numerous accessible examples, and providing full proofs of all important propositions and theorems, this book aims to make the basic ideas, theorems, and methods of category theory understandable to this broad readership.
Although assuming few mathematical pre-requisites, the standard of mathematical rigour is not compromised. The material covered includes the standard core of categories; functors; natural transformations; equivalence; limits and colimits; functor categories; representables; Yoneda's lemma; adjoints; monads. An extra topic of cartesian closed categories and the lambda-calculus is also provided - a must for computer scientists, logicians and linguists
This Second Edition contains numerous revisions to the original text, including expanding the exposition, revising and elaborating the proofs, providing additional diagrams, correcting typographical errors and, finally, adding an entirely new section on monoidal categories. Nearly a hundred new exercises have also been added, many with solutions, to make the book more useful as a course text and for self-study.

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.

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.

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.

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.

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.

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.

'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.