Choose an application

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

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

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

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

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

Mathematical logic --- Logique. --- Philosophie du langage. --- Langage et logique. --- Language and languages --- Language and logic. --- Linguistics and logic --- Logic in language --- Logic --- Semantics --- Philosophy --- #GROL:SEMI-160<03> Hand 2 --- 161.1 --- 161.1 Begrip. Begripsvormen. Exactheid van begrippen --- Begrip. Begripsvormen. Exactheid van begrippen --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Logique --- --mélanges --- --Logique --- --Logic --- --Language and logic --- Logic. --- Philosophie --- Philosophy of language --- Logique symbolique. (Mélanges) --- Logica (Symbolische). (Versch. onderwerpen) --- #GROL:SEMI-160<03> Hand 1 --- 160.1 --- 160.1 Wezen en doel van de logica. Filosofie van de logica --- Wezen en doel van de logica. Filosofie van de logica --- #GROL:SEMI-160<03> Hand 3 --- Language and logic --- Language and languages - Philosophy

Choose an application

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

This book is indispensable to any advanced student or researcher using logic in these areas. The chapters are comprehensive and written by major figures in the field. Topics include, Belief Revision, Refutation Systems in Propositional Logic, Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.

Logic. --- Philosophy --- Philosophy & Religion --- Logic --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Philosophy. --- Linguistics. --- Linguistics, general. --- Philosophy, general. --- Intellect --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Philosophy (General). --- Mental philosophy --- Humanities --- Linguistic science --- Science of language --- Language and languages

Choose an application

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

This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity is essentially the ability to put partial results achieved independently together for a global result. The second aspect of the book is the authors' uniform picture of conditionals, including many-valued logics and structures on the language elements themselves and on the truth value set. The third topic explained by the authors is neighbourhood semantics, their connection to independence, and their common points and differences for various logics, e.g., for defaults and deontic logic, for the limit version of preferential logics, and for general approximation. The book will be of value to researchers and graduate students in logic and theoretical computer science.

Conditionals (Logic) --- Modality (Logic) --- Philosophy --- Mathematics --- Philosophy & Religion --- Physical Sciences & Mathematics --- Logic --- Mathematical Theory --- Modularity (Engineering) --- Software engineering. --- Computer software engineering --- Modular design --- Modularization --- Modularizing --- Computer science. --- Logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Foundations. --- Engineering --- Engineering design --- Logic, Symbolic and mathematical. --- Artificial Intelligence. --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Psychology --- Science --- Reasoning --- Thought and thinking --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- 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 --- Informatics --- Methodology