Modal logic

Alethic modality

Alethic modality (from Greek ἀλήθεια = truth) is a linguistic modality that indicates modalities of truth, in particular the modalities of logical necessity, contingency, possibility and impossibility. Alethic modality is often associated with epistemic modality in research, and it has been questioned whether this modality should be considered distinct from epistemic modality which denotes the speaker's evaluation or judgment of the truth. The criticism states that there is no real difference between "the truth in the world" (alethic) and "the truth in an individual's mind" (epistemic). An investigation has not found a single language in which alethic and epistemic modalities would be formally distinguished, for example by the means of a grammatical mood. In such a language, "A circle can't be square", "can't be" would be expressed by an alethic mood, whereas for "He can't be that wealthy", "can't be" would be expressed by an epistemic mood. As we can see, this is not a distinction drawn in English grammar. "You can't give these plants too much water." is a well-known play on the distinction between perhaps alethic and hortatory or injunctive modalities (it can mean either "it is impossible to give these plants too much water = giving them too much water is harmless" or "you must not give these plants too much water = giving them too much water is harmful"). The dilemma is fairly easily resolved when listening through paralinguistic cues and particularly suprasegmental cues (intonation). So while there may not be a morphologically based alethic mood, this does not seem to preclude the usefulness of distinguishing between these two types of modes. Alethic modality might then concern what are considered to be apodictic statements. (Wikipedia).

Video thumbnail

the C language (part 2 of 5)

Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org

From playlist The C language

Video thumbnail

the C language (part 5 of 5)

Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org

From playlist The C language

Video thumbnail

Logic 3: Quantifiers (univ. & exist.), Proofs part 1 — Tutorial 3/4

In this four-part series we explore propositional logic, Karnaugh maps, implications and fallacies, predicate logic, existential and universal quantifiers and finally natural deduction. Become a member: https://youtube.com/Bisqwit/join My links: Twitter: https://twitter.com/RealBisqwit L

From playlist Logic Tutorial

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

the Internet (part 2)

An intro to the core protocols of the Internet, including IPv4, TCP, UDP, and HTTP. Part of a larger series teaching programming. See codeschool.org

From playlist The Internet

Video thumbnail

On Genealogy (Genealogical Debunking/Skepticism)

We suffer from genealogical anxiety when we worry that the contingent origins of our representations, once revealed, will somehow undermine or cast doubt on those representations. Is such anxiety ever rational? Many have apparently thought so, from pre-Socratic critics of Greek theology to

From playlist Social & Political Philosophy

Video thumbnail

Inference in a Nonconceptual World, Brian Cantwell Smith and Joseph T. Rouse

Brian Cantwell Smith, Reid Hoffman Professor of Artificial Intelligence and the Human, University of Toronto. Moderated conversation with Joseph T. Rouse, Department of Philosophy, Wesleyan University. Classical models of inference, such as those based on logic, take inference to be *conce

From playlist Franke Program in Science and the Humanities

Video thumbnail

Open Source vs. Closed Source Software

In this video, you’ll learn more about the differences between open-source software and closed-source software. Visit https://edu.gcfglobal.org/en/basic-computer-skills/ for more technology, software, and computer tips. We hope you enjoy!

From playlist Technology Trends

Video thumbnail

C07 Homogeneous linear differential equations with constant coefficients

An explanation of the method that will be used to solve for higher-order, linear, homogeneous ODE's with constant coefficients. Using the auxiliary equation and its roots.

From playlist Differential Equations

Video thumbnail

22. AIDS (I)

Epidemics in Western Society Since 1600 (HIST 234) The global AIDS pandemic furnishes a case study for many of the themes addressed throughout the course. While in the developed West the disease largely afflicts concentrated high-risk groups such as intravenous drug users and the sexual

From playlist Epidemics in Western Society Since 1600 with Frank Snowden

Video thumbnail

Interactive Websites with jQuery and Bootstrap, by Anton Ulyanov

We've seen how to quickly make websites look great with Boostrap, but we can also make our sleek websites interactive by combining the CSS library with jQuery — a popular library for JavaScript. In this seminar, we'll cover the basics of the Bootstrap and jQuery libraries, and then see how

From playlist CS50 Seminars 2018

Video thumbnail

R12. Modal Analysis of a Double Pendulum System

MIT 2.003SC Engineering Dynamics, Fall 2011 View the complete course: http://ocw.mit.edu/2-003SCF11 Instructor: J. Kim Vandiver License: Creative Commons BY-NC-SA More information at http://ocw.mit.edu/terms More courses at http://ocw.mit.edu

From playlist MIT 2.003SC Engineering Dynamics, Fall 2011

Video thumbnail

SYN124 - The Function of the Verb - Mood and Modality

In this final E-Lecture of the series functional aspects of the verb, Prof. Handke discusses the notions of mood and modality. He exemplifies the rudimentary mood system in PDE and discusses the three modlities, dynamic, deontic, and epistemic in detail.

From playlist VLC201 - The Structure of English

Video thumbnail

Tom Vercauteren: "Flexible machine learning approaches for computer-assisted surgery"

Deep Learning and Medical Applications 2020 "Flexible machine learning approaches for computer-assisted surgery" Tom Vercauteren - King's College London Abstract: Data-driven computational approaches have evolved to enable extraction of information from medical images with a reliability,

From playlist Deep Learning and Medical Applications 2020

Video thumbnail

What is... an elliptic curve?

In this talk, we will define elliptic curves and, more importantly, we will try to motivate why they are central to modern number theory. Elliptic curves are ubiquitous not only in number theory, but also in algebraic geometry, complex analysis, cryptography, physics, and beyond. They were

From playlist An Introduction to the Arithmetic of Elliptic Curves

Video thumbnail

Springy Animated Modals // Framer Motion & React Tutorial for Beginners

Create amazing animations in React with Framer Motion. In this tutorial, we build an interactive modal window from scratch and customize its spring animations. Full tutorial https://fireship.io/lessons/framer-motion-modal/ #react #animation #learntocode Try it out https://react-framer-de

From playlist Frontend Mini Projects

Related pages

Apodicticity