1,720,997 research outputs found
Coscienza e religione in Hobbes: una prospettiva etico-politica
Full text linkLa ricerca intende approfondire, in primo luogo, il controverso rapporto di Thomas Hobbes (1588-1679) con la religione. Sulla base di un'analisi della nozione hobbesiana di coscienza, fortemente correlata al tema della religione, il lavoro mette quindi in luce cosa può suggerire, in prospettiva, una rilettura del pensiero hobbesiano e della sua concezione religiosa - e in particolare della sua descrizione di coscienza - in merito a questioni che impregnano la nostra quotidianità, interrogando gli esseri umani sul rapporto tra religione e vita pubblica. Analizzando poi il transito di queste tematiche nell'etica contemporanea, la ricerca prova a enucleare alcuni punti di contatto su cui poter sviluppare un confronto sensato e fruttuoso tra il pensiero di un grande classico della modernità qual è Hobbes e le preoccupazioni del nostro tempo, riguardo a temi come la vita, il fine vita e la sessualità, che inevitabilmente coinvolgono il ruolo della coscienza nello spazio pubblico
L'oggetto esterno nella filosofia trascendentale. Dai principi metafisici alla confutazione dell'idealismo
Full text linkLo scopo della presente ricerca è quello di indagare il ruolo dell’oggetto esterno nel sistema della filosofia trascendentale, in particolare nel confronto tra i Principi metafisici della scienza della natura e la Critica della ragion pura. L’oggetto del senso esterno sarà in particolare indagato da due distinti punti di vista: in primis, come oggetto di conoscenza metafisica nei Principi della scienza della natura e, in secundis, come condizione dell’esperienza nella Confutazione dell’idealismo. Il mio obiettivo sarà anche quello di determinare il nesso tra i principi dell’intelletto puro, stabiliti nella Critica della ragion pura tramite la costituzione dell’oggetto in genere, e i principi metafisici, determinati con l’opera del 1786 tramite l’estensione a priori della conoscenza dell’oggetto del senso esterno, dato empiricamente
Coverage of Formal Properties based on a High-Level Fault Model and Functional ATPG
No full textThe use of model checking to validate descriptions of digital systems lacks a coverage metrics. If the set of formal properties defined to prove the correctness of the design is incomplete, the verification can lead to a false sense of security. This paper refines, extends, and compares with other symbolic approaches, a methodology to estimate the incompleteness of formal properties, which exploits a high-level fault model and functional ATPG
«Nos sumus ex Deo et pertinemus ad Deum». Appartenenza, dipendenza e relazione nel pensiero e nel lessico di Arnold Geulincx
No full textAbstract Arnold Geulincx attribuisce all’uomo lo statuto ontologico di un quid mentis che assume una dimensione temporale divenendo «mente incorporata», cioè prendendo «forma» attraverso il corpo, definito a sua volta come un «modo» dell’estensione o del corpus simpliciter. Tale incorporarsi di un «qualcosa» di eterno definisce la «condizione umana», caratterizzata perciò dall’appartenenza a «due mondi». Attingendo al pensiero cartesiano, agostiniano e stoico, Geulincx propone un’analisi dello statuto ontologico dell’individuo umano alla luce dell’idea di ‘relazione al tutto’, la quale risulta tuttavia complessa e sfuggente, sia perché declinata diversamente in relazione alla mente e al corpo, sia perché delineata, in polemica col «gergo scolastico», attraverso il ricorso a un lessico insieme misticheggiante (costituito di immagini suggestive) e cartesiano (incentrato sui termini fondativi di sostanza e modo). A partire da tale lessico si propone un’analisi dei concetti di appartenenza, relazione e dipendenza, fondativi dell’intero pensiero di Geulincx
Going Beyond Counting First Authors in Author Co-citation Analysis
Full text linkThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
On the Use of a High-level Fault Model to Check Properties Incompleteness
No full textThe use of model checking to validate descriptions of digital systems lacks a coverage metrics. The set of proven properties can be incomplete, thus not guaranteeing the behavioral checking completeness of the digital system implementation with respect to the specification. This paper proposes a coverage methodology based on a combination of model checking, high-level fault simulation and automatic test pattern generation, to estimate the incompleteness of a set of formal properties. The adopted high-level fault model allows to join dynamic and formal verification
Mixing ATPG and Property Checking for Testing HW/SW Interfaces
No full textA critical part of the design of HW/SW systems concerns the definition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but they are inferred by the characteristics of the selected programmable device (CPUs, DSPs, ASIPs, etc.). Their addition to the design can modify the behavior of the original system, thus their verification is a hard task. The proposed verification methodology joins functional verification and property checking in order to avoid their respective limitations. The methodology is focused on SystemC descriptions that can be automatically synthesized. This is particularly important since commercial model checking tools work on structural hardware descriptions, which can be obtained by performing rapid prototyping of both HW and SW parts of SystemC models. The proposed approach has been verified on the SystemC model that is the reference synthesis example of one of the most powerful SystemC synthesis environment
- …
