Search found 1303 matches

by Scott Mayers
Sat May 18, 2019 4:51 pm
Forum: Logic and Philosophy of Mathematics
Topic: Does anyone here actually understand formal proofs of mathematical logic?
Replies: 122
Views: 908

Re: Does anyone here actually understand formal proofs of mathematical logic?

Introduction to Mathematical logic Sixth edition Elliott Mendelson (2015) 1.4 An Axiom System for the Propositional Calculus page 27-28 A wf C is said to be a consequence in S of a set Γ of wfs if and only if there is a sequence B1, …, Bk of wfs such that C is Bk and, for each i, either Bi is an ax...
by Scott Mayers
Sat May 18, 2019 3:59 pm
Forum: General Philosophical Discussion
Topic: Religion
Replies: 35
Views: 301

Re: Religion

Religion is an artificial construct by people wanting to EXCUSE their behavior in light of differences of condition that lack logical universal justice or practical fairness. If one is relatively well off (condition) and they WANT to conserve their present position of power in some way in an environ...
by Scott Mayers
Sat May 18, 2019 2:03 pm
Forum: Philosophy of Science
Topic: Is There such a reality as non-X for any and every X?
Replies: 20
Views: 215

Re: Is There such a reality as non-X for any and every X?

Do you mean is there a world in which 2 + 2 could be other than 4? And secondly, how many realities do you think there are? Perhaps this is the only one, making your question meaningless. Caterpillars turn into butterflies in the only world there is. There isn't any world where caterpillars don't t...
by Scott Mayers
Wed May 15, 2019 9:32 pm
Forum: Logic and Philosophy of Mathematics
Topic: Does anyone here actually understand formal proofs of mathematical logic?
Replies: 122
Views: 908

Re: Does anyone here actually understand formal proofs of mathematical logic?

It is simply that when we specify sound deductive inference as formal proofs of mathematical logic that Gödel incompleteness and Tarski undefinability cease to exist. I have had this in the back of my mind for about 30 years and now finally have the way to precisely specify it so that it can be ver...
by Scott Mayers
Wed May 15, 2019 8:45 pm
Forum: Logic and Philosophy of Mathematics
Topic: Does anyone here actually understand formal proofs of mathematical logic?
Replies: 122
Views: 908

Re: Does anyone here actually understand formal proofs of mathematical logic?

http://liarparadox.org/Provable_Mendelson.pdf Introduction to Mathematical logic Sixth edition Elliott Mendelson (2015) Page 27-28 Introduction to Mathematical logic Sixth edition Elliott Mendelson (2015) Page 28 A wf C is said to be a consequence in S of a set Γ of wfs if and only if there is a se...
by Scott Mayers
Wed May 15, 2019 4:16 am
Forum: Logic and Philosophy of Mathematics
Topic: Does anyone here actually understand formal proofs of mathematical logic?
Replies: 122
Views: 908

Re: Does anyone here actually understand formal proofs of mathematical logic?

I'm also asking a question in [url=viewtopic.php?f=12&t=26619&p=409385#p409385]Is There such a reality as non-X for every X[/quote] that you guys might be interested in. It may help in part depending on your goal here.
by Scott Mayers
Wed May 15, 2019 4:12 am
Forum: Logic and Philosophy of Mathematics
Topic: Does anyone here actually understand formal proofs of mathematical logic?
Replies: 122
Views: 908

Re: Does anyone here actually understand formal proofs of mathematical logic?

http://liarparadox.org/Provable_Mendelson.pdf Introduction to Mathematical logic Sixth edition Elliott Mendelson (2015) Page 27-28 Introduction to Mathematical logic Sixth edition Elliott Mendelson (2015) Page 28 A wf C is said to be a consequence in S of a set Γ of wfs if and only if there is a se...
by Scott Mayers
Wed May 15, 2019 3:57 am
Forum: Philosophy of Science
Topic: Is There such a reality as non-X for any and every X?
Replies: 20
Views: 215

Re: Is There such a reality as non-X for any and every X?

In a universe where for every X there is a non-X, there is a reality such that there is a non-X for any and every X. I had to look back at this because I thought you were just repeating what I wrote. Ha ha. I'm asking if a complement exists for every possible thing you can think of? I think it simp...
by Scott Mayers
Tue May 14, 2019 11:58 am
Forum: Philosophy of Science
Topic: Einstein on the train
Replies: 770
Views: 6323

Re: Einstein on the train

I have to say that it drives me insane how many people assume that scientific theory is decided by a social media style hunch, ignoring the incredible rigour applied and the amount of work needed to retain that rigour. Who and what are you responding to? Too many to list. I'm thinking that the publ...
by Scott Mayers
Tue May 14, 2019 11:53 am
Forum: Logic and Philosophy of Mathematics
Topic: Does anyone here actually understand formal proofs of mathematical logic?
Replies: 122
Views: 908

Re: Does anyone here actually understand formal proofs of mathematical logic?

I'm qualified but have to ask why you are always linking to non-secure sites? I can add the 's' for "https" but then get denied which tells me there is a concern about you linking to us here. It is even more concerning for people to open pdfs without sufficient trust rather than uploading images. I...
by Scott Mayers
Tue May 14, 2019 1:04 am
Forum: Philosophy of Science
Topic: Is There such a reality as non-X for any and every X?
Replies: 20
Views: 215

Re: Is There such a reality as non-X for any and every X?

As the title is asking, does the statement that.... There is such a reality as non-X for any and every X. ...stand true universally? (as a Tautology for reality) In a universe where for every X there is a non-X, there is a reality such that there is a non-X for any and every X. I had to look back a...
by Scott Mayers
Tue May 14, 2019 12:46 am
Forum: Logic and Philosophy of Mathematics
Topic: Does anyone here actually understand formal proofs of mathematical logic?
Replies: 122
Views: 908

Re: Does anyone here actually understand formal proofs of mathematical logic?

I'm qualified but have to ask why you are always linking to non-secure sites? I can add the 's' for "https" but then get denied which tells me there is a concern about you linking to us here. It is even more concerning for people to open pdfs without sufficient trust rather than uploading images. If...
by Scott Mayers
Mon May 13, 2019 11:23 pm
Forum: Philosophy of Science
Topic: Is There such a reality as non-X for any and every X?
Replies: 20
Views: 215

Re: Is There such a reality as non-X for any and every X?

Harbal wrote:
Mon May 13, 2019 10:09 pm
Scott Mayers wrote:
Mon May 13, 2019 10:01 pm
Can you provide an example?
Yes, if I can find a little bottle.
"Example", not "sample". :lol:
by Scott Mayers
Mon May 13, 2019 11:17 pm
Forum: Political Philosophy
Topic: Cultural Relativism is wrong
Replies: 110
Views: 959

Re: Cultural Relativism is wrong

Trolley dilemmas don't actually show that values are relative. They do show that doing ethical decision making in the real world is complex and often may involve trade-offs...but not that the values change. Look at it this way: in all scenarios in the Trolley Problem, there is one cardinal value --...
by Scott Mayers
Mon May 13, 2019 10:01 pm
Forum: Philosophy of Science
Topic: Is There such a reality as non-X for any and every X?
Replies: 20
Views: 215

Re: Is There such a reality as non-X for any and every X?

mickthinks wrote:
Mon May 13, 2019 9:08 am
I think not.

Would you want it to?
Can you provide an example?