Listing 1 - 10 of 22 | << page >> |
Sort by
|
Choose an application
Semantics --- Natural Language --- Logic --- Artificial intelligence
Choose an application
Formal languages --- Language and logic --- Semantics --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology) --- Linguistics and logic --- Logic in language --- Logic --- Formalization (Linguistics) --- Machine theory --- Philosophy --- -Language and logic --- Formal languages. --- 801.56 --- 801.56 Syntaxis. Semantiek --- Syntaxis. Semantiek --- Lexicology. Semantics --- Language and logic. --- Semantics. --- Sémantique --- Sémantique --- Langages formels --- Langage et logique --- Sémantique.
Choose an application
Choose an application
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
theywereextensivelydiscussedbyallauthorsina3-dayHandbookmeeting. These are: • a chapter on non-monotonic logic • a chapter on combinatory logic and ?-calculus We felt at the time (1979) that non-monotonic logic was not ready for a chapter yet and that combinatory logic and ?-calculus was too far re- 1 moved. Non-monotonic logic is now a very major area of philosop- cal logic, alongside default logics, labelled deductive systems, ?bring l- ics, multi-dimensional, multimodal and substructural logics. Intensive - examinations of fragments of classical logic have produced fresh insights, including at time decision procedures and equivalence with non-classical systems. Perhaps the most impressive achievement of philosophical logic as arising inthepastdecadehasbeenthee?ectivenegotiationofresearchpartnerships with fallacy theory, informal logic and argumentation theory, attested to by the Amsterdam Conference in Logic and Argumentation in 1995, and the two Bonn Conferences in Practical Reasoning in 1996 and 1997. These subjects are becoming more and more useful in agent theory and intelligent and reactive databases. Finally, ?fteen years after the start of the Handbook project, I would like to take this opportunity to put forward my current views about logic in computer science, computational linguistics and arti?cial intelligence. In the early 1980s the perception of the role of logic in computer science was that of a speci?cation and reasoning tool and that of a basis for possibly neat computer languages. The computer scientist was manipulating data structures and the use of logic was one of his options.
Artificial intelligence. --- Linguistics. --- Logic. --- Philosophy. --- Philosophy --- Philosophy & Religion --- Logic --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Mathematics. --- Language and languages --- Philosophy and science. --- Computer logic. --- Mathematical logic. --- Mathematics, general. --- Philosophy of Language. --- Philosophy of Science. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Intellect --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology
Choose an application
Belief Revision Refutation and systems in Propositional Logic. A 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
This second edition of the Handbook of Philosophical Logic reflects great changes in the landscape of philosophical logic since the first edition. It gives readers an idea of that landscape and its relation to computer science and formal language and artificial intelligence. It shows how the increased demand for philosophical logic from computer science and artificial intelligence and computational linguistics accelerated the development of the subject directly and indirectly. This development in turn, directly pushed research forward, stimulated by the needs of applications. New logic areas became established and old areas were enriched and expanded. At the same time, it socially provided employment for generations of logicians residing in computer science, linguistics and electrical engineering departments which of course helped keep the logic community to thrive. The many contributors to this Handbook are active in these application areas and are among the most famous leading figures of applied philosophical logic of our times.
Computer science. --- Computer vision. --- Logic. --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Machine vision --- Vision, Computer --- Informatics --- Philosophy. --- Linguistics. --- Linguistics, general. --- Philosophy, general. --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Artificial intelligence --- Image processing --- Pattern recognition systems --- Philosophy (General). --- Mental philosophy --- Humanities --- Linguistic science --- Science of language --- Language and languages
Choose an application
Lambda calculi: a guide interpolation and definability discourse representation theory
Logic. --- Philosophy & Religion --- Logic --- Philosophy --- Philosophy. --- Mental philosophy --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Philosophy, general. --- Humanities --- Intellect --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Logique --- EPUB-LIV-FT LIVPHILO SPRINGER-B --- Philosophy (General). --- Computational linguistics. --- Computational Linguistics. --- Automatic language processing --- Language and languages --- Language data processing --- Linguistics --- Natural language processing (Linguistics) --- Applied linguistics --- Cross-language information retrieval --- Mathematical linguistics --- Multilingual computing --- Data processing
Choose an application
Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory.
Logic. --- Engineering & Applied Sciences --- Philosophy --- Electrical & Computer Engineering --- Philosophy & Religion --- Applied Physics --- Technology - General --- Logic --- Electrical Engineering --- Philosophy. --- Linguistics. --- Philosophy, general. --- Linguistics, general. --- Mental philosophy --- Humanities --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Philosophy (General). --- Linguistic science --- Science of language --- Language and languages
Choose an application
The first edition of the Handbook of Philosophical Logic (four volumes) was published in the period 1983-1989 and has proven to be an invaluable reference work to both students and researchers in formal philosophy, language and logic. The second edition of the Handbook is intended to comprise some 18 volumes and will provide a very up-to-date authoritative, in-depth coverage of all major topics in philosophical logic and its applications in many cutting-edge fields relating to computer science, language, argumentation, etc. The volumes will no longer be as topic-oriented as with the first edition because of the way the subject has evolved over the last 15 years or so. However the volumes will follow some natural groupings of chapters. Audience: Students and researchers whose work or interests involve philosophical logic and its applications.
Logic. --- Philosophy. --- Mental philosophy --- Humanities --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Philosophy (General). --- Philosophy, general.
Listing 1 - 10 of 22 | << page >> |
Sort by
|