We provide a full characterization of computational error states for information systems. The class of errors considered is general enough to include human rational processes, logical reasoning, scientific progress and data processing in some functional programming languages. The aim is to reach a full taxonomy of error states by analysing the recovery and processing of data. We conclude by presenting machine-readable checking and resolve algorithms.

The process of completing, correcting and prioritising specifications is an essential but very complex task for the maintenance and improvement of software systems. The preservation of functionalities and the ability to accommodate changes are main objectives of the software development cycle to guarantee system reliability. Logical theories able to fully model such processes are still insufficient. In this paper we propose a full formalisation of such operations on software systems inspired by the Alchourrón–Gärdenfors–Makinson paradigm for belief revision of human epistemic (...) states. We represent specifications as finite sets of formulas equipped with a priority relation that models functional entrenchment of properties. We propose to handle specification incompleteness through ordered expansion, inconsistency through ordered safe contraction and prioritisation through revision with reordering, and model all three in an algorithmic fashion. We show how the system satisfies basic properties of the AGM paradigm, including Levi’s and Harper’s identities. We offer a concrete example and complexity results for the inference and model checking problems on revision. We conclude by describing resilience and evolvability of software systems based on such revision operators. (shrink)

Software-intensive science challenges in many ways our current scientific methods. This affects significantly our notion of science and scientific interpretation of the world, driving at the same time the philosophical debate. We consider some issues prompted by SIS in the light of the philosophical categories of ontology and epistemology.

This book is a systematic analysis of John R. Searle’s philosophy of mind. Searle’s view of mind, as a set of subjective _and_ biologically embodied processes, can account for our being part of nature _qua_ mindful beings. This model finds support in neuroscience and offers reliable solutions to the problems of consciousness, mental causation, and the self.

This paper supports the thesis that nihilistic interpretations of Madhyamaka philosophy derive from generally antirealistic and/or metaphysical approaches to Nāgārjuna’s thought. However, the arguments and many images by way of which the author of the Mūlamadhyamakakārikā and his Indian commentators defend themselves from the charge of nihilism show limits in these approaches, and rather confirm that Nāgārjuna’s philosophy should be read as a theoretical proposal that is at once realistic and antimetaphysical. The epistemology inherent to the soteriological dimension of the (...) Buddha’s teaching, of which Nāgārjuna presents himself as a faithful continuer, assesses on the one hand the accomplishment of a ‘cognitive revolution’ consisting in the achievement of a new vision of reality and on the other the avoidance of any metaphysical description of the same vision. Comprehension of the Madhyamaka philosophical enterprise through a realistic-antimetaphysical lens seems to hinder and prevent the possibility of any nihilistic interpretation of Nāgārjuna. (shrink)

Some time ago I advanced on the pages of this journal a critique of the interpretation given by Jay L. Garfield and Mark Siderits (hereafter GS) of Nāgārjuna’s doctrine of the two truths (Ferraro, J Indian Philos 41(2):195–219, 2013.1); to my article the two authors responded with a ‘defense of the semantic interpretation’ of the Madhyamaka doctrine of emptiness (GS, J Indian Philos 41(6):655–664, 2013). Their reply, however, could not consider my personal understanding of Nāgārjuna’s notions of śūnyatā and dve (...) satye. My interpretation of these notions was in fact absent in the paper GS responded, and was only related in a second paper of mine (Ferraro, J Indian Philos 41(5):563–590, 2013.2), still unpublished at the time of GS’s drafting of their ‘defense’. Therefore, in the present rejoinder, I found it appropriate, rather than responding point by point to the passages of GS’s reply, to advance a comparison between the semantic interpretation and my ‘realist antimetaphysical’ understanding of Nāgārjuna’s thought. (shrink)

No paradox exists in the fact that, in the Special Relativity, for the mass of a material body, considered in motion at constant speed, whose measure is u, the formula: m = m0/√ can be written, while for a photon the same formula holds, when between its source and the observer a state of relative motion at constant speed, whose measure is u, exists and it is observed along the direction perpendicular to the direction of his speed.

In the first part of this paper I critically examine some of the main interpretations of “classical” Yogācāra philosophy of Maitreya, Asaṅga and Vasubandhu. Among these interpretations, based on extant textual and contextual data, I consider philologically unlikely both metaphysical-idealistic readings, which ascribe to these authors the view that ultimate reality is a mental or subjective stuff, and epistemological-idealistic readings which advocate that either Yogācāra suspends judgment on the existence of the extramental or that it maintains that the extramental exists (...) in itself and ultimately. Instead, I consider more likely the thesis that classical Yogācāra upholds an epistemological idealism that, while admitting epistemological priority of the mental over the extramental, rules out the ultimate existence of both the former and the latter. This exclusion, however, does not amount to the exclusion of every metaphysics, but rather to the adoption of a metaphysics of emptiness conceived, in fact, as absence of the mental/extramental dichotomy. In the second part of the paper this reading of classical Yogācāra is compared with the interpretation of Nāgārjuna’s philosophy that I elsewhere called “realistic antimetaphysical”, and I reach the conclusion that, while with respect to epistemology between early Madhyamaka and classical Yogācāra there is continuity, regarding metaphysics these two schools are deeply distinct and discontinuous: while Nāgārjuna conceives of emptiness as an extinction of any metaphysical view, Yogācāra emptiness actually presents itself as a metaphysical point of view. (shrink)

