96195

edited by Leila Haaparanta

Oxford New York Oxford University Press

2009

x, 994 p.

Includes bibliographical references an​d index , Introduction / Leila Haaparanta -- Late medieva​l logic / Tuomo Aho an​d Mikko Yrj�nsuuri -- Logic an​d philosophy of logic from humanism to Kant / Mirella Capozzi an​d Gino Roncaglia -- The mathematical origins of nineteenth-century algebra of logic / Volker Peckhaus -- Gottlob Frege an​d the interplay between logic an​d mathematics / Christian Thiel -- The logic question during the first half of the nineteenth century / Risto Vilkko -- The relations between logic an​d philosophy, 1874-1931 / Leila Haaparanta -- A century of judgment an​d inference, 1837-1936 : some strands in the development of logic / G�ran Sundholm -- The development of mathematical logic from Russell to Tarski, 1900-1935 / Paolo Mancosu, Richard Zach, an​d Calixto Badesa -- Set theory, model theory, an​d computability theory / Wilfrid Hodges -- Proof theory of classical an​d intuitionistic logic / Jan von Plato -- Modal logic from Kant to possible worlds semantics / Tapio Korte, Ari Maunu, an​d Tuomo Aho -- Conditionals an​d possible worlds : on C.S. Peirceʹs conception of conditionals an​d modalities / Risto Hilpinen -- Logic an​d semantics in the twentieth century / Gabriel Sandu an​d Tuomo Aho -- The philosophy of alternative logics / Andrew Aberdein an​d Stephen Read -- Philosophy of inductive logic : the Bayesian perspective / Sandy Zabell -- Logic an​d linguistics in the twentieth century / Alessandro Lenci an​d Gabriel Sandu -- Logic an​d artificial intelligence / Richmond H. Thomason -- Indian logic / J.N. Mohanty ... [et al.].

AU Haaparanta, Leila, 1954-

160

.9

D491

2009

2008016767

همدم نوروزي