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)

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

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)