Mathematical logicMathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics.
Thought experimentA thought experiment is a hypothetical situation in which a hypothesis, theory, or principle is laid out for the purpose of thinking through its consequences. The ancient Greek deiknymi, "was the most ancient pattern of mathematical proof", and existed before Euclidean mathematics, where the emphasis was on the conceptual, rather than on the experimental part of a thought-experiment. Johann Witt-Hansen established that Hans Christian Ørsted was the first to use the term Gedankenexperiment (from German: 'thought experiment') circa 1812.
German idealismGerman idealism is a philosophical movement that emerged in Germany in the late 18th and early 19th centuries. It developed out of the work of Immanuel Kant in the 1780s and 1790s, and was closely linked both with Romanticism and the revolutionary politics of the Enlightenment. The period of German idealism after Kant is also known as post-Kantian idealism or simply post-Kantianism. One scheme divides German idealists into transcendental idealists, associated with Kant and Fichte, and absolute idealists, associated with Schelling and Hegel.
Philosophical zombieA philosophical zombie (or "p-zombie") is a being in a thought experiment in philosophy of mind that is physically identical to a normal person but does not have conscious experience. For example, if a philosophical zombie were poked with a sharp object, it would not feel any pain, but it would behave exactly the way any conscious human would. Philosophical zombie arguments are used against forms of physicalism and in defense of the "hard problem of consciousness", which is the problem of accounting in physical terms for subjective, intrinsic, first-person, what-it's-like-ness experiences.
Western philosophyWestern philosophy encompasses the philosophical thought and work of the Western world. Historically, the term refers to the philosophical thinking of Western culture, beginning with the ancient Greek philosophy of the pre-Socratics. The word philosophy itself originated from the Ancient Greek (φιλοσοφία), literally, "the love of wisdom" φιλεῖν , "to love" and σοφία sophía, "wisdom").
Substance theorySubstance theory, or substance–attribute theory, is an ontological theory positing that objects are constituted each by a substance and properties borne by the substance but distinct from it. In this role, a substance can be referred to as a substratum or a thing-in-itself. Substances are particulars that are ontologically independent: they are able to exist all by themselves. Another defining feature often attributed to substances is their ability to undergo changes. Changes involve something existing before, during and after the change.
Controlled Substances ActThe Controlled Substances Act (CSA) is the statute establishing federal U.S. drug policy under which the manufacture, importation, possession, use, and distribution of certain substances is regulated. It was passed by the 91st United States Congress as Title II of the Comprehensive Drug Abuse Prevention and Control Act of 1970 and signed into law by President Richard Nixon. The Act also served as the national implementing legislation for the Single Convention on Narcotic Drugs.
School of thoughtA school of thought, or intellectual tradition, is the perspective of a group of people who share common characteristics of opinion or outlook of a philosophy, discipline, belief, social movement, economics, cultural movement, or art movement. The phrase has become a common colloquialism which is used to describe those that think alike or those that focus on a common idea. The term's use is common place. Schools are often characterized by their currency, and thus classified into "new" and "old" schools.
Leibniz's notationIn calculus, Leibniz's notation, named in honor of the 17th-century German philosopher and mathematician Gottfried Wilhelm Leibniz, uses the symbols dx and dy to represent infinitely small (or infinitesimal) increments of x and y, respectively, just as Δx and Δy represent finite increments of x and y, respectively. Consider y as a function of a variable x, or y = f(x).
