John Etchemendy – författare
Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.
6 produkter
6 produkter
Häftad, Engelska, 2011
991 kr
Skickas inom 5-8 vardagar
This textbook/software package covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. The accompanying online grading service instantly grades solutions to hundreds of computer exercises. The second edition of "Language, Proof and Logic" represents a major expansion and revision of the original package and includes applications for mobile devices, additional exercises, a dedicated website, and increased software compatibility and support.
Häftad, Engelska, 1989
1 312 kr
Skickas inom 5-8 vardagar
This monograph purports to provide a solution to semantical paradoxes like the Liar. The authors base this solution on J. L. Austin's idea of truth, which is fundamental to situation semantics. They compare two models of language, propositions and truth, one based on Russell and the other on Austin, as they bear on the Liar Paradox. In Russell's view, a sentence expresses a proposition, which is true or not. According to Austin, however, there is always a contextual parameter - the situation the sentence is about - that comes between the sentence and proposition. The Austinian perspective proves to have fruitful applications to the analysis of semantic paradox. The authors show that, on this account, the liar is a genuine diagonal argument. This argument can be shown to have profound consequences for our understanding of some of the most basic semantical mechanisms at work in our language. Jon Barwise is, with John Perry, a co-founder of the Centre for the Study of Language and Information at Stanford.
E-bok
PDF, Engelska, 1987766 kr
Läs direkt efter köp
Bringing together powerful new tools from set theory and the philosophy of language, this book proposes a solution to one of the few unresolved paradoxes from antiquity, the Paradox of the Liar. Treating truth as a property of propositions, not sentences, the authors model two distinct conceptions of propositions: one based on the standard notion used by Bertrand Russell, among others, and the other based on J.L. Austin''s work on truth. Comparing these two accounts, the authors show that while the Russellian conception of the relation between sentences, propositions, and truth is crucially flawed in limiting cases, the Austinian perspective has fruitful applications to the analysis of semantic paradox. In the course of their study of a language admitting circular reference and containing its own truth predicate, Barwise and Etchemendy also develop a wide range of model-theoretic techniques--based on a new set-theoretic tool, Peter Aczel''s theory of hypersets--that open up new avenues in logical and formal semantics.
Häftad, Engelska
212 kr
Skickas inom 5-8 vardagar
Häftad, Engelska, 2007
335 kr
Skickas inom 5-8 vardagar
"Tarski's World" is an innovative and exciting method of introducing students to the language of first-order logic. Using the courseware package, students quickly master the meanings of connectives and qualifiers and soon become fluent in the symbolic language at the core of modern logic. The accompanying CD-ROM, compatible with both Macintosh and PC formats, includes a unique and effective corrective tool in the form of a game that methodically leads students back through any errors in sentences they have constructed, as well as a program for submitting homework to an automated grader. Intended as a supplement to a standard logic text, "Tarski's World" is an essential resource for helping students learn the language of logic.
Häftad, Engelska, 2017
641 kr
Skickas inom 11-20 vardagar
The Logical Reasoning with Diagrams and Sentences courseware package teaches the principles of analytical reasoning and proof construction using a carefully crafted combination of textbook, desktop, and online materials. This package is sure to be an essential resource in a range of courses incorporating logical reasoning, including formal linguistics, philosophy, mathematics, and computer science. Unlike traditional formal treatments of reasoning, this package uses both graphical and sentential representations to reflect common situations in everyday reasoning where information is expressed in many forms, such as finding your way to a location using a map and an address. It also teaches students how to construct and check the logical validity of a variety of proofs of consequence and non-consequence, consistency and inconsistency, and independence using an intuitive proof system which extends standard proof treatments with sentential, graphical, and heterogeneous inference rules, allowing students to focus on proof content rather than syntactic structure.Building upon the widely used Tarski's World and Language, Proof and Logic courseware packages, Logical Reasoning with Diagrams and Sentences contains more than three hundred exercises, most of which can be assessed by the Grade Grinder online assessment service; is supported by an extensive website through which students and instructors can access online video lectures by the authors; and allows instructors to create their own exercises and assess their students' work.Logical Reasoning with Diagrams and Sentences is an expanded revision of the Hyperproof courseware package.