## Search found 957 matches

- Tue May 28, 2019 7:20 pm
- Forum: Philosophy of Mind
- Topic: Do humans have an inherent capacity to decide that a conclusion follows necessarily from premises?
- Replies:
**5** - Views:
**289**

### Re: Do humans have an inherent capacity to decide that a conclusion follows necessarily from premises?

The question is this: Do humans have an inherent capacity to decide that a conclusion follows necessarily from premises? (Inherent capacity: not dependent on formal or informa learning) While the capacity is natural, it is nurture that is necessary to bring this ability to fruition. Children, for e...

- Tue May 28, 2019 1:28 pm
- Forum: Metaphysics
- Topic: What is time?
- Replies:
**315** - Views:
**6607**

### Re: What is time?

Speakpigeon wrote: Which is first? Time or change? Is time change or is change change over time? Time is one of the dimensions of change. Other dimensions of change are spatial dimensions. Time of an event relates to time of other event or events. There is no absolute time, excepting eternity. Ther...

- Mon May 27, 2019 12:35 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Can truth be understood as math?
- Replies:
**2** - Views:
**143**

### Re: Can truth be understood as math?

Could Truth be understood as the theorems of human knowledge where basic facts are its axioms? ∃Facts ⊆ Human_Knowledge ∃x ∈ Language(Human_Knowledge) (True(Facts, x) ↔ (Facts ⊢ x)) We know a few facts. Facts are meaningful assertions we happen to know are true. Sometimes we have the necessary voca...

- Mon May 27, 2019 11:58 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**2949**

### Re: Any science of logic?

That's not at all what we think knowledge is. Who's "we." You have no idea what I know knowledge is. That's fallaciously incomplete. I have no idea what you're talking about. I also don't care what you may possibly think you think. We, i.e. me and other human beings here on Earth, if we know that p...

- Mon May 27, 2019 11:39 am
- Forum: Metaphysics
- Topic: What is time?
- Replies:
**315** - Views:
**6607**

### Re: What is time?

Time is sequential change. How does that explain that it takes the same time for two people to grow up? Or for two ice-cubes to thaw? EB What you describe is duration not change over time OK, so, If time is sequential change as you claim, and change is not duration as you claim, then time is not du...

- Sun May 26, 2019 5:59 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: How do we say this using the notation conventions of mathematical logic?
- Replies:
**6** - Views:
**258**

### Re: How do we say this using the notation conventions of mathematical logic?

Sorry, I don't know which one to respond to. You know you can still modify your posts, so please, make clear which one is your reply. EB What it the most conventional way to formalize this? Γ is a set of WFF of F C is a WFF of F Every element of Γ is true C is provable from Γ This is my first guess...

- Sun May 26, 2019 10:35 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**2949**

### Re: Any science of logic?

How could you know the reason something works if you don't know all the reasons it could possibly fail? That is tantamount to saying, "if you don't know everything, than you don't know anything," No, it's not. If I'm looking at a house, I know what I'm looking at. Yet, I still don't know what the h...

- Sun May 26, 2019 10:19 am
- Forum: Logic and Philosophy of Mathematics
- Topic: How do we say this using the notation conventions of mathematical logic?
- Replies:
**6** - Views:
**258**

### Re: How do we say this using the notation conventions of mathematical logic?

Sorry, I don't know which one to respond to. You know you can still modify your posts, so please, make clear which one is your reply.

EB

EB

- Sat May 25, 2019 7:59 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**2949**

### Re: Any science of logic?

Nobody knows all possible causes of failure of a cellphone. They do know the reason they work when they do not fail, which was my only point. No, they don't know. They believe they know. They are even probably certain they know. The universe does not fail. I don't think anybody knows the reason. Ho...

- Sat May 25, 2019 7:52 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: How do we say this using the notation conventions of mathematical logic?
- Replies:
**6** - Views:
**258**

### Re: How do we say this using the notation conventions of mathematical logic?

Traditionally, the definition of the notion of validity relies on the notion of truth: An inference is valid if and only if the truth of the conclusion follows from the truth of the premises.

I understand that you choose a definition of truth relying on the notion of validity.

Am I wrong?

EB

I understand that you choose a definition of truth relying on the notion of validity.

Am I wrong?

EB

- Sat May 25, 2019 10:23 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**2949**

### Re: Any science of logic?

Seems you've run out of anything rational to say.Univalence wrote: ↑Fri May 24, 2019 6:00 pmDistinction without a difference.Speakpigeon wrote: ↑Fri May 24, 2019 4:35 pmThen you're using the word "logic" to mean not logic but thinking, possibly rational thinking I wouldn't know. Therefore, equivocation.

EB

- Sat May 25, 2019 10:22 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**2949**

### Re: Any science of logic?

You cannot predict how many cell phones will be produced and sold next year, but every cell phone works because the principles of electronics that define the millions of events that must occur for them to work are determined by principles which are absolute, and known. Nobody knows all possible cau...

- Fri May 24, 2019 4:35 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**2949**

### Re: Any science of logic?

Logic has been understood from the start as an incomplete representation of human thought. We can't even get off the conceptual ground here. That is not how I think about logic. For starters - it hasn't been 'understood' since we are still busy trying to understand it. Then you're using the word "l...

- Fri May 24, 2019 10:50 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**2949**

### Re: Any science of logic?

No. That's for maths to "describe decision-making under uncertainty". We are going to get nowhere with this "that's somebody else's problem" attitude. Does your mind make decisions? Mine does. I am pretty sure yours does too. Any description of 'logic' that doesn't describe the process of decision-...

- Thu May 23, 2019 5:34 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Any science of logic?
- Replies:
**105** - Views:
**2949**

### Re: Any science of logic?

No. That's for maths to "describe decision-making under uncertainty".Univalence wrote: ↑Thu May 23, 2019 2:50 pmModern "so called logic" is an attempt to describe decision-making under uncertainty.

Formal logic is an attempt to describe logic. Except of course mathematical logic isn't really formal logic at all.

EB