Dictionary of Logic as Applied in the Study of Language: Concepts/Methods/Theories / Edition 1

Dictionary of Logic as Applied in the Study of Language: Concepts/Methods/Theories / Edition 1

by W. Marciszewski

View All Available Formats & Editions

ISBN-10: 9048182573

ISBN-13: 9789048182572

Pub. Date: 12/22/2010

Publisher: Springer Netherlands

Product Details

Springer Netherlands
Publication date:
Melbourne International Philosophy Series, #9
Edition description:
Softcover reprint of hardcover 1st ed. 1981
Product dimensions:
6.10(w) x 9.25(h) x 0.04(d)

Table of Contents

Abstraction operator.- Algebraic structures.- Algorithms.- Analyticity.- Antinomies.- Arithmetic.- Automata.- Automata, finite.- Categorial grammar.- Classes, theory of.- Combinatory logic.- Completeness.- Computability abstract theory.- Consequence.- Consistency.- Counterexample, the method of.- Decidability.- Deduction theorem.- Deductive method.- Definability.- Definition.- Deontic logic.- Description, definite.- Dialogic logic.- Dot notation.- Duality.- Elementary theory.- Entailment and relevance.- Extension.- Formalization.- Gödel’s theorem.- Grammar, formal.- Independence.- Intension.- Intuitionistic logic.- Lambda-operator.- Legniewski’s systems.- Logical form.- Logic, modern, history of.- Many-valued logic.- Mappings.- Meaning.- Modality.- Modal logic.- Modal semantics.- Model theory.- Name.- Natural deduction.- Normal form.- Polish notation.- Pragmatics, logical.- Predicate logic.- Probability.- Programming languages.- Quantifiers.- Questions.- Recursive functions.- Relations, theory of.- Semantics, logical.- Sentence.- Sentence logic.- Sequent calculus.- Sets, infinite.- Sets, ordered.- Set theory, axiomatizations of.- Syntax, logical.- Tense logic.- Topology.- Trees.- Truth.- Truth-table method.- Types, theory of.- General bibliography.- Subject index and glossary.- Index of symbols.

Customer Reviews

Average Review:

Write a Review

and post it to your social network


Most Helpful Customer Reviews

See all customer reviews >