Abstract
Formalizations in first-order logic are standardly used to represent logical forms of sentences and to show the validity of ordinary-language arguments. Since every sentence admits of a variety of formalizations, a challenge arises: why should one valid formalization suffice to show validity even if there are other, invalid, formalizations? This paper suggests an explanation with reference to criteria of adequacy which ensure that formalizations are related in a hierarchy of more or less specific formalizations. This proposal is then compared with stronger criteria and assumptions, especially the idea that sentences essentially have just one logical form
Publisher
Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献