Logical formalization and the formation of logic(s)
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F16%3A00460263" target="_blank" >RIV/67985955:_____/16:00460263 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.2143/LEA.233.0.3149531" target="_blank" >http://dx.doi.org/10.2143/LEA.233.0.3149531</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.2143/LEA.233.0.3149531" target="_blank" >10.2143/LEA.233.0.3149531</a>
Alternative languages
Result language
angličtina
Original language name
Logical formalization and the formation of logic(s)
Original language description
The project of logic as a theoretical tool useful for the sciences and humanities involves, as a crucial step, logical formalization – the conversion of sentences of natural language to formulas of a formal language. But what do we do, exactly, when we do logical formalization? What are the criteria of adequacy of the conversion? In how far is logic normative? The paper offers answers to these central (but surprisingly rather neglected) questions and shows that getting a proper grasp on the process of formalization is important for understanding the nature of logic. The key point is that logic as a theoretical tool manages to consolidate our linguistic – in particular argumentative – practices by means of attaining a specific sort of reflective equilibrium. The paper provides a detailed discussion of the answers to the above questions implied by this understanding of logic.
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
60301 - Philosophy, History and Philosophy of science and technology
Result continuities
Project
<a href="/en/project/GA13-21076S" target="_blank" >GA13-21076S: Foundations of logic in the light of new results of philosophy and science</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Logique et Analyse
ISSN
0024-5836
e-ISSN
—
Volume of the periodical
59
Issue of the periodical within the volume
233
Country of publishing house
BE - BELGIUM
Number of pages
26
Pages from-to
55-80
UT code for WoS article
000376706300003
EID of the result in the Scopus database
2-s2.0-84976619549