Predicate logic

Drinker paradox

The drinker paradox (also known as the drinker's theorem, the drinker's principle, or the drinking principle) is a theorem of classical predicate logic that can be stated as "There is someone in the pub such that, if he or she is drinking, then everyone in the pub is drinking." It was popularised by the mathematical logician Raymond Smullyan, who called it the "drinking principle" in his 1978 book What Is the Name of this Book? The apparently paradoxical nature of the statement comes from the way it is usually stated in natural language. It seems counterintuitive both that there could be a person who is causing the others to drink, or that there could be a person such that all through the night that one person were always the last to drink. The first objection comes from confusing formal "if then" statements with causation (see Correlation does not imply causation or Relevance logic for logics that demand relevant relationships between premise and consequent, unlike classical logic assumed here). The formal statement of the theorem is timeless, eliminating the second objection because the person the statement holds true for at one instant is not necessarily the same person it holds true for at any other instant. The formal statement of the theorem is where D is an arbitrary predicate and P is an arbitrary nonempty set. (Wikipedia).

Video thumbnail

ALCOHOL - a quick definition

A quick definition of an alcohol. Chem Fairy: Louise McCartney Director: Michael Harrison Written and Produced by Kimberly Hatch Harrison ♦♦♦♦♦♦♦♦♦♦ Ways to support our channel: ► Join our Patreon : https://www.patreon.com/socratica ► Make a one-time PayPal donation: https://www.paypa

From playlist Chemistry glossary

Video thumbnail

Is There Any Real Hangover "Cure?"

Check us out on iTunes! http://dne.ws/1NixUds Please Subscribe! http://testu.be/1FjtHn5 We have all heard of a crazy hangover cure that someone promises works, but is there any science behind their claims? Do hangover cures actually exist? + + + + + + + + Previous Episode: P

From playlist Why Do Humans Drink Alcohol?

Video thumbnail

Take a Sip

http://www.exploratorium.edu/mind Feel the tension between reason and emotion at a very unusual drinking fountain. Experience it yourself at the Exploratorium Tuesday-Sunday, 10a.m.-5p.m.

From playlist Hands-on Exploratorium

Video thumbnail

Should The US Lower Its Drinking Age?

Check us out on iTunes! http://dne.ws/1NixUds Please Subscribe! http://testu.be/1FjtHn5 Did you know that there actually is no federal drinking age law? There are state drinking age laws that the federal government coerces states to adapt by different means. + + + + + + + + Pr

From playlist Why Do Humans Drink Alcohol?

Video thumbnail

10. Cafés and the Culture of Drink

France Since 1871 (HIST 276) Because drinking is such an integral part of French culture, alcohol abuse has been historically ignored. Although there have been celebrated attempts to address this problem, such as Zola's L'Assomoir, it is only in the past five or ten years that the gover

From playlist France Since 1871 with John Merriman

Video thumbnail

How To Have Fun Without Drinking

"How Do I have Fun Without Drinking?" https://goo.gl/0uDf6E It can be tough to have fun when you are learning how to not drink when everyone else is. People will peer pressure you incessantly, implying that you're no fun or a buzzkill. That's why it's good to come up with a plan for havi

From playlist "Should I drink?" : The social benefits on not drinking alcohol and how to say "no"

Video thumbnail

Solution #99 Drinking Bird

Temperature Dependence on Bird Behavior

From playlist Solutions to Bi-weekly Physics Problems

Video thumbnail

SDS 512: Does Caffeine Hurt Productivity? (Part 1) — with Jon Krohn

I dive into a personal experiment to test my productivity relative to my coffee intake and if caffeine is actually hurting my productivity. Additional materials: https://www.superdatascience.com/512

From playlist Super Data Science Podcast

Video thumbnail

Yale AIDS Colloquium Series (YACS) - Christopher W. Kahler