Dieses Handbuch bietet einen verlässlichen, systematischen und umfassenden Zugang einerseits zu Leben und Werk Karl Poppers, andererseits zur breiten Wirkung des Philosophen in Wissenschaft, Politik und Gesellschaft.

The brain constructs within itself an understanding of its surround which constitutes its own world. This is described as its Double in the frame of the dissipative quantum model of brain, where the perception-action arc in the Merleau-Ponty’s phenomenology of perception finds its formal description. In the dialog with the Double, the continuous attempt to reach the equilibrium shows that the real goal pursued by the brain activity is the aesthetical experience, the most harmonious “to-be-in-the-world” reached through reciprocal actions, the (...) aesthetical dimension characterized by the “pleasure” of the perception. Aesthetical pleasure unavoidably implies disclosure, to manifest “signs”, artistic communication. An interpersonal, collective level of consciousness then arises, a larger stage where the actors are mutually dependent. The coherent structure of the brain background state manifests itself in the auto-similarity properties of fractal structures. These are observed to occur also in a large number of natural phenomena and systems. The conception of Nature divided in separated domains is replaced by the vision of Nature unified by laws of form implied by the underlying quantum dynamics of the coherent vacuum, an integrated ecological vision. (shrink)

Premessa p.9 Capitolo I: Identità ebraica e nuovo pensiero p.13 Capitolo II: Qohelet nel “nuovo pensiero” p.81 Capitolo III: Etica e politica: un dialogo tra religioni? p. 149 Capitolo IV: Dal trascendentalismo all’esteriorità: fondazione etica della maestria p.207 Capitolo V: Dal primato della politica al primato dell’etica p.245 Capitolo VI: Emmanuel Lévinas: per una trascendenza non idolatrica p.287 Capitolo VII: Dall’umanismo dei superbi all’umanismo dell’altro uomo p.231.

The difference between the concepts of saṃsāra e nirvāṇaset forth by the historical Buddha in his first sermon seem to be disputed by the equalization of the two terms effected by Nāgārjuna in a topical passage of his MK. This article, firstly, supports the thesis that the contradiction is just a seeming one and that the relation of difference or identity between the two dimensions depends on the philosophical register, respectively epistemological and ontological, being used - in both cases for (...) soteriological purposes - by the Buddha and Nāgārjuna. Secondly, we wish to prove that, in any case, Nāgārjuna's ontology, far from being a philosophical novelty or an evolution of the thought of the founder of Buddhism, is, on the contrary, one of the possible applications of the "non-self" doctrine - probably the most important and original contribution of Buddhist thought to the history of world philosophy - expounded by the Buddha in his second sermon.La differenza tra i concetti di saṃsāra e nirvāṇastabilita dal Buddha nel suo primo sermone sembra essere messa in discussione dall'equiparazione dei due termini effettuata da Nāgārjuna in un passaggio-chiave delle sue MK. Questo articolo, in primo luogo, difende la tesi che la contraddizione sia soltanto apparente e che la relazione, di differenza o di identità, tra le due dimensioni dipende dal registro filosofico, rispettivamente epistemologico e ontologico, usato - in entrambi i casi per finalità soteriologiche - dal Buddha e da Nāgārjuna. In secondo luogo, cercheremo di provare che, in ogni caso, l'ontologia di Nāgārjuna, lungi dall'essere una novità filosofica o un'evoluzione rispetto al pensiero del fondatore del buddhismo è, al contrario, una delle possibili applicazioni della dottrina del non-sé - probabilmente il contributo più importante e originale del pensiero buddhista alla storia della filosofia universale - esposta dal Buddha nel suo secondo sermone. (shrink)

Nas primeiras duas seções deste artigo, apresento alguns dos argumentos que os filósofos budistas indianos Nāgārjuna (ca. séculos II-III) e Vasubandhu (ca. séculos IV-V) usam para mostrar a insustentabilidade lógica dos fenômenos, respectivamente, do movimento e da existência de objetos externos/extramentais. A lógica desses argumentos é comparável à lógica que Zenão de Eleia utiliza nos seus paradoxos contra o movimento e a multiplicidade – e, de fato, no interior dos estudos budológicos contemporâneos, essa comparação já foi sugerida. Na terceira seção, (...) entretanto, pretendo mostrar que os objetivos filosóficos mais imediatos desses três pensadores divergem e são inconciliáveis: enquanto Zenão critica o movimento e a multiplicidade para demonstrar a plausibilidade dos atributos da imobilidade e da univocidade do Ser parmenídico, os paradoxos de Nāgārjuna e Vasubandhu devem ser entendidos no âmbito de projetos filosóficos que, em continuidade com o ensinamento budiano do caminho do meio, pretendem ficar equidistantes das categorias do “ser” e do “não-ser”, evitando ambas. Finalmente, na quarta e última seção, defendo a tese de que os objetivos últimos dos Eleatas e aqueles dos dois filósofos budistas voltam a ser parecidos: Parmênides e o Buda, como também seus respectivos epígonos, buscam promover nos seus seguidores uma “revolução epistêmica” que consiste na passagem de uma visão ordinária da realidade a uma compreensão extraordinária ou suprema, coincidente com a realidade em si e, portanto, verdadeira em última análise. (shrink)

The model presented in the target article includes feature processing and higher representations. I argue, based on neuropsychological evidence, that spatial representations are also involved in perceptual awareness of somatosensory events. Second, there is an asymmetry, with a right-hemisphere–based bilateral representation of the body. Third, the specific aspect of bodily awareness concerning motor function monitoring involves a network that includes the premotor cortex.