Contextual type theories are largely explored in their applications to programming languages, but less investigated for knowledge representation purposes. The combination of a constructive language with a modal extension of contexts appears crucial to explore the attractive idea of a type-theoretical calculus of provability from refutable assumptions for non-monotonic reasoning. This paper introduces such a language: the modal operators are meant to internalize two different modes of correctness, respectively with necessity as the standard notion of constructive verification and possibility as (...) provability up to refutation of contextual conditions. (shrink)

Artefacts do not always do what they are supposed to, due to a variety of reasons, including manufacturing problems, poor maintenance, and normal wear-and-tear. Since software is an artefact, it should be subject to malfunctioning in the same sense in which other artefacts can malfunction. Yet, whether software is on a par with other artefacts when it comes to malfunctioning crucially depends on the abstraction used in the analysis. We distinguish between “negative” and “positive” notions of malfunction. A negative malfunction, (...) or dysfunction, occurs when an artefact token either does not or cannot do what it is supposed to. A positive malfunction, or misfunction, occurs when an artefact token may do what is supposed to but, at least occasionally, it also yields some unintended and undesirable effects. We argue that software, understood as type, may misfunction in some limited sense, but cannot dysfunction. Accordingly, one should distinguish software from other technical artefacts, in view of their design that makes dysfunction impossible for the former, while possible for the latter. (shrink)

This paper proposes a critical analysis of that interpretation of the Nāgārjunian doctrine of the two truths as summarized—by both Mark Siderits and Jay L. Garfield—in the formula: “the ultimate truth is that there is no ultimate truth”. This ‘semantic reading’ of Nāgārjuna’s theory, despite its importance as a criticism of the ‘metaphysical interpretations’, would in itself be defective and improbable. Indeed, firstly, semantic interpretation presents a formal defect: it fails to clearly and explicitly express that which it contains logically; (...) the previously mentioned formula must necessarily be completed by: “the conventional truth is that nothing is conventional truth”. Secondly, after having recognized what Siderits’ and Garfield’s analyses contain implicitly, other logical and philological defects in their position emerge: the existence of the ‘conventional’ would appear—despite the efforts of semantic interpreters to demonstrate quite the contrary—definitively inconceivable without the presupposition of something ‘real’; moreover, the number of verses in Nāgārjuna that are in opposition to the semantic interpretation (even if we grant semantic interpreters that these verses do not justify a metaphysical reconstruction of Nagarjuna’s doctrine) would seem too great and significant to be ignored. (shrink)

In Speech Acts, John Searle argues that institutional facts presuppose, for their existence, the existence of certain institutions (understood as systems of constitutive rules). In this paper I extend Searle’s theory of institutional facts arguing that a further level is needed for the investigation of the structure of institutional reality: the level of meta-institutional concepts. The meta-institutional concepts are concepts that go beyond (Greek: metá) the institutions of which they are conditions of possibility. An example of meta-institutional concept is the (...) concept of game. In a culture which does not have the concept of game, we could move the chess-men according to the rules of chess, we could also perform a castling, but it would be impossible to play chess. (shrink)

L’essai analyse la structure de la philosophie politique de Fichte en l’inscrivant dans le contexte formé par les concepts politiques mis en place par la doctrine du droit naturel. De cette science, qui a pour éléments principaux les droits des individus, la souveraineté et la représentation, Fichte découvre la logique, qu’il poursuit jusqu’à son aporie constitutive. Dans la période de maturité de sa pensée, le philosophe paraît dépasser l’autosuffisance du droit naturel en direction d’une philosophie de la pratique, ce qui (...) semble conforme à l’évolution de la Doctrine de la Science.Duso’s essay focuses on Fichte’s political philosophy stressing its relation to the context of modern political concepts and their origin within the modern science of natural right. Fichte analyses its elements and thinks back over its logic, showing its aporetical core. In the years of his maturity Fichte seems to go beyond the self-sufficiency of natural rights theories towards a philosophy of practice more consonant with the developments of his Doctrine of the Science. (shrink)

Este ensayo se centra en la democracia entendida como forma política, como constitución democrática. El concepto de poder del pueblo indica, por una parte, un poder absoluto al que someterse, y, por otra, tiende a negar la sumisión en cuanto tal. Los dos conceptos fundamentales de la constitución democrática, la soberanía del pueblo y la representación política , que surgen para mostrar cómo el poder es de todos, en realidad crean un hiato estructural que impide pensar en la dimensión política (...) de los ciudadanos. En la base de la aporía se encuentra el ideal de la libertad y la libertad incondicional del individuo, la cual se afirma mediante la negación de la relación de gobierno. Esta incondicionalidad de la voluntad se convierte en el elemento fundador de la racionalidad formal propia de la legitimación democrática. Sólo la conciencia de la centralidad de la cuestión del gobierno, incluso en el interior de la democracia y más allá de su dispositivo legitimador, puede mostrarnos la vía para repensar a los ciudadanos como sujetos capaces de acción política. (shrink)

