Charles Sanders Peirce: Logic Charles Sanders Peirce (1839-1914) was an accomplished scientist, philosopher, and mathematician, who considered himself primarily a logician. His contributions to the development of modern logic at the turn of the 20th century were colossal, original and influential. Formal, or deductive, logic was just one of the branches in which he exercized his logical and analytical talent. His work developed upon Boole’s

Consciousness Explaining the nature of consciousness is one of the most important and perplexing areas of philosophy, but the concept is notoriously ambiguous. The abstract noun “consciousness” is not frequently used by itself in the contemporary literature, but is originally derived from the Latin con (with) and scire (to know). Perhaps the most commonly used contemporary notion of a conscious mental state is captured by

Autism Autism, or the Autistic Spectrum Disorder, is a developmental psychological disorder that begins in the early stages of infancy and affects a child’s ability to develop social skills and engage in social activities. Three current psychological/philosophical theories attempt to explain autism as the result of certain cognitive deficiencies. Each theory takes a different approach to the autistic disorder and theorizes different causes. While no

Lambda Calculi Lambda calculi (λ-calculi) are formal systems describing functions and function application. One of them, the untyped version, is often referred to as the λ-calculus. This exposition will adopt this convention. At its core, the λ-calculus is a formal language with certain reduction rules intended to capture the notion of function application [Church, 1932, p. 352]. Through the primitive notion of function application, the

Immanuel Kant: Logic For Immanuel Kant (1724–1804), formal logic is one of three paradigms for the methodology of science, along with mathematics and modern-age physics. Formal logic owes this role to its stability and relatively finished state, which Kant claims it has possessed since Aristotle. Kant’s key contribution lies in his focus on the formal and systematic character of logic as a “strongly proven” (apodictic) doctrine.