Logic : an introduction / Greg Restall.
Greg Restall's Logic provides concise introductions to propositional and first-order predicate logic while showing how formal logic intersects with substantial philosophical issues such as vagueness, conditionals, relevance, propositional attitudes, and opaque contents. The author also examines...
Saved in:
| Online Access: |
Full text (Emerson users only) |
|---|---|
| Main Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Montreal [Que.] :
McGill-Queen's University Press,
©2006.
|
| Series: | Fundamentals of philosophy.
|
| Subjects: | |
| Local Note: | ProQuest Ebook Central |
MARC
| LEADER | 00000cam a2200000ua 4500 | ||
|---|---|---|---|
| 001 | in00000332272 | ||
| 006 | m o d | ||
| 007 | cr cn||||||a|| | ||
| 008 | 050706t20062006quca ob 001 0 eng d | ||
| 005 | 20240625193253.1 | ||
| 015 | |a C2005-904309-1 | ||
| 016 | |z 20059043091 (print) | ||
| 019 | |a 905549109 |a 923236877 |a 951204498 |a 961696114 |a 962723823 |a 1057428500 |a 1087344189 |a 1088288932 |a 1162245876 |a 1290063419 |a 1300564922 | ||
| 020 | |a 9780773585928 |q (electronic bk.) | ||
| 020 | |a 0773585923 |q (electronic bk.) | ||
| 020 | |z 1857283023 | ||
| 020 | |z 9781857283020 | ||
| 020 | |z 1857286820 | ||
| 020 | |z 9781857286823 | ||
| 020 | |z 0773524223 | ||
| 020 | |z 0773524231 | ||
| 020 | |z 9780773524224 | ||
| 020 | |a 9780773524231 | ||
| 020 | |a 0773524231 | ||
| 035 | |a (OCoLC)806255330 |z (OCoLC)905549109 |z (OCoLC)923236877 |z (OCoLC)951204498 |z (OCoLC)961696114 |z (OCoLC)962723823 |z (OCoLC)1057428500 |z (OCoLC)1087344189 |z (OCoLC)1088288932 |z (OCoLC)1162245876 |z (OCoLC)1290063419 |z (OCoLC)1300564922 | ||
| 035 | |a (OCoLC)ocn806255330 | ||
| 037 | |a 22573/ctt6qkpz |b JSTOR | ||
| 040 | |a CELBN |b eng |e pn |c CELBN |d OCLCQ |d E7B |d N$T |d OCLCQ |d JSTOR |d OCLCF |d OCLCQ |d YDXCP |d EBLCP |d OCLCQ |d AZK |d AGLDB |d CNNOR |d MOR |d ZCU |d COO |d MERUC |d OCLCQ |d D6H |d STF |d WRM |d VTS |d ICG |d VT2 |d OCLCQ |d G3B |d TKN |d UWW |d UWO |d YOU |d DKC |d OCLCQ |d M8D |d OCLCQ |d VLY |d OCLCO |d INARC |d OCLCQ |d DEGRU |d OCLCO |d OCLCQ |d OCLCL | ||
| 050 | 4 | |a BC108 |b .R47 2006eb | |
| 055 | 3 | |a BC108 |b R47 2005a | |
| 055 | 0 | 0 | |a BC108 |b R47 2006 |
| 072 | 7 | |a PHI |x 011000 |2 bisacsh | |
| 072 | 7 | |a PHI011000 |2 bisacsh | |
| 082 | 0 | 4 | |a 160 |2 22 |
| 100 | 1 | |a Restall, Greg, |d 1969- | |
| 245 | 1 | 0 | |a Logic : |b an introduction / |c Greg Restall. |
| 260 | |a Montreal [Que.] : |b McGill-Queen's University Press, |c ©2006. | ||
| 300 | |a 1 online resource (xiii, 225 pages) : |b illustrations, digital file. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Fundamentals of philosophy | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Propositional logic -- Propositions and arguments -- Connectives and argument forms -- Truth tables -- Trees -- Vagueness and bivalence -- Conditionality -- Natural deduction -- Predicate logic -- Predicates, names, and quantifiers -- Models for predicate logic -- Trees for predicate logic -- Identity and functions -- Definite descriptions -- Some things do not exist -- What is a predicate? -- What is logic? | |
| 520 | |a Greg Restall's Logic provides concise introductions to propositional and first-order predicate logic while showing how formal logic intersects with substantial philosophical issues such as vagueness, conditionals, relevance, propositional attitudes, and opaque contents. The author also examines the ideas behind modal logic, free logic, and other non-standard logics and discusses the nature of logic itself. The book covers both natural deduction and tree methods for proving validity. Each chapter includes excellent suggestions for further reading and both elementary and more advanced exercises, with solutions provided on a website. It is flexibly designed to be useable for half or full-year courses, for courses focusing exclusively on formal logic, or for a variety of approaches that would integrate topics in philosophical logic. Restall examines many of the interesting issues raised by basic logical techniques and will undoubtedly stimulate further study in the discipline. This is a logic book designed principally for philosophers but which will also be of interest to students of computer science, cognitive science, and linguistics. | ||
| 546 | |a English. | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central College Complete | ||
| 650 | 0 | |a Logic. | |
| 758 | |i has work: |a Logic (Text) |1 https://id.oclc.org/worldcat/entity/E39PCG9gFWwY3vKX4gJdfKF9pd |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Restall, Greg, 1969- |t Logic. |d Montreal [Que.] : McGill-Queen's University Press, ©2006 |z 1857283023 |z 9781857283020 |w (OCoLC)41388039 |
| 830 | 0 | |a Fundamentals of philosophy. | |
| 852 | |b EBooks |h ProQuest | ||
| 856 | 4 | 0 | |u https://ebookcentral.proquest.com/lib/emerson/detail.action?docID=3332341 |z Full text (Emerson users only) |t 0 |
| 938 | |a De Gruyter |b DEGR |n 9780773585928 | ||
| 938 | |a Internet Archive |b INAR |n logicintroductio0000rest | ||
| 938 | |a Canadian Electronic Library |b CELB |n 10580817 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL3332341 | ||
| 938 | |a ebrary |b EBRY |n ebr10580817 | ||
| 938 | |a EBSCOhost |b EBSC |n 499969 | ||
| 938 | |a YBP Library Services |b YANK |n 9900449 | ||
| 947 | |a FLO |x pq-ebc-base | ||
| 999 | f | f | |s e4226677-d063-4510-83b3-3fca19e966cd |i 085ae652-c4c5-4de7-910b-78592893cea3 |t 0 |
| 952 | f | f | |p Can circulate |a Emerson College |b Main Campus |c Emerson College Library |d EBooks |t 0 |e ProQuest |h Other scheme |i E-Resource |
| 856 | 4 | 0 | |t 0 |u https://ebookcentral.proquest.com/lib/emerson/detail.action?docID=3332341 |y Full text (Emerson users only) |