Verfügbarkeit: Truth and falsehood

Truth and falsehood: an inquiry into generalized logical values

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Šramko, Jaroslav Vladyslavovyč 1963- (VerfasserIn), Wansing, Heinrich (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Dordrecht [u.a.] Springer 2011
Schriftenreihe:	Trends in logic 36
Schlagworte:	Intuitionistische Logik Mathematische Logik
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	XIII, 246 S. graph. Darst.
ISBN:	9789400709065

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV039746583
003	DE-604
005	20151006
007	t
008	111207s2011 d\|\|\| \|\|\|\| 00\|\|\| eng d
020			\|a 9789400709065 \|9 978-94-007-0906-5
035			\|a (OCoLC)757913431
035			\|a (DE-599)BVBBV039746583
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a eng
049			\|a DE-29 \|a DE-19 \|a DE-11
082	0		\|a 511.312 \|2 23
084			\|a CC 2600 \|0 (DE-625)17610: \|2 rvk
084			\|a 5,1 \|2 ssgn
100	1		\|a Šramko, Jaroslav Vladyslavovyč \|d 1963- \|e Verfasser \|0 (DE-588)1056097825 \|4 aut
245	1	0	\|a Truth and falsehood \|b an inquiry into generalized logical values \|c Yaroslav Shramko, Heinrich Wansing
264		1	\|a Dordrecht [u.a.] \|b Springer \|c 2011
300			\|a XIII, 246 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Trends in logic \|v 36
650	0	7	\|a Intuitionistische Logik \|0 (DE-588)4162199-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 Intuitionistische Logik \|0 (DE-588)4162199-2 \|D s
689	0		\|5 DE-604
689	1	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	1		\|5 DE-604
700	1		\|a Wansing, Heinrich \|e Verfasser \|4 aut
830		0	\|a Trends in logic \|v 36 \|w (DE-604)BV011512969 \|9 36
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=024594117&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-024594117

Datensatz im Suchindex

_version_	1804148636275179520
adam_text	IMAGE 1 CONTENTS 1 TRUTH VALUES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.1 THE IDEA OF TRUTH VALUES . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 TRUTH VALUES AND THE FUNCTIONAL ANALYSIS OF LANGUAGE. . . . . . 3 1.3 THE CATEGORIAL STATUS OF TRUTH AND FALSEHOOD . . . . . . . . . . . . 5 1.4 THE ONTOLOGICAL BACKGROUND OF TRUTH VALUES . . . . . . . . . . . . 7 1.5 LOGIC AS THE SCIENCE OF LOGICAL VALUES. . . . . . . . . . . . . . . . . 10 1.6 LOGICAL STRUCTURES. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 1.7 TRUTH VALUES, TRUTH DEGREES, AND VAGUE CONCEPTS. . . . . . . . . 15 2 TRUTH VALUES AND THE SLINGSHOT ARGUMENT. . . . . . . . . . . . . . . . . . 19 2.1 AN ARGUMENT IN FAVOR OF TRUTH VALUES .. . . . . . . . . . . . . . . 19 2.2 RECONSTRUCTING THE SLINGSHOT ARGUMENTS . . . . . . . . . . . . . . . . 20 2.2.1 CHURCH S SLINGSHOT. . . . . . . . . . . . . . . . . . . . . . . . . . 20 2.2.2 GDEL S SLINGSHOT. . . . . . . . . . . . . . . . . . . . . . . . . . . 22 2.2.3 DAVIDSON S SLINGSHOT . . . . . . . . . . . . . . . . . . . . . . . . 24 2.3 THE SLINGSHOT ARGUMENT AND NON-FREGEAN LOGIC. . . . . . . . . . 25 2.4 NON-FREGEAN LOGIC AND DEFINITE DESCRIPTIONS . . . . . . . . . . . . 29 2.5 NON-FREGEAN LOGIC AND A-EXPRESSIONS . . . . . . . . . . . . . . . . . 34 2.6 NON-FREGEAN LOGIC AND INDEFINITE DESCRIPTIONS . . . . . . . . . . . 37 2.7 CONCLUDING REMARKS. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 3 GENERALIZED TRUTH VALUES: FROM FOUR Z TO SIXTEEN 3. . . . . . . . 41 3.1 TRUTH VALUES AS STRUCTURED ENTITIES. . . . . . . . . . . . . . . . . . . . 41 3.2 GENERALIZED VALUATIONS, FOUR-VALUED LOGIC AND BILATTICES. . . . 44 3.3 TAKING GENERALIZATION SERIOUSLY: FROM ISOLATED COMPUTERS TO COMPUTER NETWORKS . . . . . . . . . . . . . . . . . . . . 48 3.4 GENERALIZED TRUTH VALUES AND MULTILATTICES . . . . . . . . . . . . . . 51 3.5 THE TRILATTICE OF 16 TRUTH VALUES. . . . . . . . . . . . . . . . . . . . . 53 3.6 ANOTHER EXAMPLE OF A TRILATTICE: TRUTH VALUES IN CONSTRUCTIVE LOGICS . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60 XL IMAGE 2 XLI CONTENTS 4 GENERALIZED TRUTH VALUES: SIXTEEN 3 AND BEYOND . . . . . . . . . . . 63 4.1 ENTAILMENT RELATIONS ON SIXTEEN 3. . . * * * * . * . . . . . . * * . . . 63 4.2 FIRST-DEGREE SYSTEMS FOR SIXTEEN 3 . * * * * * * . . . . . . * * * . . * 65 4.2.1 THE LANGUAGES SET,SE! AND SYSTEMS FDE;, FDEJ. . . . 65 4.2.2 THE LANGUAGE SE TF FOR::::: T AND:::::! . . . . . . . . . . . . . . . . 69 4.3 FIRST-DEGREE EVERYWHERE. . . . . . . . . . . . . . . . . . . . . . . . . . . 73 4.4 HYPER-CONTRADICTIONS AND GENERALIZATIONS OF PRIEST S LOGIC. . . 79 4.5 AN APPROACH TO A GENERALIZATION OF KLEENE S LOGIC: A TETRALATTICE. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85 4.6 UNCERTAINTY VERSUS LACK OF INFORMATION. . . . . . . . . . . . . . . . 89 5 AXIOM SYSTEMS FOR TRILATTICE LOGICS . . . . . . . . . . . . . . . . . . . . . . 93 5.1 TRUTH VALUE LATTICES AND THE IMPLICATION CONNECTIVE . . . . . . . 93 5.2 FROM FIRST-DEGREE PROOF SYSTEMS TO PROOF SYSTEMS WITH MODUS PONENS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95 5.3 ODINTSOV S AXIOMATIZATION OF TRUTH ENTAILMENT AND FALSITY ENTAILMENT IN SIXTEEN 3. . . . . . . . * * . * . . . . . . * * * . 96 5.3.1 FIRST-DEGREE CALCULI . . . . . . . . . . . . . . . . . . . . . . . . . 99 5.3.2 SYSTEMS WITH MODUS PONENS AS THE SOLE RULE OF INFERENCE. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 106 5.4 DISCUSSION..................................... 110 6 SEQUENT SYSTEMS FOR TRILATTICE LOGICS . . . . . . . . . . . . . . . . . . . .. 113 6.1 STANDARD SEQUENT SYSTEMS FOR LOGICS RELATED TO SIXTEEN 3 * * . . . . . * * * * * . . . . . . . . . * * * . . . . . . . . . ** 114 6.2 ALTERNATIVE SEQUENT CALCULI . . . . . . . . . . . . . . . . . . . . . . . .. 122 6.3 EXTENSIONS..................................... 127 6.4 SEQUENT CALCULI FOR TRUTH ENTAILMENT AND FALSITY ENTAILMENT IN SIXTEEN 3 . * * . * . . . . . . . . . * * . . . . . . . . * ** 132 7 INTUITIONISTIC TRILATTICE LOGICS. . . . . . . . . . . . . . . . . . . . . . . . . .. 143 7.1 INTRODUCTION . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 143 7.2 SEQUENT CALCULUS 1 16. . * * . . . . . . . . . . * * . . . . . . . . . * * * .. 145 7.3 KRIPKE COMPLETENESS FOR 1 16 * * . . . . . . * * * . * . . . . . . . * * .* 155 7.4 TABLEAU CALCULUS IT 16. . . . . . . . . . . . . . . . . . . . . . . . . . . .. 160 7.5 KRIPKE COMPLETENESS FOR IT I6 . . . . . . . . . . . . . . . . . . . . . .. 164 8 GENERALIZED TRUTH VALUES AND MANY-VALUED LOGICS: HARMONIOUS MANY-VALUED LOGICS 171 8.1 MANY- VALUED PROPOSITIONAL LOGICS GENERALIZED . . . . . . . . . .. 171 8.2 DESIGNATED AND ANTIDESIGNATED VALUES . . . . . . . . . . . . . . . .. 175 8.3 SOME SEPARATED FINITELY-VALUED LOGICS . . . . . . . . . . . . . . .. 178 8.4 A HARMONIOUS LOGIC INSPIRED BY THE LOGIC OF SIXTEEN 3. . .. 181 IMAGE 3 CONTENTS X11I 8.5 HARMONY AD INFINITUM. . . . . . . . . . . . . . . . . . . . . . . . . . . .. 182 8.6 SOME REMARKS ON GENERALIZING HARMONY . . . . . . . . . . . . . .. 183 9 GENERALIZED TRUTH VALUES AND MANY-VALUED LOGICS: SUSZKO S THESIS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 189 9.1 INTRODUCTION . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 189 9.2 THE SUSZKO REDUCTION. . . . . . . . . . . . . . . . . . . . . . . . . . . .. 192 9.2.1 MALINOWSKI S ANALYSIS OF SUSZKO S THESIS. . . . . . . .. 195 9.2.2 TSUJI S ANALYSIS OF SUSZKO S THESIS. . . . . . . . . . . . .. 197 9.3 LOGICAL N-VALUEDNESS AS INFERENTIAL MANY-VALUEDNESS . . . . .. 198 9.3.1 WHAT IS A LOGICAL VALUE? . . . . . . . . . . . . . . . . . . . .. 198 9.3.2 ANOTHER KIND OF COUNTEREXAMPLE. . . . . . . . . . . . . . .. 201 9.3.3 EXAMPLES OF NATURAL BI-CONSEQUENCE LOGICS. . . . . . .. 202 9.3.4 LOGICALLY N-VALUED LOGICS 203 9.4 ANOTHER ANALYSIS AND A RESUME. . . . . . . . . . . . . . . . . . . . .. 206 9.5 A BILATTICE OF FOUR ENTAILMENT RELATIONS. . . . . . . . . . . . . . .. 207 9.5.1 DEFINITIONS OF FOUR ENTAILMENT RELATIONS . . . . . . . . .. 208 9.5.2 ORDERINGS ON ENTAILMENT RELATIONS. . . . . . . . . . . . . .. 211 9.5.3 CONCLUDING REMARKS . . . . . . . . . . . . . . . . . . . . . . .. 213 10 FURTHER DEVELOPMENTS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 215 10.1 FIRST-ORDER TRILATTICE LOGICS 215 10.2 MODAL TRILATTICE LOGICS. . . . . . . . . . . . . . . . . . . . . . . . . . .. 217 10.3 ADVERBIALLY QUALIFIED TROTH VALUES . . . . . . . . . . . . . . . . . .. 220 10.4 GENERALIZED TROTH VALUES: ALTERNATE INTERPRETATIONS. . . . . . .. 222 REFERENCES 227 INDEX . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 239
any_adam_object	1
author	Šramko, Jaroslav Vladyslavovyč 1963- Wansing, Heinrich
author_GND	(DE-588)1056097825
author_facet	Šramko, Jaroslav Vladyslavovyč 1963- Wansing, Heinrich
author_role	aut aut
author_sort	Šramko, Jaroslav Vladyslavovyč 1963-
author_variant	j v š jv jvš h w hw
building	Verbundindex
bvnumber	BV039746583
classification_rvk	CC 2600
ctrlnum	(OCoLC)757913431 (DE-599)BVBBV039746583
dewey-full	511.312
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.312
dewey-search	511.312
dewey-sort	3511.312
dewey-tens	510 - Mathematics
discipline	Mathematik Philosophie
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01613nam a2200409 cb4500</leader><controlfield tag="001">BV039746583</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20151006 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">111207s2011 d\|\|\| \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789400709065</subfield><subfield code="9">978-94-007-0906-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)757913431</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV039746583</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</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></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.312</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</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">Šramko, Jaroslav Vladyslavovyč</subfield><subfield code="d">1963-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1056097825</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Truth and falsehood</subfield><subfield code="b">an inquiry into generalized logical values</subfield><subfield code="c">Yaroslav Shramko, Heinrich Wansing</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 246 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="490" ind1="1" ind2=" "><subfield code="a">Trends in logic</subfield><subfield code="v">36</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Intuitionistische Logik</subfield><subfield code="0">(DE-588)4162199-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">Intuitionistische Logik</subfield><subfield code="0">(DE-588)4162199-2</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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wansing, Heinrich</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Trends in logic</subfield><subfield code="v">36</subfield><subfield code="w">(DE-604)BV011512969</subfield><subfield code="9">36</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=024594117&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-024594117</subfield></datafield></record></collection>
id	DE-604.BV039746583
illustrated	Illustrated
indexdate	2024-07-10T00:10:17Z
institution	BVB
isbn	9789400709065
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-024594117
oclc_num	757913431
open_access_boolean
owner	DE-29 DE-19 DE-BY-UBM DE-11
owner_facet	DE-29 DE-19 DE-BY-UBM DE-11
physical	XIII, 246 S. graph. Darst.
publishDate	2011
publishDateSearch	2011
publishDateSort	2011
publisher	Springer
record_format	marc
series	Trends in logic
series2	Trends in logic
spelling	Šramko, Jaroslav Vladyslavovyč 1963- Verfasser (DE-588)1056097825 aut Truth and falsehood an inquiry into generalized logical values Yaroslav Shramko, Heinrich Wansing Dordrecht [u.a.] Springer 2011 XIII, 246 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Trends in logic 36 Intuitionistische Logik (DE-588)4162199-2 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Intuitionistische Logik (DE-588)4162199-2 s DE-604 Mathematische Logik (DE-588)4037951-6 s Wansing, Heinrich Verfasser aut Trends in logic 36 (DE-604)BV011512969 36 V:DE-604 application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024594117&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Šramko, Jaroslav Vladyslavovyč 1963- Wansing, Heinrich Truth and falsehood an inquiry into generalized logical values Trends in logic Intuitionistische Logik (DE-588)4162199-2 gnd Mathematische Logik (DE-588)4037951-6 gnd
subject_GND	(DE-588)4162199-2 (DE-588)4037951-6
title	Truth and falsehood an inquiry into generalized logical values
title_auth	Truth and falsehood an inquiry into generalized logical values
title_exact_search	Truth and falsehood an inquiry into generalized logical values
title_full	Truth and falsehood an inquiry into generalized logical values Yaroslav Shramko, Heinrich Wansing
title_fullStr	Truth and falsehood an inquiry into generalized logical values Yaroslav Shramko, Heinrich Wansing
title_full_unstemmed	Truth and falsehood an inquiry into generalized logical values Yaroslav Shramko, Heinrich Wansing
title_short	Truth and falsehood
title_sort	truth and falsehood an inquiry into generalized logical values
title_sub	an inquiry into generalized logical values
topic	Intuitionistische Logik (DE-588)4162199-2 gnd Mathematische Logik (DE-588)4037951-6 gnd
topic_facet	Intuitionistische Logik Mathematische Logik
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024594117&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV011512969
work_keys_str_mv	AT sramkojaroslavvladyslavovyc truthandfalsehoodaninquiryintogeneralizedlogicalvalues AT wansingheinrich truthandfalsehoodaninquiryintogeneralizedlogicalvalues

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge