Holdings: Symbolic logic :: THWS Bibkatalog

Symbolic logic:

Saved in:

Bibliographic Details
Main Author:	Copi, Irving M. 1917-2002 (Author)
Format:	Book
Language:	English
Published:	New York Macmillan 1979 London Collier Macmillan
Edition:	5. ed.
Subjects:	Logique symbolique et mathématique Logic, Symbolic and mathematical Lyrik Symbol Mathematische Logik
Online Access:	Inhaltsverzeichnis
Physical Description:	XIII, 398 S.
ISBN:	0023249803

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV001950646
003	DE-604
005	20090622
007	t
008	890928s1979 \|\|\|\| 00\|\|\| eng d
020			\|a 0023249803 \|9 0-02-324980-3
035			\|a (OCoLC)4076502
035			\|a (DE-599)BVBBV001950646
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-91 \|a DE-384 \|a DE-473 \|a DE-739 \|a DE-355 \|a DE-19 \|a DE-83
050		0	\|a BC135
082	0		\|a 511/.3 \|2 18
084			\|a CC 2500 \|0 (DE-625)17609: \|2 rvk
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
100	1		\|a Copi, Irving M. \|d 1917-2002 \|e Verfasser \|0 (DE-588)12049275X \|4 aut
245	1	0	\|a Symbolic logic \|c Irving M. Copi
250			\|a 5. ed.
264		1	\|a New York \|b Macmillan \|c 1979
264		1	\|a London \|b Collier Macmillan
300			\|a XIII, 398 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
650		4	\|a Logique symbolique et mathématique
650		4	\|a Logic, Symbolic and mathematical
650	0	7	\|a Lyrik \|0 (DE-588)4036774-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Symbol \|0 (DE-588)4058716-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
689	0	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	0		\|5 DE-604
689	1	0	\|a Lyrik \|0 (DE-588)4036774-5 \|D s
689	1	1	\|a Symbol \|0 (DE-588)4058716-2 \|D s
689	1		\|5 DE-604
856	4	2	\|m HBZ Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001271626&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
940	1		\|q TUB-nveb
943	1		\|a oai:aleph.bib-bvb.de:BVB01-001271626

Record in the Search Index

