Verfügbarkeit: Od jazyka k logice | Technische Universität München

Od jazyka k logice: filozofický úvod do moderní logiky

Gespeichert in:

Bibliographische Detailangaben
Beteiligte Personen:	Svoboda, Vladimír (VerfasserIn), Peregrin, Jaroslav 1957- (VerfasserIn)
Format:	Buch
Sprache:	Tschechisch
Veröffentlicht:	Praha Academia 2009
Ausgabe:	1. vyd.
Schriftenreihe:	Galileo 28
Schlagwörter:	Logika Modální logika Sémantika Výroková logika Predikátová logika Logic Modal logic Czech language Propositional calculus Predicate calculus Logik Modalität Modallogik Semantik
Links:	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020330973&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Umfang:	428 S. graph. Darst. 21 cm
ISBN:	9788020017406

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV036459039
003	DE-604
005	20171025
007	t\|
008	100519s2009 xx d\|\|\| \|\|\|\| 00\|\|\| cze d
015			\|a cnb001998526 \|2 dnb
020			\|a 9788020017406 \|9 978-80-200-1740-6
035			\|a (OCoLC)705511030
035			\|a (DE-599)BVBBV036459039
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a cze
049			\|a DE-29 \|a DE-12
084			\|a CC 2500 \|0 (DE-625)17609: \|2 rvk
084			\|a CC 4800 \|0 (DE-625)17631: \|2 rvk
084			\|a 5,1 \|2 ssgn
100	1		\|a Svoboda, Vladimír \|e Verfasser \|0 (DE-588)126551081 \|4 aut
245	1	0	\|a Od jazyka k logice \|b filozofický úvod do moderní logiky \|c Vladimír Svoboda, Jaroslav Peregrin
250			\|a 1. vyd.
264		1	\|a Praha \|b Academia \|c 2009
300			\|a 428 S. \|b graph. Darst. \|c 21 cm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Galileo \|v 28
505	0		\|a Obsahuje bibliografii, bibliografické odkazy a rejstříky
650		7	\|a Logika \|2 czenas
650		7	\|a Modální logika \|2 czenas
650		7	\|a Sémantika \|2 czenas
650		7	\|a Výroková logika \|2 czenas
650		7	\|a Predikátová logika \|2 czenas
650		4	\|a Logic
650		7	\|a Modal logic \|2 czenas
650		4	\|a Czech language
650		7	\|a Propositional calculus \|2 czenas
650		7	\|a Predicate calculus \|2 czenas
650	0	7	\|a Logik \|0 (DE-588)4036202-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Modalität \|0 (DE-588)4039789-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Modallogik \|0 (DE-588)4074914-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Semantik \|0 (DE-588)4054490-4 \|2 gnd \|9 rswk-swf
689	0	0	\|a Modalität \|0 (DE-588)4039789-0 \|D s
689	0	1	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	0		\|5 DE-604
689	1	0	\|a Semantik \|0 (DE-588)4054490-4 \|D s
689	1		\|5 DE-604
689	2	0	\|a Modallogik \|0 (DE-588)4074914-9 \|D s
689	2		\|5 DE-604
700	1		\|a Peregrin, Jaroslav \|d 1957- \|e Verfasser \|0 (DE-588)1133082092 \|4 aut
830		0	\|a Galileo \|v 28 \|w (DE-604)BV036457610 \|9 28
856	4	2	\|m Digitalisierung UB Erlangen \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020330973&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
940	1		\|n oe
943	1		\|a oai:aleph.bib-bvb.de:BVB01-020330973

Datensatz im Suchindex

