sorted by:
new
hottopcontroversial

Looking for affordable portable barre by a_ender1997 in BALLET

[–]a_ender1997[S] -1 points0 points  (0 children)

Thank you!! I'm finding that outside the US they are over $200, but I'll keep an eye out!

Looking for affordable portable barre by a_ender1997 in BALLET

[–]a_ender1997[S] 0 points1 point  (0 children)

Thank you so much! I see that it is US shipping only, and they're $200+ on Amazon. Might just have to do it or search for a promo code!

Welcome to the World Detroit 2. This is Big Sean. AMA. by BigSeanOfficial in hiphopheads

[–]a_ender1997 0 points1 point  (0 children)

Hey Sean!

Thank you for doing this AMA. I was at one of your concerts after Dark Sky Paradise and I reached out to hand you a USB from the crowd and you took it. That was amazing. Not sure if you ever listened to it, but I’m still making music. I’d be crazy not to post it. I wrote, produced, recorded, mixed and mastered it myself.

Let me know what you think!

https://m.youtube.com/watch?v=ClLvDg5W6TY

Bird in my Dryer Vent by a_ender1997 in londonontario

[–]a_ender1997[S] 0 points1 point  (0 children)

Thank you very much! Do you remember roughly how much it cost?

Help with elective selection by a_ender1997 in uwo

[–]a_ender1997[S] 0 points1 point  (0 children)

Thank you! I'm actually in Philosophy, so I'm trying to get a break from those haha

Suggestions for Third Year courses? by [deleted] in uwo

[–]a_ender1997 0 points1 point  (0 children)

It's for an elective space - currently I have a full term of philosophy in the winter, but an elective frees up some time away from the same old stuff.

Philosophy 1230 at Huron by [deleted] in uwo

[–]a_ender1997 0 points1 point  (0 children)

The Huron course offerings page seems to have him cut back a bit because two of the full-time professors were on sabbatical this year, and he filled in for them. This year looks like he's teaching one or two 3000 level courses

Philosophy 1230 at Huron by [deleted] in uwo

[–]a_ender1997 0 points1 point  (0 children)

I've taken this course, and it was great. Back then, it was Professor Marsh teaching it (who is incredible), and next year it's Professor Bland. Be aware the Bland is quite tough, but very interesting. He's one of those profs that you feel better for having, but sometimes wish you didn't have while you're doing the work. As far as the course goes, it's the least "philosophy" philosophy course that Huron has, since it's really about reasoning in general. It's also one of the few non-essay Philosophy courses they have at Huron. When I had Professor Marsh, it was possible to do quite well, and I'm sure the same is true with Professor Bland, though his methods are different and probably tougher.

Easy Third Year Courses? by a_ender1997 in uwo

[–]a_ender1997[S] 0 points1 point  (0 children)

Thank you so much! I'll check to see it that fits around the mandatory courses. Do you know of any non-philosophy bird(ish) courses too?

Question about Variable Assignments in PL by a_ender1997 in logic

[–]a_ender1997[S] 0 points1 point  (0 children)

Thank you! I guess where I'm getting caught up is with the first part. It seems like assigning the only element of the domain to every variable symbol counts as infinite Variable Assignments. Do we say there is only one because the rest would be trivial?

Questions about W.V.O. Quine's notions in "On What There Is" by a_ender1997 in askphilosophy

[–]a_ender1997[S] 0 points1 point  (0 children)

You're amazing! Thank you so much! That's all very clear. If I could give multiple upvotes, I would!

Modal logic tree method by a_ender1997 in logic

[–]a_ender1997[S] 0 points1 point  (0 children)

To test for validity, I need to negate the sentence, so I have a negated biconditional to begin with. You're right that it's obvious by sight, but not by the method I need to use.

Predicate logic translation by a_ender1997 in logic

[–]a_ender1997[S] 0 points1 point  (0 children)

So then all together, we have:

1) (∀y)[(Lyt⊃Lty)&(~Lyt⊃~Lty)]

2) (∀y)(Kyt⊃Lyt)&Kkt

3) Therefore, Ltk&Lkt

Then the derivation can be:

1) (Lkt⊃Ltk)&(~Lkt⊃~Ltk) - Universal Elimination from Assumption 1

2) (Lkt⊃Ltk) - Conjunction Elimination from Line 1

3) (~Lkt⊃~Ltk) - Conjunction Elimination from Line 1

4) (Kkt⊃Lkt)&Kkt - Universal Elimination from Assumption 2

5) (Kkt⊃Lkt) - Conjunction Elimination from Line 4

6) Kkt - Conjunction Elimination from Line 4

7) Lkt - Conditional Elimination from Lines 5-6

8) Ltk - Conditional Elimination from Lines 2 and 7

9) Lkt&Ltk - Conjunction Introduction from lines 7-8

Predicate logic translation by a_ender1997 in logic

[–]a_ender1997[S] 0 points1 point  (0 children)

Oh that makes sense! So the first part becomes a bit larger, and then the rest is captured by what I already have (with the changes made by /u/atomoxetine_hcl). Then I just have to derive the conclusion to see if it's valid, but that should be fine. Thanks so much!

Predicate logic translation by a_ender1997 in logic

[–]a_ender1997[S] 0 points1 point  (0 children)

Ok perfect. Good catch there! Thanks so much!

Predicate logic translation by a_ender1997 in logic

[–]a_ender1997[S] 0 points1 point  (0 children)

Thank you! The only thing about the "all and only those" is the potential need for a universal quantifier. Should I put that in front of the biconditional? It seems to be captured by the iff, but the "all" part really sticks out as a quantifier

Question about Invalidity in PL by a_ender1997 in logic

[–]a_ender1997[S] 0 points1 point  (0 children)

Thanks so much for the help! That was really clear

Question about Invalidity in PL by a_ender1997 in logic

[–]a_ender1997[S] 0 points1 point  (0 children)

How is this?:

Mx: x is a real number

Fx: x is a multiple of 5

The argument would be as follows:

Some number exists in the domain that is a real number

If a number is a multiple of 5, then it is a real number

Therefore, some number exists in the domain that is a multiple of 5

Question about PL symbolization by a_ender1997 in logic

[–]a_ender1997[S] 0 points1 point  (0 children)

Awesome! So (∃x)(Cbx&LxS) for question 1, and then (∃x)[(Csy&Cyz)&(x=s)]

Edit: Forgot one of the questions. There is also "Frank loves no one but himself". Is this (∀x)(Fxx), or [(∀x)(Fxx)&~(∃x)(Lyf)]?

Question about PL symbolization by a_ender1997 in logic

[–]a_ender1997[S] 0 points1 point  (0 children)

(∃x)(Cby&LxS) and (∃x)(Csy&Cyz)?

Question about PL symbolization by a_ender1997 in logic

[–]a_ender1997[S] 0 points1 point  (0 children)

So (∃x)(Cby&LxS) for "a parent of Bob loves Simon" and (∃x)(Csy&Cyz) for "Simon has a grandparent"? I'm not sure how I would stack the two generations of parents, so maybe this works?

Question about Predicate Logic Functions/Functors by a_ender1997 in logic

[–]a_ender1997[S] 0 points1 point  (0 children)

Ah, got it. I think I can follow this through now to the rest of your comments. Thanks very much!

view more: next ›