Listing 1 - 10 of 125 | << page >> |
Sort by
|
Choose an application
Linguistics --- Mathematical logic --- Modality (Logic) --- Semantics (Philosophy) --- Grammar, Comparative and general --- Intension (Philosophy) --- Logical semantics --- Semantics (Logic) --- Semeiotics --- Significs --- Syntactics --- Unified science --- Language and languages --- Logic, Symbolic and mathematical --- Logical positivism --- Meaning (Psychology) --- Philosophy, Modern --- Semiotics --- Signs and symbols --- Symbolism --- Analysis (Philosophy) --- Definition (Philosophy) --- Modal logic --- Logic --- Nonclassical mathematical logic --- Bisimulation --- Comparative grammar --- Grammar --- Grammar, Philosophical --- Grammar, Universal --- Philosophical grammar --- Philology --- Grammar, Comparative --- Grammar, Comparative and general. --- Modality (Logic). --- Semantics (Philosophy).
Choose an application
The Handbook of the Logic of Argument and Inference is an authoritative reference work in a single volume, designed for the attention of senior undergraduates, graduate students and researchers in all the leading research areas concerned with the logic of practical argument and inference. After an introductory chapter, the role of standard logics is surveyed in two chapters. These chapters can serve as a mini-course for interested readers, in deductive and inductive logic, or as a refresher. Then follow two chapters of criticism; one the internal critique and the other the empirical critique. The first deals with objections to standard logics (as theories of argument and inference) arising from the research programme in philosophical logic. The second canvasses criticisms arising from work in cognitive and experimental psychology. The next five chapters deal with developments in dialogue logic, interrogative logic, informal logic, probability logic and artificial intelligence. The last chapter surveys formal approaches to practical reasoning and anticipates possible future developments. Taken as a whole the Handbook is a single-volume indication of the present state of the logic of argument and inference at its conceptual and theoretical best. Future editions will periodically incorporate significant new developments.
Logica. --- Argumentatie. --- Logic, Symbolic and mathematical. --- Logique symbolique et mathématique --- Logique mathématique --- Logic, Symbolic and mathematical --- 681.3*F41 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23}
Choose an application
Choose an application
Intuitionistic mathematics --- Heyting, A --- Constructive mathematics --- Mathematics --- Heyting, A. --- Intuitionistic mathematics. --- Heyting, Arend, --- Heyting, A - (Arend), - 1898 --- -Intuitionistic mathematics --- -Intuitionistic mathematics. --- Heyting, A - (Arend), - 1898-
Choose an application
The notion of negation is one of the central logical notions. It has been studied since antiquity and has been subjected to thorough investigations in the development of philosophical logic, linguistics, artificial intelligence and logic programming. The properties of negation-in combination with those of other logical operations and structural features of the deducibility relation-serve as gateways among logical systems. Therefore negation plays an important role in selecting logical systems for particular applications. At the moment negation is a 'hot topic', and there is an urgent need for a comprehensive account of this logical key concept. We therefore have asked leading scholars in various branches of logic to contribute to a volume on "What is Negation?". The result is the present neatly focused collection of re search papers bringing together different approaches toward a general characteri zation of kinds of negation and classifications thereof. The volume is structured into four interrelated thematic parts. Part I is centered around the themes of Models, Relevance and Impossibility. In Chapter 1 (Negation: Two Points of View), Arnon Avron develops two characteri zations of negation, one semantic the other proof-theoretic. Interestingly and maybe provokingly, under neither of these accounts intuitionistic negation emerges as a genuine negation. J. Michael Dunn in Chapter 2 (A Comparative Study of Various Model-theoretic Treatments of Negation: A History of Formal Negation) surveys a detailed correspondence-theoretic classifcation of various notions of negation in terms of properties of a binary relation interpreted as incompatibility.
Negation (Logic) --- Negation (Logic). --- Negative propositions --- Judgment (Logic) --- Logic. --- Artificial intelligence. --- Language and languages—Philosophy. --- Artificial Intelligence. --- Philosophy of Language. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Logique --- Négation (logique) --- Philosophie de la logique
Choose an application
Logic, Symbolic and mathematical --- Computer science --- Informatics --- Science --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science. --- Logic, Symbolic and mathematical. --- Logique symbolique et mathématique. --- Informatique. --- Logik. --- Mathematische Logik. --- Aufsatzsammlung. --- Logica. --- Systeemtheorie. --- Logica matematica. --- Logique.
Choose an application
This text offers an extension to the traditional Kripke semantics for non-classical logics by adding the notion of reactivity. Reactive Kripke models change their accessibility relation as we progress in the evaluation process of formulas in the model. This feature makes the reactive Kripke semantics strictly stronger and more applicable than the traditional one. Here we investigate the properties and axiomatisations of this new and most effective semantics, and we offer a wide landscape of applications of the idea of reactivity. Applied topics include reactive automata, reactive grammars, reactive products, reactive deontic logic and reactive preferential structures. Reactive Kripke semantics is the next step in the evolution of possible world semantics for non-classical logics, and this book, written by one of the leading authorities in the field, is essential reading for graduate students and researchers in applied logic, and it offers many research opportunities for PhD students.
Mathematics --- Physical Sciences & Mathematics --- Mathematical Theory --- Artificial intelligence. --- Computer science. --- Logic, Symbolic and mathematical. --- Logic. --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Informatics --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Mathematical logic. --- Computer Science. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Foundations. --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Methodology --- Artificial Intelligence.
Choose an application
Legal theory, political sciences, sociology, philosophy, logic, artificial intelligence: there are many approaches to legal argumentation. Each of them provides specific insights into highly complex phenomena. Different disciplines, but also different traditions in disciplines (e.g. analytical and continental traditions in philosophy) find here a rare occasion to meet. The present book contains contributions, both historical and thematic, from leading researchers in several of the most important approaches to legal rationality. One of the main issues is the relation between logic and law: the way logic is actually used in law, but also the way logic can make law explicit. An outstanding group of philosophers, logicians and jurists try to meet this issue. The book is more than a collection of papers. However different their respective conceptual tools may be, the authors share a common conception: legal argumentation is a specific argumentation context.
Argumentation. --- Language and logic -- Congresses. --- Law -- Methodology -- Congresses. --- Logic -- Congresses. --- Law --- Philosophy & Religion --- Law, Politics & Government --- Law, General & Comparative --- Philosophy --- Methodology --- Sociological jurisprudence. --- Rationalism. --- Philosophy. --- Law. --- Political science. --- Logic. --- Artificial intelligence. --- Theories of Law, Philosophy of Law, Legal History. --- History of Philosophy. --- Political Science. --- Artificial Intelligence (incl. Robotics). --- Jurisprudence --- Knowledge, Theory of --- Religion --- Belief and doubt --- Deism --- Free thought --- Realism --- Law and society --- Society and law --- Sociology of law --- Sociology --- Law and the social sciences --- Philosophy (General). --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Administration --- Civil government --- Commonwealth, The --- Government --- Political theory --- Political thought --- Politics --- Science, Political --- Social sciences --- State, The --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Psychology --- Science --- Reasoning --- Thought and thinking --- Law—Philosophy. --- Mental philosophy --- Humanities --- Acts, Legislative --- Enactments, Legislative --- Laws (Statutes) --- Legislative acts --- Legislative enactments --- Legislation --- History. --- Legal history --- History and criticism
Choose an application
The Handbook of the Logic of Argument and Inference is an authoritative reference work in a single volume, designed for the attention of senior undergraduates, graduate students and researchers in all the leading research areas concerned with the logic of practical argument and inference. After an introductory chapter, the role of standard logics is surveyed in two chapters. These chapters can serve as a mini-course for interested readers, in deductive and inductive logic, or as a refresher. Then follow two chapters of criticism; one the internal critique and the other the emp
Logic, Symbolic and mathematical. --- Mathematics. --- Math --- Science --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism
Choose an application
This volume is number ten in the 11-volume Handbook of the History of Logic. While there are many examples were a science split from philosophy and became autonomous (such as physics with Newton and biology with Darwin), and while there are, perhaps, topics that are of exclusively philosophical interest, inductive logic - as this handbook attests - is a research field where philosophers and scientists fruitfully and constructively interact. This handbook covers the rich history of scientific turning points in Inductive Logic, including probability theory and decision theory. Written by lead
Logic --- Philosophy. --- Mental philosophy --- Humanities --- History. --- Logic - History. --- Logique --- Histoire --- Induction (Logic) --- Philosophy --- History --- Inductive logic --- Logic, Inductive --- Reasoning --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Psychology --- Science --- Thought and thinking --- Methodology
Listing 1 - 10 of 125 | << page >> |
Sort by
|