_version_	1819250436436131840
adam_text	UVOD PODEKOVAN! 1 COJE TO LOGIKA? 1.1 HLEDAN! PRAVIDEL ARGUMENTACE 1.2 TFI POJETL PFEDMETU LOGIKY 1.3 PSYCHOLOGISMUS, PLATONISMUS, PRAGMATISMUS 1.4 PRAVIDLA 2 LOGICKASYMBOLIKA A LOGICKAFORMA 2.1 SPRAVNE A NESPRAVNE IISUDKY 2.2 USUDKY A ARGUMENTACE 2.3 LOGICKA STRUKTURA A LOGICKA FORMA 2.4 LOGICKA ANALYZA 3 HLEDAN!KRITERI! SPRAVNOSTIUSUDKUE 3.1 SPRAVNOST IISUDKU A PLATNOST IISUDKOVJCH FOREM 3.2 TABULKOVA METODA 3.3 SEMANTICKE STROMY 3.4 SEMANTICKE STROMY PRO PREDIKATOVOU LOGIKU 3.5 PFIROZENA DEDUKCE A AXIOMATIKA 4 LOGICKAANALYZA PRIROZENEHO JAZYKA 4.1 LOGICKA ANALYZA JAZYKA JAKO CESTA K LOGICKE FORME 4.2 CESTY LOGICKE ANALYZY 4.3 UREITE DESKRIPCE A JEJICH RUSSELLOVSKA ANALJZA 4.4 MEZE RUSSELLOVSKE ANALYZY 5 LOGICKESYSTEMYA KALKULY 5.1 FORMALN! SYSTEMY 5.2 SYSTEM KLASICKE VJROKOVE LOGIKY 5.3 LOGICKY SYSTEM JAKO NASTROJVS JAKO PIEDMETSTUDIA 5.4 DESLGNAEN! A GENERATIVN! VYMEZEN! 5.5 SYSTEM KLASICKE PREDIKATOVE LOGIKY 5.6 OBECNA STRUKTURA LOGICKEHO SYSTEMU 6 ZA HRANICEMI KLASICKELOGIKY I: MODALN! LOGIKY 6.1 ALTERNATIVN! REGLEMENTACE LOGICKEHO VJRAZIVA 6.2 SYSTEMY MODALN! LOGIKY 6.3 MODALITY A MOZNE SVETY 6.4 SEMANTIKA MODALN! LOGIKY OBSAH 9 17 19 21 24 30 36 47 52 64 88 103 108 114 121 128 139 147 156 162 169 174 178 184 190 196 204 216 223 5 6.5 MODALN! PREDIKATOVA LOGIKA 229 6.6 MODALN! LOGIKA JAKO NASTROJ LOGICKE ANALYZY 235 7 ZA HRANICEMIKLASICKE LOGIKY 11: PRIKLADYDALSICH LOGIK 7.1 EPISTEMICKA LOGIKA 239 7.2 DEONTICKA LOGIKA 246 7.3 ALTERNATIVN! VERZE KLASICKYCH LOGICKYCH OPERATORU? 254 7.4 INTUICIONISTICKA LOGIKA 258 7.5 VFCEHODNOTOVE LOGIKY 264 8 COJE TOVYLNAM? 8.1 DVE IIROVNE SEMANTIKY 272 8.2 VYZNAM VJROKU, VYZNAM VJPOVEDI, SDELEN! 278 8.3 LOGICKA EXPLIKACE VJZNAMU 283 9 DOSAH LOGIKY 9.1 VYROKY V PRIROZENEM JAZYCE 289 9.2 PROBLEMATICKE VYROKY 298 9.3 NEOZNAMOVAC! VJROKY? 304 9.4 LOGIKA PREDPISU A OTAZEK? 308 9.5 HRANICE APLIKOVATELNOSTI LOGICKYCH TEORI! 313 10 PARADOXY 10.1 PUVOD A POVAHA PARADOXU 315 10.2 PARADOXY NA IISVITU MODERN! LOGIKY 322 10.3 ANATOMIE A FYZIOLOGIE PARADOXU 326 10.4 PREVENCE VZNIKU RUSSELLOVA PARADOXU POMOC! TEORIE TYPU 330 10.5 PARADOX IHARE A TARSKEHO HIERARCHIE JAZYKU 335 10.6 GOEDELUV DUKAZ NEIIPLNOSTI 339 DODATEK A: SYSTEMKLASICKE VYROKOVE LOGLKY A.1 SYNTAX A SEMANTIKA KVL 344 A.2 SEMANTICKE STROMY PRO KVL 347 A.3 SYSTEM PFIROZENE DEDUKCE KVL 350 A.4 SEKVENTOVJ KALKUL PRO KVL 356 A.5 HILBERTOVSKY KALKUL PRO KVL 365 A.6 KOREKTNOST A IIPLNOST KVL 369 DODATEK 8: SYSTEMKLASICKEPREDLKAETOVE LOGIKY 8.1 SYNTAX A SEMANTIKA KPL 371 8.2 SEMANTICKE STROMY PRO KPL 375 8.3 SYSTEM PRIROZENE DEDUKCE PRO KPL 377 8.4 SEKVENTOVJ KALKUL PRO KPL 381 8.5 HILBERTOVSKY KALKUL PRO KPL 384 8.6 KOREKTNOST A IIPLNOST KPL 388 6 DODATEK C: SYSTEMY NEKLASICKYCH LOGIK C.1 SYNTAX A SEMANTIKA C.2 SEMANTICKE STROMY C.3 KALKULY PFIROZENE DEDUKCE C.4 SEKVENTOVE KALKULY C.S HILBERTOVSKE KALKULY C.6 KOREKTNOST, UPLNOST, ROZHODNUTELNOST L1TERATURA JMENNY REJSTRIK VECNY REJSTRIK 389 392 396 401 403 404 407 417 420 7
any_adam_object	1
author	Svoboda, Vladimír Peregrin, Jaroslav 1957-
author_GND	(DE-588)126551081 (DE-588)1133082092
author_facet	Svoboda, Vladimír Peregrin, Jaroslav 1957-
author_role	aut aut
author_sort	Svoboda, Vladimír
author_variant	v s vs j p jp
building	Verbundindex
bvnumber	BV036459039
classification_rvk	CC 2500 CC 4800
contents	Obsahuje bibliografii, bibliografické odkazy a rejstříky
ctrlnum	(OCoLC)705511030 (DE-599)BVBBV036459039
discipline	Philosophie
edition	1. vyd.
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02330nam a2200637 cb4500</leader><controlfield tag="001">BV036459039</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171025 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">100519s2009 xx d\|\|\| \|\|\|\| 00\|\|\| cze d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">cnb001998526</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9788020017406</subfield><subfield code="9">978-80-200-1740-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)705511030</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036459039</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">cze</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-12</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">CC 4800</subfield><subfield code="0">(DE-625)17631:</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">Svoboda, Vladimír</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)126551081</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Od jazyka k logice</subfield><subfield code="b">filozofický úvod do moderní logiky</subfield><subfield code="c">Vladimír Svoboda, Jaroslav Peregrin</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. vyd.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Praha</subfield><subfield code="b">Academia</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">428 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">21 cm</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">Galileo</subfield><subfield code="v">28</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Obsahuje bibliografii, bibliografické odkazy a rejstříky</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logika</subfield><subfield code="2">czenas</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modální logika</subfield><subfield code="2">czenas</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Sémantika</subfield><subfield code="2">czenas</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Výroková logika</subfield><subfield code="2">czenas</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Predikátová logika</subfield><subfield code="2">czenas</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modal logic</subfield><subfield code="2">czenas</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Czech language</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Propositional calculus</subfield><subfield code="2">czenas</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Predicate calculus</subfield><subfield code="2">czenas</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="650" ind1="0" ind2="7"><subfield code="a">Modalität</subfield><subfield code="0">(DE-588)4039789-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Modalität</subfield><subfield code="0">(DE-588)4039789-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="689" ind1="1" ind2="0"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Peregrin, Jaroslav</subfield><subfield code="d">1957-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1133082092</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Galileo</subfield><subfield code="v">28</subfield><subfield code="w">(DE-604)BV036457610</subfield><subfield code="9">28</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Erlangen</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=020330973&sequence=000001&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="n">oe</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020330973</subfield></datafield></record></collection>
id	DE-604.BV036459039
illustrated	Illustrated
indexdate	2024-12-20T14:33:54Z
institution	BVB
isbn	9788020017406
language	Czech
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-020330973
oclc_num	705511030
open_access_boolean
owner	DE-29 DE-12
owner_facet	DE-29 DE-12
physical	428 S. graph. Darst. 21 cm
publishDate	2009
publishDateSearch	2009
publishDateSort	2009
publisher	Academia
record_format	marc
series	Galileo
series2	Galileo
spellingShingle	Svoboda, Vladimír Peregrin, Jaroslav 1957- Od jazyka k logice filozofický úvod do moderní logiky Galileo Obsahuje bibliografii, bibliografické odkazy a rejstříky Logika czenas Modální logika czenas Sémantika czenas Výroková logika czenas Predikátová logika czenas Logic Modal logic czenas Czech language Propositional calculus czenas Predicate calculus czenas Logik (DE-588)4036202-4 gnd Modalität (DE-588)4039789-0 gnd Modallogik (DE-588)4074914-9 gnd Semantik (DE-588)4054490-4 gnd
subject_GND	(DE-588)4036202-4 (DE-588)4039789-0 (DE-588)4074914-9 (DE-588)4054490-4
title	Od jazyka k logice filozofický úvod do moderní logiky
title_auth	Od jazyka k logice filozofický úvod do moderní logiky
title_exact_search	Od jazyka k logice filozofický úvod do moderní logiky
title_full	Od jazyka k logice filozofický úvod do moderní logiky Vladimír Svoboda, Jaroslav Peregrin
title_fullStr	Od jazyka k logice filozofický úvod do moderní logiky Vladimír Svoboda, Jaroslav Peregrin
title_full_unstemmed	Od jazyka k logice filozofický úvod do moderní logiky Vladimír Svoboda, Jaroslav Peregrin
title_short	Od jazyka k logice
title_sort	od jazyka k logice filozoficky uvod do moderni logiky
title_sub	filozofický úvod do moderní logiky
topic	Logika czenas Modální logika czenas Sémantika czenas Výroková logika czenas Predikátová logika czenas Logic Modal logic czenas Czech language Propositional calculus czenas Predicate calculus czenas Logik (DE-588)4036202-4 gnd Modalität (DE-588)4039789-0 gnd Modallogik (DE-588)4074914-9 gnd Semantik (DE-588)4054490-4 gnd
topic_facet	Logika Modální logika Sémantika Výroková logika Predikátová logika Logic Modal logic Czech language Propositional calculus Predicate calculus Logik Modalität Modallogik Semantik
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020330973&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV036457610
work_keys_str_mv	AT svobodavladimir odjazykaklogicefilozofickyuvoddomodernilogiky AT peregrinjaroslav odjazykaklogicefilozofickyuvoddomodernilogiky

Verfügbarkeit

‌

Inhaltsverzeichnis