assertion sign
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.

Philosophy dictionary. . 2011.

Look at other dictionaries:

  • Security Assertion Markup Language — (SAML) is an XML based standard for exchanging authentication and authorization data between security domains, that is, between an identity provider (a producer of assertions) and a service provider (a consumer of assertions). SAML is a product… …   Wikipedia

  • Security Assertion Markup Language — Die Security Assertion Markup Language (kurz SAML) ist ein XML Framework zum Austausch von Authentifizierungs und Autorisierungsinformationen. Sie stellt Funktionen bereit, um sicherheitsbezogene Informationen zu beschreiben und zu übertragen.… …   Deutsch Wikipedia

  • Security Assertion Markup Language — (SAML) est un standard informatique définissant un protocole pour échanger des informations liées à la sécurité. Basé sur le langage XML, SAML a été développé par OASIS. Le problème le plus important que SAML tente de résoudre est celui de l… …   Wikipédia en Français

  • Security assertion markup language — (SAML) est un standard informatique définissant un protocole pour échanger des informations liées à la sécurité. Basé sur le langage XML, SAML a été développé par OASIS. Le problème le plus important que SAML tente de résoudre est celui de l… …   Wikipédia en Français

  • Principia Mathematica — For Isaac Newton s book containing basic laws of physics, see Philosophiæ Naturalis Principia Mathematica. The title page of the shortened version of the Principia Mathematica to *56. The Principia Mathematica is a three volume work on the… …   Wikipedia

  • Ockham’s world and future — Arthur Gibson PHILOSOPHICAL BIOGRAPHY Ockham was born in about 1285, certainly before 1290, probably in the village of Ockham, Surrey, near London. If his epitaph is accurate, he died on 10 April 1347. Yet Conrad of Megenberg, when writing to… …   History of philosophy

  • List of philosophy topics (A-C) — 110th century philosophy 11th century philosophy 12th century philosophy 13th century philosophy 14th century philosophy 15th century philosophy 16th century philosophy 17th century philosophy 18th century philosophy 19th century philosophy220th… …   Wikipedia

  • international relations — a branch of political science dealing with the relations between nations. [1970 75] * * * Study of the relations of states with each other and with international organizations and certain subnational entities (e.g., bureaucracies and political… …   Universalium

  • Madhyamākalaṃkāra — Madhyamakalamkara (Sanskrit) Madhyamākalaṃkāra (IAST) (8th century CE) is a Buddhist text held to have been originally composed in Sanskrit by Śāntarakṣita (725–788)[1] but extant in Tibetan. The Tibetan text was translated from the Sanskrit by… …   Wikipedia

  • Christianity — /kris chee an i tee/, n., pl. Christianities. 1. the Christian religion, including the Catholic, Protestant, and Eastern Orthodox churches. 2. Christian beliefs or practices; Christian quality or character: Christianity mixed with pagan elements; …   Universalium

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”