You are viewing the historical archive of The Philosophy Forum.
For current discussions, visit the live forum.
Go to live forum

Rayan

['Member']Joined: June 01, 2018 at 15:27Last active: May 01, 2019 at 14:197 discussions19 comments

Discussions (7)

Relational Proof

July 06, 2018 at 18:38 21 comments Logic & Philosophy of Mathematics

Blocks World

June 28, 2018 at 18:59 17 comments Logic & Philosophy of Mathematics

Relational Logic

June 22, 2018 at 14:26 2 comments Logic & Philosophy of Mathematics

Comments

In: Relational Proof  — view comment
Yes; thank you. Well, I came here to find the answer to a simple question and I ended up learning much more, so thanks to everyone. And, by the way, I...
July 09, 2018 at 17:03
In: Relational Proof  — view comment
Two Universal Eliminations and I get to p(x,y); don't know what to do next?
July 06, 2018 at 20:05
In: Blocks World  — view comment
Interesting! Well, I asked because I don't really have any express, concrete end by which to justify my self-study of logic; I just enjoy learning it....
July 01, 2018 at 11:19
In: Blocks World  — view comment
I know. God, I spent so much time fretting and thinking about what I might've possibly missed, all under the assumptions that the course material had ...
July 01, 2018 at 01:13
In: Blocks World  — view comment
Yes, I edited the last post to include the link
July 01, 2018 at 00:55
In: Blocks World  — view comment
I am following Stanford's introduction to propositional logic and at the end of each section they provide exercises and the answers to those exercises...
July 01, 2018 at 00:52
In: Blocks World  — view comment
I have another question though; so, ? is a set of Relational Logic sentences, and ? and ? are individual Relational Logic sentences. Now, I am aksed w...
June 30, 2018 at 22:53
In: Blocks World  — view comment
Hold on; there is something I actually didn't get. You said that we can interpret above(x,y) as always true, for any x and any y, and, then, you gave ...
June 30, 2018 at 22:30
In: Blocks World  — view comment
Thank you very much! Yes, I was injecting a lot of implicit assumptions.
June 30, 2018 at 14:28
In: Blocks World  — view comment
~on(c,a) is part of the axiomatisation of on; therefore, on cannot mean to the left of. Yes, it is an axiom.
June 29, 2018 at 13:59
In: Blocks World  — view comment
Here is the link to the exercise: http://intrologic.stanford.edu/exercises/exercise_06_05.html That'll be better than me trying to explain it
June 29, 2018 at 13:36
In: Relational Logic  — view comment
Yes, it does help, thank you!
June 23, 2018 at 16:58
In: Fitch System Exercise in Propositional Logic  — view comment
Can we exit a subproof only by using Implication Introduction?
June 06, 2018 at 15:26
In: Fitch System Exercise in Propositional Logic  — view comment
1 P => Q => R Assumption 2 P => Q Assumption 3 P Assumption 4 Q Implication Elimination 2, 3 5 Q => R Implication Elimination 1, 3 6 R Implication Eli...
June 06, 2018 at 14:38
In: Fitch System Exercise in Propositional Logic  — view comment
All right; so, I assumed what was on the left: 1 P => Q => R Assumption 2 P=>Q Assumption 3 P Assumption 4 Q Implication Elimination 2, 3 5 R Assumpti...
June 05, 2018 at 20:04
In: Propositional Logic  — view comment
That's a useful trick! I'll try to apply it and see how well it goes
June 01, 2018 at 20:46
In: Propositional Logic  — view comment
Well, let's say that most of what I've been practising is just that, namely finding definitions and principles, whereas I haven't really paid much att...
June 01, 2018 at 19:20
In: Propositional Logic  — view comment
I have another question though. I'm learning logic for the sake of it; I love philosophy. Nonetheless, I'd like to know if learning logic will bring m...
June 01, 2018 at 18:00
In: Propositional Logic  — view comment
All right, thank you!
June 01, 2018 at 17:53
⇧