Adequate formalization

  title={Adequate formalization},
  author={Michael Baumgartner and Timm Lampert},
This article identifies problems with regard to providing criteria that regulate the matching of logical formulae and natural language. We then take on to solve these problems by defining a necessary and sufficient criterion of adequate formalization. On the basis of this criterion we argue that logic should not be seen as an ars iudicandi capable of evaluating the validity or invalidity of informal arguments, but as an ars explicandi that renders transparent the formal structure of informal… CONTINUE READING

From This Paper

Topics from this paper.
7 Citations
10 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 10 references

Die dreiwertige Logik der Sprache

  • U. Blau
  • Philosophische Probleme der logischen…
  • 1977
Highly Influential
12 Excerpts

Quantification in ordinary language

  • R. 61–77. Montague
  • 1974
Highly Influential
4 Excerpts

Fact, fiction, and forecast (4th ed.)

  • N. Goodman
  • Philosophical Studies,
  • 1983
Highly Influential
3 Excerpts

Essays on actions and events

  • D. Press. Davidson
  • 1980
Highly Influential
3 Excerpts

Logical form and LF

  • Noam Chomsky. Critical assessments
  • 1994

The unity of logical form. (unpublished)

  • T. Lampert, M. Baumgartner
  • Link, G
  • 1979

222–246). New Haven: Yale

  • Richard Montague pp
  • 1974

The logical form of action sentences

  • R. Ontos. Carnap
  • The logical foundations of probability. London…
  • 1971
2 Excerpts

A theory of justice

  • Routledge. Quine, O W.v.
  • (pp. 788–838)
  • 1953

Introduction to logical theory. London: Methuen

  • P. F. Strawson
  • Tractatus logico-philosophicus. Frankfurt a. M…
  • 1952
2 Excerpts

Similar Papers

Loading similar papers…