"Understanding and Intervening on Alcohol-Related Comorbidities in HIV Treatment" Christopher W. Kahler, Ph.D. is Professor and Chair of the Department of Behavioral and Social Sciences in the Public Health Program at the Warren Alpert Medical School of Brown University. Alcohol use affe

From playlist Center for Interdisciplinary Research on AIDS

Video thumbnail

Computational Linguistics I: Language Models

Adapted from slides from Philipp Koehn

From playlist Computational Linguistics I

Video thumbnail

T Test Introduction

What is a t-test? Brief overview of the t value and test, using Excel for the calculations.

From playlist t-test

Video thumbnail

How optimization for machine learning works, part 1

Part of the End-to-End Machine Learning School course library at http://e2eml.school See these concepts used in an End to End Machine Learning project: https://end-to-end-machine-learning.teachable.com/p/polynomial-regression-optimization/ Watch the rest of the How Optimization Works seri

From playlist E2EML 173. How Optimization for Machine Learning Works

Video thumbnail

Radium Girls | Inés Dawson @ OxSciFest Cabaret of the Elements

This is my live performance on the Radium Girls, the closing act at the Science Cabaret of the Elements at the Oxford Science Festival. Apologies for crappy visual quality - dim light and my camera don't mesh well - but I wanted to share with you all nonetheless. :) BTW, I like Game of Th

From playlist Draw Curiosity is also featured in...

Video thumbnail

More Help with Binomial Probability

Additional insight into understanding and calculating binomial probability

From playlist Unit 6 Probability B: Random Variables & Binomial Probability & Counting Techniques

Video thumbnail

Does 1 Beer = 1 Glass of Wine = 1 Shot of Hard Liquor? The Math of a Standard Drink

They say that 1 beer is equal to 1 glass of wine which is also equal to 1 shot of hard liquor. But where does this formula come from, and it is useful in practical settings? We explore the math of a standard drink in America. Note: All the units and definitions are for American customary

From playlist Everyday Math

Video thumbnail

STOP DRINKING: Why alcohol kills self-improvement

I get a lot of questions about the steps to take to be more charismatic. And this one always surprises people: STOP DRINKING! https://goo.gl/RyWH6V It seems like improvement is something you do between the gym and work. But the truth is, every social interaction is a chance to learn som

From playlist "Should I drink?" : The social benefits on not drinking alcohol and how to say "no"

Video thumbnail

Python pandas—Apply—Student Alcohol Consumption

Sometimes we learn best by doing. Unlike my other videos, I’ll be going through these exercises cold. Sometimes we’ll encounter ambiguous questions, and sometimes I'll be wrong. Learning from our mistakes can be a powerful teacher. So, it’s OK to be wrong now, because we’ll know how to avo

From playlist Python pandas -- Learning by doing

Video thumbnail

Complete a Venn Diagram From Survey: Coffee and Tea

This video explains how to complete Venn diagram with the cardinality of sets. Then questions about the result are answered.

From playlist Sets

Video thumbnail

Brew: A Brief History of Coffee

To some, their morning coffee is an elixir from heaven, their wake-up in a cup, or simply… necessary to carry on. With its energizing properties and storied past, it has an interesting history that deserves to be remembered. This is original content based on research by The History Guy.

From playlist History of food

Video thumbnail

The Truth About Alcohol's Health Benefits

Check us out on iTunes! http://dne.ws/1NixUds Please Subscribe! http://testu.be/1FjtHn5 The origin of human alcohol consumption is a widely debated topic among many scientists and it is an interesting topic at that. What we really want to know though is, are there actual health benef

From playlist Why Do Humans Drink Alcohol?

Related pages

Witness (mathematics) | Automated reasoning | Relevance logic | Vacuous truth | Intuitionistic logic | Temporal logic | Correlation does not imply causation | Theorem | Classical logic | Raymond Smullyan | Predicate (mathematical logic) | Material conditional | Antecedent (logic)