Skip to main content
replaced http://philosophy.stackexchange.com/ with https://philosophy.stackexchange.com/
Source Link

Your question simply concerns the difference between first-order logic (where the distinction is maintained) and second-order logic / higher-order logic, where propositional variables are indeed simply variables, and therefore terms.

Early work (Frege's Begriffschrift, Whitehead and Russell's Principia Mathematica) used stronger logics, while first-order logic was isolated later. FOL is no "better" than those stronger systems, and indeed higher-order logics are generally preferred for interactive theorem proving.

More discussion herehere.

Your question simply concerns the difference between first-order logic (where the distinction is maintained) and second-order logic / higher-order logic, where propositional variables are indeed simply variables, and therefore terms.

Early work (Frege's Begriffschrift, Whitehead and Russell's Principia Mathematica) used stronger logics, while first-order logic was isolated later. FOL is no "better" than those stronger systems, and indeed higher-order logics are generally preferred for interactive theorem proving.

More discussion here.

Your question simply concerns the difference between first-order logic (where the distinction is maintained) and second-order logic / higher-order logic, where propositional variables are indeed simply variables, and therefore terms.

Early work (Frege's Begriffschrift, Whitehead and Russell's Principia Mathematica) used stronger logics, while first-order logic was isolated later. FOL is no "better" than those stronger systems, and indeed higher-order logics are generally preferred for interactive theorem proving.

More discussion here.

Source Link

Your question simply concerns the difference between first-order logic (where the distinction is maintained) and second-order logic / higher-order logic, where propositional variables are indeed simply variables, and therefore terms.

Early work (Frege's Begriffschrift, Whitehead and Russell's Principia Mathematica) used stronger logics, while first-order logic was isolated later. FOL is no "better" than those stronger systems, and indeed higher-order logics are generally preferred for interactive theorem proving.

More discussion here.