Propositions in the context of "Particular"

Platonism is the philosophy of Plato and philosophical systems closely derived from it, though later and contemporary Platonists do not necessarily accept all of Plato's own doctrines. Platonism has had a profound effect on Western thought. At the most fundamental level, Platonism affirms the existence of abstract objects, which are asserted to exist in a third realm distinct from both the sensible external world and from the internal world of consciousness, and is the opposite of nominalism. This can apply to properties, types, propositions, meanings, numbers, sets, truth values, and so on (see abstract object theory). Philosophers who affirm the existence of abstract objects are sometimes called Platonists; those who deny their existence are sometimes called nominalists. The terms "Platonism" and "nominalism" also have established senses in the history of philosophy. They denote positions that have little to do with the modern notion of an abstract object.

In a narrower sense, the term might indicate the doctrine of Platonic realism, a form of mysticism. The central concept of Platonism, a distinction essential to the Theory of Forms, is the distinction between the reality which is perceptible but unintelligible, associated with the flux of Heraclitus and studied by the likes of physical science, and the reality which is imperceptible but intelligible, associated with the unchanging being of Parmenides and studied by the likes of mathematics. Geometry was the main motivation of Plato, and this also shows the influence of Pythagoras. The Forms are typically described in dialogues such as the Phaedo, Symposium and Republic as perfect archetypes of which objects in the everyday world are imperfect copies. Aristotle's Third Man Argument is its most famous criticism in antiquity.

In mathematics, a symbolic language is a language that uses characters or symbols to represent concepts, such as mathematical operations, expressions, and statements, and the entities or operands on which the operations are performed.

Propositional logic is a branch of logic. It is also called statement logic, sentential calculus, propositional calculus, sentential logic, or sometimes zeroth-order logic. Sometimes, it is called first-order propositional logic to contrast it with System F, but it should not be confused with first-order logic. It deals with propositions (which can be true or false) and relations between propositions, including the construction of arguments based on them. Compound propositions are formed by connecting propositions by logical connectives representing the truth functions of conjunction, disjunction, implication, biconditional, and negation. Some sources include other connectives, as in the table below.

Unlike first-order logic, propositional logic does not deal with non-logical objects, predicates about them, or quantifiers. However, all the machinery of propositional logic is included in first-order logic and higher-order logics. In this sense, propositional logic is the foundation of first-order logic and higher-order logic.

Imperative logic is the field of logic concerned with imperatives. In contrast to declaratives, it is not clear whether imperatives denote propositions or more generally what role truth and falsity play in their semantics. Thus, there is almost no consensus on any aspect of imperative logic.

Ethics, Demonstrated in Geometrical Order (Latin: Ethica, ordine geometrico demonstrata) is a philosophical treatise written in Latin by Baruch Spinoza (Benedictus de Spinoza). It was written between 1661 and 1675 and was first published posthumously in 1677.

The Ethics is perhaps the most ambitious attempt to apply Euclid's method in philosophy, which was referred to as “more geometrico” which in Latin meant “in a geometrical manner”. Spinoza puts forward a small number of definitions and axioms from which he attempts to derive hundreds of propositions and corollaries, such as "when the Mind imagines its own lack of power, it is saddened by it", "a free man thinks of nothing less than of death", and "the human Mind cannot be absolutely destroyed with the Body, but something of it remains which is eternal."