|
Nicolai A. Vasiliev
Nicolai Alexandrovich Vasiliev (russian: Николай Александрович Васильев), also Vasil'ev, Vassilieff, Wassilieff (December 31, 1940), was a Russian logician, philosopher, psychologist, poet. He was a forerunner of Paraconsistent logic, paraconsistent and multi-valued logics. Early years Vasiliev was born on June 29 Old Style, O.S., 1880 in Kazan, Russian Empire, Russia. His father, Professor Alexander V. Vasiliev, was a fairly well known mathematician, his grandfather was the outstanding sinologist Professor Vassily P. Vasiliev, and his great grandfather was the prominent astronomer Ivan M. Simonov, who was a close colleague of Nikolai Ivanovich Lobachevsky, Nikolai Lobachevsky. Wanting to be a psychologist, Vasiliev studied at the medical faculty and the historico-philological faculty of Kazan University (1906), where he was offered the position of privat-dozent in 1910. As a university student, Vasiliev was enthusiastic about Symbolism (arts)#Literar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logician
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 usually und ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Law Of Noncontradiction
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. Logical form, Formally this is expressed as the tautology (logic), 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 Law_of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Paraconsistent Logic
A paraconsistent logic is an attempt at a logical system to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing "inconsistency-tolerant" systems of logic which reject the principle of explosion. Inconsistency-tolerant logics have been discussed since at least 1910 (and arguably much earlier, for example in the writings of Aristotle); however, the term ''paraconsistent'' ("beside the consistent") was first coined in 1976, by the Peruvian philosopher Francisco Miró Quesada Cantuarias. The study of paraconsistent logic has been dubbed paraconsistency, which encompasses the school of dialetheism. Definition In classical logic (as well as intuitionistic logic and most other logics), contradictions entail everything. This feature, known as the principle of explosion or ''ex contradictione sequitur quodlibet'' (Latin, "from a contradiction, anything follows") can be expressed formal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vladimir Smirnov (philosopher)
Vladimir Aleksandrovich Smirnov (1931 – 12 February 1996, in Moscow) was a Russian philosopher. He worked at both Tomsk University in Siberia Siberia ( ; rus, Сибирь, r=Sibir', p=sʲɪˈbʲirʲ, a=Ru-Сибирь.ogg) is an extensive geographical region, constituting all of North Asia, from the Ural Mountains in the west to the Pacific Ocean in the east. It has been a part of ... and later at the Department of Logic of the Institute of Philosophy, Moscow. He revived interest in the work of Nicolai A. Vasiliev. His doctoral thesis "Formal logic and Logical Calculi" was published in 1972. References {{DEFAULTSORT:Smirnov, Vladimir 1932 births 1996 deaths Academic staff of Tomsk State University 20th-century Russian philosophers ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Joseph Stalin
Joseph Vissarionovich Stalin (born Ioseb Besarionis dze Jughashvili; – 5 March 1953) was a Georgian revolutionary and Soviet political leader who led the Soviet Union from 1924 until his death in 1953. He held power as General Secretary of the Communist Party of the Soviet Union (1922–1952) and Chairman of the Council of Ministers of the Soviet Union (1941–1953). Initially governing the country as part of a collective leadership, he consolidated power to become a dictator by the 1930s. Ideologically adhering to the Leninist interpretation of Marxism, he formalised these ideas as Marxism–Leninism, while his own policies are called Stalinism. Born to a poor family in Gori in the Russian Empire (now Georgia), Stalin attended the Tbilisi Spiritual Seminary before joining the Marxist Russian Social Democratic Labour Party. He edited the party's newspaper, ''Pravda'', and raised funds for Vladimir Lenin's Bolshevik faction via robberies, kidnappings and protection ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bolshevik
The Bolsheviks (russian: Большевики́, from большинство́ ''bol'shinstvó'', 'majority'),; derived from ''bol'shinstvó'' (большинство́), "majority", literally meaning "one of the majority". also known in English as the Bolshevists,. It signifies both Bolsheviks and adherents of Bolshevik policies. were a far-left, revolutionary Marxist faction founded by Vladimir Lenin that split with the Mensheviks from the Marxist Russian Social Democratic Labour Party (RSDLP), a revolutionary socialist political party formed in 1898, at its Second Party Congress in 1903. After forming their own party in 1912, the Bolsheviks took power during the October Revolution in the Russian Republic in November 1917, overthrowing the Provisional Government of Alexander Kerensky, and became the only ruling party in the subsequent Soviet Russia and later the Soviet Union. They considered themselves the leaders of the revolutionary proletariat of Russia. Their beliefs and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mental Illness
A mental disorder, also referred to as a mental illness or psychiatric disorder, is a behavioral or mental pattern that causes significant distress or impairment of personal functioning. Such features may be persistent, relapsing and remitting, or occur as single episodes. Many disorders have been described, with signs and symptoms that vary widely between specific disorders. Such disorders may be diagnosed by a mental health professional, usually a clinical psychologist or psychiatrist. The causes of mental disorders are often unclear. Theories may incorporate findings from a range of fields. Mental disorders are usually defined by a combination of how a person behaves, feels, perceives, or thinks. This may be associated with particular regions or functions of the brain, often in a social context. A mental disorder is one aspect of mental health. Cultural and religious beliefs, as well as social norms, should be taken into account when making a diagnosis. Services are ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
World War I
World War I (28 July 1914 11 November 1918), often abbreviated as WWI, was one of the deadliest global conflicts in history. Belligerents included much of Europe, the Russian Empire, the United States, and the Ottoman Empire, with fighting occurring throughout Europe, the Middle East, Africa, the Pacific, and parts of Asia. An estimated 9 million soldiers were killed in combat, plus another 23 million wounded, while 5 million civilians died as a result of military action, hunger, and disease. Millions more died in genocides within the Ottoman Empire and in the 1918 influenza pandemic, which was exacerbated by the movement of combatants during the war. Prior to 1914, the European great powers were divided between the Triple Entente (comprising France, Russia, and Britain) and the Triple Alliance (containing Germany, Austria-Hungary, and Italy). Tensions in the Balkans came to a head on 28 June 1914, following the assassination of Archduke Franz Ferdin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Naples
Naples (; it, Napoli ; nap, Napule ), from grc, Νεάπολις, Neápolis, lit=new city. is the regional capital of Campania and the third-largest city of Italy, after Rome and Milan, with a population of 909,048 within the city's administrative limits as of 2022. Its province-level municipality is the third-most populous metropolitan city in Italy with a population of 3,115,320 residents, and its metropolitan area stretches beyond the boundaries of the city wall for approximately 20 miles. Founded by Greeks in the first millennium BC, Naples is one of the oldest continuously inhabited urban areas in the world. In the eighth century BC, a colony known as Parthenope ( grc, Παρθενόπη) was established on the Pizzofalcone hill. In the sixth century BC, it was refounded as Neápolis. The city was an important part of Magna Graecia, played a major role in the merging of Greek and Roman society, and was a significant cultural centre under the Romans. Naples served a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ernst Schröder (mathematician)
Friedrich Wilhelm Karl Ernst Schröder (25 November 1841 in Mannheim, Baden, Germany – 16 June 1902 in Karlsruhe, Germany) was a German mathematician mainly known for his work on algebraic logic. He is a major figure in the history of mathematical logic, by virtue of summarizing and extending the work of George Boole, Augustus De Morgan, Hugh MacColl, and especially Charles Peirce. He is best known for his monumental ''Vorlesungen über die Algebra der Logik'' (''Lectures on the Algebra of Logic'', 1890–1905), in three volumes, which prepared the way for the emergence of mathematical logic as a separate discipline in the twentieth century by systematizing the various systems of formal logic of the day. Life Schröder learned mathematics at Heidelberg, Königsberg, and Zürich, under Otto Hesse, Gustav Kirchhoff, and Franz Neumann. After teaching school for a few years, he moved to the Technische Hochschule Darmstadt in 1874. Two years later, he took up a chair in math ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Aristotelian Logic
In philosophy, term logic, also known as traditional logic, syllogistic logic or Aristotelian logic, is a loose name for an approach to formal logic that began with Aristotle and was developed further in ancient history mostly by his followers, the Peripatetics. It was revived after the third century CE by Porphyry's Isagoge. Term logic revived in medieval times, first in Islamic logic by Alpharabius in the tenth century, and later in Christian Europe in the twelfth century with the advent of new logic, remaining dominant until the advent of predicate logic in the late nineteenth century. However, even if eclipsed by newer logical systems, term logic still plays a significant role in the study of logic. Rather than radically breaking with term logic, modern logics typically expand it, so to understand the newer systems, one must be acquainted with the earlier one. Aristotle's system Aristotle's logical work is collected in the six texts that are collectively known as the ' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Non-Aristotelian Logic
Non-classical logics (and sometimes alternative logics) are formal systems that differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is done, including by way of extensions, deviations, and variations. The aim of these departures is to make it possible to construct different models of logical consequence and logical truth. Philosophical logic is understood to encompass and focus on non-classical logics, although the term has other meanings as well. In addition, some parts of theoretical computer science can be thought of as using non-classical reasoning, although this varies according to the subject area. For example, the basic boolean functions (e.g. AND, OR, NOT, etc) in computer science are very much classical in nature, as is clearly the case given that they can be fully described by classical truth tables. However, in contrast, some computerized proof methods may not use classical logic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
