We present three papers studying knowledge and its logic from an intuitionistic viewpoint.
An Arithmetic Interpretation of Intuitionistic Verification
Intuitionistic epistemic logic introduces an epistemic operator to intuitionistic logic which reflects the intended BHK semantics of intuitionism. The fundamental assumption concerning intuitionistic knowledge and belief is that it is the product of verification. The BHK interpretation of intuitionistic logic has a precise formulation in the Logic of Proofs and its arithmetical semantics. We show here that this interpretation can be extended to the notion of verification upon which intuitionistic knowledge is based. This provides the systems of intuitionistic epistemic logic extended by an epistemic operator based on verification with an arithmetical semantics too. This confirms the conception of verification incorporated in these systems reflects the BHK interpretation.
Intuitionistic Verification and Modal Logics of Verification
The systems of intuitionistic epistemic logic, IEL, can be regarded as logics of intuitionistic verification. The intuitionistic language, however, has expressive limitations. The classical modal language is more expressive, enabling us to formulate various classical principles which make explicit the relationship between intuitionistic verification and intuitionistic truth, implicit in the intuitionistic epistemic language. Within the framework of the arithmetic semantics for IEL we argue that attempting to base a general verificationism on the properties of intuitionistic verification, as characterised by IEL, yields a view of verification stronger than is warranted by its BHK reading.
Intuitionistic Knowledge and Fallibilism
Fallibilism is the view that knowledge need not guarantee the truth of the proposition known. In the context of a classical conception of truth fallibilism is incompatible with the truth condition on knowledge, i.e. that false propositions cannot be known. We argue that an intuitionistic approach to knowledge yields a view of knowledge which is both fallibilistic and preserves the truth condition. We consider some problems for the classical approach to fallibilism and argue that an intuitionistic approach also resolves them in a manner consonant with the motivation for fallibilism.
","abstract_html":"<p>We present three papers studying knowledge and its logic from an intuitionistic viewpoint.</p> <p><em>An Arithmetic Interpretation of Intuitionistic Verification</em></p> <p>Intuitionistic epistemic logic introduces an epistemic operator to intuitionistic logic which reflects the intended BHK semantics of intuitionism. The fundamental assumption concerning intuitionistic knowledge and belief is that it is the product of verification. The BHK interpretation of intuitionistic logic has a precise formulation in the Logic of Proofs and its arithmetical semantics. We show here that this interpretation can be extended to the notion of verification upon which intuitionistic knowledge is based. This provides the systems of intuitionistic epistemic logic extended by an epistemic operator based on verification with an arithmetical semantics too. This confirms the conception of verification incorporated in these systems reflects the BHK interpretation.</p> <p><em> Intuitionistic Verification and Modal Logics of Verification</em></p> <p>The systems of intuitionistic epistemic logic, IEL, can be regarded as logics of intuitionistic verification. The intuitionistic language, however, has expressive limitations. The classical modal language is more expressive, enabling us to formulate various classical principles which make explicit the relationship between intuitionistic verification and intuitionistic truth, implicit in the intuitionistic epistemic language. Within the framework of the arithmetic semantics for IEL we argue that attempting to base a general verificationism on the properties of intuitionistic verification, as characterised by IEL, yields a view of verification stronger than is warranted by its BHK reading.</p> <p><em>Intuitionistic Knowledge and Fallibilism</em></p> <p>Fallibilism is the view that knowledge need not guarantee the truth of the proposition known. In the context of a classical conception of truth fallibilism is incompatible with the truth condition on knowledge, i.e. that false propositions cannot be known. We argue that an intuitionistic approach to knowledge yields a view of knowledge which is both fallibilistic and preserves the truth condition. We consider some problems for the classical approach to fallibilism and argue that an intuitionistic approach also resolves them in a manner consonant with the motivation for fallibilism.</p>","abstract_has_math":false,"creators":["Protopopescu, Tudor"],"institution":"The Graduate School and University Center of The City University of New York","degree_name":"Doctor of Philosophy","degree_level":"Doctoral","degree_discipline":"Philosophy","degree_department":null,"school":null,"contributors":[],"advisors":["Sergei Artemov"],"committee_chairs":[],"committee_members":["Melvin Fitting","Arnold Koslow","Richard Mendelsohn","Graham Priest"],"year":2016,"date_issued":"2016-09-30T07:00:00Z","date_published":"2016-09-30T07:00:00Z","updated_at":"2026-07-24T01:59:05Z","subjects":["Epistemology","Logic and Foundations of Mathematics","Philosophy","Intuitionistic Epistemic Logic","Verification","BHK Semantics","Fallibilism","Intuitionistic Knowledge","Arithmetic Semantics"],"languages":[],"rights":[],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://academicworks.cuny.edu/gc_etds/1391","outbound_label":"Repository record","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Sergei Artemov"]},{"key":"dc:contributor.committeemember","label":"Committee Member","values":["Melvin Fitting","Arnold Koslow","Richard Mendelsohn","Graham Priest"]},{"key":"dc:creator","label":"Author","values":["Protopopescu, Tudor"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.available","label":"Dc Date Available","values":["2016-05-22T07:00:00Z"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Philosophy"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Doctoral"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Doctor of Philosophy"]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["The Graduate School and University Center of The City University of New York"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Epistemology","Logic and Foundations of Mathematics","Philosophy","Intuitionistic Epistemic Logic","Verification","BHK Semantics","Fallibilism","Intuitionistic Knowledge","Arithmetic Semantics"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["https://academicworks.cuny.edu/gc_etds/1391"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["We present three papers studying knowledge and its logic from an intuitionistic viewpoint.
An Arithmetic Interpretation of Intuitionistic Verification
Intuitionistic epistemic logic introduces an epistemic operator to intuitionistic logic which reflects the intended BHK semantics of intuitionism. The fundamental assumption concerning intuitionistic knowledge and belief is that it is the product of verification. The BHK interpretation of intuitionistic logic has a precise formulation in the Logic of Proofs and its arithmetical semantics. We show here that this interpretation can be extended to the notion of verification upon which intuitionistic knowledge is based. This provides the systems of intuitionistic epistemic logic extended by an epistemic operator based on verification with an arithmetical semantics too. This confirms the conception of verification incorporated in these systems reflects the BHK interpretation.
Intuitionistic Verification and Modal Logics of Verification
The systems of intuitionistic epistemic logic, IEL, can be regarded as logics of intuitionistic verification. The intuitionistic language, however, has expressive limitations. The classical modal language is more expressive, enabling us to formulate various classical principles which make explicit the relationship between intuitionistic verification and intuitionistic truth, implicit in the intuitionistic epistemic language. Within the framework of the arithmetic semantics for IEL we argue that attempting to base a general verificationism on the properties of intuitionistic verification, as characterised by IEL, yields a view of verification stronger than is warranted by its BHK reading.
Intuitionistic Knowledge and Fallibilism
Fallibilism is the view that knowledge need not guarantee the truth of the proposition known. In the context of a classical conception of truth fallibilism is incompatible with the truth condition on knowledge, i.e. that false propositions cannot be known. We argue that an intuitionistic approach to knowledge yields a view of knowledge which is both fallibilistic and preserves the truth condition. We consider some problems for the classical approach to fallibilism and argue that an intuitionistic approach also resolves them in a manner consonant with the motivation for fallibilism.
"]},{"key":"dc:title","label":"Title","values":["Three Essays in Intuitionistic Epistemology"]}]}],"canonical_facts":{"dc:contributor.advisor":["Sergei Artemov"],"dc:contributor.committeemember":["Melvin Fitting","Arnold Koslow","Richard Mendelsohn","Graham Priest"],"dc:creator":["Protopopescu, Tudor"],"dc:date.available":["2016-05-22T07:00:00Z"],"dc:description.abstract":["We present three papers studying knowledge and its logic from an intuitionistic viewpoint.
An Arithmetic Interpretation of Intuitionistic Verification
Intuitionistic epistemic logic introduces an epistemic operator to intuitionistic logic which reflects the intended BHK semantics of intuitionism. The fundamental assumption concerning intuitionistic knowledge and belief is that it is the product of verification. The BHK interpretation of intuitionistic logic has a precise formulation in the Logic of Proofs and its arithmetical semantics. We show here that this interpretation can be extended to the notion of verification upon which intuitionistic knowledge is based. This provides the systems of intuitionistic epistemic logic extended by an epistemic operator based on verification with an arithmetical semantics too. This confirms the conception of verification incorporated in these systems reflects the BHK interpretation.
Intuitionistic Verification and Modal Logics of Verification
The systems of intuitionistic epistemic logic, IEL, can be regarded as logics of intuitionistic verification. The intuitionistic language, however, has expressive limitations. The classical modal language is more expressive, enabling us to formulate various classical principles which make explicit the relationship between intuitionistic verification and intuitionistic truth, implicit in the intuitionistic epistemic language. Within the framework of the arithmetic semantics for IEL we argue that attempting to base a general verificationism on the properties of intuitionistic verification, as characterised by IEL, yields a view of verification stronger than is warranted by its BHK reading.
Intuitionistic Knowledge and Fallibilism
Fallibilism is the view that knowledge need not guarantee the truth of the proposition known. In the context of a classical conception of truth fallibilism is incompatible with the truth condition on knowledge, i.e. that false propositions cannot be known. We argue that an intuitionistic approach to knowledge yields a view of knowledge which is both fallibilistic and preserves the truth condition. We consider some problems for the classical approach to fallibilism and argue that an intuitionistic approach also resolves them in a manner consonant with the motivation for fallibilism.
"],"dc:identifier":["https://academicworks.cuny.edu/gc_etds/1391"],"dc:subject":["Epistemology","Logic and Foundations of Mathematics","Philosophy","Intuitionistic Epistemic Logic","Verification","BHK Semantics","Fallibilism","Intuitionistic Knowledge","Arithmetic Semantics"],"dc:title":["Three Essays in Intuitionistic Epistemology"],"thesis:degree_discipline":["Philosophy"],"thesis:degree_level":["Doctoral"],"thesis:degree_name":["Doctor of Philosophy"],"thesis:institution_name":["The Graduate School and University Center of The City University of New York"]},"updated_at":"2026-07-24T01:59:05Z"}