logic, second-order

Show Summary Details

Quick Reference

Consider ‘Socrates is wise’. In a first-order logic the name ‘Socrates’ may be replaced by a bound variable to yield ‘something is wise’. It is a further question whether the ...

Subjects: Philosophy.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.