Naslov
Logika opravdanja u Boškovićevoj indukciji
(Justification Logic in Bošković's Induction)

Autori
Kovač, Srećko

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Filozofija Ruđera Josipa Boškovića / Stanković, Nikola ; Kutleša, Stipe ; Šestak, Ivan - Zagreb : Filozofsko-teološki Institut Družbe Isusove, 2014, 153-168

ISBN
978-953-231-140-2

Skup
Filozofija Ruđera Josipa Boškovića / Philosophy of Ruđer Josip Bošković

Mjesto i datum
Zagreb, Hrvatska, 04.11.2011

Vrsta sudjelovanja
Pozvano predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
induction; Bošković; justification logic; typology of reasons

Sažetak
We analyze Bošković’s theory of induction primarily on the basis of the texts in De continuitatis lege (1754, nr. 134-135), De lumine (1848, nr. 27-30), in Bošković’s annotations and supplements in B. Stay, Philosophiae recentioris... libri decem, vol. 1 (1755), and in Theoria philosophiae naturalis (1763, nr. 40-41). We show that “Bošković’s induction” includes as its components generalized induction, abduction and deductive reasoning. The analysis is carried out primarily from the standpoint of the contemporary justification logic (originating from S. Artemov 1995 and M. Fitting 2004). We establish a typology of justifications (evidences, reasons) in Bošković’s conception of induction, distinguishing between strong evidence, phenomenal (prima fronte) evidence and inductive justification in a narrow sense. These types of justifications are combined together into a unified non-recursive procedure of discovering and confirming new knowledge. We formalize Bošković’s theory of induction extending justification logic by Bošković’s typology of justifications, and adding special justification axioms that describe Bošković’s conditions and restrictions in inductive reasoning and extend logic to a second- order theory.

Izvorni jezik
Engleski

Znanstvena područja
Filozofija

POVEZANOST RADA