Philosophy Dictionary of ArgumentsHome | |||
| |||
Operators, logic: operators are symbols for performing a function, e.g. and; or; if; then; etc._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. | |||
Author | Concept | Summary/Quotes | Sources |
---|---|---|---|
A. Prior on Operators - Dictionary of Arguments
I 32 Nominator/Prior: a nominator should speak of things where sentences containing them can be said to be true. >Predication, >Sentences. I 34 E.g. λp for that p. - Then the sentence: T λp (it is true that ...). Operator T: true. >Lambda notation, >Lambda calculus. I 95 Operator/Prior: φ only forms sentences from names. - ((s) Something φs, different from equivalence: forming sentences out of sentences). >Equivalence. Prior: N (necessary) cannot have names as arguments. >Proper names, >Subsententials._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
Pri I A. Prior Objects of thought Oxford 1971 Pri II Arthur N. Prior Papers on Time and Tense 2nd Edition Oxford 2003 |