Atti del Convegno internazionale di storia della logica : San

INDICE
pago
Presentazione
V
Elenco degli au tori ................. 0........................................................ VIII
Indice ...........................................................................................
IX
0000000000000000000000000000000 ••• 0
• • 00 • • 00 • • 00 • • 0
.............. 0................
Relazioni
C.A. Viano, La proposizione in Aristotele ...........................................
J. Berg, Aristotle's theory of definition ...............................................
V. Sainati, Per una nuova lettura della sillogistica modale aristote/ica .......
M. Mignucci, Alessandro di Afrodisia e la logica modale di Crisippo ........
D.P. Henry, New aspects of medieval logic ..........................................
G. Nuchelmans, Medieval problems concerning substitutivity (Paul of Venice, Logica Magna, II, 11, 7-8) ...........................................................
K. Jacobi, Abelard and Frege: the semantics of words and propositions....
C.E. Vasoli, Logica ed 'enciclopedia' nella cultura tedesca del tardo Cin-
quecento e del primo Seicento: Bartholomaeus Keckermann ....................
M. Mugnai, Aile origini dell'algebra della logica ...................................
G. Lolli, Quasi alphabetum. Logic and encyclopedia in G. Peano ............
C. Mangione, S. Bozzi, About some problems in the history of mathematical logic ........................................................................................
Ch. Thiel, Some difficulties in the historiography of modern logic............
A.S. Troelstra, Logic in the writings of Brouwer and Heyting .................
E. Borger, From decision problems to complexity theory. A survey..........
3
19
31
47
59
69
81
97
117
133
157
175
193
211
Cornunicazioni
N. Offenberger, Sulla 'equivalenza' deg/i enunciati 'strettamente' particolari in prospettiva tetravalente ............................................................. 219
P. Cosenza, Procedimenti di trasformazione nella sillogistica di Aristotele 223
W. Cavini, La teoria stoica della negazione .......................................... 229
x
IND1CE
pag.
M. Nasti de Vincentis, Chrysippean implication as strict equivalence .........
E. Galanti, True arguments and valid arguments. Apropos oj Sextus Empidcus, Pyrrhoneiae Hypotyposeos II, 188-92 .........................................
A.D. Conti, La teoria degli ad aliquid di Boezio: osservazioni sulla terminologia .........................................................................................
R. Pinzani, Le 'propositiones coniuncte temporales' nel De Ypoteticis di
Abelardo ......................................................................................
R. Cordeschi, I sillogismi di Lullo ......................................................
G.C. Giacobbe, La Logica demonstrativa di Gerolamo Saccheri ...............
M. Capozzi, Sillogismi e <ars inveniendi' in J.H. Lambert ......................
R. Pozzo, Logica e <Realphilosophie' negli scritti jenensi di Hegel............
D. Buzzetti, Benjamin Humphrey Smart and John Stuart Mill: logic and
parts oj speech ...............................................................................
P. Freguglia, Injluenze algebriche sull'opera di Boole: W.R. Hamilton e G.
Peacock ........................................................................................
N. Guicciardini, Cambridge mathematics and algebra oj logic: pure analytics, Cauchy's methodology and divergent series...................................
M. Ferriani, Boole, Frege e la distinzione leibniziana 'Lingua-Calculus' .....
E. Picardi, On Frege's notion oj Inhalt ...............................................
P. Casalegno, Lo strano caso del dr. Gustav Lauben .............................
G.A. Corsi, A note oj indexicals and Frege's notion oj sense ..................
F. Gana, Una questione di priorita nella dejinizione di insiemejinito ........
U. Bottazzini, Sui Calcolo geometrico di Peano ....................................
M. Borga, P. Freguglia, D. Palladino, Su alcuni contributi di Peano e della
sua scuola alla logica matematica .......................................................
P .A. Giustini, Geometria ed assiomatica .............................................
R. Simili, W.E. Johnson e il concetto di proposizione ............................
C. Pizzi, II problema dei determinabili nella logica del '900 .....................
G. Pretto, G. Sambin, Mistica come etica della jilosojia della matematica
di L.E.J. Brouwer..........................................................................
F. Arzarello, Classical mathematics in Brouwer intuitionism and intuitionism in Brouwer classical mathematics .;..............................................
V.M. Abrusci, Paul Hertz's logical works. Contents and relevance ...........
T. Tonietti, Le due tappe del jormalismo di Hilbert e la controversia con
Brouwer .......................................................................................
E. Moriconi, Sui tentativo hilbertiano di dimostrare i'ipotesi del continuo
di Cantor ......................................................................................
S. Quaranta, II teorema di Herbrand: semantica <costruttiva' e completezza
235
241
247
253
259
265
271
277
283
289
295
301
307
313
319
325
331
337
343
347
353
359
363
369
375
381
387
D. Costantini, M.e. Galavotti, Osservazioni sullo sviluppo storico della nozione di casualita ........................................................................... .
393