First-order logic—also known as predicate logic, quantificational logic, and first-order predicate calculus—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables over non-logical objects, and allows the use of sentences that contain variables, so that rather than propositions such as "Socrates is a man", one can have expressions in the form "there exists x such that x is Socrates and x is a man", where "there exists" is a quantifier, while x is a variable. This distinguishes it from propositional logic, which does not use quantifiers or relations; in this sense, propositional logic is the foundation of first-order logic.
The propositional calculus is a branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic. It deals with propositions and relations between propositions, including the construction of arguments based on them. Compound propositions are formed by connecting propositions by logical connectives representing the truth functions of conjunction, disjunction, implication, biconditional, and negation. Some sources include other connectives, as in the table below.
Many-valued logic is a propositional calculus in which there are more than two truth values. Traditionally, in Aristotle's logical calculus, there were only two possible values for any proposition. Classical two-valued logic may be extended to n-valued logic for n greater than 2. Those most popular in the literature are three-valued, four-valued, nine-valued, the finite-valued with more than three values, and the infinite-valued (infinitely-many-valued), such as fuzzy logic and probability logic.
Saul Aaron Kripke was an American analytic philosopher and logician. He was Distinguished Professor of Philosophy at the Graduate Center of the City University of New York and emeritus professor at Princeton University. Kripke is considered one of the most important philosophers of the latter half of the 20th century. Since the 1960s, he has been a central figure in a number of fields related to mathematical and modal logic, philosophy of language and mathematics, metaphysics, epistemology, and recursion theory.
In logic, negation, also called the logical not or logical complement, is an operation that takes a proposition to another proposition "not ", standing for " is not true", written , or . It is interpreted intuitively as being true when is false, and false when is true. Negation is thus a unary logical connective. It may be applied as an operation on notions, propositions, truth values, or semantic values more generally. In classical logic, negation is normally identified with the truth function that takes truth to falsity. In intuitionistic logic, according to the Brouwer–Heyting–Kolmogorov interpretation, the negation of a proposition is the proposition whose proofs are the refutations of .
Intuitionistic logic, sometimes more generally called constructive logic, refers to systems of symbolic logic that differ from the systems used for classical logic by more closely mirroring the notion of constructive proof. In particular, systems of intuitionistic logic do not assume the law of the excluded middle and double negation elimination, which are fundamental inference rules in classical logic.
Understood in a narrow sense, philosophical logic is the area of logic that studies the application of logical methods to philosophical problems, often in the form of extended logical systems like modal logic. Some theorists conceive philosophical logic in a wider sense as the study of the scope and nature of logic in general. In this sense, philosophical logic can be seen as identical to the philosophy of logic, which includes additional topics like how to define logic or a discussion of the fundamental concepts of logic. The current article treats philosophical logic in the narrow sense, in which it forms one field of inquiry within the philosophy of logic.
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.
Dialetheism is the view that there are statements that are both true and false. More precisely, it is the belief that there can be a true statement whose negation is also true. Such statements are called "true contradictions", dialetheia, or nondualisms.
The development of Indian logic dates back to the anviksiki of Medhatithi Gautama ; the Sanskrit grammar rules of Pāṇini ; the Vaisheshika school's analysis of atomism ; the analysis of inference by Gotama, founder of the Nyaya school of Hindu philosophy; and the tetralemma of Nagarjuna.
In logic, a categorical proposition, or categorical statement, is a proposition that asserts or denies that all or some of the members of one category are included in another. The study of arguments using categorical statements forms an important branch of deductive reasoning that began with the Ancient Greeks.
Anekāntavāda is the Jain doctrine about metaphysical truths that emerged in ancient India. It states that the ultimate truth and reality is complex and has multiple aspects.
A truth-bearer is an entity that is said to be either true or false and nothing else. The thesis that some things are true while others are false has led to different theories about the nature of these entities. Since there is divergence of opinion on the matter, the term truth-bearer is used to be neutral among the various theories. Truth-bearer candidates include propositions, sentences, sentence-tokens, statements, beliefs, thoughts, intuitions, utterances, and judgements but different authors exclude one or more of these, deny their existence, argue that they are true only in a derivative sense, assert or assume that the terms are synonymous, or seek to avoid addressing their distinction or do not clarify it.
Trivialism is the logical theory that all statements are true and that all contradictions of the form "p and not p" are true. In accordance with this, a trivialist is a person who believes everything is true.
Jain philosophy or Jaina philosophy refers to the ancient Indian philosophical system of the Jain religion. It comprises all the philosophical investigations and systems of inquiry that developed among the early branches of Jainism in ancient India following the parinirvāṇa of Mahāvīra. One of the main features of Jain philosophy is its dualistic metaphysics, which holds that there are two distinct categories of existence: the living, conscious, or sentient beings (jīva) and the non-living or material entities (ajīva).
Jainism emphasises that ratnatraya — the right faith, right knowledge and right conduct — constitutes the path to liberation. These are known as the triple gems of Jainism and hence also known as Ratnatraya
Stephen Yablo is a Canadian-born American philosopher. He is David W. Skinner Professor of Philosophy at the Massachusetts Institute of Technology (MIT) and taught previously at the University of Michigan, Ann Arbor. He specializes in the philosophy of logic, philosophy of mind, metaphysics, philosophy of language, and philosophy of mathematics.
Jainism made its own unique contribution to this mainstream development of philosophy by occupying itself with the basic epistemological issues. According to Jains, knowledge is the essence of the soul. This knowledge is masked by the karmic particles. As the soul obtains knowledge through various means, it does not generate anything new. It only shreds off the knowledge-obscuring karmic particles. According to Jainism, consciousness is a primary attribute of Jīva (soul) and this consciousness manifests itself as darsana (perception) and jnana (knowledge).
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises due to the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. It examines arguments expressed in natural language while formal logic uses formal language. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Logic plays a central role in many fields, such as philosophy, mathematics, computer science, and linguistics.
Aptamimamsa is a Jain text composed by Acharya Samantabhadra, a Jain acharya said to have lived about the latter part of the second century A.D. Āptamīmāṁsā is a treatise of 114 verses which discusses the Jaina view of Reality, starting with the concept of omniscience and the attributes of the Omniscient.
