scientific article; zbMATH DE number 761257

zbMATH Open0828.03002MaRDI QIDQ4835586FDOQ4835586

Authors: Sören Stenlund 

Publication date: 18 December 1995

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

logical formalization

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• Formalization in Philosophy
• The different ways in which logic is (said to be) formal
• Title not available (Why is that?)
• Formalization and the objects of logic
• Adequate formalization
• Title not available (Why is that?)
• Remarks on the use of formal methods
• Formal languages in logic. A philosophical and cognitive analysis
• Advantages and limitations of formal expression

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)