two-place predicate

  • 21Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a …

    Wikipedia

  • 22Aristotle’s logic and metaphysics — Alan Code PART 1: LOGICAL WORKS OVERVIEW OF ARISTOTLE’S LOGIC The Aristotelian logical works are referred to collectively using the Greek term ‘Organon’. This is a reflection of the idea that logic is a tool or instrument of, though not… …

    History of philosophy

  • 23Hegelians (The Young), Feuerbach, and Marx — The Young Hegelians, Feuerbach, and Marx Robert Nola Largely through lectures delivered at the University of Berlin, Hegel built up a circle of followers, mainly contemporaries or pupils, who were intent on working out aspects of the… …

    History of philosophy

  • 24Critique of Pure Reason — Part of a series on Immanuel …

    Wikipedia

  • 25Lojban grammar — Lojban is a constructed, human speakable and (theoretically) machine speakable language, based on predicate logic. It is one of the latest languages, designed in 1987 with most of its grammar from Loglan and some features from Láadan. Most of its …

    Wikipedia

  • 26Leibniz: truth, knowledge and metaphysics — Nicholas Jolley Leibniz is in important respects the exception among the great philosophers of the seventeenth century. The major thinkers of the period characteristically proclaim the need to reject the philosophical tradition; in their… …

    History of philosophy

  • 27Ockham’s world and future — Arthur Gibson PHILOSOPHICAL BIOGRAPHY Ockham was born in about 1285, certainly before 1290, probably in the village of Ockham, Surrey, near London. If his epitaph is accurate, he died on 10 April 1347. Yet Conrad of Megenberg, when writing to… …

    History of philosophy

  • 28Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… …

    Wikipedia

  • 29Copula (linguistics) — To be redirects here. For the song, see To Be. For to be, or not to be , see To be, or not to be. In linguistics, a copula (plural: copulae or copulas) is a word used to link the subject of a sentence with a predicate (a subject complement). The… …

    Wikipedia

  • 30Propositional formula — In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… …

    Wikipedia