The advent of experimental philosophy has recently expanded the domain of philosophical debates so as to include discussions about survey-based methodology and the validity of its employment in philosophical inquiry. One of the main criticisms of this approach questions the alleged response-intuition equation, by claiming that ‘pragmatic cues’ might prevent the subjects from reporting their genuine intuitions about the survey scenarios and questions. The pragmatic cues discussed by the literature include aspects of a quite different nature, ranging from thinking-styles to (...) semantic ambiguities. In order to distinguish between language-related pragmatic cues, and other features not strictly dependent on language, the distinction between the ‘response problem’ and the ‘interpretation problem’—potentially triggered by language-related pragmatic cues—is introduced. By employing an illustrated survey, this study aims at revealing the extent to which the use of ‘non-linguistic’ vignettes might constitute a valid aid to the traditional ‘linguistic’ vignette. A positive response would encourage the usage of illustrations and other non-linguistic or minimally-linguistic models in survey-based studies, which considerably restricts the liability of surveys for the interpretation problem. (shrink)

Coherent, well organized text familiarizes readers with complete theory of logical inference and its applications to math and the empirical sciences. Part I deals with formal principles of inference and definition; Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Last section introduces numerous examples of axiomatically formulated theories in both discussion and exercises. Ideal for undergraduates; no background in math or philosophy required.

I propose to consider the question, "Can machines think?" This should begin with definitions of the meaning of the terms "machine" and "think." The definitions might be framed so as to reflect so far as possible the normal use of the words, but this attitude is dangerous, If the meaning of the words "machine" and "think" are to be found by examining how they are commonly used it is difficult to escape the conclusion that the meaning and the answer to (...) the question, "Can machines think?" is to be sought in a statistical survey such as a Gallup poll. But this is absurd. Instead of attempting such a definition I shall replace the question by another, which is closely related to it and is expressed in relatively unambiguous words. The new form of the problem can be described in terms of a game which we call the 'imitation game." It is played with three people, a man (A), a woman (B), and an interrogator (C) who may be of either sex. The interrogator stays in a room apart front the other two. The object of the game for the interrogator is to determine which of the other two is the man and which is the woman. He knows them by labels X and Y, and at the end of the game he says either "X is A and Y is B" or "X is B and Y is A." The interrogator is allowed to put questions to A and B. We now ask the question, "What will happen when a machine takes the part of A in this game?" Will the interrogator decide wrongly as often when the game is played like this as he does when the game is played between a man and a woman? These questions replace our original, "Can machines think?". (shrink)

Logic and truth -- Inferences : assessment, recognition, and reconstruction -- Categorical statements and inferences -- Truth-functional statements -- Truth tables and proofs -- Natural deduction -- The logic of quantifiers -- Logic and language -- Applied inductive analysis.

Featuring an exceptionally clear writing style and a wealth of real-world examples and exercises, Logic, Second Edition, shows how logic relates to everyday life, demonstrating its applications in such areas as the workplace, media and entertainment, politics, science and technology, student life, and elsewhere.Thoroughly revised and expanded in this second edition, the text now features 2600 exercises, more than 1000 of them new; three new chapters on legal arguments, moral arguments, and analyzing a long essay; enhanced pedagogy; and much more.FEATURES* (...) 2600 exercises--more than 1000 of them new--breathe new life into logic* Real-world examples help bring logic down to earth for students* A unique, extended explanation or model of the answer to the first question of each "Check Your Understanding" section shows students what is expected of their answers* An additional 25% of the exercises are answered at the back of the book* "Profiles in Logic" provide short sketches of logicians, philosophers, mathematicians, and others associated with logic* "Logic Challenge" problems present puzzles and paradoxes that end each chapter on a fun note* Additional pedagogical elements--marginal definitions, key terms, a glossary, reference boxes, and bulleted chapter summaries--make the material even more accessible* Detailed guides help students learn to create "truth tables" and Venn diagramsSUPPORT PACKAGEAn Instructor's Manual with Computerized Test Bank on CD includes: Solutions to all exercises in the book, enhanced by explanations and answers that elucidate the details of the correct answersKey Terms and a summary for each chapterA customizable Computerized Test Bank--with multiple-choice, true/false, and fill-in-the-blank questions--that allows instructors to give exams or homework problems that can be auto-gradedA traditional "pencil-and-paper" Test Bank and answer key containing the same questions as the Computerized Test BankPowerPoint-based lecture outlinesThe Instructor's Manual with Computerized Test Bank and the traditional Test Bank are also available in printed format.A Companion Website offers:Instructor Resources :A downloadable version of the Instructor's Manual PowerPoint-based lecture outlinesStudent Resources:Brief chapter summariesInteractive Flash Cards with key terms and definitionsWeb links and other media resourcesPractice quizzes with answers and explanations The Learning Management System Cartridges include, in a fully downloadable format:Instructor's Manual and Computerized Test Bank Student material from the companion websiteThe Perfect Text for Your Course... No Matter How You Teach ItYour course is unique; you have your own teaching philosophy and style. Whether you teach traditional Introduction to Logic, Critical Thinking/Informal Logic, or Formal Logic, Baronett: Logic, Second Edition, can be tailored to fulfill your course needs.We'll make it easy for you; choose one of our Alternate Editions or build the book you want, chapter by chapter.Option 1. Author Stan Baronett has suggested four Alternate Editions that may work for you. Each Alternate Edition comes in full color, with answers to problems, a full glossary, and an index. The books are in stock and available for ordering. Please see the ISBN information below.Logic: Concise EditionChapters 1, 3, 4, 5, 6, 7, 8Order using ISBN: 978-0-19-994129-2Logic: An Emphasis on Critical Thinking and Informal LogicChapters 1, 2, 3, 4, 10, 11, 12, 13 A-E, 14, 15Order using ISBN: 978-0-19-994128-5Logic: An Emphasis on Formal LogicChapters 1, 5, 6, 7, 8, 9Order using ISBN: 978-0-19-994126-1Logic: With Diagramming used in Chapter 4. Informal FallaciesFull textOrder using ISBN: 978-0-19-997081-0Option 2. Create your own customized textbook by choosing the specific chapters that you need for your course. Please contact your Oxford University Press Sales Representative or call 800.280.0280 for details. (shrink)

