Logical formalization and the formation of logic(s)

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

Logical formalization and the formation of logic(s)

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Logical formalization and the formation of logic(s)

Popis výsledku anglicky

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.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

<a href="/cs/project/GA13-21076S" target="_blank" >GA13-21076S: Základy logiky ve světle nových výsledků filosofie a vědy</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2016

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Logique et Analyse

ISSN

0024-5836

e-ISSN

—

Svazek periodika

59

Číslo periodika v rámci svazku

233

Stát vydavatele periodika

BE - Belgické království

Počet stran výsledku

26

Strana od-do

55-80

Kód UT WoS článku

000376706300003

EID výsledku v databázi Scopus

2-s2.0-84976619549