This review evaluates pros and cons of the schema theory as a general framework for expressing what Arbib et al. call “systems neuroscience.” We discuss the software/hardware duality of the schema concept and the relative neglect of the mechanical properties of muscles. We propose a computational alternative to the functional decomposition in terms of schemas.
In field computing a topologic organization of CFs is necessary to support sensorimotor planning. A simple model of cortical dynamics can exploit such topologic organization.
PRÉFACE Joël Biard et Thierry Gontier La figure de Pietro Pomponazzi est représentative de la profusion et de l'inventivité de la culture universitaire du ...
Wonder, miracle, occult science, poetry, and the epistemological implications in Renaissance authors: Marsilio Ficino, Giovanni Pico, Pietro Pomponazzi, Agrippa of Nettesheim, Giordano Bruno, Francesco Patrizi, Tommaso Campanella, Francisco Suárez.
The relationship between body and mind was traditionally discussed in terms of immortality of the intellect, because immateriality was one necessary condition for the mind to be immortal. This appeared to be an issue of metaphysics and religion. But to the medieval and Renaissance thinkers, the essence of mind is thinking activity and hence an epistemological feature. Starting with John Searle’s worries about the existence of consciousness, I try to show some parallels with the Aristotelian Pietro Pomponazzi (1462–1525), and (...) eventually show the Neoplatonic approach in Marsilio Ficino (1433–1499). The guiding question is: how can one philosophically address the problem of cognition in terms of corporeality and incorporeality? Searle maintains there is mind, although essentially related to a biological basis, and he is comparable to the Renaissance thinkers for his taking the interaction of the mental and the corporeal seriously. (shrink)
This paper focuses on the inferential configuration of arguments, generally referred to as argument scheme. After outlining our approach, denominated Argumentum Model of Topics (AMT, see Rigotti and GrecoMorasso 2006, 2009; Rigotti 2006, 2008, 2009), we compare it to other modern and contemporary approaches, to eventually illustrate some advantages offered by it. In spite of the evident connection with the tradition of topics, emerging also from AMT’s denomination, its involvement in the contemporary dialogue on argument schemes should (...) not be overlooked. The model builds in particular on the theoretical and methodological perspective of pragma-dialectics in its extended version, reconciling dialectic and rhetoric; nevertheless, it also takes into account numerous other contributions to the study of argument schemes. Aiming at a representation of argument schemes able to monitor the inferential cohesion and completeness of arguments, AMT focuses on two components of argument scheme that could be distinguished, readapting pragma-dialectical terms, as procedural and material respectively. The procedural component is based on the semantic-ontological structure, which generates the inferential connection from which the logical form of the argument is derived. The material component integrates into the argument scheme the implicit and explicit premises bound to the contextual common ground (Rigotti 2006). In this paper, the comparison of the AMT to other approaches focuses on the inferential configuration of arguments and not on the typologies of argument schemes and on the principles they are based on, which the authors intend to tackle in a further paper. (shrink)
The content of Boscovich’s Theoria philosophiae naturalis was well-known to his contemporaries, but both scientists and philosophers chiefly discussed it during the 19th century. The observations that Boscovich presented in this text, and that he himself defined as “philosophicas metitationes”, soon showed their being a good programme for the forthcoming atomic physics, and contributed to get rid of the mechanistic paradigm in science. In this paper I’ll go back to some meaningful moments of the history of Boscovich’s reception in the (...) era of contemporary philosophy, by referring to what authors such as Popper, Cassirer, Nietzsche and Fechner wrote about him. These thinkers, indeed, particularly stressed the importance of the Theoria in the history of Western thought, and showed that it can easily be evaluated beyond the plane of a pure scientific investigation. (shrink)
Twilight of the Idols has a main role in Nietzsche’s work, since it represents the opening writing of his project of Transvaluation of all values. The task of this essay is sounding out idols, i.e. to disclose their lack of content, their being hollow. The theme of eternal idols is in this work strictly related to the idea of a ‘true’ world and, consequently, a study on this latter notion can contribute to a better comprehension of what does that emptiness (...) mean and which is the way that Nietzsche wants to follow to set his thought free from any metaphysical heritage. The analysis of the notion of truth Nietzsche concerns with in Twilight of the Idols takes us back to the content of his early writings, when he gives the first sketches of his theory of knowledge. The perspective he exposed in the ‘70s is constructed on the basis of Schopenhauer’s philosophy, that Nietzsche merges with the main ideas of Lange, Spir and other neo-Kantians. The outcome of his reflections on this matter is an evolutionary epistemology, a view that leads Nietzsche to define the historical reconstruction as the only resource through which the fact that concepts are mere thoughts gradually evolved can be point out. These observations correspond in many ways to what the Austrian physicist Ernst Mach wrote in his works, and one can say that Nietzsche agrees with his “anti-metaphysical intent”, i.e. his criticizing a thought still depending on “concepts which we forgot how we’ve reached”. With my paper I’ll try to show that Nietzsche wage his war against metaphysics with the theoretical ‘weapons’ he prepared in the ‘70s, indeed that his last attack to western knowledge arises from some contents he exposed in Human, All Too Human. In this text Nietzsche reflected on the mechanisms of language and world’s representation, and connected human knowledge with the overall development of organic beings. Moreover, in his work from 1878 the philosopher presented a comparison between “metaphysische Philosophie” and “historische Philosophie”, an idea that cannot be found in the following writings, but that comes up again in the Twilight of the Idols. Indeed, in this work Nietzsche repeats his complaining philosopher’s “lack of historical sense” he dealt with in the opening pages of Human, All Too Human, and he reflects on the kind of inquiry western thinkers should adopt to set themselves free from the fixed forms of metaphysics. Thus, Nietzsche’s observation about the role of history in philosophy testifies the connection between this main works, and allow us to define the way he wants to follow to carry his critic to eternal idols out and, in doing so, to show the way forward to his last thoughts. (shrink)
In this paper I discuss the role played by Ernst Mach on Nietzsche’s thought. Starting from the contents of his Beiträge zur Analyse der Empfindungen, I’ll show the close similarities between their view on both human knowledge and the scientific world description. In his writing on science Nietzsche shares Mach’s critique to the 19th century mechanism and its metaphysical ground, as much as his way of defining the substantial notions such as matter, ego and free will. Moreover, my investigation will (...) make it clear that Mach cannot be seen as a direct source of Nietzsche’s thought, since the latter wrote many times on the same subjects long before his first reading one of his works. Rather, it is possible to consider the writings of Lange, Spir and Spencer as the first sources of Nietzsche’s views on the main themes Mach dealt with in his work from 1886. (shrink)
The work of the Paduan Aristotelian philosopher Iacopo Zabarella (1533–1589) has attracted the attention of historians of philosophy mainly for his contributions to logic, scientific methodology and because of his possible influence on Galileo. At the same time, Zabarella's views on Aristotelian psychology have been little studied so far; even those historians of Renaissance philosophy who have discussed them, have based their analysis mainly on the psychological essays included in Zabarella's De rebus naturalibus , but have avoided Zabarella's commentary on (...) Aristotle's De anima . This has led to an inaccurate, but widespread, understanding of Zabarella's views. The intention of this article is to provide a systematic analysis of Zabarella's arguments about the (im)mortality of the soul in the context of Aristotelian psychology. Zabarella's view that the soul is mortal according to Aristotle is remarkable for his time, while his elaboration of this position is far more comprehensive than that of Pietro Pomponazzi, the other significant Renaissance thinker who shared the same view. (shrink)
After more than three centuries, Molyneux's question continues to challenge our understanding of cognition and perceptual systems. Locke, the original recipient of the question, approached it as a theoretical exercise relevant to long-standing philosophical issues, such as nativism, the possibility of common sensibles, and the empiricism-rationalism debate. However, philosophers were quick to adopt the experimentalist's stance as soon as they became aware of recoveries from congenital blindness through ophtalmic surgery. Such recoveries were widely reported to support empiricist positions, suggesting that (...) the question had found its empirical answer. Contrary to this common view, we argue that studies of patients recovering from early blindness through surgery cannot provide an answer. In fact, because of the very nature of such ophtalmological interventions it is impossible to test the question in the empirical conditions outlined by Molyneux. Thus we propose that Molyneux's question be treated as an early thought experiment of a specific kind. Although thought experiments of this kind cannot be turned into actual experimental conditions, they provide a conceptual restructuring of theories. Such restructuring in turn leads to new predictions that can then be tested by normal experiments. In accord with this interpretation, we show that Molyneux's question can be analyzed into a hierarchy of specific questions about vision in its phenomenal and sensory-motor components. Some of these questions do lead to actual experimental conditions that could be studied empirically. (shrink)
The aim of this paper is to show that humanlanguage is context-dependent in a veryspecific way. In order to support this thesis,a detailed comparison is made between the waysin which verbal expressions depend on thecontext of occurrence and evaluation and animalcommunication systems. The comparisonhighlights a series of analogies anddifferences between human language and thecommunication systems of other animals. Myproposal is to use the term `indexicality' toindicate the characteristic way of using thecontext in human language and to use the moregeneral phrase (...) `context-dependence' for thecorresponding phenomenon in animalcommunication systems. (shrink)
During the second decade of the 20th century Hans Kleinpeter, an Austrian scholar devoted to the development of the modern science, published some brief papers on Nietzsche’s thought. Kleinpeter has been one of the main upholders of Mach’s epistemology and probably the first who connected his ideas with the philosophy of Nietzsche. In his book on Der Phänomenalismus (1913) he described a new world view that arose in the 19th century, a perspective that ‒ according to him ‒ completely contrasted (...) the mechanistic and metaphysical world view of the old school of scientific inquiry. The main outcome of the scientists whose name was related with this perspective (e.g. Clifford, Maxwell, Kirchoff and, obviously, Mach himself) has been the refusal of the absolute value of any “truth”. Kleinpeter’s statements on this topic are a good example of the rising of a Scientific Philosophy, whose development involved many scientists and thinkers that later set up the Verein Ernst Mach and the Wiener Kreis. On the other hand, his interest on Nietzsche is a relevant case of reception of the latter’s thought, that Kleinpeter puts into the context of the contemporary epistemology. In fact, he considers Nietzsche as one of the main upholders of the phenomenalistic world view, and states that he «took part at the same renewal of philosophical investigation that arose from the latest results of scientific inquiry» during the 19th century. A renewal whose main outcomes has been presented by John Stallo in his book on The Concepts and Theories of Modern Physics (1881), which Kleinpeter translated in German and published in 1901. According to Kleinpeter, in Nietzsche’s writings (mostly unpublished) one can find a theory of knowledge quite close to the one presented by both Mach and the new born Pragmatism, i.e. the complete refusal of an absolute truth and, therefore, the development of an antimetaphysical world view. In my paper I’ll discuss the main statements presented by Kleinpeter on this topic and show which of Nietzsche’s ideas has actually been in compliance with the main outcomes of late 19th century science. Thus, I’ll carry out a reconstruction of an unfamiliar side of the first period of reception of the philosophy of Nietzsche and its relevance to the development of a new (scientific) world view. (shrink)
In this paper I deal with Nietzsche's theory of knowledge in the context of 19th century epistemology. In particular, I argue that, even though Nietzsche shows the ontological lack of content of truths (both on the theoretic and on the moral plane), he nevertheless leaves the space for a practical use of them, in a way that can be compared with William James' pragmatism. I thus deal with Nietzsche's and James' concept of "truth", and show their relationship with some outcomes (...) of Ernst Mach's epistemology. (shrink)
There are many difficulties with the existing interpretation of Brentano’s works. The problem stems from the fact that Brentano’s works, letters, manuscripts, memoir’s, etc. remain unpublished or undiscovered. Moreover some Brentano’s scholars, namely Kastil and Mayer-Hillebrandt, were incorrect in their method in publishing the philosopher’s works. Namely, they misinterpreted his earlier works by incorporating numerous interpolations from different time periods as being the philosopher’s final thoughts. More importantly, as evidenced by Antonio Russo’s recent discovery, they also failed to realise the (...) fact that Brentano’s own theoretical views or works were mostly based on Aristotle and Thomas thoughts on metaphysics, that Brentano’s main intention was to develop a scientific demonstration on this topic, and that this issue occupied his mind until his death. It is hoped that this paper goes some way in resolving the said errors and coupled with the continue discovery of new material that the jigsaw of Brentano’s works and thinking shall someday be correctly completed. (shrink)
«Questo è il vero fenomenalismo e prospettivismo, come lo intendo io», scrive Nietzsche in FW 354, chiudendo una lunga riflessione sul tema della coscienza e del bisogno di comunicazione dell’uomo. Mantenendo sullo sfondo le questioni più strettamente legate alla dimensione psicologica, vorrei partire da questa dichiarazione per considerare alcuni aspetti della teoria della conoscenza di Nietzsche ed intervenire in una nuova determinazione del suo carattere prospettico. In particolare, vorrei soffermarmi sul tema del gregge umano e della specie come reale soggetto (...) della visione prospettica, per poi discutere il riferimento al fenomenalismo rintracciabile in alcuni appunti dedicati ad una declinazione del Wille zur Macht come conoscenza. (shrink)
This paper investigates the relations between the concepts of moral harm and moral responsibility, arguing for a circularity between the two. On this basis the conceptual soundness of descriptivism, on which consequentialist and non-consequentialist arguments are often grounded, is questioned. In the last section a certain version of ascriptivism is defended: The circularity is relevant in order to understand how a restricted version of ascriptivism may in fact be well founded.
In Part One of Beyond Good and Evil Nietzsche writes that anyone who believes in “immediate certainties” such as “I think” encounters a series of “metaphysical questions”. The most important of these “problems of intellectual knowledge” concerns the existence of an ‘I’, as much as our believing it to be the cause of thinking. Therefore, any remark about our mental faculties directly follows from our defining what we could call the basic psychical unity, i.e. our view on higher-level psychical functions (...) is strictly related with the properties we attribute to the notion of ‘I’. As we know, the main ideas on this subject that Nietzsche states in his book from 1886 come from the neo-kantian views of Lange, Spir and Teichmüller, and we cannot forget the important (even if hidden) reference to Lichtenberg in § 17 of the same work. Nevertheless, Nietzsche seems to move beyond all these sources, and in many of his writings we can find a new definition of the ‘ego’, finally free from any reference to a thing in itself, and for this reason closer to the ideas of the Austrian scientist Ernst Mach. In this paper I shall carry these remarks out. I’ll show the main properties of the notion of ‘I’ Nietzsche concerns with in his writings and, therefore, the grounds of his view on the mind-body problem. Moreover, I will argue that, once we observe that Nietzsche looks at the ‘ego’ as a mere regulative fiction having no ontological value out of the chain of sensation and representation it brings together, we could find out the close similarity with the way Mach defines it in his Beiträge zur Analyse der Empfindungen (1886). This reference could help us to understand in a better way some statements Nietzsche wrote in his notebooks, and, secondly, to show how strictly was his philosophy of mind related with the main outcomes of 19th century science. Indeed, Nietzsche’s refusal of the belief “that there must necessarily be something that thinks” ‒ a view that results from the anti-metaphysical intent leading his naturalism ‒ seems to be one of the most important assumptions of the new born physiological psychology, an idea out of which many of the 20th century philosophical debates arose. (shrink)
Contact Info: Paul Pietroski Department of Linguistics University of Maryland Marie Mount Hall College Park, MD 20742 USA Email: pietro@umd.edu Phone: +1 301-395-1747..
The use of computer simulation for building theoretical models in social science is introduced. It is proposed that agent-based models have potential as a third way of carrying out social science, in addition to argumentation and formalisation. With computer simulations, in contrast to other methods, it is possible to formalise complex theories about processes, carry out experiments and observe the occurrence of emergence. Some suggestions are offered about techniques for building agent-based models and for debugging them. A scheme for structuring (...) a simulation program into agents, the environment and other parts for modifying and observing the agents is described. The article concludes with some references to modelling tools helpful for building computer simulations. (shrink)
The Internet has quickly gained popularity as a major source of health-related information, but its impact is unclear. Here, we investigate the extent to which advocacy websites for three neurodevelopmental disorders—cerebral palsy (CP), autism spectrum disorder (ASD) and fetal alcohol spectrum disorder (FASD)—inform stakeholders about treatment options, and discuss the ethical challenges inherent in providing such information online. We identified major advocacy websites for each disorder and assessed website accountability, the number, attributes, and accessibility of treatments described, and the valence (...) of treatment information. With the exception of FASD websites, we found that advocacy websites provide a plethora of information about a wide variety of readily available products and services. Treatment information is primarily targeted at families and is overwhelmingly encouraging, regardless of the type or conventionality of treatments. Many websites acknowledge corporate sponsors. While the majority do not overtly advertise or endorse specific brands, they also do not prominently display disclaimers about the nature and intent of treatment information. Thus, while advocacy websites are organized to serve as information clearinghouses, they implicitly appear to provide endorsement of selected treatments and services. We conclude with recommendations for new partnerships between government-funded health organizations, advocacy and investigators to make more transparent the role of online information in informing treatment options and improving the evaluation of information. (shrink)
... TRACTATUS DE IMMORTALITATE ANIM Ж. PR 0 OE^MIU M. * Continens intentionem, feu libri materiatn & can* fam intentionis. F rater Hieronymus Natalis, ...
We examine the transitions between sets of possible worlds described by the compositional semantics of Modal Dependence Logic, and we use them as the basis for a dynamic version of this logic. We give a game theoretic semantics, a (compositional) transition semantics and a power game semantics for this new variant of modal Dependence Logic, and we prove their equivalence; and furthermore, we examine a few of the properties of this formalism and show that Modal Dependence Logic can be recovered (...) from it by reasoning in terms of reachability. Then we show how we can generalize this approach to a very general formalism for reasoning about transformations between pointed Kripke models. (shrink)
Le colombe dello scettico focuses on Nietzsche's dealings with consciousness during his middle and late years, from 1880 to 1888. The investigation that Luca Lupo carries on in this book is exhaustive and quite useful in the field of Nietzsche studies, since it concerns a tricky topic that until now has not been taken as the subject of a complete study. The reason why dealing with this subject is not so easy is that the notion of consciousness can only be (...) found in a few passages of Nietzsche's published works, and he never gives a complete treatment of it. This is a problem that involves many other topics of Nietzsche's writings, but in the case of the notion of consciousness it is most evident that his thinking .. (shrink)
In his lifelong effort to overcome the limits of Panofsky’s iconological method, Max Imdahl tried to sketch out an «iconic understanding» which is pre-reflexive, performed below the level of conceptual and verbal explication. Under the auspices of Konrad Fiedler’s theoretical position, Imdahl opposed the Panofskian «recognizing view» with a more formalistic «seeing view», in order to gain access to a third form of vision which he called «knowing view». After outlining Imdahl’s critic of the reduced and unilateral significance of «form» (...) and «formal composition» in Panofsky’s approach, I will clarify how far Imdahl has gone in the analysis of what should be properly defined as an authentic logic of images . Then, focusing on a paradigmatic case study, I will show the importance of the syntax of an image (i.e. the positioning of its elements on the left or on the right, underneath or above, in the back or in the front) for its semantic meaning. (shrink)
This paper illustrates the main features of Luigi Ferrajoli’s theoretical approach to law, as they are developed in his Principia Juris . These include his opposition to the traditional perspective of natural law; his anti-cognitivist orientation; and, finally, his fundamentally normative approach. Among the numerous problems discussed in Ferrajoli’s compendious book, the paper focuses on his definition of constitutional democracy. In particular, the paper discusses the way in which Ferrajoli defines the complementarity between democracy and rights; Ferrajoli’s own criticism of (...) T. H. Marshall’s idea of citizenship; and the importance that the distinction between ‘decidable’ and ‘non-decidable’ rights have in Ferrajoli’s own system. Other issues of interests that are briefly discussed include the constitutionalisation of private law, and the defence of different kinds of liberty-rights. (shrink)
In a note from 1881 (KSA 9, 11 [156]) Nietzsche talks about the “infinitely small moment” as “the highest reality and truth” for the individual who tries to contrast the “uniformity of sensations” and to affirm his “idiosyncratic taste”. In doing so, he gives to the briefest of moments a leading role, since one can see it as the reference point of a dialectic between man and society. In fact, the single moment reveals the unavoidable becoming even of human taste, (...) and shows that any metaphysics of substances stating the existence of an individual subject must be rejected. Moreover, in this note Nietzsche states some ideas on the herd instinct he’ll deal with in The Gay Science, and considers the value of the anthropology established by the science, since it determines “how man – and NOT the individual ‒ experiences things and himself”. In doing so, Nietzsche starts thinking about the relationship between the plane of the individual and the wider one of the society, in which one can find the standardized “normal taste” useful for human beings’ preservation. In my paper I’ll carry out these brief sketches, and study both the subjects of this relationship. In particular, I’ll focus on the dialectic between “small” and “big” on the plane of the social community, showing the deep connections with Nietzsche’s theory of knowledge and his notion of truth. (shrink)
Adriano Ardovino, Raccogliere il mondo. Per una fenomenologia della rete [Angela Maiello] • Clive Bell, L’Arte [Filippo Focosi] • Alessandro Bertinetto, Il pensiero dei suoni. Temi di filosofia della musica [Domenica Lentini] • Terrence Deacon, Incomplete Nature. How Mind Emerged From Matter [Mariagrazia Portera] • Roger Scruton, La bellezza. Ragione ed esperienza estetica [Filippo Focosi] • Miriam Bratu Hansen, Cinema and Experience. Sigfried Kracauer, Walter Benjamin and Theoder W. Adorno [Domenico Spinosa] • Lawrence Barsalou, scritti sulla “Grounded Cognition” [Gialuca Consoli] (...) • Dis-forme , Università degli Studi di Palermo, 28-29 maggio 2012 [Michele Bertolini e Pietro Conte]. (shrink)
This volume is devoted to Vermigli's philosophical writings, consisting of topics from commentaries with sections on: reason and revelation; body and soul; ...
La diffusione del libro nel Medioevo potrebbe essere riletta alla luce di una metafora attuale sebbene non scevra di aspetti dialettici: quella della “rete”. All’ubicazione spazio-temporale del libro nei monasteri medievali, contraddistinta da fisicità e permanenza, si sotituisce oggi un formato digitale e virtuale, che porta ad una sorta di decontestualizzazione e alla continuità del flusso di informazioni, contribuendo alla diffusione capillare del sapere. L’ottica di universalità e globalità accomuna tuttavia entrambe le epoche. Alcuni concetti-chiave dell’informatica potrebbero infatti declinarsi in (...) ambito medievale: Server-Client per la raccolta, la conservazione e la trasmissione delle conoscenze da parte dei monasteri, quali centri del sapere in Europa, agli uomini di cultura; Firewall, per alludere alla necessità di tutelare i manoscritti, mediante la copiatura e la diffusione dei codici; Community, ad indicare non solo la comunità religiosa o monastica in senso stretto, bensì l’apertura ad una costruzione del sapere mediante un’azione partecipativa. I problemi dell’autenticità delle fonti, dell’acriticità delle informazioni e la pratica delle citazioni trovano un precedente significativo nelle Sententiae di Pietro Lombardo: una sorta di “biblioteca virtuale” grazie alla collezione di passi dalla Sacra Scrittura e da fonti latine e greche, paragonabile a un moderno modello enciclopedico di sapere. The diffusion of the book in the Middle Ages could be critically read through a modern metaphor: the “net”. The space-temporal coordinates of the book shift from being physical and permanent in the Medieval monasteries, to being de-contextualized and continue in the flow of information of digital and virtual format. However the universal and global perspective is common to the contemporary and the Medieval periods. In fact some key-words of computer science could be applied to the Medieval context: Server-Client, for the collection, the preservation and the transmission of knowledge from monasteries, as cultural centers in Medieval Europe, to men of culture; Firewall, for the necessary protection of manuscripts, through copying and diffusing codes; Community, referred not only to the monastic and religious groups, but also to an open sharing of the building of knowledge. Problems like the authenticity of the sources, the lack of criticality in the reception of data, and the practice of quotations are well represented in Peter Lombard’s Sententiae: this work can be compared to a modern encyclopedia thanks to the collection of passages from the Holy Scripture and from Latin and Greek sources, as well as a “virtual library”. (shrink)
The New Economic Windows Series, derived from Massimo Salzano's ideas and work, incorporates material from textbooks, monographs and conference proceedings that deals with both the theoretical and applied aspects of various sub-disciplines ...
In Augustine's theological reflection, the biblical truth of “creation out of nothingness” becomes the dogmatic foundation of his philosophical speculation. Augustine argues that since “matter” is eternal, nothing can be derived from “nothingness”. He thus opposes the metaphysical paradigm of Christian thought which places God (“efficient cause”) and nothingness (“deficient cause”) as the origin of all existence. The “material cause” is no longer the “prime cause” of all beings but is replaced by the meontological dimension of absolute nothingness. The shifting (...) of the metaphysical paradigm in Augustine's speculation on the revealed truth of creatio ex nihilo leads to a theoretical gain: “nothingness” becomes a philosophical foundation capable of preserving both the truth of God's absolute freedom and the negation of all pantheism. (shrink)
The properties of the ${\forall^{1}}$ quantifier defined by Kontinen and Väänänen in [13] are studied, and its definition is generalized to that of a family of quantifiers ${\forall^{n}}$ . Furthermore, some epistemic operators δ n for Dependence Logic are also introduced, and the relationship between these ${\forall^{n}}$ quantifiers and the δ n operators are investigated.The Game Theoretic Semantics for Dependence Logic and the corresponding Ehrenfeucht- Fraissé game are then adapted to these new connectives.Finally, it is proved that the ${\forall^{1}}$ quantifier (...) is not uniformly definable in Dependence Logic, thus answering a question posed by Kontinen and Väänänen in the above mentioned paper. (shrink)
We develop a semantics for independence logic with respect to what we will call general models. We then introduce a simpler entailment semantics for the same logic, and we reduce the validity problem in the former to the validity problem in the latter. Then we build a proof system for independence logic and prove its soundness and completeness with respect to entailment semantics.
We present a compositional semantics for first-order logic with imperfect information that is equivalent to Sevenster and Sandu’s equilibrium semantics (under which the truth value of a sentence in a finite model is equal to the minimax value of its semantic game). Our semantics is a generalization of an earlier semantics developed by the first author that was based on behavioral strategies, rather than mixed strategies.
La diffusione del libro nel Medioevo potrebbe essere riletta alla luce di una metafora attuale sebbene non scevra di aspetti dialettici: quella della “rete”. All’ubicazione spazio-temporale del libro nei monasteri medievali, contraddistinta da fisicità e permanenza, si sotituisce oggi un formato digitale e virtuale, che porta ad una sorta di decontestualizzazione e alla continuità del flusso di informazioni, contribuendo alla diffusione capillare del sapere. L’ottica di universalità e globalità accomuna tuttavia entrambe le epoche. Alcuni concetti-chiave dell’informatica potrebbero infatti declinarsi in (...) ambito medievale: Server-Client per la raccolta, la conservazione e la trasmissione delle conoscenze da parte dei monasteri, quali centri del sapere in Europa, agli uomini di cultura; Firewall , per alludere alla necessità di tutelare i manoscritti, mediante la copiatura e la diffusione dei codici; Community , ad indicare non solo la comunità religiosa o monastica in senso stretto, bensì l’apertura ad una costruzione del sapere mediante un’azione partecipativa . I problemi dell’autenticità delle fonti, dell’acriticità delle informazioni e la pratica delle citazioni trovano un precedente significativo nelle Sententiae di Pietro Lombardo: una sorta di “biblioteca virtuale” grazie alla collezione di passi dalla Sacra Scrittura e da fonti latine e greche, paragonabile a un moderno modello enciclopedico di sapere. The diffusion of the book in the Middle Ages could be critically read through a modern metaphor: the “net”. The space-temporal coordinates of the book shift from being physical and permanent in the Medieval monasteries, to being de-contextualized and continue in the flow of information of digital and virtual format. However the universal and global perspective is common to the contemporary and the Medieval periods. In fact some key-words of computer science could be applied to the Medieval context: Server-Client , for the collection, the preservation and the transmission of knowledge from monasteries, as cultural centers in Medieval Europe, to men of culture; Firewall , for the necessary protection of manuscripts, through copying and diffusing codes; Community , referred not only to the monastic and religious groups, but also to an open sharing of the building of knowledge. Problems like the authenticity of the sources, the lack of criticality in the reception of data, and the practice of quotations are well represented in Peter Lombard’s Sententiae : this work can be compared to a modern encyclopedia thanks to the collection of passages from the Holy Scripture and from Latin and Greek sources, as well as a “virtual library”. (shrink)
