HOME
*





Law Of Thought
The laws of thought are fundamental axiomatic rules upon which rational discourse itself is often considered to be based. The formulation and clarification of such rules have a long tradition in the history of philosophy and logic. Generally they are taken as laws that guide and underlie everyone's thinking, thoughts, expressions, discussions, etc. However, such classical ideas are often questioned or rejected in more recent developments, such as intuitionistic logic, dialetheism and fuzzy logic. According to the 1999 ''Cambridge Dictionary of Philosophy'', laws of thought are laws by which or in accordance with which valid thought proceeds, or that justify valid inference, or to which all valid deduction is reducible. Laws of thought are rules that apply without exception to any subject matter of thought, etc.; sometimes they are said to be the object of logic. The term, rarely used in exactly the same sense by different authors, has long been associated with three equally ambigu ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Law Of Contradiction
In logic, the law of non-contradiction (LNC) (also known as the law of contradiction, principle of non-contradiction (PNC), or the principle of contradiction) states that contradictory propositions cannot both be true in the same sense at the same time, e. g. the two propositions "''p is the case''" and "''p is not the case''" are mutually exclusive. Formally this is expressed as the tautology ¬(p ∧ ¬p). The law is not to be confused with the law of excluded middle which states that at least one, "p is the case" or "p is not the case" holds. One reason to have this law is the principle of explosion, which states that anything follows from a contradiction. The law is employed in a ''reductio ad absurdum'' proof. To express the fact that the law is tenseless and to avoid equivocation, sometimes the law is amended to say "contradictory propositions cannot both be true 'at the same time and in the same sense'". It is one of the so called three laws of thought, along with i ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Boole
George Boole (; 2 November 1815 – 8 December 1864) was a largely self-taught English mathematician, philosopher, and logician, most of whose short career was spent as the first professor of mathematics at Queen's College, Cork in Ireland. He worked in the fields of differential equations and algebraic logic, and is best known as the author of ''The Laws of Thought'' (1854) which contains Boolean algebra. Boolean logic is credited with laying the foundations for the Information Age. Early life Boole was born in 1815 in Lincoln, Lincolnshire, England, the son of John Boole senior (1779–1848), a shoemaker and Mary Ann Joyce. He had a primary school education, and received lessons from his father, but due to a serious decline in business, he had little further formal and academic teaching. William Brooke, a bookseller in Lincoln, may have helped him with Latin, which he may also have learned at the school of Thomas Bainbridge. He was self-taught in modern languages.Hi ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Boolean Algebra
In mathematics and mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the variables are the truth values ''true'' and ''false'', usually denoted 1 and 0, whereas in elementary algebra the values of the variables are numbers. Second, Boolean algebra uses logical operators such as conjunction (''and'') denoted as ∧, disjunction (''or'') denoted as ∨, and the negation (''not'') denoted as ¬. Elementary algebra, on the other hand, uses arithmetic operators such as addition, multiplication, subtraction and division. So Boolean algebra is a formal way of describing logical operations, in the same way that elementary algebra describes numerical operations. Boolean algebra was introduced by George Boole in his first book ''The Mathematical Analysis of Logic'' (1847), and set forth more fully in his '' An Investigation of the Laws of Thought'' (1854). According to Huntington, the term "Boolean al ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Sir William Hamilton, 9th Baronet
Sir William Hamilton, 9th Baronet FRSE (8 March 1788 – 6 May 1856) was a Scottish metaphysician. He is often referred to as William Stirling Hamilton of Preston, in reference to his mother, Elizabeth Stirling. Early life He was born in rooms at the University of Glasgow, He was from an academic family: his father Professor William Hamilton, had in 1781, on the recommendation of William Hunter, been appointed to succeed his own father, Dr Thomas Hamilton, as Regius Professor of Anatomy, Glasgow; he died in 1790, aged 32. William Hamilton and his younger brother, Thomas Hamilton, were brought up by their mother. Hamilton received his early education at Glasgow Grammar School, except for two years which he spent in a private school at Chiswick in Kent, and in 1807 went as a Snell Exhibitioner, to Balliol College, Oxford. He obtained a first class in ''literis humanioribus'' and took his BA in 1811 (MA 1814). He had been intended for the medical profession, but soon af ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Epistemology
Epistemology (; ), or the theory of knowledge, is the branch of philosophy concerned with knowledge. Epistemology is considered a major subfield of philosophy, along with other major subfields such as ethics, logic, and metaphysics. Epistemologists study the nature, origin, and scope of knowledge, epistemic justification, the rationality of belief, and various related issues. Debates in epistemology are generally clustered around four core areas: # The philosophical analysis of the nature of knowledge and the conditions required for a belief to constitute knowledge, such as truth and justification # Potential sources of knowledge and justified belief, such as perception, reason, memory, and testimony # The structure of a body of knowledge or justified belief, including whether all justified beliefs must be derived from justified foundational beliefs or whether justification requires only a coherent set of beliefs # Philosophical skepticism, which questions the pos ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Pragmatics
In linguistics and related fields, pragmatics is the study of how context contributes to meaning. The field of study evaluates how human language is utilized in social interactions, as well as the relationship between the interpreter and the interpreted. Linguists who specialize in pragmatics are called pragmaticians. Pragmatics encompasses phenomena including implicature, speech acts, relevance and conversation,Mey, Jacob L. (1993) ''Pragmatics: An Introduction''. Oxford: Blackwell (2nd ed. 2001). as well as nonverbal communication. Theories of pragmatics go hand-in-hand with theories of semantics, which studies aspects of meaning, and syntax which examines sentence structures, principles, and relationships. The ability to understand another speaker's intended meaning is called ''pragmatic competence''. Pragmatics emerged as its own subfield in the 1950s after the pioneering work of J.L. Austin and Paul Grice. Origin of the field Pragmatics was a reaction to structu ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Psychology
Psychology is the scientific study of mind and behavior. Psychology includes the study of conscious and unconscious phenomena, including feelings and thoughts. It is an academic discipline of immense scope, crossing the boundaries between the natural and social sciences. Psychologists seek an understanding of the emergent properties of brains, linking the discipline to neuroscience. As social scientists, psychologists aim to understand the behavior of individuals and groups.Fernald LD (2008)''Psychology: Six perspectives'' (pp.12–15). Thousand Oaks, CA: Sage Publications.Hockenbury & Hockenbury. Psychology. Worth Publishers, 2010. Ψ (''psi''), the first letter of the Greek word ''psyche'' from which the term psychology is derived (see below), is commonly associated with the science. A professional practitioner or researcher involved in the discipline is called a psychologist. Some psychologists can also be classified as behavioral or cognitive scientists. Some ps ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Gottfried Wilhelm Leibniz
Gottfried Wilhelm (von) Leibniz . ( – 14 November 1716) was a German polymath active as a mathematician, philosopher, scientist and diplomat. He is one of the most prominent figures in both the history of philosophy and the history of mathematics. He wrote works on philosophy, theology, ethics, politics, law, history and philology. Leibniz also made major contributions to physics and technology, and anticipated notions that surfaced much later in probability theory, biology, medicine, geology, psychology, linguistics and computer science. In addition, he contributed to the field of library science: while serving as overseer of the Wolfenbüttel library in Germany, he devised a cataloging system that would have served as a guide for many of Europe's largest libraries. Leibniz's contributions to this vast array of subjects were scattered in various learned journals, in tens of thousands of letters and in unpublished manuscripts. He wrote in several languages, primaril ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Identity Of Indiscernibles
The identity of indiscernibles is an ontological principle that states that there cannot be separate objects or entities that have all their properties in common. That is, entities ''x'' and ''y'' are identical if every predicate possessed by ''x'' is also possessed by ''y'' and vice versa. It states that no two distinct things (such as snowflakes) can be exactly alike, but this is intended as a metaphysical principle rather than one of natural science. A related principle is the indiscernibility of identicals, discussed below. A form of the principle is attributed to the German philosopher Gottfried Wilhelm Leibniz. While some think that Leibniz's version of the principle is meant to be only the indiscernibility of identicals, others have interpreted it as the conjunction of the identity of indiscernibles and the indiscernibility of identicals (the converse principle). Because of its association with Leibniz, the indiscernibility of identicals is sometimes known as Leibniz's l ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Euclid
Euclid (; grc-gre, Εὐκλείδης; BC) was an ancient Greek mathematician active as a geometer and logician. Considered the "father of geometry", he is chiefly known for the ''Elements'' treatise, which established the foundations of geometry that largely dominated the field until the early 19th century. His system, now referred to as Euclidean geometry, involved new innovations in combination with a synthesis of theories from earlier Greek mathematicians, including Eudoxus of Cnidus, Hippocrates of Chios, Thales and Theaetetus. With Archimedes and Apollonius of Perga, Euclid is generally considered among the greatest mathematicians of antiquity, and one of the most influential in the history of mathematics. Very little is known of Euclid's life, and most information comes from the philosophers Proclus and Pappus of Alexandria many centuries later. Until the early Renaissance he was often mistaken for the earlier philosopher Euclid of Megara, causing his biograph ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Aristotle
Aristotle (; grc-gre, Ἀριστοτέλης ''Aristotélēs'', ; 384–322 BC) was a Greek philosopher and polymath during the Classical Greece, Classical period in Ancient Greece. Taught by Plato, he was the founder of the Peripatetic school of philosophy within the Lyceum (classical), Lyceum and the wider Aristotelianism, Aristotelian tradition. His writings cover many subjects including Physics (Aristotle), physics, biology, zoology, metaphysics, logic, ethics, aesthetics, Poetics (Aristotle), poetry, theatre, music, rhetoric, psychology, linguistics, economics, politics, meteorology, History of geology, geology, and government. Aristotle provided a complex synthesis of the various philosophies existing prior to him. It was above all from his teachings that Western culture, the West inherited its intellectual lexicon, as well as problems and methods of inquiry. As a result, his philosophy has exerted a unique influence on almost every form of knowledge in the West a ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Dictum De Omni Et Nullo
In Aristotelian logic, ''dictum de omni et nullo'' (Latin: "the maxim of all and none") is the principle that whatever is affirmed or denied of a whole kind K may be affirmed or denied (respectively) of any subkind of K. This principle is fundamental to syllogistic logic in the sense that all valid syllogistic argument forms are reducible to applications of the two constituent principles ''dictum de omni'' and ''dictum de nullo''. ''Dictum de omni'' ''Dictum de omni'' (sometimes misinterpreted as universal instantiation) is the principle that whatever is universally affirmed of a kind is affirmable as well for any subkind of that kind. Example: (1) Dogs are mammals. (2) Mammals have livers. Therefore (3) dogs have livers. Premise (1) states that "dog" is a subkind of the kind "mammal". Premise (2) is a (universal affirmative) claim about the kind "mammal". Statement (3) concludes that what is true of the kind "mammal" is true of the subkind "dog". ''Dictum de nullo'' ''Dic ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]