|
Unity Of The Proposition
In philosophy, the unity of the proposition is the problem of explaining how a sentence in the indicative mood expresses more than just what a list of proper names expresses. History The problem was discussed under this name by Bertrand Russell, but can be traced back to Plato. In Plato's ''Sophist'', the simplest kind of sentence consists of just a proper name and a universal term (i.e. a predicate). The name refers to or picks out some individual object, and the predicate then says something about that individual. The difficulty is to explain how the predicate does this. If, as Plato thinks, the predicate is the name of some universal concept or form, how do we explain how the sentence comes to be true or false? If, for example, "Socrates is wise" consists of just a name for Socrates, and a name for the universal concept of Wisdom, how could the sentence be true ''or'' false? In either case, the "Socrates" signifies Socrates, and the predicate signifies Wisdom. But the se ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Philosophy
Philosophy (from , ) is the systematized study of general and fundamental questions, such as those about existence, reason, Epistemology, knowledge, Ethics, values, Philosophy of mind, mind, and Philosophy of language, language. Such questions are often posed as problems to be studied or resolved. Some sources claim the term was coined by Pythagoras ( BCE), although this theory is disputed by some. Philosophical methodology, Philosophical methods include Socratic questioning, questioning, Socratic method, critical discussion, dialectic, rational argument, and systematic presentation. in . Historically, ''philosophy'' encompassed all bodies of knowledge and a practitioner was known as a ''philosopher''."The English word "philosophy" is first attested to , meaning "knowledge, body of knowledge." "natural philosophy," which began as a discipline in ancient India and Ancient Greece, encompasses astronomy, medicine, and physics. For example, Isaac Newton, Newton's 1687 ''Phil ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Logical Assertion
In mathematical logic, a judgment (or judgement) or assertion is a statement or enunciation in a metalanguage. For example, typical judgments in first-order logic would be ''that a string is a well-formed formula'', or ''that a proposition is true''. Similarly, a judgment may assert the occurrence of a free variable in an expression of the object language, or the provability of a proposition. In general, a judgment may be any inductively definable assertion in the metatheory. Judgments are used in formalizing deduction systems: a logical axiom expresses a judgment, premises of a rule of inference are formed as a sequence of judgments, and their conclusion is a judgment as well (thus, hypotheses and conclusions of proofs are judgments). A characteristic feature of the variants of Hilbert-style deduction systems is that the ''context'' is not changed in any of their rules of inference, while both natural deduction and sequent calculus contain some context-changing rules. Thus, i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
State Of Affairs (philosophy)
In philosophy, a state of affairs (german: Sachverhalt), also known as a situation, is a way the actual world must be in order to make some given ''proposition'' about the actual world true; in other words, a state of affairs is a ''truth-maker'', whereas a proposition is a ''truth-bearer''. Whereas states of affairs either ''obtain'' or ''fail-to-obtain'', propositions are either ''true'' or ''false''. Some philosophers understand the term "states of affairs" in a more restricted sense as a synonym for " fact". In this sense, there are no states of affairs that do not obtain. David Malet Armstrong is well known for his defence of a factualism, a position according to which the world is a world of facts and not a world of things. Overview States of affairs are complex entities: they are built up from or constituted by other entities. Atomic states of affairs are constituted by one particular and one property exemplified by this particular. For example, the state of affairs that So ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Tractatus Logico-Philosophicus
The ''Tractatus Logico-Philosophicus'' (widely abbreviated and cited as TLP) is a book-length philosophical work by the Austrian philosopher Ludwig Wittgenstein which deals with the relationship between language and reality and aims to define the limits of science. Wittgenstein wrote the notes for the ''Tractatus'' while he was a soldier during World War I and completed it during a military leave in the summer of 1918. It was originally published in German in 1921 as ''Logisch-Philosophische Abhandlung'' (Logical-Philosophical Treatise). In 1922 it was published together with an English translation and a Latin title, which was suggested by G. E. Moore as homage to Baruch Spinoza's '' Tractatus Theologico-Politicus'' (1670). The ''Tractatus'' is written in an austere and succinct literary style, containing almost no arguments as such, but consists of altogether 525 declarative statements, which are hierarchically numbered. The ''Tractatus'' is recognized by philosophers as a si ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
 |
Ludwig Wittgenstein
Ludwig Josef Johann Wittgenstein ( ; ; 26 April 1889 – 29 April 1951) was an Austrian- British philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language. He is considered by some to be the greatest philosopher of the 20th century. From 1929 to 1947, Wittgenstein taught at the University of Cambridge. In spite of his position, during his entire life only one book of his philosophy was published, the 75-page ''Logisch-Philosophische Abhandlung'' (''Logical-Philosophical Treatise'', 1921), which appeared, together with an English translation, in 1922 under the Latin title '' Tractatus Logico-Philosophicus''. His only other published works were an article, " Some Remarks on Logical Form" (1929); a book review; and a children's dictionary. His voluminous manuscripts were edited and published posthumously. The first and best-known of this posthumous series is the 1953 book '' Philosophical Investigations' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
 |
Logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises in a topic-neutral way. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Formal logic contrasts with informal logic, which is associated with informal fallacies, critical thinking, and argumentation theory. While there is no general agreement on how formal and informal logic are to be distinguished, one prominent approach associates their difference with whether the studied arguments are expressed in formal or informal languages. Logic plays a central role in multiple fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises together with a conclusion. Premises and conclusions are usual ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Principia Mathematica
The ''Principia Mathematica'' (often abbreviated ''PM'') is a three-volume work on the foundations of mathematics written by mathematician–philosophers Alfred North Whitehead and Bertrand Russell and published in 1910, 1912, and 1913. In 1925–1927, it appeared in a second edition with an important ''Introduction to the Second Edition'', an ''Appendix A'' that replaced ✸9 and all-new ''Appendix B'' and ''Appendix C''. ''PM'' is not to be confused with Russell's 1903 '' The Principles of Mathematics''. ''PM'' was originally conceived as a sequel volume to Russell's 1903 ''Principles'', but as ''PM'' states, this became an unworkable suggestion for practical and philosophical reasons: "The present work was originally intended by us to be comprised in a second volume of ''Principles of Mathematics''... But as we advanced, it became increasingly evident that the subject is a very much larger one than we had supposed; moreover on many fundamental questions which had been ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Dogma
Dogma is a belief or set of beliefs that is accepted by the members of a group without being questioned or doubted. It may be in the form of an official system of principles or doctrines of a religion, such as Roman Catholicism, Judaism, Islam or Protestantism, as well as the positions of a philosopher or of a philosophical school such as positivism, postmodernism, egalitarianism, and dark enlightenment. It may also be found in political belief-systems, such as Marxism, communism, capitalism, progressivism, liberalism, conservatism, and fascism. In the pejorative sense, dogma refers to enforced decisions, such as those of aggressive political interests or authorities. More generally, it is applied to some strong belief which its adherents are not willing to discuss rationally. This attitude is named as a dogmatic one, or as dogmatism; and is often used to refer to matters related to religion, but is not limited to theistic attitudes alone and is often used with resp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Subject (grammar)
The subject in a simple English sentence such as ''John runs'', ''John is a teacher'', or ''John drives a car'', is the person or thing about whom the statement is made, in this case ''John''. Traditionally the subject is the word or phrase which controls the verb in the clause, that is to say with which the verb agrees (''John is'' but ''John and Mary are''). If there is no verb, as in ''John what an idiot!'', or if the verb has a different subject, as in ''John I can't stand him!'', then 'John' is not considered to be the grammatical subject, but can be described as the ''topic'' of the sentence. While these definitions apply to simple English sentences, defining the subject is more difficult in more complex sentences and in languages other than English. For example, in the sentence ''It is difficult to learn French'', the subject seems to be the word ''it'', and yet arguably the real subject (the thing that is difficult) is ''to learn French''. A sentence such as ''It was ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Concept And Object
In the philosophy of language, the distinction between concept and object is attributable to the German philosopher Gottlob Frege in 1892 (in his paper "Concept and Object"; German: "Ueber Begriff und Gegenstand"). Overview According to Frege, any sentence that expresses a singular thought consists of an expression (a proper name or a general term plus the definite article) that signifies an Object together with a predicate (the copula "is", plus a general term accompanied by the indefinite article or an adjective) that signifies a Concept. Thus "Socrates is a philosopher" consists of "Socrates", which signifies the Object ''Socrates'', and "is a philosopher", which signifies the Concept of ''being a philosopher''. This was a considerable departure from the traditional term logic, in which every proposition (i.e. sentence) consisted of two general terms joined by the copula "is". The distinction was of fundamental importance to the development of logic and mathematics. Frege's ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Frege
Friedrich Ludwig Gottlob Frege (; ; 8 November 1848 – 26 July 1925) was a German philosopher, logician, and mathematician. He was a mathematics professor at the University of Jena, and is understood by many to be the father of analytic philosophy, concentrating on the philosophy of language, logic, and mathematics. Though he was largely ignored during his lifetime, Giuseppe Peano (1858–1932), Bertrand Russell (1872–1970), and, to some extent, Ludwig Wittgenstein (1889–1951) introduced his work to later generations of philosophers. Frege is widely considered to be the greatest logician since Aristotle, and one of the most profound philosophers of mathematics ever. His contributions include the development of modern logic in the ''Begriffsschrift'' and work in the foundations of mathematics. His book the ''Foundations of Arithmetic'' is the seminal text of the logicist project, and is cited by Michael Dummett as where to pinpoint the linguistic turn. His philosophical ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Knowledge Representation
Knowledge representation and reasoning (KRR, KR&R, KR²) is the field of artificial intelligence (AI) dedicated to representing information about the world in a form that a computer system can use to solve complex tasks such as diagnosing a medical condition or having a dialog in a natural language. Knowledge representation incorporates findings from psychology about how humans solve problems and represent knowledge in order to design formalisms that will make complex systems easier to design and build. Knowledge representation and reasoning also incorporates findings from logic to automate various kinds of ''reasoning'', such as the application of rules or the relations of sets and subsets. Examples of knowledge representation formalisms include semantic nets, systems architecture, frames, rules, and ontologies. Examples of automated reasoning engines include inference engines, theorem provers, and classifiers. History The earliest work in computerized knowledge repr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |