scientific article; zbMATH DE number 761257

MaRDI QIDQ4835586zbMATH OpenFDO

Authors Sören Stenlund

Publication date 18 December 1995

zbMATH Keywords

logical formalization

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Remarks on the use of formal methods
• scientific article; zbMATH DE number 2232835
• Logical formalization and the formation of logic(s)
• Adequate formalization
• The different ways in which logic is (said to be) formal

Cited in

(16)

• Adequate formalization
• Advantages and limitations of formal expression
• Domains of Sciences, Universes of Discourse and Omega Arguments
• Formal languages in logic. A philosophical and cognitive analysis
• scientific article; zbMATH DE number 5288074 (Why is no real title available?)
• Sources of domain-independence in the formal sciences
• On formal objects
• Formalization in Philosophy
• The different ways in which logic is (said to be) formal
• Remarks on the use of formal methods
• scientific article; zbMATH DE number 7296494 (Why is no real title available?)
• Tabulation of prime projections of links in the thickened surface of genus 2 with no more than 4 crossings
• Logical formalization and the formation of logic(s)
• How to Nominalize Formalism†
• scientific article; zbMATH DE number 2232835 (Why is no real title available?)
• Formalization and the objects of logic

This page was built for publication:

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