Verfügbarkeit: Strutture dell'argomentare

Strutture dell'argomentare:

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Moriconi, Enrico 1950- (VerfasserIn)
Format:	Buch
Sprache:	Italian
Veröffentlicht:	Pisa Ed. ETS 2009
Schriftenreihe:	Analitica 2
Schlagworte:	Constructive mathematics Logic, Symbolic and mathematical Proof theory Argument Struktur Mathematische Logik
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	176 S.
ISBN:	9788846724861

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV036057631
003	DE-604
005	20170920
007	t
008	100302s2009 it \|\|\|\| 00\|\|\| ita d
020			\|a 9788846724861 \|c : 19.00 EUR \|9 978-88-467-2486-1
035			\|a (ItFiC)09798846
035			\|a (OCoLC)505429202
035			\|a (DE-599)BVBBV036057631
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a ita
044			\|a it \|c IT
045			\|a x0x4 \|a w1w9 \|a x4x-
049			\|a DE-29
050		0	\|a BC
082	1		\|a 160 \|2 21
084			\|a CC 2500 \|0 (DE-625)17609: \|2 rvk
084			\|a CC 2600 \|0 (DE-625)17610: \|2 rvk
084			\|a 5,1 \|2 ssgn
100	1		\|a Moriconi, Enrico \|d 1950- \|e Verfasser \|0 (DE-588)1137035919 \|4 aut
245	1	0	\|a Strutture dell'argomentare \|c Enrico Moriconi
264		1	\|a Pisa \|b Ed. ETS \|c 2009
300			\|a 176 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Analitica \|v 2
650		4	\|a Constructive mathematics
650		4	\|a Logic, Symbolic and mathematical
650		4	\|a Proof theory
650	0	7	\|a Argument \|0 (DE-588)4273545-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Struktur \|0 (DE-588)4058125-1 \|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 Struktur \|0 (DE-588)4058125-1 \|D s
689	0	1	\|a Argument \|0 (DE-588)4273545-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
830		0	\|a Analitica \|v 2 \|w (DE-604)BV035153483 \|9 2
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=018949187&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-018949187

Datensatz im Suchindex

