The Sheffer Stroke The Sheffer Stroke is one of the sixteen definable binary connectives of standard propositional logic. Il simbolo del tratto è “|” as in The linguistic expression whose logical behavior is presumed modeled by this logical connective is the truth-functional phrase “not both,” da cui ha origine il nome NAND. Tutti i sedici connettivi interpretano le funzioni associate dell'algebra booleana. In the theory

Michel de Montaigne (1533-1592) Michel de Montaigne, il saggista francese del XVI secolo, è una delle figure letterarie e filosofiche più rinomate del tardo Rinascimento. L'unico libro che ha scritto, I saggi di Michel de Montaigne, non è un'opera filosofica tradizionale. Avendo iniziato i lavori intorno al 1572, pubblicò la prima edizione nel 1580. Ne pubblicò poi quattro

Benedetto di Spinoza: Metafisica Baruch (o, in latino, Benedetto) di Spinoza (1632-1677) fu uno dei filosofi razionalisti più importanti della prima età moderna, insieme a Cartesio, Leibniz, e Malebranche. Spinoza è anche l’“ateo” più influente in Europa in questo periodo. “Ateo” all’epoca significava qualcuno che rifiutava le tradizionali visioni bibliche riguardo a Dio e al suo rapporto con la natura. Nel suo massimo

Leibniz: Logic The revolutionary ideas of Gottfried Wilhelm Leibniz (1646-1716) on logic were developed by him between 1670 and 1690. The ideas can be divided into four areas: the Syllogism, the Universal Calculus, Propositional Logic, and Modal Logic. These revolutionary ideas remained hidden in the Archive of the Royal Library in Hanover until 1903 when the French mathematician Louis Couturat published the Opuscules et fragments inédits de Leibniz.

Françoise d’Aubigné, marquise de Maintenon (1635—1719) The second wife of King Louis XIV of France, Madame de Maintenon has long fascinated historians and novelists by her improbable life. Born into an impoverished, criminal family, Maintenon conquered salon society as the wife of the poet Paul Scarron. During her salon years, she studied the philosophical currents of the period, notably libertinism and Cartesianism. Maintenon then conquered court society

Diogenes of Sinope (c. 404—323 B.C.E.) The most illustrious of the Cynic philosophers, Diogenes of Sinope serves as the template for the Cynic sage in antiquity. An alleged student of Antisthenes, Diogenes maintains his teacher’s asceticism and emphasis on ethics, but brings to these philosophical positions a dynamism and sense of humor unrivaled in the history of philosophy. Though originally from Sinope, the majority of