Monad (philosophy)

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

Spinoza & Leibniz - Bryan Magee & Anthony Quinton (1987)

Bryan Magee and Anthony Quinton discuss the 17th-18th century philosophers Spinoza and Leibniz. Both were rationalists who developed elaborate philosophical systems out of only a few basic principles of reason, but ended up with quite different views. Spinoza was a monist and pantheist. He

From playlist Bryan Magee Interviews - The Great Philosophers (1987)

Meaning of Life!

Not so much philosophical as "philosophical". A Philosofan sent me a lovely message, so I recorded this response. Knowledge, Logic, & Religion Playlist: https://www.youtube.com/playlist?list=PLvoAL-KSZ32fRrlUcuezyvR80Ec6qHUz_ Facebook: https://www.facebook.com/PhilosophyTube?ref=hl Twitt

From playlist KNOWLEDGE, LOGIC, & RELIGION

Who was Boethius?

In this module, Professor John Marenbon (University of Cambridge) introduces Boethius, by reviewing his life and the historical context around his writings. In particular we focus on (i) the significance of the end of the Western Roman Emperor, and subsequent ruling, to Boethius’ life (ii)

From playlist Philosophy

Plato: Biography of a Great Thinker

The Greek philosopher Plato was a student of Socrates, and teacher of Aristotle. He wrote on a wide variety of topics including Politics, Aesthetics, Cosmology, and Epistemology. To this day, we refer to “Platonic Love” and “Platonic Ideals.” Plato’s search for knowledge and truth formed t

From playlist It Starts With Literacy

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

What is Knowledge?

In this lecture, Dr Arif Ahmed (University of Cambridge) thinks about the concept of knowledge and the analysis of a particular category of knowledge called ‘propositional knowledge’ (also known as ‘knowledge that’). In particular, we focus on: (i) the distinction between different kinds o

From playlist Philosophy

The Time Gödel Told a Joke...Or Did He?

In this brief clip, one of the deepest and most perplexing questions of the universe is addressed: Did Kurt Gödel have a sense of humor? This is a re-upload from the previous channel. It comes from a talk given a few years back by professor Gerald Sacks. More Short Clips: https://www.youtu

From playlist Shorter Clips & Videos - Philosophy Overdose

ElixirDaze 2018 - Don’t let it crash: safe and convenient error handling... by Brooklyn Zelenka

ElixirDaze 2018 - Don’t let it crash: safe and convenient error handling with Exceptional by Brooklyn Zelenka

From playlist ElixirDaze 2018

A conversation between Gregory Chaitin and Stephen Wolfram, Part 2

Stephen Wolfram plays the role of Salonnière in this new, on-going series of intellectual explorations with special guests. Watch all of the conversations here: https://wolfr.am/youtube-sw-conversations Originally livestreamed at: https://twitch.tv/stephen_wolfram Stay up-to-date on

From playlist Conversations with Special Guests

What Is Philosophy?

A few clips of philosophers discussing the nature and value of philosophy, featuring David Chalmers, Charles Taylor, John Searle, Paul Churchland, Philip Kitcher, Michael Sandel, Jonathan Glover, Martha Nussbaum, Hilary Putnam, Nicholas Smith, and W.D. Hart. These clips come an episode of

From playlist Shorter Clips & Videos - Philosophy Overdose

LambdaConf 2015 - The Abstract Method, In General Gershom Bazerman

“Programming is about abstraction.” But what is abstraction about? Surely not just programming. Why do we need it, why do we keep reinventing it? How do we even recognize it when we see it, across so many domains? When something is more abstract, it is not necessarily more useless, even th

From playlist LambdaConf 2015

Stanford Seminar - Propositions as Types

"Propositions as Types" - Philip Wadler of University of Edinburgh About the talk: The principle of Propositions as Types links logic to computation. At first sight it appears to be a simple coincidence---almost a pun---but it turns out to be remarkably robust, inspiring the design of the

From playlist Engineering

PROG2006 Advanced Programming

Haskell Visual code inspections Coding vocabulary and constructs Debugging

From playlist PROG2006 - Programming

FP is the new OOP

Many of us in the functional programming community believe that FP is a significant improvement over object oriented programming, arguably the dominant programming paradigm today. That of course begs the question: how did an inferior paradigm grab so much mindshare and market share and ris

From playlist Functional Programming

Words, Definitions, & Philosophy

Hugh Mellor discusses the use of words and definitions in philosophy in two short radio broadcasts in a BBC series from 1978. Among other things, he dispels the myth that important issues in philosophy (as elsewhere) can be settled merely by definition. More Short Clips: https://www.youtub

From playlist Shorter Clips & Videos - Philosophy Overdose

5 Reasons Why DWM is My Favorite Window Manager

DWM is awesome, and it's the one I keep coming back to. Patreon - https://patreon.com/thelinuxcast Liberapay - https://liberapay.com/thelinuxcast/ ===== Follow us 🐧🐧 ====== Odysee - https://odysee.com/$/invite/@thelinuxcast:4 Mastadon - @drmdub@distrotoot.com http://twitter.com/thelinux

From playlist Linux Top 5

Mandelbrot fractal zoom // featuring Euler bio

Mandelbrot fractal zoom // featuring Euler bio Come hang out and watch a fractal zoom through the Mandelbrot set. To celebrate Euler's contributions to mathematics, this video features a brief bio. of Leonhard Euler! ---------------------------------------------------------------------

From playlist Misc.

Philosophy of History (Isaiah Berlin 1961)

Isaiah Berlin's lectures on Romanticism: https://www.youtube.com/playlist?list=PLhP9EhPApKE_9uxkmfSIt2JJK6oKbXmd- More Political Philosophy: https://www.youtube.com/playlist?list=PLhP9EhPApKE_O1dkCOqsUke_0QUkX80A- #Philosophy #IsaiahBerlin

From playlist Social & Political Philosophy