Rigorous yet engaging and accessible, Introduction to Formal Logic with Philosophical Applications is composed of two parts. The first part provides a focused, "nuts-and-bolts" introduction to formal deductive logic that covers syntax, semantics, translation, and natural deduction forpropositional and predicate logics. The second part presents student-friendly essays on logic and its applications in philosophy and beyond, with writing prompts and suggestions for further reading.

Starting with D. Scott's work on the mathematical foundations of programming language semantics, interest in topology has grown up in theoretical computer science, under the slogan `open sets are semidecidable properties'. But whereas on effectively given Scott domains all such properties are also open, this is no longer true in general. In this paper a characterization of effectively given topological spaces is presented that says which semidecidable sets are open. This result has important consequences. Not only follows the classical Rice-Shapiro (...) Theorem and its generalization to effectively given Scott domains, but also a recursion theoretic characterization of the canonical topology of effectively given metric spaces. Moreover, it implies some well known theorems on the effective continuity of effective operators such as P. Young and the author's general result which in its turn entails the theorems by Myhill-Shepherdson, Kreisel-Lacombe-Shoenfield and Ceĭtin-Moschovakis, and a result by Eršov and Berger which says that the hereditarily effective operations coincide with the hereditarily effective total continuous functionals on the natural numbers. (shrink)

Knowledge requires both freedom and friction . Freedom to set up our epistemic goals, choose the subject matter of our investigations, espouse cognitive norms, design research programs, etc., and friction (constraint) coming from two directions: the object or target of our investigation, i.e., the world in a broad sense, and our mind as the sum total of constraints involving the knower. My goal is to investigate the problem of epistemic friction, the relation between epistemic friction and freedom, the viability of (...) foundationalism as a solution to the problem of friction, an alternative solution in the form of a neo-Quinean model, and the possibility of solving the problem of friction as it applies to logic and the philosophy of logic within that model. (shrink)

Take a correct sequent of formal logic, perhaps a simple logical truth, like the law of excluded middle, or something with premises, like disjunctive syllogism, but basically a claim of the form \.Γ can be empty. If you don’t like my examples, feel free to choose your own, everything I have to say should apply to those as well. Such a sequent attributes the properties of logical truth or logical consequence to a schematic sentence or argument. This paper aims to (...) answer the question of how beliefs in such attributions are justified, on both its descriptive and normative interpretations; I aim to say when we generally take ourselves to be justified in forming such beliefs, and to make it plausible that beliefs formed this way really are justified.We can ask such questions about many domains but there are special difficulties for answering them in logic. Some of the difficulties stem from the fact that logic is thought t.. (shrink)

In this paper I argue that in contrast to natural languages, logical languages typically are not compositional. This does not mean that the meaning of expressions cannot be determined at all using some well-defined set of rules. It only means that the meaning of an expression cannot be determined without looking at its form. If one is serious about the compositionality of a logic, the only possibility I see is to define it via abstraction from a variable free language.

