Yet another weird SF fan


I'm a mathematician, a libertarian, and a science-fiction fan. Common sense? What's that?

Go to first entry


 

Archives

<< current
 
E-mail address:
jhertzli AT ix DOT netcom DOT com


My Earthlink/Netcom Site

My Tweets

My other blogs
Small Sample Watch
XBM Graphics


The Former Four Horsemen of the Ablogalypse:
Someone who used to be sane (formerly War)
Someone who used to be serious (formerly Plague)
Rally 'round the President (formerly Famine)
Dr. Yes (formerly Death)

Interesting weblogs:
Back Off Government!
Bad Science
Blogblivion
Boing Boing
Debunkers Discussion Forum
Deep Space Bombardment
Depleted Cranium
Dr. Boli’s Celebrated Magazine.
EconLog
Foreign Dispatches
Good Math, Bad Math
Greenie Watch
The Hand Of Munger
Howard Lovy's NanoBot
Hyscience
Liberty's Torch
The Long View
My sister's blog
Neo Warmonger
Next Big Future
Out of Step Jew
Overcoming Bias
The Passing Parade
Peter Watts Newscrawl
Physics Geek
Pictures of Math
Poor Medical Student
Prolifeguy's take
The Raving Theist
RealityCarnival
Respectful Insolence
Sedenion
Seriously Science
Shtetl-Optimized
Slate Star Codex
The Speculist
The Technoptimist
TJIC
Tools of Renewal
XBM Graphics
Zoe Brain

Other interesting web sites:
Aspies For Freedom
Crank Dot Net
Day By Day
Dihydrogen Monoxide - DHMO Homepage
Fourmilab
Jewish Pro-Life Foundation
Libertarians for Life
The Mad Revisionist
Piled Higher and Deeper
Science, Pseudoscience, and Irrationalism
Sustainability of Human Progress


























Yet another weird SF fan
 

Sunday, January 18, 2015

Falsifying Philosophy

Harvey Friedman, a philosopher specializing in the philosophy of mathematics, is well known for Friedman's Grand Conjecture:

Every theorem published in the Annals of Mathematics whose statement involves only finitary mathematical objects (i.e., what logicians call an arithmetical statement) can be proved in EFA. EFA is the weak fragment of Peano Arithmetic based on the usual quantifier-free axioms for 0, 1, +, ×, exp, together with the scheme of induction for all formulas in the language all of whose quantifiers are bounded.
On the other hand, Harvey Friedman is also well known for
… attempts to justify large cardinal axioms by demonstrating their necessity for deriving certain propositions considered "concrete".
I think the “giant ant” I mentioned here was part of that research. On the gripping hand, the concrete propositions look like statements that logicians pulled out of a vulgar body aperture just to be ornery.

I was puzzled by this for a while. He was arguing in favor of one conclusion while providing something that might be evidence against it. I then realized what he was doing: He was trying to falsify a statement. This is so rare in philosophy, that it was hard to recognize. Philosophers have talked about falsification for years but it always seemed to for others to do. Now that a philosopher is applying the concept of falsification, it might be time for philosophy to climb the science hierarchy.

0 Comments:

Post a Comment

<< Home

 
Profiles
My Blogger Profile
eXTReMe Tracker X-treme Tracker

Site Meter
The Atom Feed This page is powered by Blogger.