Mathematical logic

Notre Dame Journal of Formal Logic

The Notre Dame Journal of Formal Logic is a quarterly peer-reviewed scientific journal covering the foundations of mathematics and related fields of mathematical logic, as well as philosophy of mathematics. It was established in 1960 and is published by Duke University Press on behalf of the University of Notre Dame. The editors-in-chief are Curtis Franks and Anand Pillay (University of Notre Dame). (Wikipedia).

Video thumbnail

Logic: The Structure of Reason

As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be

From playlist Logic & Philosophy of Mathematics

Video thumbnail

Publishing in SIAM Journals

SIAM publishes 16 peer-reviewed journals covering a broad range of disciplines in applied math and computational science, including SIAM Review, a quarterly journal of expository survey and education-oriented papers; SIAM/ASA Journal on Uncertainty Quantification, all-electronic and new in

From playlist SIAM Conference Videos

Video thumbnail

Presocratics Part 2: Mathematics, Atoms, and Logic

Continuing our examination of the Presocratic Greek philosophers, we examine some early formulations of mathematics, atomism, and logic. This will include figures from the Eleatic school, including Zeno and his famous paradoxes, and then moving on to the pluralists such as Anaxagoras and E

From playlist Philosophy/Logic

Video thumbnail

Ch. 8 - Logic - Valid Arguments (IB Math Studies)

Hello and welcome to What Da Math This video is an explanation of the following terms from logic, chapter 8: Valid arguments and truth tables using implications and conjunctions SUBSCRIBE for more math and math studies videos Join me on Twitter: http://twitter.com/WhatDaMath

From playlist IB Math Studies Chapter 8

Video thumbnail

Early OpenCourseWare Adopters

OCWC Global 2011: Early OpenCourseWare Adopters. Panelists from Universia, Japan OpenCourseWare, Johns Hopkins School of Public Health, Tufts University, University of Notre Dame and China Open Resources for Education (CORE) discuss the early days of OpenCourseWare and the impact of OCW on

From playlist OCW Consortium Global Conference - May 2011

Video thumbnail

The Ultimate Guide to Propositional Logic for Discrete Mathematics

This is the ultimate guide to propositional logic in discrete mathematics. We cover propositions, truth tables, connectives, syntax, semantics, logical equivalence, translating english to logic, and even logic inferences and logical deductions. 00:00 Propositions 02:47 Connectives 05:13 W

From playlist Discrete Math 1

Video thumbnail

Prealgebra Lecture 1.8: An Introduction to Variables and Algebraic Expressions

https://www.patreon.com/ProfessorLeonard Prealgebra Lecture 1.8: An Introduction to Variables and Algebraic Expressions

From playlist Prealgebra (Full Length Videos)

Video thumbnail

Virtual Readiness Two Approaches to Virtual Computer Labs During COVID-19

This seminar was led by colleagues at Indiana University and University of Notre Dame on Thursday, January 27, 2022. Abstract: The pandemic made us all innovators, but our existing infrastructure and technology tools played a big part in the trajectory of that innovation. When students we

From playlist Seminars/Workshops

Video thumbnail

Experts in Emotion 17.3b -- David Watson on Personality and Emotion

Experts in Emotion Series; Director: June Gruber, Yale University In this episode, you will learn about Personality and Emotion with Dr. David Watson from the University of Notre Dame. Dr. Watson will share what first got him interested in this topic and highlight a few core themes in hi

From playlist Experts in Emotion Series with June Gruber

Video thumbnail

Rebuilding Notre Dame | Full Documentary | NOVA | PBS

#NOVAPBS Official Website: https://to.pbs.org/3UX18E2 Following the April, 2019 fire that almost destroyed Paris’s iconic Notre Dame Cathedral, a team of engineers, masons, and timber workers set out on the daunting challenge of restoring France’s historic landmark. The program traces the

From playlist Full episodes I NOVA

Video thumbnail

