Deformalization as the immanent part of logical solving

DOI10.21146/2074-1472-2019-25-1-120-130MaRDI QIDQ5124222zbMATH OpenOpenAlexFDO

Authors Nikolay N. Nepeivoda

Publication date 17 September 2020

Published in Logical Investigations (Search for Journal in Brave)

Full work available at URL https://doi.org/10.21146/2074-1472-2019-25-1-120-130

zbMATH Keywords

applied logicsdeformalizationformalizationmethodological conclusionspedagogic conclusionstranslation from logical languages

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Other applications of logic (03B80)

Recommendations

• Formalization as the immanent part of logical solving
• Adequate formalization
• Logical formalization and the formation of logic(s)
• scientific article; zbMATH DE number 91357
• Dialogical criteria of adequate formalisation

Cited in

(2)

• Deforesting Logical Form
• Formalization as the immanent part of logical solving

This page was built for publication: Deformalization as the immanent part of logical solving

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