Modal logic

Logical possibility

Logical possibility refers to a logical proposition that cannot be disproved, using the axioms and rules of a given system of logic. The logical possibility of a proposition will depend upon the system of logic being considered, rather than on the violation of any single rule. Some systems of logic restrict inferences from inconsistent propositions or even allow for true contradictions. Other logical systems have more than two truth-values instead of a binary of such values. However, when talking about logical possibility, it is often assumed that the system in question is classical propositional logic. Similarly, the criterion for logical possibility is often based on whether or not a proposition is contradictory and as such, is often thought of as the broadest type of possibility. In modal logic, a logical proposition is possible if it is true in some possible world. The universe of "possible worlds" depends upon the axioms and rules of the logical system in which one is working, but given some logical system, any logically consistent collection of statements is a possible world. The modal diamond operator is used to express possibility: denotes "proposition is possible". Logical possibility should be distinguished from other sorts of subjunctive possibilities. But the relationship between modalities (if there is any) is the subject of debate and may depend upon how one views logic, as well as the relationship between logic and metaphysics, for example, many philosophers following Saul Kripke have held that discovered identities such as "Hesperus = Phosphorus" are metaphysically necessary because they pick out the same object in all possible worlds where the terms have a referent. However, it is nonetheless logically possible for “Hesperus = Phosphorus” to be false, since denying it doesn't violate a logical rule such as consistency. Other philosophers are also of the view that logical possibility is broader than metaphysical possibility, so that anything which is metaphysically possible is also logically possible. (Wikipedia).

Video thumbnail

Understanding Logical Statements 1

U12_L1_T2_we1 Understanding Logical Statements 1

From playlist Algebra I Worked Examples

Video thumbnail

Implications and Truth Conditions for Implications

This video defines an implication and when an implication is true or false.

From playlist Mathematical Statements (Discrete Math)

Video thumbnail

Converse Statements - Logic

This video focuses on how to write the converse of a conditional statement. In particular, this video shows how to flip the hypothesis and conclusion of a conditional statement. The concepts of truth value and logical equivalence are explored as well. Your feedback and requests are encour

From playlist Geometry

Video thumbnail

Logical Reasoning: Become A Better Thinker

Logical thinking is also known as analytical reasoning, critical thinking or abstract thinking. It is an important trait, especially among developers in the software development industry. Without the logic, they would not understand how the software works, nor would they produce a clean co

From playlist Problem Solving

Video thumbnail

The law of logical honesty and the end of infinity | Data structures in Math Foundations 178

It is time to end the delusion which pervades modern 20th century style mathematics, and move towards a true mathematics for the new millennium. Infinity needs to go! We need to accept the actual reality of mathematics, rather than some fairy-tale wishful dreaming that allows us to prop

From playlist Math Foundations

Video thumbnail

How to determine the truth table from a statement and determine its validity

👉 Learn how to determine the truth or false of a conditional statement. A conditional statement is an if-then statement connecting a hypothesis (p) and the conclusion (q). If the hypothesis of a statement is represented by p and the conclusion is represented by q, then the conditional stat

From playlist Conditional Statements

Video thumbnail

Logic - Types of Statements

An introduction to the general types of logic statements

From playlist Geometry

Video thumbnail

Set Theory (Part 18): The Rational Numbers are Countably Infinite

Please feel free to leave comments/questions on the video and practice problems below! In this video, we will show that the rational numbers are equinumerous to the the natural numbers and integers. First, we will go over the standard argument listing out the rational numbers in a table a

From playlist Set Theory by Mathoma

Video thumbnail

Implications & Contrapositives (1 of 2: How do they relate?)

More resources available at www.misterwootube.com

From playlist The Nature of Proof

Video thumbnail

Probabilistic logic programming and its applications - Luc De Raedt, Leuven

Probabilistic programs combine the power of programming languages with that of probabilistic graphical models. There has been a lot of progress in this paradigm over the past twenty years. This talk will introduce probabilistic logic programming languages, which are based on Sato's distrib

From playlist Logic and learning workshop

Video thumbnail

Paola Cantù : Logic and Interaction:pragmatics and argumentation theory

HYBRID EVENT Recorded during the meeting "Logic and transdisciplinarity" the February 11, 2022 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Audiov

From playlist Logic and Foundations

Video thumbnail

Knowledge - Lecture 1 - CS50's Introduction to Artificial Intelligence with Python 2020

00:00:00 - Introduction 00:00:15 - Knowledge 00:04:52 - Propositional Logic 00:21:47 - Inference 00:40:06 - Knowledge Engineering 01:04:33 - Inference Rules 01:30:31 - Resolution 01:38:25 - First-Order Logic This course explores the concepts and algorithms at the foundation of modern arti

From playlist CS50's Introduction to Artificial Intelligence with Python 2020

Video thumbnail

Chapter 8 - Logic (intro) - IB Math Studies (Math SL)

Hello and welcome to What Da Math This video is an introduction to logic from Chapter 8 of Haese edition of IB Math Studies book. In this and other chapter 8 videos we will focus on truth tables, deductive reasoning and logic, conjunction, disjunction, negation and exclusive disjunction.

From playlist IB Math Studies Chapter 8

Video thumbnail

RubyConf 2016 - Problem Solved! Using Logic Programming to Find Answers by Gavin McGimpsey

RubyConf 2016 - Problem Solved! Using Logic Programming to Find Answers by Gavin McGimpsey We love Ruby's object orientation, and you might have heard functional programming is the new hotness. But don't leave home without one more paradigm! Logic programs express relations and constraint

From playlist RubyConf 2016

Video thumbnail

Is God Necessary? | Episode 607 | Closer To Truth

Whether God exists may depend on whether God is necessary. Even if God exists, would it have been possible for God not to exist? In other words, even if God does exist, could it have been otherwise? Featuring interviews with Alvin Plantinga, Peter van Inwagen, Richard Swinburne, Bede Rund

From playlist Big Questions About God - Closer To Truth - Core Topic

Video thumbnail

Robert Pippin - Radical Finitude in the Anti-Idealist Modern European Philosophical Tradition”

Robert Pippin is Evelyn Stefansson Nef Distinguished Service Professor in the Committee on Social Thought, the Department of Philosophy, and the College at the University of Chicago. He is the author of Kant’s Theory of Form; Hegel’s Idealism: The Satisfactions of Self-Consciousness; Moder

From playlist Franke Lectures in the Humanities

Video thumbnail

Defining and comprehending "implication" in Mathematics

I'm not a native English speaker, sorry about my pronunciation and fluency in English. If there is any kind of mistake in the video, please inform me in the comments section.

From playlist Summer of Math Exposition Youtube Videos

Related pages

Subjunctive possibility | Possible world | Modal logic | Many-valued logic | Dialetheism | Rigid designator | Possibility theory | Paraconsistent logic | Saul Kripke