| 내용 |
Introduction: Logic, philosophical logic / Dale Jacquette -- Ancient greek philosophical logic / Robin Smith -- History of logic: medieval / E.P. Bos, B.G. Sundholm -- The rise of modern logic / Rolf George, James Van Evra -- Language, logic, and form / Kent Bach -- Puzzles about intensionality / Nathan Salmon -- Symbolic logic and natural language / Emme Borg, Ernest Lepore -- Logical paradoxes / James Cargile -- Semantical and logical paradox / Keith Simmons -- Philosophical implications of logical paradoxes / Roy A. Sorensen -- Truth, the liar, and Tarski's semantics / Gila Sher / Truth, the liar, and Tarskian truth definition / Greg Ray -- Descriptions and logical form / Gary Ostertag -- Russell's theory of definite descriptions as a paradigm for philosophy / Gregory Landini -- Necessity, meaning, and rationality: the notion of logical consequence / Stewart Shapiro -- Varieties of consequence / B.G. Sundholm -- Modality of deductively valid inference / Dale Jacquette -- Quantifiers,being, and canonical notation / Paul Gochet -- From logic to ontology: some problems of prediction, negation, and possibility / Herbert Hochberg -- Putting language first: the 'liberation' of logic from ontology / Ermanno Bencivenga -- Metatheory / Alasdair Urquhart -- Metatheory of logics and the characterization problem / Jan Wole?ski -- Logic in finite structures: definability, complexity, and randomness / Scott Weinstein -- Logic and ontology: numbers and sets / Jo?e A. Benardete -- Logical foundations of set theory and mathematics / Mary Tiles -- Property-theoretic foundations of mathematics / Michael Jubien -- Modal logic / Johan van Benthem -- First-order alethic modal logic / Melvin Fitting -- Proofs and expressiveness in alethic modal logic / Maarten de Rijke, Hainrich Wansing -- Alethic modal logics and semantics / Gerhard Schurz -- Epistemic logic / Nicholas Rescher -- Deontic, Epistemic, Temporal modal logics / Risto Hilpinen -- Intuitonism / Dirk van Dalen, Mark van Atten -- Many-valued, free, and intuitionistic logics / Richard Grandy -- Many-valued logic / Grzegorz Malinowski -- Inductive logic / Stephan Glaister -- Heterodox probability theory / Peter Forrest -- Why fuzzy logic? / Peter Hajek -- Revelance logic / Edwin D. Mares -- On paraconsistency / Bryson Brown -- Logicians setting together contradictories: a perspective on relevance, paraconsistency, and dialetheism / Graham Priest -- The logical and physical / Andrew Hodges -- Modern logic and its role in the study of knowledge / Peter A. Flach -- Actions and normative positions: a modal-logical approach / Robert Demolombe, Andrew J.I. Jones -- The automation of sound reasoning and successful proof finding / Larry Wos, Brandon Fitelson -- A computational logic for applicative common LISP / Matt Kaufmen, J. Strother Moore -- Sampling labeled deductive systems / D. M. Gabbay.
|
