Re: Incompleteness vs. Mechanical Reasoning

On Apr 5, 7:07 pm, Aatu Koskensilta <aatu.koskensi...@xxxxxxxxx>
wrote:
On 2008-04-04, in sci.logic, Rupert wrote:

How do you know that we have free will?

Being the predictable scoundrel I am, I would first ask just what it
means for us to have or fail to have free will. Isn't philosophy fun!

--
Aatu Koskensilta (aatu.koskensi...@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus

This is a very good question. In the essay I linked to Peter Unger
makes some attempt to say what he thinks it means.
.

Relevant Pages

  • Re: an essentially non-constructive existence proof
    ... Aatu Koskensilta wrote: ... given that PA is conservative over HA for Pi-2 ... - Ludwig Wittgenstein, Tractatus Logico-Philosophicus ...
    (sci.logic)
  • Re: Sets
    ... Aatu Koskensilta writes: ... in general A is a subset of Pbut not necessarily a member of ... - Ludwig Wittgenstein, Tractatus Logico-Philosophicus ...
    (sci.math)
  • Re: Secretly Inconsistent?
    ... Aatu Koskensilta writes: ... Both Alan and I got confused; there is no sentence P unprovable ... - Ludwig Wittgenstein, Tractatus Logico-Philosophicus ...
    (sci.logic)
  • Re: Axiom of infinity and the set of all hereditary finite sets.
    ... On Sep 29, 2:18 am, Aatu Koskensilta ... and it should be a theorem of ZFC. ... - Ludwig Wittgenstein, Tractatus Logico-Philosophicus ...
    (sci.logic)
  • Re: Inconsistent = all sentences provable?
    ... On Feb 19, 9:17 am, Aatu Koskensilta ... That an inconsistent theory proves everything holds whenever ex falso ... daruber muss man schweigen" ... - Ludwig Wittgenstein, Tractatus Logico-Philosophicus ...
    (sci.logic)
Loading