Philosophy of mathematics

Logicism

In the philosophy of mathematics, logicism is a programme comprising one or more of the theses that — for some coherent meaning of 'logic' — mathematics is an extension of logic, some or all of mathematics is reducible to logic, or some or all of mathematics may be modelled in logic. Bertrand Russell and Alfred North Whitehead championed this programme, initiated by Gottlob Frege and subsequently developed by Richard Dedekind and Giuseppe Peano. (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

Teach Astronomy - Logic

http://www.teachastronomy.com/ Logic is a fundamental tool of the scientific method. In logic we can combine statements that are made in words or in mathematical symbols to produce concrete and predictable results. Logic is one of the ways that science moves forward. The first ideas of

From playlist 01. Fundamentals of Science and Astronomy

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

Maths for Programmers: Logic (What Is Logic?)

We're busy people who learn to code, then practice by building projects for nonprofits. Learn Full-stack JavaScript, build a portfolio, and get great references with our open source community. Join our community at https://freecodecamp.com Follow us on twitter: https://twitter.com/freecod

From playlist Maths for Programmers

Video thumbnail

Logic - Types of Statements

An introduction to the general types of logic statements

From playlist Geometry

Video thumbnail

Introduction to Philosophy and Logic

Humans are on a quest to understand the world around us. How did this quest begin? What are the tools we use to gather knowledge? How do we know what is possible to know? What do we mean when using words like ethics, ontology, metaphysics, aesthetics, and logic? This series is going to get

From playlist Philosophy/Logic

Video thumbnail

Logic for Programmers: Propositional Logic

Logic is the foundation of all computer programming. In this video you will learn about propositional logic. 🔗Homework: http://www.codingcommanders.com/logic.php 🎥Logic for Programmers Playlist: https://www.youtube.com/playlist?list=PLWKjhJtqVAbmqk3-E3MPFVoWMufdbR4qW 🔗Check out the Cod

From playlist Logic for Programmers

Video thumbnail

A brief history of logic: Stoics and other thinkers | MathFoundations 252 | NJ Wildberger

While Aristotle's logic ultimately became dominant, in ancient Greek times there was an important alternative school of logical thought: formed by the Stoics going back to Zeno of Citium (not the Zeno of the paradoxes) and most clearly formulated by Chrysippus. This logic uses connectives

From playlist Boole's Logic and Circuit Analysis

Video thumbnail

Logic 1 - Overview: Logic Based Models | Stanford CS221: AI (Autumn 2021)

For more information about Stanford's Artificial Intelligence professional and graduate programs visit: https://stanford.io/ai This lecture covers logic-based models: propositional logic, first order logic Applications: theorem proving, verification, reasoning, think in terms of logical f

From playlist Stanford CS221: Artificial Intelligence: Principles and Techniques | Autumn 2021

Video thumbnail

Excel Statistical Analysis 17: AND, OR, and NOT Logical Tests for COUNTIFS & FILTER Functions

Download Excel File: https://excelisfun.net/files/Ch04-ESA.xlsm pdf notes: https://excelisfun.net/files/Ch04-ESA.pdf Learn about the basics of Logical Tests: AND, OR and NOT. Lean how to count based on logical tests using COUNTIFS, FILTER and ROWS functions. Topics: 1. (00:00) Introduction

From playlist Excel Statistical Analysis for Business Class Playlist of Videos from excelisfun

Video thumbnail

Inference: A Logical-Philosophical Perspective - Moderated Conversation w/ A.C. Paseau and Gila Sher

Inference:  A Logical-Philosophical Perspective. Moderated Conversation with Gila Sher, Department of Philosophy, University of California, San Diego on the talk by Alexander Paseau, Faculty of Philosophy, University of Oxford. The Franke Program in Science and the Humanities Understandi

From playlist Franke Program in Science and the Humanities

Video thumbnail

What are Non-Classical logics?

Some of the general classes of non-classical logics I touch in this videos are linear logic, relevant logic, modal logic, many-valued logics, minimal logic, paraconsistent logics and so on and so forth. Let me know if I should dive deeping into a certain scene? https://en.wikipedia.org/wi

From playlist Programming

Video thumbnail

Logic Gates from Transistors: Transistors and Boolean Logic

How to make all the logic gates from a field effect transistor, or from other logic gates.

From playlist Physics

Video thumbnail

Clojure Conj 2012 - Challenges for Logic Programming

Challenges for Logic Programming by: Steve Miner The core.logic library (a port of miniKANREN) has sparked an interest in logic programming among Clojure users. Back in the '80s, logic programming inspired the Japanese Fifth Generation Computer Systems Project, which was poised to leap pa

From playlist Clojure Conf 2012

Video thumbnail

Logical Tests: Excel Formulas, Conditional Formatting, PivotTables, Power Query, & More- 365 MECS 07

Download Excel file: https://excelisfun.net/files/07-M365ExcelClass.xlsx Download pdf notes: https://excelisfun.net/files/07-M365ExcelClass.pdf Download csv file for Power Query example: https://excelisfun.net/files/9112021-2022CallData.csv This video is a comprehensive lesson in logical

From playlist Microsoft 365 Excel Complete Class: free from excelisfun at YouTube - 365 MECS

Video thumbnail

The Logic of Aristotle

Gabriele Giannantoni explains the logic of Aristotle in the context of the history of logic in interview from 1990. These clips are from the Multimedia Encyclopedia of the Philosophical Sciences. The translation is my own. #Philosophy #Aristotle

From playlist Aristotle

Related pages

Richard Dedekind | Giuseppe Peano | Set theory | Axiom of pairing | Formalism (philosophy of mathematics) | Gottlob Frege | Hume's principle | Model theory | David Hilbert | Rational number | New Foundations | Peano axioms | Bob Hale (philosopher) | Naive set theory | Zermelo–Fraenkel set theory | Infinite regress | Higher-order logic | Impredicativity | Modal logic | Mathematics | Algebraic logic | Function (mathematics) | Tarski's undefinability theorem | Real number | Second-order logic | Aristotelian realist philosophy of mathematics | Modus ponens | Constructivism (philosophy of mathematics) | Dedekind cut | Rudolf Carnap | Leopold Kronecker | Bijection | Axiom of reducibility | Axiom | Principia Mathematica | Willard Van Orman Quine | Primitive notion | Bertrand Russell | Russell's paradox | Alfred North Whitehead | Intuitionism | First-order logic | Philosophy of mathematics