Classifier Instance:

Anchor text: Intuitionistic logic
Target Entity: Intuitionistic_logic
Preceding Context: Similarly, to assert that A or B holds, to an intuitionist, is to claim that either A or B can be proved. In particular, the law of excluded middle, "A or not A", is not accepted as a valid principle. For example, if A is some mathematical statement that an intuitionist has not yet proved or disproved, then that intuitionist will not assert the truth of "A or not A". However, the intuitionist will accept that "A and not A" cannot be true. Thus the connectives "and" and "or" of intuitionistic logic do not satisfy de Morgan's laws as they do in classical logic.
Succeeding Context: substitutes constructability for abstract truth and is associated with a transition from the proof to model theory of abstract truth in modern mathematics. The logical calculus preserves justification, rather than truth, across transformations yielding derived propositions. It has been taken as giving philosophical support to several schools of philosophy, most notably the Anti-realism of Michael Dummett. Thus, contrary to the first impression its name might convey, and as realized in specific approaches and disciplines (e.g. Fuzzy Sets and Systems), intuitionist mathematics is more rigorous than conventionally founded mathematics, where, ironically, the foundational elements which Intuitionism attempts to construct/refute/refound are taken as intuitively given.
Paragraph Title: null
Source Page: Intuitionism

Ground Truth Types:

Predicted Types:

Type	Confidence	Decision
wordnet_artifact_100021939	0.8410090663591684	1
wordnet_instrumentality_103575240	0.7817637346645747	1
wordnet_conveyance_103100490	-2.064127716864255	0
wordnet_medium_106254669	-1.584869124127724	0
wordnet_device_103183080	-1.481994897804346	0
wordnet_container_103094503	-1.284595363915936	0
wordnet_equipment_103294048	-1.4836350040358428	0
wordnet_system_104377057	1.5544158951825175	1
wordnet_structure_104341686	-1.9950273636264564	0
wordnet_facility_103315023	-2.468382058131802	0
wordnet_creation_103129123	-1.4887543054968266	0
wordnet_article_100022903	-1.4699707314983226	0
wordnet_commodity_103076708	-1.5570048333689261	0
wordnet_way_104564698	-1.9928739210411264	0
wordnet_covering_103122748	-1.3743823559779267	0
wordnet_event_100029378	-2.2937427213027908	0
wordnet_organization_108008335	-1.9600514038318773	0
wordnet_person_100007846	-1.0986426447372293	0
yagoGeoEntity	-2.1938741912762123	0