Logic, Language, Formalism, Informalism

Itp - Media (1995)
  Copy   BIBTEX

Abstract

To clarify the understanding of reasoning systems that underpin much computing theory, this text criticizes and challenges the results of formalization with the language of PROLOG. It analyzes the process of formalization, setting out to explain proof and reasoning.

Categories

Keywords

Reprint years

ISBN(s)

1850321272

Other Versions

No versions found

View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,203

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Clausal Form Logic: An Introduction to the Logic of Computer Reasoning.Tom Richards - 1989 - Addison Wesley Publishing Company.
Introduction to mathematical logic.Michał Walicki - 2012 - Hackensack, NJ: World Scientific.
George F. H.. Formalization of language systems for behavior theory. The psychological review, vol. 60 , pp. 232–240.Frederic B. Fitch - 1954 - Journal of Symbolic Logic 19 (2):145-145.
Adequate formalization.Michael Baumgartner & Timm Lampert - 2008 - Synthese 164 (1):93-115.
A Prolog Implementation of the Method of Euler Circles for Syllogistic Reasoning.Peter Yule - 1996 - Hcrc Publications, University of Edinburgh.
Formalization, Mechanization and Automation of Gödel’s Proof of God’s Existence.Benzmüller Christoph & Woltzenlogel Paleo Bruno - 2013
The Mechanism and Freedom of Logic.Granville C. Henry - 1993 - Upa.
Natural Formalization: Deriving the Cantor-Bernstein Theorem in Zf.Wilfried Sieg & Patrick Walsh - 2021 - Review of Symbolic Logic 14 (1):250-284.
Proof, Logic and Formalization.Michael Detlefsen (ed.) - 1992 - London, England: Routledge.

Analytics

Added to PP
2015-02-13

Downloads
7 (#1,667,656)

6 months
1 (#1,572,794)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references