## Search found 844 matches

- Thu May 23, 2019 10:35 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**3647**

### Re: Any science of logic?

Model-dependent realism is a view of scientific inquiry that focuses on the role of scientific models of phenomena It claims reality should be interpreted based upon these models, and where several models overlap in describing a particular subject, multiple, equally valid, realities exist. It claim...

- Thu May 23, 2019 12:17 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**3647**

### Re: Any science of logic?

What is this? A high-school exam? The axiom is here: https://github.com/UniMath/UniMath/blob/master/UniMath/Foundations/UnivalenceAxiom.v It says what it says and it does what it does. Here's the problem. Earlier you claimed to be studying Homotopy Type Theory, or HOTT. I found that interesting sin...

- Thu May 23, 2019 12:00 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**3647**

### Re: Any science of logic?

When did we get to "absolute truths"? When you said the world is a computer. That's a metaphysical claim. A claim of absolute truth about the world. It's something that's unknown and possibly unknowable yet you insist on it. You are the one claiming knowledge of an absolute truth. I think I rejecte...

- Wed May 22, 2019 5:29 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**3647**

### Re: Any science of logic?

Dammit I keep hitting Quote when I mean Edit. Double post. It says I can't delete posts in this forum. The moving finger having writ and all that.

- Wed May 22, 2019 4:45 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**3647**

### Re: Any science of logic?

I explained it in the very next paragraph! I explained that the sentence was targeted at my interlocutor's understanding. That's interesting. In other words you made an explicit claim whose truth value and/or coherence depend on the reader. That is, if your interlocutor is reading it, it means one ...

- Wed May 22, 2019 3:55 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**3647**

### Re: Any science of logic?

But HOTT, just like any branch of math, is a symbolic system. It says nothing about the universe. This is where you are wrong. Any system for which we have a state-space model is an example of Mathematics saying something about the universe. It predicts how the system is going to behave. I'll let y...

- Tue May 21, 2019 10:10 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**3647**

### Re: Any science of logic?

Because I said 'the universe is a computer' I thought I had given you enough to deduce that everything within the universe computes also. Yes. You said the mind computes but is not a computer . That is your exact quote. What do you mean? You are waving your hands about ontology but you are not maki...

- Tue May 21, 2019 10:05 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**3647**

### Re: Any science of logic?

double post

- Tue May 21, 2019 3:55 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**3647**

### Re: Any science of logic?

And yet - you failed to take in any of my responses, digest them and attempt to communicate in what way they fell short of your expectations. I am many things but a mind-reader isn’t one. Ok, that's fair. Let me take a run at this post. I said I was trying to determine if Speakpigeon was looking fo...

- Tue May 21, 2019 1:47 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**3647**

### Re: Any science of logic?

Well now we are in complete agreement.Univalence wrote: ↑Tue May 21, 2019 1:17 amThe definition of insanity is doing the same thing over and over while expecting a different result.

- Tue May 21, 2019 12:58 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**3647**

### Re: Any science of logic?

Lolwhat? Give me a link. Don't want to fight with you. Thank you to the individual who clued me in to who you are. I was silly enough to have been concerned about you. Shows what a sucker I am underneath the cynical exterior. I don't know if you have any clever ideas. You are unwilling or unable to...

- Mon May 20, 2019 11:57 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**3647**

### Re: Any science of logic?

LOL.Univalence wrote: ↑Mon May 20, 2019 11:51 pmOh. You did that? Please point me there so I can school you.

- Mon May 20, 2019 11:46 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**3647**

### Re: Any science of logic?

You said brains compute but are not computers. What exactly do you mean by that? If brains are not computers but they compute, then they must do something IN ADDITION to computing. Is that your point? I said I was trying to determine if Speakpigeon was looking for ontological answers. I was doing t...

- Mon May 20, 2019 11:03 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**3647**

### Re: Any science of logic?

I gave you 3 examples of things which dry clothes which are not clothes dryers. If you care to elaborate on what you are asking - maybe I can be more precise in my response. You said brains compute but are not computers. What exactly do you mean by that? If brains are not computers but they compute...

- Mon May 20, 2019 9:45 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**3647**

### Re: Any science of logic?

Well then answer it for my over-simplified mind. Perhaps your wordy and convoluted posts are a manifestation of your wordy and convoluted thinking.