Philosophy Student

In first-order logic, symbols stand for individually named things (object, person, place, time,and so on). An individual constant is assumed to denote one, and only one, thing. https://youtube.com/shorts/wHqv7vweUI4?feature=share

A proof whereby a statement’s negation is proved by assuming the statement is true. Thatassumption leads to a contradiction, which proves the assumption is false. (See also Proof bycontradiction or…

The view that some events are not caused; often associated with positive accounts of freewill. https://youtube.com/shorts/W0S4F7nyupo?feature=share

Thesis of Willard Van Orman Quine (1908-2000) stating that, in the context of radical translation (that is, translation based purely on observable behavior), it is possible to construct multiple translation…

Attribute of that which cannot be mistaken. https://youtube.com/shorts/Hdl8zPEiqU0?feature=share

1) In formal logic, two sentences are inconsistent when they are not true on even one row of the truth table in the column under the (main) operator. 2) Incompatible,…

Two scientific theories are incommensurable if there is no shared body of data or standards of evaluation by which to compare them—either because of non-overlapping domains of application, disagreement on…

That which does not fit together; that is, that which is not coherent. https://youtube.com/shorts/iK3tAh_mXqc?feature=share

In formal logic, a disjunction is inclusive, so the expression, “One or the other” includes“…or both.” Exclusivity must be explicitly noted, as in, “One or the other, but not both.”…

David Hume’s term for sensations or sense data. https://youtube.com/shorts/qBnnmg9AbH0?feature=share