Search found 957 matches

by Speakpigeon
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...
by Speakpigeon
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...
by Speakpigeon
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...
by Speakpigeon
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...
by Speakpigeon
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...
by Speakpigeon
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...
by Speakpigeon
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...
by Speakpigeon
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
by Speakpigeon
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...
by Speakpigeon
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
by Speakpigeon
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?

Univalence wrote:
Fri May 24, 2019 6:00 pm
Speakpigeon wrote:
Fri May 24, 2019 4:35 pm
Then you're using the word "logic" to mean not logic but thinking, possibly rational thinking I wouldn't know. Therefore, equivocation.
Distinction without a difference.
Seems you've run out of anything rational to say.
EB
by Speakpigeon
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...
by Speakpigeon
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...
by Speakpigeon
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-...
by Speakpigeon
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?

Univalence wrote:
Thu May 23, 2019 2:50 pm
Modern "so called logic" is an attempt to describe decision-making under uncertainty.
No. That's for maths 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