
Recent Posts
November 2017 S M T W T F S « Dec 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 Archives
Category Archives: Logic
What’s logical coherence for anyway?
Time for a writeup! Or something. So I’ve written before about Logical Uncertainty in a very vague way. And a few weeks ago I wrote about a specific problem of Logical Uncertainty which was presented in the MIRI workshop. I’m gonna reference definitions and results from … Continue reading
The Gaifman Condition and the Π1Π2 problem
So I’m at a MIRI workshop on Logical Uncertainty, and I’m gonna make a more complete post about it later, but I wanted to talk about a thing that has been on my mind. So we’re trying to build a … Continue reading
Posted in Logic, Mathematics, Probability Theory
Tagged logic, logical uncertainty, mathema, mathematics, maths, miri, probability theory, tagging maths for a friend
9 Comments
How to prove stuff
A while ago, I wrote up a post that explained what a mathematical proof is. In short, a mathematical proof is a bunch of sentences that follow from other sentences. And when mathematicians have been trying to prove stuff for hundreds … Continue reading
Posted in Intuitive Mathematics, Logic, Mathematics
Tagged logic, mathema, mathematical logic, mathematics
Leave a comment
MIRI paper on logical uncertainty
Talking to raginrayguns again and he mentioned that a month and a half ago, Paul Christiano wrote a paper exactly on the subject of logical uncertainty. While I haven’t finished reading it yet, I’ll publish it here because it’s relevant. … Continue reading
Posted in Logic, Mathematics, Probability Theory, Rationality
Tagged ai, logic, mathema, mathematics, maths, miri, probability theory, rationality
Leave a comment
Logical Uncertainty: an addendum
And I forgot to mention one thing in the last post which is relevant. Gaifman, in his paper, states that if in we have that then . I’ll quickly show that that’s a theorem of my approach, and, indeed, any similar … Continue reading
Posted in Logic, Mathematics, Probability Theory, Rationality
Tagged Bayes’ Theorem, logic, mathema, mathematical logic, maths, probability theory, tagging maths for a friend
2 Comments
Logical Uncertainty
In the past while, I’ve been talking to a friend about logical uncertainty. Specifically, how do we deal with the fact that we’re not logically omniscient? Usually, when , we have that . But what if we don’t know that ? What if we … Continue reading
Axioms, logical pinpointing, natural numbers, and mathematical realism
One of the greatest problems people who are getting into hardcore maths face, one of the blocks, is how arbitrary the axioms look. Axioms are the fundamental truths of a mathematical system, the things we do not prove. Whenever people are introduced … Continue reading
Posted in Intuitive Mathematics, Logic, Mathematics, Number Theory
Tagged arithmetic, logic, mathema, maths, number theory
6 Comments
Propositional Logic
…is the basic form of logic whose atoms (or the basic structures upon which it acts) are propositions. A proposition is nothing more than a sentence in some language that states something. Within propositional logic, each sentence can have one of … Continue reading
Posted in Logic, Mathematics
Tagged Aristotelian Logic, logic, mathema, mathematics, maths, Propositional Calculus, Propositional Logic
2 Comments