_version_	1811727978173825024
adam_text	CONTENTS I Introduction: Logic and Language 1 1.1 What Is Logic? 1 1.2 The Nature of Argument 2 1.3 Truth and Validity 4 1.4 Symbolic Logic 5 CZ Arguments Containing Compound Statements 8 2.1 Simple and Compound Statements 8 2.2 Conditional Statements 16 2.3 Argument Forms and Truth Tables 19 2.4 Statement Forms 27 3 The Method of Deduction 32 3.1 Formal Proof of Validity 32 3.2 The Rule of Replacement 39 3.3 Proving Invalidity 48 3.4 The Rule of Conditional Proof 49 3.5 The Rule of Indirect Proof 52 3.6 Proofs of Tautologies 54 3.7 The Strengthened Rule of Conditional Proof 56 3.8 Shorter Truth Table Technique—Reductio ad Absurdum Method 61 4 Quantification Theory 63 4.1 Singular Propositions and General Propositions 63 4.2 Proving Validity: Preliminary Quantification Rules 71 4.3 Proving Invalidity 78 4.4 Multiply General Propositions 83 xi xii Contents 4.5 Quantification Rules 89 4.6 More on Proving Invalidity 105 4.7 Logical Truths Involving Quantifiers 108 5 The Logic of Relations 116 5.1 Symbolizing Relations 116 5.2 Arguments Involving Relations 130 5.3 Some Attributes of Relations 134 5.4 Identity and the Definite Description 140 5.5 Predicate Variables and Attributes of Attributes 150 6 Deductive Systems 157 6.1 Definition and Deduction 157 6.2 Euclidean Geometry 158 6.3 Formal Deductive Systems 162 6.4 Attributes of Formal Deductive Systems 164 6.5 Logistic Systems 166 7 Set Theory 170 7.1 The Algebra of Classes 170 7.2 Axioms for Class Algebra 175 7.3 Zermelo Fraenkel Set Theory (ZF)—The First Six Axioms 176 7.4 Relations and Functions 185 7.5 Natural Numbers and the Axiom of Infinity 190 7.6 Cardinal Numbers and the Choice Axiom 195 7.7 Ordinal Numbers and the Axioms of Replacement and Regularity 202 8 A Propositional Calculus 213 8.1 Object Language and Metalanguage 213 8.2 Primitive Symbols and Well Formed Formulas 215 8.3 Axioms and Demonstrations 227 8.4 Independence of the Axioms 231 8.5 Development of the Calculus 237 8.6 Deductive Completeness 250 Contents xiii S Alternative Systems and Notations 259 9.1 Alternative Systems of Logic 259 9.2 The Hilbert Ackermann System 260 9.3 The Use of Dots as Brackets 276 9.4 A Parenthesis Free Notation 279 9.5 The Stroke and Dagger Operators 281 9.6 The Nicod System 282 A First Order Function Calculus 290 1O 10.1 The New Logistic System RSX 290 10.2 The Development of 1^ 296 10.3 Duality 302 10.4 RSj and the 'Natural Deduction' Techniques 307 10.5 Normal Forms 311 10.6 Completeness of RSj 318 10.7 RSi with Identity 328 10.8 First Order Logic Including ZF Set Theory 331 Appendix A: Incompleteness of the Nineteen Rules 333 Appendix B: Normal Forms and Boolean Expansions 337 Appendix C: The Ramified Theory of Types 344 Solutions to Selected Exercises 355 Special Symbols 381 Index 385
any_adam_object	1
author	Copi, Irving M. 1917-2002
author_GND	(DE-588)12049275X
author_facet	Copi, Irving M. 1917-2002
author_role	aut
author_sort	Copi, Irving M. 1917-2002
author_variant	i m c im imc
building	Verbundindex
bvnumber	BV001950646
callnumber-first	B - Philosophy, Psychology, Religion
callnumber-label	BC135
callnumber-raw	BC135
callnumber-search	BC135
callnumber-sort	BC 3135
callnumber-subject	BC - Logic
classification_rvk	CC 2500 SK 130
ctrlnum	(OCoLC)4076502 (DE-599)BVBBV001950646
dewey-full	511/.3
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511/.3
dewey-search	511/.3
dewey-sort	3511 13
dewey-tens	510 - Mathematics
discipline	Mathematik Philosophie
edition	5. ed.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV001950646</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090622</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1979 \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0023249803</subfield><subfield code="9">0-02-324980-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)4076502</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001950646</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC135</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.3</subfield><subfield code="2">18</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">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Copi, Irving M.</subfield><subfield code="d">1917-2002</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)12049275X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Symbolic logic</subfield><subfield code="c">Irving M. Copi</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">5. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">Macmillan</subfield><subfield code="c">1979</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Collier Macmillan</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 398 S.</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="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Lyrik</subfield><subfield code="0">(DE-588)4036774-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Symbol</subfield><subfield code="0">(DE-588)4058716-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Lyrik</subfield><subfield code="0">(DE-588)4036774-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Symbol</subfield><subfield code="0">(DE-588)4058716-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</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=001271626&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-nveb</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001271626</subfield></datafield></record></collection>
id	DE-604.BV001950646
illustrated	Not Illustrated
indexdate	2024-10-01T16:00:41Z
institution	BVB
isbn	0023249803
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-001271626
oclc_num	4076502
open_access_boolean
owner	DE-91 DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-739 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-83
owner_facet	DE-91 DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-739 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-83
physical	XIII, 398 S.
psigel	TUB-nveb
publishDate	1979
publishDateSearch	1979
publishDateSort	1979
publisher	Macmillan Collier Macmillan
record_format	marc
spelling	Copi, Irving M. 1917-2002 Verfasser (DE-588)12049275X aut Symbolic logic Irving M. Copi 5. ed. New York Macmillan 1979 London Collier Macmillan XIII, 398 S. txt rdacontent n rdamedia nc rdacarrier Logique symbolique et mathématique Logic, Symbolic and mathematical Lyrik (DE-588)4036774-5 gnd rswk-swf Symbol (DE-588)4058716-2 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s DE-604 Lyrik (DE-588)4036774-5 s Symbol (DE-588)4058716-2 s HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001271626&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Copi, Irving M. 1917-2002 Symbolic logic Logique symbolique et mathématique Logic, Symbolic and mathematical Lyrik (DE-588)4036774-5 gnd Symbol (DE-588)4058716-2 gnd Mathematische Logik (DE-588)4037951-6 gnd
subject_GND	(DE-588)4036774-5 (DE-588)4058716-2 (DE-588)4037951-6
title	Symbolic logic
title_auth	Symbolic logic
title_exact_search	Symbolic logic
title_full	Symbolic logic Irving M. Copi
title_fullStr	Symbolic logic Irving M. Copi
title_full_unstemmed	Symbolic logic Irving M. Copi
title_short	Symbolic logic
title_sort	symbolic logic
topic	Logique symbolique et mathématique Logic, Symbolic and mathematical Lyrik (DE-588)4036774-5 gnd Symbol (DE-588)4058716-2 gnd Mathematische Logik (DE-588)4037951-6 gnd
topic_facet	Logique symbolique et mathématique Logic, Symbolic and mathematical Lyrik Symbol Mathematische Logik
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001271626&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT copiirvingm symboliclogic

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