Overview

assertion sign


Related Overviews

Gottlob Frege (1848—1925) German philosopher and mathematician, founder of modern logic

theorem

 

'assertion sign' can also refer to...

 

More Like This

Show all results sharing this subject:

  • Philosophy

GO

Show Summary Details

Quick Reference

The sign ⊦ was used by Frege to put in front of sentences that are being asserted as true, as opposed to sentences that are involved in some process of reasoning, but are not themselves put forward as true. This use was superseded in modern logic by the use of the sign to denote the provability relation within a system. {A1…An} ⊦ B means that B may be proved from the premises {A1…An}. ⊦ B means that B may be proved from no assumptions at all, i.e. is a theorem of the system.

Subjects: Philosophy.


Reference entries

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