Kauppinen argues that experimental philosophy cannot help us to address questions about the semantics of our concepts and that it therefore has little to contribute to the discipline of philosophy. This argument raises fascinating questions in the philosophy of language, but it is simply a red herring in the present context. Most researchers in experimental philosophy were not trying to resolve semantic questions in the first place. Their aim was rather to address a more traditional sort of question, the sort (...) of question that was regarded as absolutely central in the period before the rise of analytic philosophy. (shrink)

In disputes about conceptual analysis, each side typically appeals to pre-theoretical 'intuitions' about particular cases. Recently, many naturalistically oriented philosophers have suggested that these appeals should be understood as empirical hypotheses about what people would say when presented with descriptions of situations, and have consequently conducted surveys on non-specialists. I argue that this philosophical research programme, a key branch of what is known as 'experimental philosophy', rests on mistaken assumptions about the relation between people's concepts and their linguistic behaviour. The (...) conceptual claims that philosophers make imply predictions about the folk's responses only under certain demanding, counterfactual conditions. Because of the nature of these conditions, the claims cannot be tested with methods of positivist social science. We are, however, entitled to appeal to intuitions about folk concepts in virtue of possessing implicit normative knowledge acquired through reflective participation in everyday linguistic practices. (shrink)

This article contains an overview of the main problems, themes and theories relating to the semantic paradoxes in the twentieth century. From this historical overview I tentatively draw some lessons about the way in which the field may evolve in the next decade.

While logical principles seem timeless, placeless, and eternal, their discovery is a story of personal accidents, political tragedies, and broad social change. If A, Then B begins with logic's emergence twenty-three centuries ago and tracks its expansion as a discipline ever since. -/- The book treats logic as more than a tale of individual abstraction; it sees logic as also being a result of politics, economics, technology, and geography, because all these factors helped to generate an audience for the discipline (...) from the start. The book thus relates developments in logical theory to the social history of different historical periods. -/- The book defends a number of controversial philosophical theses: (1) that rationally persuasive arguments must always proceed from premises that are initially more convincing than the conclusions to be proved (a position derived from Aristotle), (2) that intuitive logical judgments, though sometimes mistaken, can also count as certain knowledge, independent of the techniques used to construct formal logical systems, (3) that Wittgenstein was mistaken in thinking that philosophy was riddled with unintelligible language and that the real problems, instead, have been ambiguity and pretentious diction, and (4) that Nelson Goodman's argument to the effect that deductive logic can be "virtuously circular" is founded on a non sequitur. -/- . (shrink)

The standard view of philosophical methodology is that philosophers rely on intuitions as evidence. Herman Cappelen argues that this claim is false: it is not true that philosophers rely extensively on intuitions as evidence. At worst, analytic philosophers are guilty of engaging in somewhat irresponsible use of 'intuition'-vocabulary. While this irresponsibility has had little effect on first order philosophy, it has fundamentally misled meta-philosophers: it has encouraged meta-philosophical pseudo-problems and misleading pictures of what philosophy is.

Starting with D. Scott's work on the mathematical foundations of programming language semantics, interest in topology has grown up in theoretical computer science, under the slogan `open sets are semidecidable properties'. But whereas on effectively given Scott domains all such properties are also open, this is no longer true in general. In this paper a characterization of effectively given topological spaces is presented that says which semidecidable sets are open. This result has important consequences. Not only follows the classical Rice-Shapiro (...) Theorem and its generalization to effectively given Scott domains, but also a recursion theoretic characterization of the canonical topology of effectively given metric spaces. Moreover, it implies some well known theorems on the effective continuity of effective operators such as P. Young and the author's general result which in its turn entails the theorems by Myhill-Shepherdson, Kreisel-Lacombe-Shoenfield and Ceitin-Moschovakis, and a result by Ersov and Berger which says that the hereditarily effective operations coincide with the hereditarily effective total continuous functionals on the natural numbers. (shrink)

The square of opposition (as part of a lattice) is used as a natural way to represent different and opposite ways of who makes decisions, and in what way, in/for a group or a society. Majority logic is characterized by multiple logical squares (one for each possible majority), with the “discursive dilemma” as a consequence. Three-valued logics of majority decisions with discursive dilemma undecided, of veto, consensus, and sequential voting are analyzed from the semantic point of view. For instance, the (...) paraconsistent and paracomplete logics M3, M3veto and C3 are described. The distinction of designated and non-designated values is not used, and instead, the consequence relation is defined as a preservation of the minimum truth-value of the implying set of sentences. The consequence and opposition relations of the logics described are compared, and an ordering of the logics with respect to their opposition relations is established. (shrink)