Which Formula is the Right One? Criteria of Adequacy of Logical Analysis
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F12%3A00380772" target="_blank" >RIV/67985955:_____/12:00380772 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Která formule je ta pravá? (Kritéria adekvátnosti logické analýzy)
Original language description
Převádění vět přirozeného jazyka na formule formálního jazyka je běžnou praxí, která stojí v základě většiny aplikací logiky na analýzu našeho usuzování či argumentace. Je tato praxe vedena nějakými pevně zakotvenými kritérii? Máme za to, že odpověď je negativní. Cesta od přirozeného jazyka k formálnímu je mnohem problematičtější a mnohem náročnější, než se zdá na první pohled. Předkládáme popis této cesty a pokoušíme se expliklvat ta kritéria adekvátnosti logické formalizace, která jsou implicitní příslušným praktikám.
Czech name
Která formule je ta pravá? (Kritéria adekvátnosti logické analýzy)
Czech description
Převádění vět přirozeného jazyka na formule formálního jazyka je běžnou praxí, která stojí v základě většiny aplikací logiky na analýzu našeho usuzování či argumentace. Je tato praxe vedena nějakými pevně zakotvenými kritérii? Máme za to, že odpověď je negativní. Cesta od přirozeného jazyka k formálnímu je mnohem problematičtější a mnohem náročnější, než se zdá na první pohled. Předkládáme popis této cesty a pokoušíme se expliklvat ta kritéria adekvátnosti logické formalizace, která jsou implicitní příslušným praktikám.
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
AA - Philosophy and religion
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GAP401%2F10%2F1279" target="_blank" >GAP401/10/1279: Foundations of contemporary logical analysis</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2012
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
Organon F
ISSN
1335-0668
e-ISSN
—
Volume of the periodical
19
Issue of the periodical within the volume
Supp.1
Country of publishing house
SK - SLOVAKIA
Number of pages
17
Pages from-to
163-179
UT code for WoS article
—
EID of the result in the Scopus database
—