## Search found 1303 matches

- 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...

- 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...

- 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...

- 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...

- 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...

- 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.

- 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...

- 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...

- 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...

- 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...

- 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...

- 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...

- 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?

- 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 --...

- 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?

Can you provide an example?