_version_	1804141099506204672
adam_text	INDICE I INDAGINI STORICHE 1 ALLE ORIGINI DELLA TEORIA DELLA DIMOSTRAZIONE DI HILBERT 1.1 INTRODUZIONE................... 1.2 VERSO I FONDAMENTI . . . . . . . . . . . . . . . . . 1.3 I FONDAMENTI DELLA GEOMETRIA DI HILBERT (1899) .. 1.4 LE DIMOSTRAZIONI COME OGGETTI DI INDAGINE MATEMATICA 3 3 3 11 23 2 L INTERPRETAZIONE COSTRUTTIVA DELL IMPLICAZIONE 33 2.1 INTRODUZIONE........................... 33 2.2 LA DISCUSSIONE SULLA FORMALIZZAZIONE DELLA LOGICA INTUIZIONISTA 34 2.3 L INTERPRETAZIONE NUMERICA DI BISHOP. . . . . . . . . . . . . . 38 2.4 LA GAME- THEORTIEAL SEMANTIES DI HINTIKKA 40 2.5 APPENDICE: UNA NOTA SULL INTERPRETAZIONE DEGLI OPERATORI LOGICI IN ML 42 3 I TRE STRATI DELLA LOGICA FORMALE IN EDMUND BUSSERL 3.1 LA DIVISIONE DELLAVORO . . 3.1.1. UELTRE KANT. . . . . . . . . . . . . . . . . 3.2 L IDEA DELLA STRATIFICAZIONE . 3.2.1. LA STRATIFICAZIONE NELLE RIEEREHE LOGIEHE 3.3 LA STRATIFICAZIONE IN LOGIEAJORMALE E TRASEENDENTALE 3.3.1. DALLA FORMENLEHRE ALLA KONSEQUENZLOGIK . 3.3.2. LA LOGICA DELLA VERITA . . . . . . . . . . . . 3.4 APOFANTICA FORMALE E ONTOLOGIA FORMALE . . . . . . 3.4.1. LA LOGICA COME TEORIA DELLE FORME DI TEORIA 3.5 CONCLUSIONE..................... 4 11 NEOPOSITIVISMO LOGICO DI F. BARONE VENTICINQUE ANNI DOPO 4.1 INTRODUZIONE................ 4.2 NEOPOSITIVISMO LOGICO E FILOSOFIA ANALITICA . . . . . . . . 4.3 LA SVOLTA LINGUISTICA . . . . . . . . . . . . . . . . . . . . 4.4 DIFFERENZE FRA NEOPOSITIVISMO LOGICO E FILOSOFIA ANALITICA 4.5 UNA SINGOLARE VICENDA DIJRAINTENDIMENTI . 4.6 DIFFERENZE FRA N L E N FA. . . . . . . . . . . . . . . . 47 47 48 51 51 54 56 59 63 65 70 71 71 72 72 74 76 77 STRUTTURE DELL ARGOMENTARE SS APPROFONDIMENTI TEORICI 5 TRA COERENZA E CATEGORICITA: UNA MAPPA DELLE NOZIONI LOGICHE FONDAMEN- TALI 83 5.1 FUGA DALL INTUIZIONE . . . . . . . . . . . . . . . . 83 5.2 L ASSIOMATICA FORMALE. . . . . . . . . . . . . . . 84 5.2.1. GLI ASSIOINI COME DEFINIZIONE IMPLICITA 84 5.2.2. LA DEFINIBILITA DELLE NOZIONI 86 5.3 LE CONDIZIONI METATEORICHE . . . 87 5.3.1. LA NON-CONTRADDITTORIETIL . . 89 5.4 FORMALIZZAZIONE AL PRIMO ORDINE . . 91 5.4.1. 11TEOREMA DI COMP1ETEZZA SEMANTICA. 92 5.5 I TEOREMI DI INCOMPLETEZZA . . . . . . . . . . 94 5.6 LA DEFINIBI1ITIL . . . . . . . . . . . . . . . . . 95 5.7 APPENDICE: L INTRODUZIONE DI GOEDEL A UEBER DIE VOLLSTAENDIGKEIT DES LOGIKKALKUELS, 1929 99 5.7.1. NON-CONTRADDITTORIETA E ESISTENZA . 99 5.7.2. GOEDEL E I1COSTRUTTIVISMO . . . . . 102 6 OSSERVAZIONI SULLA TRADUCIBILITA E SOL RIFERIMENTO IN QUINE 105 6.1 11 PESO DELLA LOGICA DEI PRIMO ORDINE . . 105 6.1.1. 11PROB1EMA DELI IDENTITA . . . . . 106 6.1.2. LA NOZIONE DI CONSEGUENZA LOGICA 109 6.2 LE PROXY FUNCTIONS . . . . . . . . 110 6.2.1. QUALCHE SPECIFICAZIONE . . . . . . 111 6.2.2. LA FORMU1AZIONE QUINIANA .... 112 6.3 LE CONCLUSIONI DI QUINE E QUALCHE OSSERVAZIONE 113 7 HERMANN WEYL E 10 SPETTRO DELLA MODALITA 119 7.1 INTRODUZIONE............................ 119 7.2 CONOSCENZA LOGICA E CONOSCENZA MATEMATICA. . . . . . . . . . . 120 7.3 DOMANDE E RISPOSTE: UNA NUOVA PROSPETTIVA SUGLI OPERATORI LOGICI 122 7.4 LA LOGICA MODALE DI LEWIS 125 7.5 CONCLUSIONE.... 127 8 AII INIZIO E ILLINGUAGGIO 131 8.1 INTRODUZIONE.................... 131 8.2 I NUMERI NATURALI SONO UNA NOSTRA 1IBERA CREAZIONE 132 8.2.1. NUMERI COME FORME 132 8.2.2. CONOSCENZA PREDICATIVA E CONOSCENZA PROPOSIZIONALE 133 8.2.3. UNA CRITICA DEI P1ATONISMO . . . . . . . . . . . . . . 133 X INDICE 8.3 L ABBANDONO DELLA CONCEZIONE VERO-FUNZIONALE DEI SIGNIFICATO . 135 8.4 CORREZIONE DELLA CONCEZIONE PROPOSIZIONI-COME-TIPI . ~ . 137 8.4.1. GIUSTIFICAZIONE DELLA CORREZIONE 138 8.5 CONCLUSIONE............... 140 9 I LIMITI DELL ISOMORFISMO DI CURRY-HOWARD 9.1 INTRODUZIONE.............. 9.2 LA CONCEZIONE PROPOSIZIONI-COME-TIPI 9.3 LE PROPOSIZIONI COME RISORSE . . . . . 9.4 QUALEHE ESEMPIO . 9.5 UN APPLICAZIONE ALLE LOGICHE INTERMEDIE 9.6 LA LOGICA CLASSICA .... 9.6.1. LA REGOLA GCM .. 9.6.2. LA REGOLA PR .... 9.6.3. LA CORRETTEZZA DI PR 9.6.4. LA STRUTTURA DEI COMBINATORE PI 9.6.5. LOGICA CLASSICA E IPERIRRILEVANZA . 143 143 143 146 148 151 156 156 157 159 161 162
any_adam_object	1
author	Moriconi, Enrico 1950-
author_GND	(DE-588)1137035919
author_facet	Moriconi, Enrico 1950-
author_role	aut
author_sort	Moriconi, Enrico 1950-
author_variant	e m em
building	Verbundindex
bvnumber	BV036057631
callnumber-first	B - Philosophy, Psychology, Religion
callnumber-label	BC
callnumber-raw	BC
callnumber-search	BC
callnumber-sort	BC
callnumber-subject	BC - Logic
classification_rvk	CC 2500 CC 2600
ctrlnum	(ItFiC)09798846 (OCoLC)505429202 (DE-599)BVBBV036057631
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>01802nam a2200517 cb4500</leader><controlfield tag="001">BV036057631</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170920 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100302s2009 it \|\|\|\| 00\|\|\| ita d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9788846724861</subfield><subfield code="c">: 19.00 EUR</subfield><subfield code="9">978-88-467-2486-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ItFiC)09798846</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)505429202</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036057631</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">ita</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">it</subfield><subfield code="c">IT</subfield></datafield><datafield tag="045" ind1=" " ind2=" "><subfield code="a">x0x4</subfield><subfield code="a">w1w9</subfield><subfield code="a">x4x-</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC</subfield></datafield><datafield tag="082" ind1="1" ind2=" "><subfield code="a">160</subfield><subfield code="2">21</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 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">Moriconi, Enrico</subfield><subfield code="d">1950-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1137035919</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Strutture dell'argomentare</subfield><subfield code="c">Enrico Moriconi</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Pisa</subfield><subfield code="b">Ed. ETS</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">176 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="490" ind1="1" ind2=" "><subfield code="a">Analitica</subfield><subfield code="v">2</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constructive mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Argument</subfield><subfield code="0">(DE-588)4273545-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Struktur</subfield><subfield code="0">(DE-588)4058125-1</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">Struktur</subfield><subfield code="0">(DE-588)4058125-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Argument</subfield><subfield code="0">(DE-588)4273545-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="830" ind1=" " ind2="0"><subfield code="a">Analitica</subfield><subfield code="v">2</subfield><subfield code="w">(DE-604)BV035153483</subfield><subfield code="9">2</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=018949187&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-018949187</subfield></datafield></record></collection>
id	DE-604.BV036057631
illustrated	Not Illustrated
indexdate	2024-07-09T22:10:29Z
institution	BVB
isbn	9788846724861
language	Italian
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-018949187
oclc_num	505429202
open_access_boolean
owner	DE-29
owner_facet	DE-29
physical	176 S.
publishDate	2009
publishDateSearch	2009
publishDateSort	2009
publisher	Ed. ETS
record_format	marc
series	Analitica
series2	Analitica
spelling	Moriconi, Enrico 1950- Verfasser (DE-588)1137035919 aut Strutture dell'argomentare Enrico Moriconi Pisa Ed. ETS 2009 176 S. txt rdacontent n rdamedia nc rdacarrier Analitica 2 Constructive mathematics Logic, Symbolic and mathematical Proof theory Argument (DE-588)4273545-2 gnd rswk-swf Struktur (DE-588)4058125-1 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Struktur (DE-588)4058125-1 s Argument (DE-588)4273545-2 s DE-604 Mathematische Logik (DE-588)4037951-6 s Analitica 2 (DE-604)BV035153483 2 Digitalisierung UB Erlangen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018949187&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Moriconi, Enrico 1950- Strutture dell'argomentare Analitica Constructive mathematics Logic, Symbolic and mathematical Proof theory Argument (DE-588)4273545-2 gnd Struktur (DE-588)4058125-1 gnd Mathematische Logik (DE-588)4037951-6 gnd
subject_GND	(DE-588)4273545-2 (DE-588)4058125-1 (DE-588)4037951-6
title	Strutture dell'argomentare
title_auth	Strutture dell'argomentare
title_exact_search	Strutture dell'argomentare
title_full	Strutture dell'argomentare Enrico Moriconi
title_fullStr	Strutture dell'argomentare Enrico Moriconi
title_full_unstemmed	Strutture dell'argomentare Enrico Moriconi
title_short	Strutture dell'argomentare
title_sort	strutture dell argomentare
topic	Constructive mathematics Logic, Symbolic and mathematical Proof theory Argument (DE-588)4273545-2 gnd Struktur (DE-588)4058125-1 gnd Mathematische Logik (DE-588)4037951-6 gnd
topic_facet	Constructive mathematics Logic, Symbolic and mathematical Proof theory Argument Struktur Mathematische Logik
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018949187&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV035153483
work_keys_str_mv	AT moriconienrico strutturedellargomentare

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