Software agents’ ability to interact within different open systems, designed by different groups, presupposes an agreement on an unambiguous definition of a set of concepts, used to describe the context of the interaction and the communication language the agents can use. Agents’ interactions ought to allow for reliable expectations on the possible evolution of the system; however, in open systems interacting agents may not conform to predefined specifications. A possible solution is to define interaction environments including a normative component, with (...) suitable rules to regulate the behaviour of agents. To tackle this problem we propose an application-independent metamodel of artificial institutions that can be used to define open multiagent systems. In our view an artificial institution is made up by an ontology that models the social context of the interaction, a set of authorizations to act on the institutional context, a set of linguistic conventions for the performance of institutional actions and a system of norms that are necessary to constrain the agents’ actions. (shrink)
We present a framework for machine implementation of families of non-classical logics with Kripke-style semantics. We decompose a logic into two interacting parts, each a natural deduction system: a base logic of labelled formulae, and a theory of labels characterizing the properties of the Kripke models. By appropriate combinations we capture both partial and complete fragments of large families of non-classical logics such as modal, relevance, and intuitionistic logics. Our approach is modular and supports uniform proofs of soundness, completeness and (...) proof normalization. We have implemented our work in the Isabelle Logical Framework. (shrink)
In previous work we gave an approach, based on labelled natural deduction, for formalizing proof systems for a large class of propositional modal logics that includes K, D, T, B, S4, S4.2, KD45, and S5. Here we extend this approach to quantified modal logics, providing formalizations for logics with varying, increasing, decreasing, or constant domains. The result is modular with respect to both properties of the accessibility relation in the Kripke frame and the way domains of individuals change between worlds. (...) Our approach has a modular metatheory too; soundness, completeness and normalization are proved uniformly for every logic in our class. Finally, our work leads to a simple implementation of a modal logic theorem prover in a standard logical framework. (shrink)
The subject of Labelled Non-Classical Logics is the development and investigation of a framework for the modular and uniform presentation and implementation of non-classical logics, in particular modal and relevance logics. Logics are presented as labelled deduction systems, which are proved to be sound and complete with respect to the corresponding Kripke-style semantics. We investigate the proof theory of our systems, and show them to possess structural properties such as normalization and the subformula property, which we exploit not only to (...) establish advantages and limitations of our approach with respect to related ones, but also to give, by means of a substructural analysis, a new proof-theoretic method for investigating decidability and complexity of (some of) the logics we consider. All of our deduction systems have been implemented in the generic theorem prover Isabelle, thus providing a simple and natural environment for interactive proof development. Labelled Non-Classical Logics is essential reading for researchers and practitioners interested in the theory and applications of non-classical logics. (shrink)
We present an extension of the mosaic method aimed at capturing many-dimensional modal logics. As a proof-of-concept, we define the method for logics arising from the combination of linear tense operators with an “orthogonal” S5-like modality. We show that the existence of a model for a given set of formulas is equivalent to the existence of a suitable set of partial models, called mosaics, and apply the technique not only in obtaining a proof of decidability and a proof of completeness (...) for the corresponding Hilbert-style axiomatization, but also in the development of a mosaic-based tableau system. We further consider extensions for dealing with the case when interactions between the two dimensions exist, thus covering a wide class of bundled Ockhamist branching-time logics, and present for them some partial results, such as a non-analytic version of the tableau system. (shrink)
In previous work we gave a new proof-theoretical method for establishing upper-bounds on the space complexity of the provability problem of modal and other propositional non-classical logics. Here we extend and refine these results to give an O(n log n)-space decision procedure for the basic positive relevance logic B+. We compute this upper-bound by first giving a sound and complete, cut-free, labelled sequent system for B+, and then establishing bounds on the application (...) of the rules of this system. (shrink)
It seems fairly straightforward to describe what should and should not count as a disability into two separate and opposing categories. In this paper we will challenge this assumption and critically reflect on the narrow relations between the concepts of 'talent' and 'disability'. We further relate such matters of terminology and classification to issues of justice in what is conceived of as disability sport. Do current systems of classification do justice to the performances of disabled athletes? Is the organisation of (...) a just and fair competition similar for abled as it is for disabled sport? Two cases (of Francesco Lentini and Oscar Pistorius) will be explored to further illustrate the complexities of these questions, in particular when related to notions of normality and extraordinary performances. (shrink)
Francesco Patrizi da Cherso's Discussiones peripateticae (1581) are one of the most comprehensive analyses of the whole of Aristotelian philosophy to be published before Werner Jaeger's Aristoteles. The main thrust of the argument in the Discussiones is that whatever Aristotle had said that was true was not new, and that whatever he had said that was new was not true. The article shows how Patrizi proves this with respect to the Organon, and deals with the implications for the history (...) af ancient philosophy in general implied by his stance. (shrink)
This paper examines the view held by Francesco Piccolomini (1523-1607) on the relation between prime matter and extension. In his discussion of prime matter in the Libri ad scientiam de natura attinentes Piccolomini develops a theory of prime matter that incorporates crucial elements of the viewpoint adhered to by the Neoplatonist Simplicius. The originality of Piccolomini's undertaking is highlighted by contrasting it with the ideas found in Jacopo Zabarella's De rebus naturalibus . The case of Piccolomini shows that, in (...) order to classify early modern metaphysical theories of prime matter, the category `prime matter as sheer dimensionality' is indispensable. (shrink)
Abstract The role of actual works of art with philosophical writing is often reduced to the status of example or illustration. As such the materiality of art work is rarely discussed let alone deployed as the basis of philosophical reflection. In this paper works by Francesco Mosca, and Bernini are used to question Heidegger's writings on sculpture. What such an approach opens up is the possibility that art may set the measure for philosophy.
The article is the consequence of some critical notes to the contribution of Paolo Bellan, arising from reading of essays of Francesco Emmolo and Carlo Sini and the assumption of a purely phenomenological perspective in the interpretation of the processes of acquisition of scientific knowledge.
La nota entra in dialogo con il saggio di Francesco Emmolo e cerca di comprendere la proposta di Enzo Paci all’interno di una domanda sul “soggetto della conoscenza”. Di esso la storia della filosofia ha presentato molteplici immagini, che entrano in un confronto critico con la comprensione “quotidiana” della relazione conoscitiva.
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.
Upshot: Written by recognized experts in their fields, the book is a set of essays that deals with the influences of early cybernetics, computational theory, artificial intelligence, and connectionist networks on the historical development of computational-representational theories of cognition. In this review, I question the relevance of computability arguments and Jonasian phenomenology, which has been extensively invoked in recent discussions of autopoiesis and Ashby’s homeostats. Although the book deals only indirectly with constructivist approaches to cognition, it is useful reading for (...) those interested in machine-based models of mind. (shrink)
