| 0.01 | | [collana] |
| 0.02 | | [colophon] |
| 0.03 | | [frontespizio] |
| 0.05 | | Indice |
| 0.06 | | __ |
| 0.06 | | ___ |
| 1 | | [titolo] |
| 3 | | Introduzione [ di Armando De Palma ] |
| 13 | | Avvertenza |
| 15 | | La sintassi logica del linguaggio [ di Rudolf Carnap ] |
| 16 | | Nota del curatore [ di Armando De Palma ] |
| 19 | 1. | Che cos'è la sintassi logica? |
| 22 | 2. | Linguaggi come calcoli |
| 29 | | La connessione sintattica [ di Kazimierz Ajdukiewicz ] |
| 31 | | Nota del curatore [ di Armando De Palma ] |
| 33 | I. | |
| 33 | 1. | |
| 34 | 2. | |
| 37 | 3. | |
| 38 | 4. | |
| 40 | 5. | |
| 45 | 6. | |
| 48 | II. | |
| 48 | 7. | |
| 50 | 8. | |
| 52 | 9. | |
| 56 | 10. | |
| 57 | III. | |
| 57 | 11. | |
| 58 | 12. | |
| 59 | 13. | |
| 63 | | Riduzioni formali del problema di decisione combinatorio generale [ di Emil Leon Post ] |
| 65 | | Nota del curatore [ di Armando De Palma ] |
| 69 | 1. | Introduzione. |
| 80 | 2. | Riduzione della forma canonica alla forma normale. |
| 97 | | Insiemi ricorsivamente enumerabili di interi positivi e loro problemi di decisione [ di Emil Leon Post ] |
| 99 | | Nota del curatore [ di Armando De Palma ] |
| 103 | | Introduzione |
| 112 | 1. | Insiemi ricorsivi contro insiemi ricorsivamente enumerabili. |
| 115 | 2. | Una forma del teorema di Gödel. |
| 119 | 3. | L'insieme completo K; insiemi creativi. |
| 121 | 4. | Riducibilità biunivoca K; riducibilità univoca. |
| 123 | 5. | Gli insiemi semplici. |
| 125 | 6. | Riducibilità con le tavole di verità. |
| 127 | 7. | Non riducibilità degli insiemi creativi agli insiemi semplici con tavole di verità limitate. |
| 131 | 8. | Un esempio contrario per le tavole di verità illimitate. |
| 133 | 9. | Gli insiemi ipersemplici. |
| 137 | 10. | Non riducibilità degli insiemi creativi agli insiemi ipersemplici con tavole di verità illimitate. |
| 141 | 11. | La riducibilità (di Turing) generale. |
| 149 | | Sintassi logica e semantica [ di Yehoshua Bar-Hillel ] |
| 151 | | Nota del curatore [ di Armando De Palma ] |
| 165 | | Sintassi logica e semantica: la loro pertinenza linguistica [ di Avram Noam Chomsky ] |
| 167 | | Nota del curatore [ di Armando De Palma ] |
| 186 | | Yehoshua Bar-Hillel sulla linguistica e la metateoria [ di Rudolf Carnap ] |
| 188 | | Nota del curatore [ di Armando De Palma ] |
| 197 | | Tre modelli per la descrizione della lingua [ di Avram Noam Chomsky ] |
| 199 | | Nota del curatore |
| 203 | 1. | Introduzione. |
| 206 | 2. | Processi markoviani a stati finiti |
| 206 | 2.1. | |
| 207 | 2.2. | |
| 209 | 2.3. | |
| 210 | 2.4. | |
| 213 | 3. | La struttura sintagmatica. |
| 213 | 3.1. | |
| 214 | 3.2. | |
| 215 | 3.3. | |
| 218 | 3.4. | |
| 219 | 3.5. | |
| 222 | 3.6. | |
| 222 | 4. | Inadeguatezze della grammatica a struttura sintagmatica. |
| 222 | 4.1. | |
| 225 | 4.2. | |
| 227 | 5. | La grammatica trasformazionale. |
| 227 | 5.1. | |
| 229 | 5.2. | |
| 231 | 5.3. | |
| 233 | 6. | La capacità esplicativa delle teorie linguistiche. |
| 237 | | La matematica della struttura di frase [ di Joachim Lambek ] |
| 239 | | Nota del curatore [ di Armando De Palma ] |
| 241 | 1. | Introduzione. |
| 242 | 2. | Tipi sintattici. |
| 244 | 3. | Lista deitipi per un frammento di inglese. |
| 247 | 4. | Sistemi formali. |
| 250 | 5. | Il computo dei tipi in inglese. |
| 252 | 6. | Pronomi. |
| 255 | 7. | Il calcolo sintattico. |
| 258 | 8. | Il procedimento di decisione. |
| 261 | 9. | Prova del teorema di Gentzen. |
| 263 | 10. | Osservazioni algebriche. |
| 265 | | Alcune proprietà formali delle grammatiche. [ di Avram Noam Chomsky ] |
| 267 | | Nota del curatore [ di Armando De Palma ] |
| 271 | 1. | |
| 274 | 2. | |
| 279 | 3. | |
| 281 | 4. | |
| 286 | 5. | |
| 291 | 6. | |
| 311 | | Procedimenti di decisione per la struttura delle lingue naturali [ di Yehoshua Bar-Hillel ] |
| 313 | | Nota del curatore [ di Armando De Palma ] |
| 329 | | Alcuni aspetti logici della struttura grammaticale [ di Haskell Brooks Curry ] |
| 331 | | Nota del curatore [ di Armando De Palma ] |
| 333 | 1. | Introduzione. |
| 334 | 2. | Il linguaggio e la logica matematica. |
| 335 | 3. | Un linguaggio semplice. |
| 337 | 4. | La semiotica. |
| 340 | 5. | I sintagmi e la loro classificazione fondametale. |
| 341 | 6. | I funtori |
| 345 | 7. | Osservazioni conclusive. |
| 351 | | Restrizioni al componente di base delle grammatiche trasformazionali [ di P. Stanley Peters ET Robert W. Ritchie ] |
| 353 | | Nota del curatore [ di Armando De Palma ] |
| 357 | 1. | Introduzione. |
| 361 | 2. | Risultati preliminari. |
| 373 | 3. | Basi limitate. |
| 378 | 4. | Grammatiche trasformazionali con ciclaggio limitato. |
| 383 | | Appendice |
| 397 | | Bibliografia |
| 413 | | Indice analitico |
| 422 | | _ |
| 424 | | [tipografia] |
| 426 | | ___ |
