infinitary logic

Show Summary Details

Quick Reference

Logic extended to countenance expressions of infinite length. The step is taken to expand the powers of expressions, particularly in the light of results for finitary first-order logic, such as Godel's theorems or the Löwenheim-Skolem theorem.

Subjects: Philosophy.

Reference entries

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