In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which satisfies, does not satisfy and can satisfy or not the predicate, respectively. The syntactical counterpart of the logic of partial truth is a rather complicated first-order modal logic. In the present article, the notion of predicates as triples is recursively extended, in a natural way, to (...) any complex formula of the first-order object language. From this, a new definition of quasi-truth is obtained. The proof-theoretic counterpart of the new semantics is a first-order paraconsistent logic whose propositional base is a 3-valued logic belonging to hierarchy of paraconsistent logics known as Logics of Formal Inconsistency, which was proposed by Carnielli and Marcos in 2002. (shrink)

This book develops an explanation for the roles of observation and theory in scientific endeavor that occupies the middle ground between empiricism and rationalism, and captures the strengths of both approaches. Brown argues that philosophical theories have the same epistemological status as scientific theories and constructs an epistemological theory that provides an account of the role that theory and instruments play in scientific observation. His theory of perception yields a new analysis of objectivity that combines the traditional view of observation (...) as the foundation of scientific objectivity with the contemporary recognition that observation is theory-dependent. (shrink)

This book develops a view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and communication, that can handle both update of knowledge and revision of beliefs. It then extends the dynamic style of analysis to include changing preferences and goals, temporal processes, group action and strategic interaction in games. Throughout, the book (...) develops a mathematical theory unifying all these systems, and positioning them at the interface of logic, philosophy, computer science and game theory. A series of further chapters explores repercussions of the 'dynamic stance' for these areas, as well as cognitive science. (shrink)

Editorial preface to the fourth edition and modified translation -- The text of the Philosophische Untersuchungen -- Philosophische untersuchungen = Philosophical investigations -- Philosophie der psychologie, ein fragment = Philosophy of psychology, a fragment.

The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in ...

This scarce antiquarian book is a facsimile reprint of the original. Due to its age, it may contain imperfections such as marks, notations, marginalia and flawed pages. Because we believe this work is culturally important, we have made it available as part of our commitment for protecting, preserving, and promoting the world's literature in affordable, high quality, modern editions that are true to the original work.

This book defends a form of ethical intuitionism, according to which (i) there are objective moral truths; (ii) we know some of these truths through a kind of immediate, intellectual awareness, or "intuition"; and (iii) our knowledge of moral truths gives us reasons for action independent of our desires. The author rebuts all the major objections to this theory and shows that the alternative theories about the nature of ethics all face grave difficulties.

David Hume's Enquiry concerning Human Understanding is the definitive statement of the greatest philosopher in the English language. His arguments in support of reasoning from experience, and against the "sophistry and illusion"of religiously inspired philosophical fantasies, caused controversy in the eighteenth century and are strikingly relevant today, when faith and science continue to clash. The Enquiry considers the origin and processes of human thought, reaching the stark conclusion that we can have no ultimate understanding of the physical world, or indeed (...) our own minds. In either sphere we must depend on instinctive learning from experience, recognizing our animal nature and the limits of reason. Hume's calm and open-minded skepticism thus aims to provide a new basis for science, liberating us from the "superstition" of false metaphysics and religion. His Enquiry remains one of the best introductions to the study of philosophy, and his edition places it in its historical and philosophical context. (shrink)

The Novum Organum, (or Novum Organum Scientiarum - "New Instrument of Science"), is a philosophical work by Francis Bacon, originally published in 1620. The title is a reference to Aristotle's work Organon, which was his treatise on logic and syllogism. In Novum Organum, Bacon details a new system of logic he believes to be superior to the old ways of syllogism. This is now known as the Baconian method.

The Novum Organum, (or Novum Organum Scientiarum - "New Instrument of Science"), is a philosophical work by Francis Bacon, originally published in 1620. The title is a reference to Aristotle's work Organon, which was his treatise on logic and syllogism. In Novum Organum, Bacon details a new system of logic he believes to be superior to the old ways of syllogism. This is now known as the Baconian method.

Hare has written a clear, brief, and readable introduction to ethics which looks at all the fundamental problems of the subject.

Part I The Imperative Mood 'Virtue, then, is a disposition governing our choices '. ARISTOTLE, Eth. Nic. 36 Prescriptive Language. ...

The nature and aim of science, by E. Nagel.--Truth and provability, by L. Henkin.--Completeness, by L. Henkin.--Computability, by S. C. Kleene.--Necessary truth, by W. V. Quine.--What is a scientific theory? By P. Suppes.--Science and simplicity, by N. Goodman.--Scientific explanation, by C. G. Hempel.--Observation and interpretation, by N. R. Hanson.--Probability and confirmation, by H. Putnam.--Utility and acceptance of hypotheses, by I. Levi.--Space and time, by A. Grünbaum.--Problems of microphysics, by P. Feyerabend.--Aspects of explanation in biological theory, by M. Beckner.--Psychologism and methodological (...) individualism, by S. Morgenbesser.--Science, fact, and value, by M. Scriven.--The justification of induction, by M. Black. (shrink)

Objectivity Under Attack: a fundamental feature of science is its ideal of objectivity, an ideal that subjects ...

Moral Realism is a systematic defence of the idea that there are objective moral standards. Russ Shafer-Landau argues that there are moral principles that are true independently of what anyone, anywhere, happens to think of them. His central thesis, as well as the many novel supporting arguments used to defend it, will spark much controversy among those concerned with the foundations of ethics.

In this paper, I argue that anti-reductionist moral realism still has trouble explaining supervenience. My main target here will be Russ Shafer-Landau's attempt to explain the supervenience of the moral on the natural in terms of the constitution of moral property instantiations by natural property instantiations. First, though, I discuss a recent challenge to the very idea of using supervenience as a dialectical weapon posed by Nicholas Sturgeon. With a suitably formulated supervenience thesis in hand, I try to show how (...) Shafer-Landau's proffered strategy to explain supervenience not only fails to explain supervenience, but that it also has a number of implausible consequences. The more general lesson is that strategies which may work well for explaining supervenience in the philosophy of mind and other areas cannot be assumed to carry over successfully to the metaethical context. We should therefore treat so-called `companions in guilt' arguments in this area of philosophy with considerable skepticism. Key Words: expressivism • moral realism • non-naturalism • reductionism • supervenience • trope. (shrink)

Provability, Computability and Reflection.

John Mackie's stimulating book is a complete and clear treatise on moral theory. His writings on normative ethics-the moral principles he recommends-offer a fresh approach on a much neglected subject, and the work as a whole is undoubtedly a major contribution to modern philosophy.The author deals first with the status of ethics, arguing that there are not objective values, that morality cannot be discovered but must be made. He examines next the content of ethics, seeing morality as a functional device, (...) basically the same at all times but changing significantly in response to changes in the human condition. He sketches a practical moral system, criticizing but also borrowing from both utilitarian and absolutist views. Thirdly, the frontiers of ethics, areas of contact with psychology, metaphysics, theology, law and politcs, are explored.Throughout, his aim is to discuss a wide range of questions that are both philosophical and practical, working within a distinctive version of subjectivism-an "error" theory of the apparent objectivity of values. John Mackie has drawn on the contributions of such classic thinkers as Plato, Aristotle, Hobbes, Hume, Kant and Sidgwick, and on more recent discussions, to produce a thought-provoking account that will inspire both the general reader and the student of philosophy. (shrink)

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. (shrink)