[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/lit/ - Literature

Search:


View post   

>> No.15821875 [View]
File: 285 KB, 333x500, 1582183591356.png [View same] [iqdb] [saucenao] [google]
15821875

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?

Navigation
View posts[+24][+48][+96]