Resurrecting Notre-Dame de Paris | Podcast | Overheard at National Geographic

National Geographic photographer Tomas van Houtryve documents the layered history and revival of one of the world’s most enduring landmarks, Notre-Dame de Paris. A reflection of the city and part of its soul, the cathedral has been ravaged, reimagined, and resurrected over the course of ei

From playlist Podcast | Overheard at National Geographic

Video thumbnail

Notre Dame de Paris' Never Ending Run of Bad Luck

Notre Dame de Paris is a staple in art history both as a gothic architecture masterpiece and a background in countless works of art. This gorgeous structure has a tendency to steal the show in whatever medium it is in though. Finished in 182 years, Notre Dame de Paris proves if something i

From playlist Iconic Builds

Video thumbnail

Amy Coney Barrett | Philosophy Tube ft. LegalEagle

What IS Originalism? 🐴🐴🐴 - https://www.patreon.com/PhilosophyTube Check out LegalEagle here! - https://www.youtube.com/channel/UCpa-Zb0ZcQjTCPP1Dx_1M8Q Subscribe! http://tinyurl.com/pr99a46 Paypal.me/PhilosophyTube Check out my other videos on: Confucius: https://www.youtube.com/watch?

From playlist The Main Show

Video thumbnail

Philosophy of Mathematics & Frege (Dummett 1994)

Michael Dummett gives a talk on Frege and the philosophy of mathematics. For a good introduction to the philosophy of mathematics, check out: https://www.youtube.com/watch?v=UhX1ouUjDHE Another good introduction to the philosophy of mathematics: https://www.youtube.com/watch?v=XyXWnGFKTkg

From playlist Logic & Philosophy of Mathematics

Video thumbnail

Translating ENGLISH into PREDICATE LOGIC - Logic

In this video on Logic, we learn to translate English sentences into Predicate Logic. We do sentences with only constants and predicates, as well as introduce the universal and existential quantifier "some x is P" and "every x is P" and then do some practice problems. Predicate Logic trans

From playlist Logic in Philosophy and Mathematics

Video thumbnail

Kurt Gödel Centenary - Part III

John W. Dawson, Jr. Pennsylvania State University November 17, 2006 More videos on http://video.ias.edu

From playlist Kurt Gödel Centenary

Video thumbnail

The Power of Notre Dame Cathedral: Professor William R. Cook

With its famous facade and its iconic status as one of the world's foremost cathedrals, Notre Dame has been remodeled more often than any other cathedral (most notably after the French Revolution). With an estimated length of 400 feet, the cathedral features an innovative double-aisled nav

From playlist Modern History

Video thumbnail

A First Undergraduate Course in Abstract Algebra

This is an older book on Abstract Algebra. It is called A First Undergraduate Course in Abstract Algebra and it was written by Hillman and Alexanderson. Here is one version https://amzn.to/3ISQLNH Useful Math Supplies https://amzn.to/3Y5TGcv My Recording Gear https://amzn.to/3BFvcxp (the

From playlist Book Reviews

Video thumbnail

The History of Logic: The Logic of Aristotle

A few clips of Gabriele Giannantoni explaining Aristotelian logic, the logic of Aristotle. These clips come from the Multimedia Encyclopedia of the Philosophical Sciences. More Short Videos: https://www.youtube.com/playlist?list=PLhP9EhPApKE8v8UVlc7JuuNHwvhkaOvzc Aristotle's Logic: https:

From playlist Logic & Philosophy of Mathematics

Video thumbnail

If God Knows the Future, What is Free Will? | Episode 710 | Closer To Truth

If God is infallible and knows the future perfectly, then God knows what I will do at every moment from my birth to my death. So where's my free will? Featuring interviews with Alvin Plantinga, Peter van Inwagen, Thomas Flint, and Dean Zimmerman. Season 7, Episode 10 - #CloserToTruth ▶Re

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

Related pages

Mathematical logic | Philosophy of mathematics | Foundations of mathematics