Die vorliegende Hommage-Schrift hat das Ziel, Hans Albert – einen der bedeutendsten Wissenschaftsphilosophen und der Hauptvertreter des Kritischen Rationalismus im deutschen Sprachraum – durch biographisch-intellektuelle Zeugnisse zu ehren und die Bedeutung seines Denkens würdigend hervorzuheben. Der Band enthält Beiträge von Kollegen, Schülern und Freunden Hans Alberts in deutscher und englischer Sprache, in denen diese in unterschiedlicher Weise über ihre Beziehung zu Hans Albert berichten und beschreiben, inwiefern dessen Version des Kritischen Rationalismus sie beeinflusst hat. Auf diese Weise wird seine Denkrichtung (...) aus der Perspektive verschiedener Fachdisziplinen wie etwa Wissenschaftstheorie, Ökonomie, Jurisprudenz, Soziologie, Psychologie, Ethik und Theologie betrachtet. Die verschiedenen Beiträge beleuchten nicht nur historische Hintergründe und verschiedene Lebensphasen des Geehrten; sie zeichnen auch die Entwicklung seines Denkens nach und machen seine lebhafte Beteiligung an philosophischen und wissenschaftlichen Auseinandersetzungen seiner Zeit nachvollziehbar. Deshalb kann man diese Hommage-Schrift auch als ein Zeitdokument verstehen, in dem nicht nur Hans Alberts intellektuelles Wirken in Erinnerung gerufen, sondern auch sein Leben vergegenwärtigt wird, von seiner Zeit als wissenschaftlicher Assistent bzw. Privatdozent in Köln bis zu seiner Emeritierung in Mannheim und darüber hinaus. (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.

Per il francescano Olivi lo stato dell’altissima povertà e la perfezione evangelica comportano la rinuncia alla proprietà e l’espropriazione di ogni diritto. Olivi argomenta che l’altissima povertà include in modo necessario e come parte integrante del voto francescano l’usus pauper, vale a dire l’uso povero dei beni e delle cose. In questo contesto Olivi si pone la questione di quale sia lo statuto giuridico della povertà e di come sia possibile vivere la perfezione evangelica all’interno di una società segnata dalla (...) rivoluzione commerciale e dalla crescente monetizzazione. La longa et scandalosa disceptatio de observantia regulae1 e la disputa sulla povertà del XIII secolo2 non si riducono solo ad una questione... (shrink)

This article considers the function and value of the mythos in Plato's Statesman. As first, I recall the context of the story and its function within the framework of diairetic inquiry about the definition of the real politician. Secondly, I point out that the formulation of the myth is based on a series of traditional stories to which a historical-reconstructive method is applied. I then highlight the ways of reasoning used by the characters in order to reconstruct a rational and (...) plausible account from the mythical tradition. Finally, I try to show that the story, even though it cannot reach the truth of the most stable objects of knowledge, displays a certain degree of plausibility, based on the internal coherence, on the respect of a series of principles admitted as true and, eventually, on its correspondence with the mythical tradition. (shrink)

Das Buch enthält die Einführung in die Lektüre sowie den Textkommentar zu den der Analyse der Grundsätze der Modalität gewidmeten "Postulaten des empirischen Denkens überhaupt". Untersucht wird Kants gesamte Theorie der Modalbegriffe (Möglichkeit - Unmöglichkeit, Dasein - Nichtsein, Notwendigkeit - Zufälligkeit) seit Mitte der 1750er Jahre bis zur Kritik der reinen Vernunft. Die Postulate sind nach Kant nicht objektiv, sondern subjektiv-synthetisch: Der Gegenstand der Erfahrung, welcher zunächst anhand der objektiv-synthetischen Funktionen der Quantität, Qualität und Relation bestimmt wird, lässt sich nun (...) in seinem Verhältnis zum setzenden Subjekt betrachten. Die Postulate thematisieren jedoch nicht - hier liegt die konstitutive Charakteristik dieser synthetischen Urteile a priori - das Subjekt selbst, sondern das Objekt als solches und die Objektivität überhaupt. Wie diese Untersuchung zeigt, antwortet Kant erst hier - nicht in den viel diskutierten Deduktionskapiteln oder in den anderen Grundsatzkapiteln - auf die Frage "Was ist ein Objekt?" und bezieht zugleich Stellung gegenüber anderen philosophischen Theorien der Objektivität des 18. Jahrhunderts: Rationalismus, Empirismus, Idealismus, Skeptizismus. (shrink)

Der vorliegende Band diskutiert die Geschichts- und Sprachphilosophie Giambattista Vicos, primär in Bezug auf die Rechtslehre. Dabei wird Vico sowohl als Denker seines Zeitalters als auch in der Auseinandersetzung mit Autoren wie Suárez, Bacon, Descartes etc. gelesen und es ergeben sich immer wieder Bezüge zu aktuellen Debatten.