Overview

many-sorted logic


Related Overviews

 

'many-sorted logic' can also refer to...

 

More Like This

Show all results sharing this subject:

  • Philosophy

GO

Show Summary Details

Quick Reference

A logic in which the variables range over different domains. In classical predicate calculus a proposition like ‘All Fs are G’ is represented as saying: take anything; if it is F, it is G. In a many-sorted logic the representation will be: take any F; it is G. This may accord better with natural language, and it matches traditional syllogistic forms better than the predicate calculus does.

Subjects: Philosophy.


Reference entries

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