Ancient Greek logic 1970-01-01
Ancient Greek logic refers to the study and practice of reasoning and argumentation that originated in ancient Greece, particularly during the classical period (approximately the 5th to the 3rd centuries BCE). It is considered one of the foundational aspects of Western philosophy and mathematics, primarily articulated through the works of several key philosophers. ### Key Figures 1.
Buddhist logic 1970-01-01
Buddhist logic, often referred to as "Buddhist epistemology," is a philosophical tradition that explores the nature of knowledge, reasoning, and the logical foundations of Buddhist thought. It integrates principles from Indian logic with Buddhist teachings and provides a framework for understanding how one comes to know things and how to distinguish between valid and invalid reasoning.
Classical logic 1970-01-01
Classical logic is a formal system of reasoning that was developed in the late 19th and early 20th centuries. It is characterized by several key features: 1. **Propositional and Predicate Logic**: Classical logic includes systems like propositional logic, which deals with propositions as whole units, and predicate logic, which incorporates the use of quantifiers and predicates to express more complex statements about objects.
Inference 1970-01-01
Inference is the process of deriving logical conclusions from available information or premises. It involves using existing knowledge, evidence, or reasoning to reach new understandings or insights. Inference can occur in various contexts, including: 1. **Logic and Mathematics**: Drawing conclusions based on premises using formal rules. 2. **Science**: Forming hypotheses or theories based on experimental data or observations. 3. **Literature and Reading**: Understanding implied meanings in texts beyond what is stated explicitly.
Non-classical logic 1970-01-01
Non-classical logic refers to a variety of logical systems that diverge from classical logic, which typically includes propositional logic and first-order predicate logic. Classical logic is characterized by principles like the law of non-contradiction and the law of excluded middle. Non-classical logics, however, introduce alternative principles or modify existing ones to address specific philosophical, mathematical, or practical concerns.
Nyaya 1970-01-01
Nyaya is one of the six orthodox schools of Indian philosophy, and it primarily focuses on logic and epistemology. The name "Nyaya" translates to "justice" or "rule," but in the context of philosophy, it emphasizes the principles of reasoning and argumentation. The Nyaya school was founded by the philosopher Gautama, also known as Akshapada, and its foundational text is the "Nyaya Sutras," which were composed around the 2nd century BCE.
Rhetoric 1970-01-01
Rhetoric is the art of persuasion and effective communication. It involves the strategic use of language and various techniques to influence an audience's thoughts, beliefs, or actions. Rhetoric encompasses various forms of communication, including speech, writing, and even visual media. Historically, rhetoric was studied as part of the liberal arts and was essential in areas such as politics, law, and education.
School of Names 1970-01-01
The School of Names, or **Names' School**, refers to a philosophical and intellectual movement in ancient China that was primarily active during the Warring States period (approximately 475–221 BCE). This school is associated with the study of language, logic, and the relationship between names (or words) and the realities they represent. The central idea of the School of Names is often linked to the philosophical debates about how language corresponds to reality and the implications of this relationship for understanding the world.
Adhyavasāya 1970-01-01
Anviksiki 1970-01-01
Argument–deduction–proof distinctions 1970-01-01
Boole's syllogistic 1970-01-01
Catch-22 (logic) 1970-01-01
Catuṣkoṭi 1970-01-01
Concatenation theory 1970-01-01
Critical Rationalism 1970-01-01
Ernest Lepore 1970-01-01
Habib ibn Bahriz 1970-01-01
Hetucakra 1970-01-01
History of type theory 1970-01-01