Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This new book on mathematical logic by Jeremy Avigad gives a thorough introduction to the fundamental results and methods of the subject from the syntactic point of view, emphasizing logic as the study of formal languages and systems and their proper use. Topics include proof theory, model theory, the theory of computability, and axiomatic foundations, with special emphasis given to aspects of mathematical logic that are fundamental to computer science, including deductive systems, constructive logic, the simply typed lambda calculus, and type-theoretic foundations. Clear and engaging, with plentiful examples and exercises, it is an excellent introduction to the subject for graduate students and advanced undergraduates who are interested in logic in mathematics, computer science, and philosophy, and an invaluable reference for any practicing logician's bookshelf.

Logic, Symbolic and mathematical.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Questo studio sull'opera filosofica più ambiziosa di Christoph Sigwart (1830-1904) si concentra su un'idea di logica della conoscenza. Un'idea che non si conforma al modello kantiano, perché rinuncia ad attribuire universalità e necessità alle leggi che definiscono a priori le condizioni trascendentali della conoscenza. Un'idea che sviluppa un diverso significato di "trascendentale" e "a priori", privo dell'esigenza di uno statuto epistemico speciale rispetto a quello richiesto dalle altre scienze empiriche. Intrecciata nella stessa contingenza che caratterizza i risultati di queste scienze, una tale logica della conoscenza può approntare critiche adeguate alla mobilità di questi risultati. La scelta di esplorare questa possibilità proprio attraverso un'analisi della Logik (1904) è motivata dalla convinzione che questo lavoro, smarcato dalle pastoie del Novecento, sia in grado di offrire, oggi, un'alternativa alla dismissione del progetto di un'epistemologia in prospettiva trascendentale. Ma quest'opera è anche un accesso dimenticato al vivace laboratorio postkantiano che, nella Germania a cavallo tra XIX e XX secolo, produce un modello di filosofia scientifica che ha influenzato profondamente il successivo dibattito epistemologico. Questo studio si propone, quindi, anche di introdurre il lettore ai principali temi epistemologici affrontati da Sigwart e dalla tradizione kantiana a cui Sigwart appartiene.

Logic. --- Logic, Symbolic and mathematical.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Questo studio sull'opera filosofica più ambiziosa di Christoph Sigwart (1830-1904) si concentra su un'idea di logica della conoscenza. Un'idea che non si conforma al modello kantiano, perché rinuncia ad attribuire universalità e necessità alle leggi che definiscono a priori le condizioni trascendentali della conoscenza. Un'idea che sviluppa un diverso significato di "trascendentale" e "a priori", privo dell'esigenza di uno statuto epistemico speciale rispetto a quello richiesto dalle altre scienze empiriche. Intrecciata nella stessa contingenza che caratterizza i risultati di queste scienze, una tale logica della conoscenza può approntare critiche adeguate alla mobilità di questi risultati. La scelta di esplorare questa possibilità proprio attraverso un'analisi della Logik (1904) è motivata dalla convinzione che questo lavoro, smarcato dalle pastoie del Novecento, sia in grado di offrire, oggi, un'alternativa alla dismissione del progetto di un'epistemologia in prospettiva trascendentale. Ma quest'opera è anche un accesso dimenticato al vivace laboratorio postkantiano che, nella Germania a cavallo tra XIX e XX secolo, produce un modello di filosofia scientifica che ha influenzato profondamente il successivo dibattito epistemologico. Questo studio si propone, quindi, anche di introdurre il lettore ai principali temi epistemologici affrontati da Sigwart e dalla tradizione kantiana a cui Sigwart appartiene.

Logic. --- Logic, Symbolic and mathematical.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This textbook gives a complete and modern introduction to mathematical logic. The author uses contemporary notation, conventions, and perspectives throughout, and emphasizes interactions with the rest of mathematics. In addition to covering the basic concepts of mathematical logic and the fundamental material on completeness, compactness, and incompleteness, it devotes significant space to thorough introductions to the pillars of the modern subject: model theory, set theory, and computability. Requiring only a modest background of undergraduate mathematics, the text can be readily adapted for a variety of one- or two-semester courses at the upper-undergraduate or beginning-graduate level. Numerous examples reinforce the key ideas and illustrate their applications, and a wealth of classroom-tested exercises serve to consolidate readers' understanding. Comprehensive and engaging, this book offers a fresh approach to this enduringly fascinating and important subject.

Logique mathématique. --- Logic, Symbolic and mathematical.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Bayesian statistical decision theory. --- Logic, Symbolic and mathematical.