Matteo Bianchetti - Le molte versioni della conseguenza logica - SELP

More documents

Recommendations

Info

Introduction In questa introduzione intendo fornire solo un breve accenno alla struttura e ai contenuti di questo libro, rimandando allle introduzioni di ognuna delle sue parti per trovare indicazioni più speci…che. Questo lavoro intende occuparsi della nozione di conseguenza logica. Il mio obiettivo principale è quello di mostrare, in parte con numerose analisi di esempi storici e in parte con l’analisi di nozioni tecniche e formali usate nella ricerca contemporanea, come questa nozione possa essere caratterizzata in molti modi e da diversi punti di vista. I motivi di questa diversità sono moltepici e spesso esterni alla logica (di natura meta…sica, pragmatica o epistemica, per esempio). Con questo lavoro intendo mostrare i vari aspetti di questa molteplicità e mettere in luce le ragioni che, di volta in volta, hanno spinto certi autori a preferire una certa caratterizzazione della nozione di conseguenza logica piuttosto che un’altra e l’intreccio che si stabilisce fra ricerca logica, nozioni logiche, convinzioni meta…siche e considerazioni circa l’uso a cui destinare la logica. Il lavoro si suddivide in due grandi sezioni. Nella prima mi dedico a ricerche di carattere storico, considerando, senza pretese di completezza, alcuni momenti particolarmente signi…cativi ed interessanti. Il confronto con diverse ri‡essioni sulla natura della logica e sulla caratterizzazione della conseguenza logica, ci permetterà di sviluppare un robusto senso della complessità di questa nozione e di evitare facili e semplicistiche prese di posizione unilaterali che, invece, come vedremo, si possono trovare in alcuni lavori contemporanei. Nella seconda sezione mi occupo di ricerche dal carattere più tecnico e formale. Prendendo le mosse da un’idea elaborata Tarski al principio degli anni ’30, mostro come è possibile studiare la nozione di conseguenza logica in generale come una relazione de…nita su un insieme di formule di un linguaggio formale e a prescindere da una sua particolare presentazione, sintattica o semantica. Da qui si sviluppano delle ri‡essioni su alcune proprietà che possono essere attribuite a questa relazione, al modo con cui questa relazione può essere speci…cata come un calcolo o come una semantica e, in…ne mi so¤ermo a considerare alcune questioni relativa alle semantiche basate sulle matrici. In entrambe le parti, cerco di sviluppare il più possibile le ri‡essioni che mostrano il senso delle scelte che si compiono, del perché si intende descrivere la conseguenza logica proprio in un certo modo, che cosa ciò comporta, a quali problemi si intende rispondere e quali nuove questioni sono stimolate da queste scelte. Questi diversi modi di caratterizzare la nozione di conseguenza logica si xi
xii INTRODUCTION legano a diversi modi di intenderla e a diversi modi di valorizzare i suoi molteplici aspetti ed intendo portare il più possibile alla luce questi collegamenti e questi presupposti. Come ho detto, informazioni più speci…che sul contenuto delle singole parti e, poi, anche delle singole sezioni, sono state inserite nelle premesse alle parti e alle sezioni. In esse e, poi, nella conclusione, oltre che spesso inserite anche nei capitoli, è possibile ritrovare anche considerazioni circa l’obiettivo generale della mia ricerca e il senso del compiere queste ri‡essioni.
Page 1 and 2: UNIVERSITÀ DEGLI STUDI DI MILANO F
Page 4 and 5: Indice Preface ix Introduction xi I
Page 6 and 7: INDICE v 5.3.2 LOGICA COME TEORIA M
Page 8 and 9: INDICE vii IV ABBREVIAZIONI E BIBLI
Page 10 and 11: Preface Vi sono varie persone che,
Page 14: Parte I ASPETTI STORICI DELLA CONSE
Page 17 and 18: 4 CAPITOLO 1. PREMESSA preoccupato
Page 19 and 20: 6 CAPITOLO 1. PREMESSA erale. In qu
Page 21 and 22: 8 CAPITOLO 2. LA CONSEGUENZA SILLOG
Page 23 and 24: 10 CAPITOLO 2. LA CONSEGUENZA SILLO
Page 63 and 64:
50 CAPITOLO 2. LA CONSEGUENZA SILLO
Page 65 and 66:
52CAPITOLO 3. FORMALITÀ E REGOLE:
Page 67 and 68:
Page 69 and 70:
Page 71 and 72:
Page 73 and 74:
Page 75 and 76:
Page 77 and 78:
Page 79 and 80:
Page 81 and 82:
Page 83 and 84:
Page 85 and 86:
Page 87 and 88:
Page 89 and 90:
Page 91 and 92:
78 CAPITOLO 4. BOLZANO: DEDUCIBILIT
Page 93 and 94:
Page 95 and 96:
Page 97 and 98:
Page 99 and 100:
Page 101 and 102:
Page 103 and 104:
Page 105 and 106:
Page 107 and 108:
Page 109 and 110:
Page 111 and 112:
Page 113 and 114:
100 CAPITOLO 4. BOLZANO: DEDUCIBILI
Page 115 and 116:
Page 117 and 118:
Page 119 and 120:
106CAPITOLO 5. TRA ’800 E ’900:
Page 121 and 122:
108CAPITOLO 5. TRA ’800 E ’900:
Page 123 and 124:
110CAPITOLO 5. TRA ’800 E ’900:
Page 125 and 126:
112CAPITOLO 5. TRA ’800 E ’900:
Page 127 and 128:
114CAPITOLO 5. TRA ’800 E ’900:
Page 129 and 130:
116CAPITOLO 5. TRA ’800 E ’900:
Page 131 and 132:
118CAPITOLO 5. TRA ’800 E ’900:
Page 133 and 134:
120CAPITOLO 5. TRA ’800 E ’900:
Page 135 and 136:
122CAPITOLO 5. TRA ’800 E ’900:
Page 137 and 138:
124CAPITOLO 5. TRA ’800 E ’900:
Page 139 and 140:
126CAPITOLO 5. TRA ’800 E ’900:
Page 141 and 142:
128CAPITOLO 5. TRA ’800 E ’900:
Page 143 and 144:
130CAPITOLO 5. TRA ’800 E ’900:
Page 145 and 146:
132CAPITOLO 5. TRA ’800 E ’900:
Page 147 and 148:
134CAPITOLO 5. TRA ’800 E ’900:
Page 149 and 150:
136CAPITOLO 5. TRA ’800 E ’900:
Page 151 and 152:
138CAPITOLO 5. TRA ’800 E ’900:
Page 153 and 154:
140CAPITOLO 6. SISTEMI DEDUTTIVI E
Page 155 and 156:
Page 157 and 158:
Page 159 and 160:
Page 161 and 162:
Page 163 and 164:
Page 165 and 166:
Page 167 and 168:
Page 169 and 170:
Page 171 and 172:
Page 173 and 174:
Page 175 and 176:
Page 177 and 178:
Page 179 and 180:
Page 181 and 182:
Page 183 and 184:
Page 185 and 186:
Page 187 and 188:
Page 189 and 190:
Page 191 and 192:
178CAPITOLO 7. CONSEGUENZA LOGICA E
Page 193 and 194:
Page 195 and 196:
Page 197 and 198:
Page 199 and 200:
Page 201 and 202:
Page 203 and 204:
Page 205 and 206:
Page 207 and 208:
Page 209 and 210:
Page 211 and 212:
Page 213 and 214:
Page 216 and 217:
Capitolo 8 ALCUNE PROPRIETÀ DELLA
Page 218 and 219:
8.2. CONSEGUENZA LOGICA IN GENERALE
Page 220 and 221:
8.2. CONSEGUENZA LOGICA IN GENERALE
Page 222 and 223:
8.3. RIFLESSIVITÀ 209 8.3 RIFLESSI
Page 224 and 225:
8.4. MONOTONIA 211 di conseguenza n
Page 226 and 227:
8.5. TRANSITIVITÀ 213 seguono da t
Page 228 and 229:
8.6. STRUTTURALITÀ 215 fatto che s
Page 230 and 231:
8.6. STRUTTURALITÀ 217 proporrà a
Page 232 and 233:
8.6. STRUTTURALITÀ 219 che, infatt
Page 234 and 235:
8.6. STRUTTURALITÀ 221 occorre ten
Page 236 and 237:
Capitolo 9 CONSEGUENZA LOGICA PER S
Page 238 and 239:
9.2. LINGUAGGI ENUNCIATIVI 225 Ogni
Page 240 and 241:
9.2. LINGUAGGI ENUNCIATIVI 227 9.2.
Page 242 and 243:
9.3. CONSEGUENZA LOGICA COME RELAZI
Page 244 and 245:
Page 246 and 247:
Page 248 and 249:
Page 250 and 251:
Page 252 and 253:
Page 254 and 255:
Page 256 and 257:
Page 258 and 259:
Page 260 and 261:
Page 262 and 263:
Page 264 and 265:
Page 266 and 267:
Page 268 and 269:
Page 270 and 271:
Page 272 and 273:
Page 274 and 275:
Page 276 and 277:
Page 278 and 279:
Page 280 and 281:
Page 282 and 283:
Page 284 and 285:
Page 286 and 287:
Page 288 and 289:
Page 290 and 291:
Page 292 and 293:
Page 294 and 295:
Page 296 and 297:
Page 298 and 299:
Page 300 and 301:
Page 302 and 303:
Page 304 and 305:
Page 306 and 307:
Page 308 and 309:
Capitolo 10 MATRICI In questo capit
Page 310 and 311:
10.1. SEMANTICA ALGEBRICA 297 la cl
Page 312 and 313:
10.2. MATRICI 299 è soddisfabile i
Page 314 and 315:
10.2. MATRICI 301 Corollary 118 hF
Page 316 and 317:
10.2. MATRICI 303 (= ) Assumiamo [a
Page 318 and 319:
10.2. MATRICI 305 La denominazione
Page 320 and 321:
10.3. MATRICI DI LINDENBAUM E BLOCC
Page 322 and 323:
Page 324 and 325:
Page 326 and 327:
Page 328 and 329:
Page 330 and 331:
Page 332 and 333:
Page 334 and 335:
Page 336 and 337:
10.4. APPENDICE 323 Un sistema S no
Page 338:
Parte III CONCLUSIONE 325
Page 341 and 342:
328 CAPITOLO 11. UNA RELAZIONE MULT
Page 343 and 344:
Page 345 and 346:
Page 348 and 349:
Aristotele APo Analitici secondi AP
Page 350 and 351:
Bernstein B. A. [1925] Sets of Post
Page 352 and 353:
Brouwer [1957] Collected Works, 1,
Page 354 and 355:
Etchemendy J. [1990] The Concept of
Page 356 and 357:
Gabbay D. M. [1995] Intuitionistic
Page 358 and 359:
Haaparanta L. [2009] The Developmen
Page 360 and 361:
Jansana R. [2011] Propositional Con
Page 362 and 363:
Makinson D. [2005] How to Go Nonmon
Page 364 and 365:
Paul-Wissowa [1931] Realencyclopäd
Page 366 and 367:
Rusnock P., Burke M. [2010] Etcheme
Page 368 and 369:
Tarski [1929] Les fondements de la
Page 370 and 371:
Tarski A. [1983] Logic, Semantics,
show all

Matteo Bianchetti - Le molte versioni della conseguenza logica - SELP

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?