Choose an application

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

An elementary introduction to formal logic, particularly intended for linguists and others interested in languages. Concepts and theories developed within formal logic for the study of artificial languages have for some time been fruitfully applied to the study of natural languages and some knowledge of them is necessary for students of linguists (especially semantics). With this need in mind the authors offer a clear, succinct and basic introduction to set theory, inference, propositional and predicate logic, deduction, modal and intensional logic, and various concomitant extensions of these. There is a discussion too of the relation between linguistics and logical analysis and between logic and natural language. The authors see increasing scope for co-operation between logicians and linguistics in studying the structure of language, and it is the overall aim of the book to promote this co-operation.

800 --- 800 Taalwetenschap. Taalkunde. Linguistiek --- Taalwetenschap. Taalkunde. Linguistiek --- Logic --- Philosophy of language --- Language and languages --- Linguistics --- Philosophy --- Langage et logique --- Linguistique --- Langage et langues --- Logique --- Philosophie --- Langage et logique. --- Linguistique. --- Arts and Humanities --- Language & Linguistics --- Language and languages - Philosophy --- Logic. --- Linguistics. --- Philosophy. --- Linguistic science --- Science of language --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology

Choose an application

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

This is the first of a three-volume collection of David Lewis's most recent papers in all the areas to which he has made significant contributions. The purpose of this collection (and the two volumes to follow) is to disseminate even more widely the work of a preeminent and influential late twentieth-century philosopher. The papers are now offered in a readily accessible format. This first volume is devoted to Lewis's work on philosophical logic from the last twenty-five years. The topics covered include: deploying the methods of formal semantics from artificial formalised languages to natural languages, model-theoretic investigations of intensional logic, contradiction, relevance, the differences between analog and digital representation, and questions arising from the construction of ambitious formalised philosophical systems. The volume will serve as an important reference tool for all philosophers and their students.

Logic --- Logic, symbolic and mathematical --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic, Symbolic and mathematical. --- Langage et logique --- Arts and Humanities --- Philosophy --- Philosophie de la logique