Holdings: Logic :: THWS Bibkatalog

Logic: the laws of truth

Saved in:

Bibliographic Details
Main Author:	Smith, Nicholas J. J. 1972- (Author)
Format:	Book
Language:	English
Published:	Princeton, N.J. [u.a.] Princeton Univ. Press 2012
Subjects:	Logic Logik
Online Access:	Inhaltsverzeichnis
Item Description:	Includes bibliographical references and index
Physical Description:	XIV, 528 S. graph. Darst.
ISBN:	9780691151632

Staff View

MARC


LEADER	00000nam a2200000zc 4500
001	BV039925495
003	DE-604
005	20211026
007	t
008	120301s2012 xxud\|\|\| \|\|\|\| 00\|\|\| eng d
010			\|a 2011048269
020			\|a 9780691151632 \|c hardcover \|9 978-0-691-15163-2
035			\|a (OCoLC)785830884
035			\|a (DE-599)BVBBV039925495
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
044			\|a xxu \|c US
049			\|a DE-29 \|a DE-19 \|a DE-11 \|a DE-355 \|a DE-703 \|a DE-473 \|a DE-83
050		0	\|a BC71
082	0		\|a 160
084			\|a CC 2500 \|0 (DE-625)17609: \|2 rvk
084			\|a 5,1 \|2 ssgn
100	1		\|a Smith, Nicholas J. J. \|d 1972- \|e Verfasser \|0 (DE-588)1028354428 \|4 aut
245	1	0	\|a Logic \|b the laws of truth \|c Nicholas J. J. Smith
264		1	\|a Princeton, N.J. [u.a.] \|b Princeton Univ. Press \|c 2012
300			\|a XIV, 528 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
500			\|a Includes bibliographical references and index
650		4	\|a Logic
650	0	7	\|a Logik \|0 (DE-588)4036202-4 \|2 gnd \|9 rswk-swf
689	0	0	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	0		\|5 DE-604
856	4	2	\|m V:DE-604 \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024783886&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-024783886

Record in the Search Index

