[i][c]
Bocheński, Józef Maria
(Formale Logik, Verlag Karl Alber, Freiburg im Breisgau 1956)
La logica formale 1: dai Presocratici a Leibniz
Giulio Einaudi Editore
[Nuova Biblioteca Scientifica 40,1]
Torino 1972.0715
Cover
#filosofia #logica
ig01#filosofia
ig02#filosofia ig02#logica



  [i][c] INDICE:
XIXNota introduttiva [ di Alberto Conte ] 
XXVPrefazione dell'autore alla prima edizione tedesca
1Volume IDai Presocratici a Leibniz
            Abelardo
11      Parte Prima      Introduzione
13                  1.                  Il concetto di logica formale
15                  2.                  Sulla storia della storia della logica
15                        A.                        Gli inizi
16                        B.                        I pregiudizi
21                        C.                        La ricerca del XX secolo
23                  3.                  L'evoluzione della logica formale
24                        A.                        Sulla geografia e sulla cronologia della logica
25                        B.                        Il modo di evolversi della logica
26                        C.                        Le forme di logica
28                        D.                        L'unità della problematica logica
30                        E.                        Il problema del progresso
32                  4.                  Metodo e piano
32                        A.                        Storia dei problemi e documentazione
33                        B.                        Piano dell'opera
34                        C.                        Carattere dei contenuti
35                  5.                  La terminologia
35                        A.                        Le espressioni tecniche
37                        B.                        Del simbolismo logico-matematico
38                        C.                        Convenzioni tipografiche
41      Parte seconda      La forma greca di logica
43                  6.                  Introduzione alla logica greca
43                        A.                        Cronologia dei logici
44                        B.                        I periodi
45                        C.                        Stato della ricerca
47            I.            I precursori
47                  7.                  Le origini
47                        A.                        I testi
50                        B.                        Interpretazione
52                  8.                  Platone
52                        A.                        Il concetto di logica
53                        B.                        L'avvicinamento alle formule logiche
55                        C.                        La divisione
60            II.            Aristotele
60                  9.                  L'opera di Aristotele e i suoi problemi storico-letterari
60                        A.                        Le opere
61                        B.                        I problemi
65                  10.                  Il concetto di logica. La semiotica
65                        A.                        Nome e ruolo della logica
66                        B.                        L'oggetto della logica
67                        C.                        La sintassi
69                        D.                        La semantica
71                  11.                  I Topici
71                        A.                        Oggetto e scopo
74                        B.                        I predicabili
75                        C.                        Le ‘categorie’
78                        D.                        La sofistica
81                  12.                  La teoria dell'opposizione, il principio di contraddizione, il principio del terzo escluso
81                        A.                        La teoria dell'opposizione
84                        B.                        L'obversione
86                        C.                        Il principo di contraddizione
89                        D.                        Il principio del terzo escluso
90                  13.                  La sillogistica assertoria
90                        A.                        Il testo
94                        B.                        Interpretazione
98                        C.                        Struttura del sillogismo
100                        D.                        Le figure e gli ulteriori sillogismi
103                  14.                  L'assiomatizzazione della sillogistica. Ulteriori leggi
103                        A.                        La teoria del sistema assiomatico
106                        B.                        I sistemi di sillogistica
107                        C.                        La dimostrazione diretta
109                        D.                        La dimostrazione indiretta
109                                                            Primo procedimento
110                                                            Secondo procedimento
111                                                            Applicazioni
112                        E.                        Il dictu de omni et nullo
113                        F.                        I preliminari di un sistema metalogico
114                        G.                        L'inventio medii
115                  15.                  La logica modale
115                        A.                        Le modalità
117                        B.                        La struttura degli enunciati modali
118                        C.                        La negazione e la conversione
120                        D.                        I sillogismi
123                  16.                  Leggi e regole non analitiche
124                        A.                        I due tipi di inferenza
128                        B.                        Le leggi della logica delle classi e della logica dei predicati
129                        C.                        La teoria dell'identità
131                        D.                        I sillogismi che si fondano su di un'ipotesi
133                        E.                        Leggi della logica delle relazioni
136                        F.                        Regole e leggi proposizionali
137                                    Sommario
138                  17.                  Teofrasto
138                        A.                        Sviluppo e alterazione di varie dottrine
141                        B.                        La logica modale
143                        C.                        I sillogismi ipotetici
145            III.            La scuola megarico-stoica
145                  18.                  Esame storico
145                        A.                        Pensatori e scuole
148                        B.                        I problemi storico-letterari
148                        C.                        Origine e natura
150                  19.                  Il concetto di logica. La semiotica. Le modalità
150                        A.                        La logica
151                        B.                        I lecta
152                        C.                        La sintassi
155                        D.                        La dottrina delle categorie
156                        E.                        La verità
156                        F.                        Le modalità
158                  20.                  I funtori proposizionali
158                        A.                        La negazione
159                        B.                        L'implicazione
159                              1.                              L'implicazione filoniana
160                              2.                              L'implicazione diodorea
161                              3.                              L'implicazione ‘connessiva’
162                              4.                              L'implicazione ‘inclusiva’
162                        C.                        La disgiunzione
162                              1.                              La disgiunzione completa
163                              2.                              La disgiunzione incompleta
164                        D.                        La congiunzione
165                        E.                        'equivalenza
165                        F.                        Altri funtori
166                  21.                  Argomenti e schemi di inferenza
166                        A.                        Argomenti conclusivi, veri e dimostrativi
168                        B.                        Argomenti non sillogistici
169                        C.                        Uteriori tipi di argomento
170                        D.                        Schemi di inferenza
171                  22.                  Assiomatizzazione. Argomenti composti
171                        A.                        Gli indimostrabili
172                        B.                        I metateoremi
174                        C.                        Derivazione di argmenti composti
175                        D.                        Ulteriori argomenti derivati
176                  23.                  Il Mentitore
177                        A.                        Storia
177                        B.                        Formulazione
178                        C.                        Tentativi di soluzione
181            IV.            La fine dell'antichità
181                  24.                  Il periodo dei commentari e dei manuali
181                        A.                        Caratteristiche ed esame storico
182                        B.                        L'albero di Porfirio
182                        C.                        Il perfezionamento della tecnica logica
184                              1.                              Alessandro di Afrodisia
185                              2.                              Boezio
185                        D.                        Nuova divisione dell'implicazione
187                        E.                        I sillogismi ipotetici di Boezio
188                        F.                        Alterazioni e sviluppo della sillogistica categorica
190                        G.                        La presunta quarta figura
191                        H.                        Il Pons asinorum
193                              1.                              Anticipazione della logica delle relazioni
194                                    Sommario
197      Parte terza      La forma scolastica di logica
199                  25.                  Introduzione alla logica scolastica
199                        A.                        Stato della ricerca
200                        B.                        Periodi provvisori
201                        C.                        Il problema delle fonti
202                        D.                        La logiica e le scuole
203                        E.                        Il metodo
204                        F.                        Le caratteristiche
205            I.            I fondamenti semiotici
205                  26.                  L'oggetto della logica
205                        A.                        I concetti fondamentalii della semiotica
207                        B.                        La logica come teoriaa delle seconde intenzioni
210                        C.                        La logica formale come teoria delle espressioni sincategorematiche
213                        D.                        Il contenuto delle opere
217                  27.                  La supposizione
217                        A.                        Il concetto di supposizione
219                        B.                        Supposizione materiale e suposizione formale
224                        C.                        La supposizione semplice
227                        D.                        La supposizione personale
229                        E.                        Interpretazione in termini moderni
230                  28.                  Ampliamento, appellazione e analogia
230                        A.                        L'ampliamento
233                        B.                        L'appellazione
236                        C.                        L'analogia
238                  29.                  Struttura e senso delle proposizioni
238                        A.                        Divisione delle proposizioni
239                        B.                        L'analisi delle proposizioni
241                        C.                        Analisi delle proposizioni modali: dictum e modus
244                        D.                        Senso composto e senso diviso
247                        E.                        Significato delle proposizioni
250            II.            la logica proposizionale
250                  30.                  Concetto e divisione delle conseguenze
250                        A.                        Esame storico
252                        B.                        La definizione di conseguenza
253                        C.                        Divisione delle conseguenze
257                        D.                        Il significato dell'implicazione
260                        E.                        La disgiunzione
261                  31.                  Le conseguenze proposizionali
261                        A.                        Le proposizoni ipotetiche
262                        B.                        Kilwardby
263                        C.                        Alberto di Sassonia
270                        D.                        Paolo Veneto
273                        E.                        Regole delle conseguenze ut nunc
276            III.            La logica dei termini
276                  32.                  La sillogistica assertoria
276                        A.                        Le prime espressioni mnemoniche
278                        B.                        Barbara-Celarent
282                        C.                        Barbari-Celaront
283                        D.                        La quarta figura
283                              1.                              Vincenzo Ferreri
284                              2.                              In Albalag
287                        E.                        Il metodo combinatorio
287                        F.                        Inventio medii, pons asinorum
290                        G.                        I problema della classe vuota
291                              1.                              Vincenzo Ferreri
292                              2.                              Paolo Veneto
293                              3.                              Giovanni da San Tommaso
294                  33.                  La sillogistica modale
294                        A.                        Alberto Magno
295                        B.                        Lo Pseudo-Scoto
298                        C.                        Guglielmo di Ockham
301                        D.                        La logica delle proposizioni al futuro e al passato
303                  34.                  Altre formule
304                        A.                        I sillogismi con termini singolari
306                        B.                        Analisi di ‘ogni&rs1uo; e di ‘qualche’
308                        C.                        Le proposizioni esponibili
310                        D.                        I sillogismi obliqui
311                  35.                  Le antinomie
311                        A.                        Sviluppo
313                        B.                        Formuazione delle antinomie
313                              1.                              Il Mentitore
314                              2.                              Altre antinomie
316                        C.                        Le soluzioni
316                              1.                              Le prime dodici soluzioni
320                              2.                              La tredicesima soluzione
322                              3.                              La quattordicesima soluzione
323                              4.                              Preliminari alla soluzione di Paolo Veneto
326                              5.                              La soluzione di Paolo Veneto
328                                    Sommario
331      Parte quarta      Il periodo di transizione
333                  36.                  La logica ‘classica’
333                        A.                        L'umanesimo
336                        B.                        Il contenuto
337                        C.                        Lo psiicologismo
338                        D.                        Leibniz
338                        E.                        Comprensione ed estensione
339                        F.                        La quarta figura e i modi subalterni
341                        G.                        I diagrammi sillogistici
341                        H.                        a quantificazione del predicato
Volume IILa logica matematica
331      Parte quinta      La forma matematica di logica
347            I.            Fondamenti generali
347                  37.                  Introduzione alla logica matematica
347                        A.                        Caratteristiche
348                        B.                        Cronologia
349                        C.                        Frege
350                        D.                        I periodi
352                        E.                        Stato della ricerca
353                        F.                        Il metodo
354                  38.                  I metodi della logica matematica
354                        A.                        Il calcolo logico
354                              1.                              Lullo
356                              2.                              Hobbes
356                              3.                              Leibniz
359                              4.                              Lambert
360                              5.                              Gergonne
361                              6.                              Boole
363                              7.                              Peirce
364                        B.                        La teoria della dimostrazione
364                              1.                              Bolzano
366                              2.                              Frege
369                              C.                              La metalogica
372                  39.                  Il concetto di logica
372                        A.                        La posizione logicistica
373                              1.                              Frege: la semantica
375                              2.                              Frege: logica e matematica
377                              3.                              Russell
378                              4.                              Frege: il numero
380                        B.                        Il formalismo
381                        C.                        L'intuizionismo
385            II.            Il primo periodo
385                  40.                  Il calcolo booleano
385                        A.                        De Morgan
387                        B.                        Boole
388                              1.                              Il simbolismo e i concetti fondamentali
391                              2.                              Applicazioni
393                        C.                        La somma logica
395                        D.                        L'inclusione
398                        E.                        Peano
399            III.            La logica proposizionale
399                  41.                  La logica proposizionale: concetti fondamentali e simbolismo
399                        A.                        Boole
402                        B.                        McColl
403                        C.                        Frege
403                              1.                              Contenuto e giudizio
404                              2.                              L'implicazione
406                        D.                        Peirce
408                        E.                        Applicazioni del proprio simbolismo da parte di Frege
409                        F.                        Negazione e somma di Frege
411                        G.                        Il simbolismo logico-proposizionale di Peano
413                        H.                        Sviluppi posteriori del simbolismo logico-proposizionale
414                  42.                  Funzioni, variabili, valori di verità
415                        A.                        La forma logica
416                        B.                        Il concetto di funzione: Frege
418                        C.                        Le funzioni proposizionali: Russell
420                        D.                        Funzioni di più argomenti
422                        E.                        La variabile
422                              1.                              Frege
423                              2.                              Russell
424                        F.                        I valori di verità
428                        G.                        Le matrici di verità
428                              1.                              Peirce
430                              2.                              Wittgenstein
432                        H.                        La procedura di decisione di Łukasiewicz
434                  43.                  La logica proposizionale come sistema
435                        A.                        McColl
437                        B.                        Le regole d'inferenza di Frege
439                        C.                        Leggi proposizionali tratte dal Begriffsschrift
442                        D.                        Whitehead e Russell
442                              1.                              Simboli primitivi e definizioni
443                              2.                              Assiomi (proposizioni primitive)
444                              3.                              Formulazione delle dimostrazioni
445                              4.                              Leggi
448                        E.                        Il funtore di Sheffer
450                        F.                        La formulazione delle dimostrazioni in Łukasiewicz
451            IV.            La logica dei termini
451                  44.                  La logica dei predicati
452                        A.                        I quantificatori
452                              1.                              Mitchell
453                              2.                              Peirce
454                              3.                              Peano
455                              4.                              Frege
459                        B.                        Le variabili apparenti
459                              1.                              Peano
460                              2.                              Whitehead e Russell
461                        C.                        L'implicazione formale
462                        D.                        Leggi dei predicati con un argomento
464                        E.                        Leggi dei predicati con piú argomenti
465                        F.                        L'identità
468                  45.                  La logica delle classi
468                        A.                        Individuo e classe. Il concetto di apparenza
469                        B.                        Intensione ed estensione
472                        C.                        L'articolo plurale
473                        D.                        Definizioni di classi mediante funzioni
474                        E.                        Prodotto e inclusione di classi
475                  46.                  L'esistenza
475                        A.                        La classe vuota
476                        B.                        La classe vuota sillogistica assertoria
478                        C.                        Le descrizioni
478                              1.                              L'articolo definito: Frege
480                              2.                              L'esistenza logica
482                              3.                              Le descrizioni di Russell
485                              4.                              Il simbolismo
487            V.            Altre dottrine
487                  47.                  La logica delle relazioni
487                        A.                        I fondamenti
487                              1.                              De Morgan
490                              2.                              Peirce
493                              3.                              Russell
493                              4.                              Principia
499                        B.                        Le successioni
500                              1.                              Frege
501                              2.                              Principia
502                        C.                        L'isomorfia
503                  48.                  Antinomie e teorie dei tipi
503                        A.                        Esame storico
504                        B.                        Le antinomie
507                        C.                        Anticipazione della teoria dei tipi
510                        D.                        La teoria ramificata dei tipi
514                        E.                        L'ambiguità sistematica
516                        F.                        L'assioma di riducibilità
518                        G.                        La teoria dei tipi semplici
518                              1.                              Chwistek
519                              2.                              Ramsey
522                  49.                  Alcune dottrine recenti
522                        A.                        L'implicazione rigida: Lewis
526                        B.                        Le logiche a più valori: Łukasiewicz
528                        C.                        Il teorema di Gödel
533                                                Sommario
535      Parte sesta      La forma indiana di logica
537                  50.                  Introduzione alla logica indiana
537                        A.                        Esame storico
539                        B.                        L'evoluzione della logica formale
540                        C.                        Stato della ricerca
542                        D.                        Il metodo
543                  51.                  I precursori
543                        A.                        Il Milinda-pañha
543                        B.                        Il Kathāvatthu
546                        C.                        La formula dai dieci membri
548                  52.                  Il Vaiśeṣika-sūtra e il Nyāya-sūtra
548                        A.                        Il Vaiśeṣika-sūtra
548                              1.                              La dottrina delle categorie
549                              2.                              L'inferenza
550                        B.                        Il Nyāya-sūtra
550                              1.                              Il testo
552                              2.                              Il commentario di Vātsyāyana
554                              3.                              Interpretazione
556                  53.                  La nascita della logica formale
556                        A.                        Le principali tappe di sviluppo
557                        B.                        La terminologia
557                        C.                        Il sillogismo dai tre membri
560                        D.                        La regola dai tre membri: trairūpya
561                        E.                        La ruota delle ragioni: hetu-cakra
563                        F.                        ‘Eva’
563                        G.                        la connessione universale
565                        H.                        La forma finale della dottrina
565                              1.                              Il testo
566                              2.                              Interpretazione
567                  54.                  Alcune dottrine logiche
567                        A.                        L'apoha
568                        B.                        Definizioni della vyāpti
570                        C.                        Alcuni concetti fondamentali
572                        D.                        LA legge della doppia negazione
573                        E.                        Logica delle relazioni, definizione di numero
577Riferimenti bibliografici
595Bibliografia
599                  1.                  Problemi generali
605                  2.                  La forma greca di logica
624                  3.                  La forma scolastica di logica
653                  4.                  I periodo di transizione
661                  5.                  La forma matematica di logica
704                  6.                  la forma indiana di logica
717Indice dei nomi
723Indice dei simboli logici
725Indice delle parole e delle lettere mnemoniche
727Indice analitico
_

 [i][c] CRONOLOGIA:
1900 1900 2000 2000 1950 2050 Bocheński, Józef Maria ( 1902.083 - 1995.0208 ) Conte, Alberto ( 1942.0322 - ) 1802.083 4518.011 1972.0715 https://en.wikipedia.org/wiki/J%C3%B3zef_Maria_Boche%C5%84ski https://it.wikipedia.org/wiki/Alberto_Conte


Generato il giorno: 2018-01-10T19:43:40+01:00 (Unix Time: 1515609820)
Precedente aggiornamento il giorno:2017.1108
Prima registrazione il giorno: 2017,0226
Aggiornato 14 volte


Dimensione approssimata della pagina: 155773 caratteri (body: 154550)


Versione: 1.0.24