Choose an application

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

Logic

Choose an application

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

Logic --- Philosophy

Choose an application

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

The article aims at defining the semantics of Church Slavonic мудрость as it emerges from medieval and pre-modern Eastern Slavic sources (from 12th to 18th c.). Occurrences were verified in the historical sub-section of the Russian National Corpus. Elaboration of the collected data is directed at delineating the range of meanings of the term and evaluating its possible semantic variations. For the multilingual lexicon of religious and philosophical-theological words, the results of the inquiry are so disparate as to favor a return to the individual sources over meanings derived from dictionaries.

Logic, Ancient.

Choose an application

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

Logic --- Reasoning --- Logic. --- Reasoning. --- Argumentation --- Ratiocination --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Reason --- Thought and thinking --- Judgment (Logic) --- Intellect --- Philosophy --- Psychology --- Science --- Methodology

Choose an application

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

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory. The field of proof-theoretic semantics has existed for almost 50 years, but the term itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, where contributing authors were asked to provide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike.

Logic --- Philosophy --- Philosophy & Religion --- Philosophy. --- Logic. --- Mathematical logic. --- Mathematical Logic and Foundations. --- Mathematical Logic and Formal Languages. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Psychology --- Science --- Reasoning --- Thought and thinking --- Mental philosophy --- Humanities --- Methodology --- Logic, Symbolic and mathematical. --- Computer science. --- Informatics --- Proof theory --- Semantics - Mathematical models --- Logic, symbolic and mathematical --- Semantics