assertion sign

Related Overviews

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



More Like This

Show all results sharing this subject:

  • Philosophy


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