On 12 Jun 2013, at 23:57, Jason Resch wrote:
On Jun 12, 2013, at 3:23 PM, meekerdb <meeke...@verizon.net> wrote:
On 6/12/2013 11:57 AM, Jason Resch wrote:
On Jun 12, 2013, at 1:52 PM, meekerdb <meeke...@verizon.net> wrote:
On 6/12/2013 2:20 AM, Telmo Menezes wrote:
On Wed, Jun 12, 2013 at 11:17 AM, Bruno Marchal
<marc...@ulb.ac.be> wrote:
>
> On 11 Jun 2013, at 23:18, John Mikes wrote:
>
> Laughing stock: how can so many excellently educted and
smart(est)
> scientists SERIOUSLY debate on farces like flying pink
elephants?
>
>
>
> Those are test cases, extreme case, to argue more easily on
the question of
> existence, which is not obvious.
> Of course we are not discussing on the existence of flying
elephants at all.
Maybe on a smaller planet with less gravity or a denser atmosphere
flying elephants would be a viable evolutionary niche?
But in what sense would they be elephants? That's my point:
'elephant' is a category we make up.
Things are either consistently defined or they are not. Here
though, I think the problem is not necessarily inconstency but
lack of clarity.
Example: Is an elephant in a cargo plane at 10,000 feet not a
flying elephant?
I think We are wasting our time on matters of language when the
core issue is the diffetence between how big some of us consider
reality to be.
Some take reality to be whatever can be described in language.
Which language and described by whom?
I would say the fictionalists.
They will say that Sherlock and Santa Klauss exists, because you can
predicate them in some meaningful sentences.
The realist believes in some reality, that is assumed it explicitly,
with basic elements obeying laws, and it will study the complex 1p/3p
relations which might ensue, and (at least try) to generate the many
notions of existence of that.
I would say the "TOE" goal is to find the simplest theory explaining
and classifying the many notions of existence possible.
But that's exactly what the ideally correct Lôbian universal machine
discovers when looking inward, the 8 nuances between truth (p),
provable (Bp), knowable (Bp & p), observable (Bp & Dt), sensible (Bp a
Dt & p).
There are different precise mathematics for "existence" in each such
(modal, arithmetical) logic.
Sensible existence would be, with p arithmetical sigma_1 sentences,
[]<>Ex []<>F(x), with []p = Bp & Dt & p). (B = Gödel's beweisbar
arithmetical predicate, Dp = ~B~p, <>p = ~[]~p, and p a sigma_1
sentences).
Bruno
Jason
Brent
--
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.
