A minimal logical system for computable concepts and effective knowability

MaRDI QIDQ2735781zbMATH OpenFDO

Authors Max A. Freund

Publication date 4 September 2001

Published in Logique et Analyse. Nouvelle Série (Search for Journal in Brave)

zbMATH Keywords

computable conceptsconceptual realismeffective knowledgesecond-order epistemic formal system MEKTuring machines

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Turing machines and related notions (03D10)

Recommendations

• Predication and computable concepts
• Experimental logics as a model of development of deductive science and computational properties of undecidable sentences
• Unification in epistemic logics
• A computational meta-model of the reality and the problem of truth
• scientific article; zbMATH DE number 5227716

Cited in

(1)

• Meaning and computing: two approaches to computable propositions

This page was built for publication: A minimal logical system for computable concepts and effective knowability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2735781)