Dictionary of logic as applied in the study of language : concepts, methods, theories

edited by Witold Marciszewski


  • 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.- Godel'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.

「Nielsen BookData」より


書名 Dictionary of logic as applied in the study of language : concepts, methods, theories
著作者等 Marciszewski, Witold
シリーズ名 Nijhoff international philosophy series
出版元 M. Nijhoff
s for the U.S. and Canada, Kluwer Boston
刊行年月 1981
ページ数 xiv, 436 p.
大きさ 25 cm
ISBN 9024721237
NCID BA03213679
※クリックでCiNii Booksを表示
言語 英語
出版国 オランダ