[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports / report a bug ] [ 4plebs / archived.moe / rbt ]

2022-11: Warosu is now out of maintenance. Become a Patron!

/lit/ - Literature


View post   
View page     

[ Toggle deleted replies ]
File: 285 KB, 333x500, 1582183591356.png [View same] [iqdb] [saucenao] [google]
15821875 No.15821875 [Reply] [Original]

I understand propositional logic (the kind found in Aristotle's works). I also kinda get predicate logic (as described by Frege) and how it adds quantifiers like "there exists" and "for all".

Can someone explain these to me, since I'm struggling...

1. What does second-order logic add to first-order logic to make it more powerful?

2. Is modal logic first-order or second-order?

>> No.15822196
File: 121 KB, 710x711, 1574041598902.jpg [View same] [iqdb] [saucenao] [google]
15822196

Do I need to coffeepost to get attention around these parts?

>>
Delete posts
Password [?]Password used for file deletion.
Captcha
Action