_version_	1804148887566417920
adam_text	IMAGE 1 CONTENTS PREFAEE XI AEKNOWLEDGMENTS XV PARTI PROPOSITIONAL LOGIC 1 PRO POSITIONS AND ARGUMENTS 3 1.1 WHAT IS LOGIC? 3 1.2 PROPOSITIONS 5 1.3 ARGUMENTS 11 1.4 LOGICAL CONSEQUENCE 14 1.5 SOUNDNESS 21 1.6 CONNECTIVES 23 2 THE LANGUAGE OF PROPOSITIONAL LOGIC 32 2.1 MOTIVATION 32 2.2 BASIC PROPOSITIONS OF PL 32 2.3 CONNECTIVES OF PL 36 2.4 WFFVARIABLES 39 2.5 SYNTAX OF PL 40 3 SEMANTICS OF PROPOSITIONAL LOGIC 49 3.1 TRUTH TABLES FOR THE CONNECTIVES 49 3.2 TRUTH VALUES OF COMPLEX PROPOSITIONS 51 3.3 TRUTH TABLES FOR COMPLEX PROPOSITIONS 54 3.4 TRUTH TABLES FUER MULTIPLE PROPOSITIONS 58 3.5 CONNECTIVES AND TRUTH FUNCTIONS 59 4 USES OF TRUTH TABLES 63 4.1 ARGUMENTS 63 4.2 SINGLE PROPOSITIONS 67 4.3 TWO PROPOSITIONS 69 4.4 SETS OF PROPOSITIONS 74 4.5 MORE ON VALIDITY 75 IMAGE 2 5 LOGICAL FORM 79 5.1 ABSTRACTING FROM CONTENT: FROM PROPOSITIONS TO FORMS 81 5.2 INSTANCES: FROM FORMS TO PROPOSITIONS 82 5.3 ARGUMENT FORMS 84 5.4 VALIDITY AND FORM 87 5.5 INVALIDITY AND FORM 91 5.6 NOTABLE ARGUMENT FORMS 94 5.7 OTHER LOGICAL PROPERTIES 95 6 CONNECTIVES: TRANSLATION AND ADEQUACY 97 6.1 ASSERTIBILITY AND IMPLICATURE 97 6.2 CONJUNCTION 103 6.3 CONDITIONAL AND BICONDITIONAL 110 6.4 DISJUNCTION 117 6.5 NEGATION 122 6.6 FUNCTIONAL COMPLETENESS 124 7 TREES FOR PROPOSITIONALLOGIC 134 7.1 TREE RULES 136 7.2 APPLYING THE RULES 140 7.3 USES OFTREES 146 7.4 ABBREVIATIONS 156 PART 11 PREDICATE LOGIC 161 8 THE LANGUAGE OF MONADIC PREDICATE LOGIC 163 8.1 THE LIMITATIONS OFPROPOSITIONAL LOGIC 164 8.2 MPL, PART I: NAMES AND PREDICATES 167 8.3 MPL, PART II: VARIABLES AND QUANTIFIERS 172 8.4 SYNTAX OFMPL 182 9 SEMANTICS OF MONADIC PREDICATE LOGIC 189 9.1 MODELS; TRUTH AND FALSITY OFUNCOMPLICATED PROPOSITIONS 191 9.2 CONNECTIVES 196 9.3 QUANTIFIED PROPOSITIONS: THE GENERAL CASE 197 9.4 SEMANTICS OFMPL: SUMMARY 204 9.5 ANALYSES AND METHODS 206 10 TREES FOR MONADIC PREDICATE LOGIC 211 10.1 TREE RULES 212 10.2 USING TREES 223 10.3 INFINITE TREES 228 11 MODELS, PROPOSITIONS, AND WAYS THE WORLD COULD BE 242 11.1 TRANSLATION 243 11.2 VALUATION 247 11.3 AXIOMATIZATION 251 VIII CONTENTS IMAGE 3 11.4 PROPOSITIONS 253 11.5 LOGICAL CONSEQUENCE AND NTP 257 11.6 POSTULATES 261 12 GENERAL PREDICATE LOGIC 264 12.1 THE LANGUAGE OF GENERAL PREDICATE LOGIC 264 12.2 SEMANTICS OF GPL 276 12.3 TREES FOR GENERAL PREDICATE LOGIC 282 12.4 POSTULATES 286 12.5 MOVING QUANTIFIERS 293 13 IDENTITY 298 13.1 THE IDENTITY RELATION 299 13.2 THE IDENTITY PREDICATE 303 13.3 SEMANTICS OFIDENTITY 306 13.4 TREES FOR GENERAL PREDICATE LOGIC WITH IDENTITY 311 13.5 NUMERICAL QUANTIFIERS 321 13.6 DEFINITE DESCRIPTIONS 326 13.7 FUNCTION SYMBOLS 343 PART11I FOUNDATIONS AND VARIATIONS 355 14 METATHEORY 357 14.1 SOUNDNESS AND COMPLETENESS 358 14.2 DECIDABILITY AND UNDECIDABILITY 368 14.3 OTHER LOGICAL PROPERTIES 374 14.4 EXPRESSIVE POWER 382 15 OTHER METHODS OF PROOF 385 15.1 AXIOMATIC SYSTEMS 386 15.2 NATURAL DEDUCTION 407 15.3 SEQUENT CALCULUS 421 16 SETTHEORY 438 16.1 SETS 438 16.2 ORDERED PAIRS AND ORDERED N-TUPLES 449 16.3 RELATIONS 453 16.4 FUNCTIONS 454 16.5 SEQUENCES 458 16.6 MULTISETS 460 16.7 SYNTAX 462 NOTES 467 REFERENCES 509 INDEX 515 CONTENTS IX
any_adam_object	1
author	Smith, Nicholas J. J. 1972-
author_GND	(DE-588)1028354428
author_facet	Smith, Nicholas J. J. 1972-
author_role	aut
author_sort	Smith, Nicholas J. J. 1972-
author_variant	n j j s njj njjs
building	Verbundindex
bvnumber	BV039925495
callnumber-first	B - Philosophy, Psychology, Religion
callnumber-label	BC71
callnumber-raw	BC71
callnumber-search	BC71
callnumber-sort	BC 271
callnumber-subject	BC - Logic
classification_rvk	CC 2500
ctrlnum	(OCoLC)785830884 (DE-599)BVBBV039925495
dewey-full	160
dewey-hundreds	100 - Philosophy & psychology
dewey-ones	160 - Philosophical logic
dewey-raw	160
dewey-search	160
dewey-sort	3160
dewey-tens	160 - Philosophical logic
discipline	Philosophie
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01422nam a2200397zc 4500</leader><controlfield tag="001">BV039925495</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20211026 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">120301s2012 xxud\|\|\| \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2011048269</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780691151632</subfield><subfield code="c">hardcover</subfield><subfield code="9">978-0-691-15163-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)785830884</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV039925495</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC71</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Smith, Nicholas J. J.</subfield><subfield code="d">1972-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1028354428</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic</subfield><subfield code="b">the laws of truth</subfield><subfield code="c">Nicholas J. J. Smith</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Princeton, N.J. [u.a.]</subfield><subfield code="b">Princeton Univ. Press</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 528 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">V:DE-604</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024783886&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024783886</subfield></datafield></record></collection>
id	DE-604.BV039925495
illustrated	Illustrated
indexdate	2024-07-10T00:14:17Z
institution	BVB
isbn	9780691151632
language	English
lccn	2011048269
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-024783886
oclc_num	785830884
open_access_boolean
owner	DE-29 DE-19 DE-BY-UBM DE-11 DE-355 DE-BY-UBR DE-703 DE-473 DE-BY-UBG DE-83
owner_facet	DE-29 DE-19 DE-BY-UBM DE-11 DE-355 DE-BY-UBR DE-703 DE-473 DE-BY-UBG DE-83
physical	XIV, 528 S. graph. Darst.
publishDate	2012
publishDateSearch	2012
publishDateSort	2012
publisher	Princeton Univ. Press
record_format	marc
spelling	Smith, Nicholas J. J. 1972- Verfasser (DE-588)1028354428 aut Logic the laws of truth Nicholas J. J. Smith Princeton, N.J. [u.a.] Princeton Univ. Press 2012 XIV, 528 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references and index Logic Logik (DE-588)4036202-4 gnd rswk-swf Logik (DE-588)4036202-4 s DE-604 V:DE-604 application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024783886&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Smith, Nicholas J. J. 1972- Logic the laws of truth Logic Logik (DE-588)4036202-4 gnd
subject_GND	(DE-588)4036202-4
title	Logic the laws of truth
title_auth	Logic the laws of truth
title_exact_search	Logic the laws of truth
title_full	Logic the laws of truth Nicholas J. J. Smith
title_fullStr	Logic the laws of truth Nicholas J. J. Smith
title_full_unstemmed	Logic the laws of truth Nicholas J. J. Smith
title_short	Logic
title_sort	logic the laws of truth
title_sub	the laws of truth
topic	Logic Logik (DE-588)4036202-4 gnd
topic_facet	Logic Logik
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024783886&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT smithnicholasjj logicthelawsoftruth

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items