We study access control policies based on the says operator by introducing a logical framework called Fibred Security Language (FSL) which is able to deal with features like joint responsibility between sets of principals and to identify them by means of first-order formulas. FSL is based on a multimodal logic methodology. We first discuss the main contributions from the expressiveness point of view, we give semantics for the language both for classical and intuitionistic fragment), we then prove that in order (...) to express well-known properties like ‘speaks-for’ or ‘hand-off’, defined in terms of says, we do not need second-order logic (unlike previous approaches) but a decidable fragment of first-order logic suffices. We propose a model-driven study of the says axiomatization by constraining the Kripke models in order to respect desirable security properties, we study how existing access control logics can be translated into FSL and we give completeness for the logic. (shrink)

The issue of representing access control requirements continues to demand significant attention. The focus of researchers has traditionally been on developing particular access control models and policy specification languages for particular applications. However, this approach has resulted in an unnecessary surfeit of models and languages. In contrast, we describe a general access control model and a logic-based specification language from which both existing and novel access control models may be derived as particular cases and from which several approaches can be (...) developed for domain-specific applications. We will argue that our general framework has a number of specific attractions and an implication of our work is to encourage a methodological shift from a study of the particulars of access control to its generalities. (shrink)

An outstanding problem in so-called modal interpretations of quantum mechanics has been the specification of a dynamics for the properties introduced in such interpretations. We develop a general framework (in the context of the theory of stochastic processes) for specifying a dynamics for interpretations in this class, focusing on the modal interpretation by Vermaas and Dieks. This framework admits many empirically equivalent dynamics. We give some examples, and discuss some of the properties of one of them. This approach is applicable (...) to a wider class of theories, in particular, those using (discrete) strict effective—as in decoherence theory—superselection rules. (shrink)

In this paper, I shall discuss the assumption that Kant’s method in the Critique of Pure Reason is a transcendental analysis of experience. In order to do this, I will consider the conception of transcendental analysis that Marburg Neo-Kantianism powerfully introduced into Kant interpretation. I shall first develop a general model of transcendental analysis in the Marburg sense. I shall then ask whether this is a suitable model for the interpretation of the first Critique. Kant’s distinction between the analytic and (...) synthetic method in the Prolegomena seems to contradict this, given that it is a distinction between two different mathematical methods of demonstration. However, I shall argue that any such reading is incompatible with the Critique, and that transcendental analysis is indeed a legitimate interpretative model for understanding Kant. I shall finally turn to Strawson’s conception of descriptive metaphysics, which has strong affinities to Kant and the Marburg school. Most importantly, Strawson helps us to understand three significant aims at which transcendental analysis is directed. Finally, comparing transcendental analysis to dominant conceptions of analysis in philosophy, I shall argue that it constitutes a variety of philosophical analysis sui generis. (shrink)

The axiomatic bases of Special Relativity Theory (SRT) are thoroughly re-examined from an operational point of view, with particular emphasis on the status of Einstein synchronization in the light of the possibility of arbitrary synchronization procedures in inertial reference frames. Once correctly and explicitly phrased, the principles of SRT allow for a wide range of “theories” that differ from the standard SRT only for the difference in the chosen synchronization procedures, but are wholly equivalent to SRT in predicting empirical facts. (...) This results in the introduction, in the full background of SRT, of a suitable synchronization gauge. A complete hierarchy of synchronization gauges is introduced and elucidated, ranging from the useful Selleri synchronization gauge (which should lead, according to Selleri, to a multiplicity of theories alternative to SRT) to the more general Mansouri–Sexl synchronization gauge and, finally, to the even more general Anderson–Vetharaniam–Stedman’s synchronization gauge. It is showed that all these gauges do not challenge the SRT, as claimed by Selleri, but simply lead to a number of formalisms which leave the geometrical structure of Minkowski spacetime unchanged. Several aspects of fundamental and applied interest related to the conventional aspect of the synchronization choice are discussed, encompassing the issue of the one-way velocity of light in inertial and rotating reference frames, the global positioning system (GPS)’s working, and the recasting of Maxwell equations in generic synchronizations. Finally, it is showed how the gauge freedom introduced in SRT can be exploited in order to give a clear explanation of the Sagnac effect for counter-propagating matter beams. (shrink)

Brentano hat in seinen Analysen der Wahrnehmung zwei wichtige Punkte hervorgehoben: (a) daß die innere Wahrnehmung nur ein Bewußtsein "nebenbei" sei; und (b) daß die äußere Wahrnehmung ein räumlich Ausgedehntes (und nicht eine Idee) zum Objekt habe. Er ging aber nicht weit genug, sondern blieb dem Kartesianismus verhaftet, indem er die innere Wahrnehmung immer noch ein Erkennen nannte, und andererseits vom Objekt der äußeren Wahrnehmung sagte, daß es in Wahrheit gar nicht bestehe. Wenn man aber weiter geht und zugesteht, daß (...) die sogenannte innere Wahrnehmung gar kein eigentliches Erkennen ist, und daß es im Gegenteil die äußere Wahrnehmung ist, welche die Wirklichkeit erkennt, dann wird es unmöghch, sich in der Erkenntnistheorie mit Descartes auf unmittelbare untrügliche Evidenz zu berufen. Descartes bleibt aber insofern im Recht, als es trotz allem sinnvoll bleibt, zur Rechtfertigung von Erkenntnissen auf die sogenannte innere Wahrnehmung zu verweisen. (shrink)

I present a very general and simple argument—based on the no-signalling theorem—showing that within the framework of the unitary Schrödinger equation it is impossible to reproduce the phenomenological description of quantum mechanical measurements (in particular the collapse of the state of the measured system) by assuming a suitable mixed initial state of the apparatus. The thrust of the argument is thus similar to that of the ‘insolubility theorems’ for the measurement problem of quantum mechanics (which, however, focus on the impossibility (...) of reproducing the macroscopic measurement results). Although I believe this form of the argument is new, I argue it is essentially a variant of Einstein’s reasoning in the context of the EPR paradox—which is thereby illuminated from a new angle. (shrink)

This paper would like to discuss some aspects of current trends in studies on eighteenth-century Eastern Europe. In the first part it addresses recent approaches devoted to the reconstruction of the conceptualization of Eastern Europe at the time of the Enlightenment, which have often been inspired by the work of Edward Said and Martin Bernal. These include Larry Woolf's Inventing Eastern Europe (1994). Michael Confino has provided a detailed critique of Woolf's approach. It can be argued that Woolf is in (...) fact projecting Cold War divisions back into the eighteenth century. The article argues in favour of a less “Orientalising” approach to the history of Eastern Europe, by proving an alternative overview of the historical dimensions of the eastern (and northern) regions of Europe in the eighteenth century. Eastern Europe was inextricably connected to its western European neighbours. Without Eastern Europe, European history is incomplete and incomprehensible. In the third part the article argues that the interpretative framework of the “first crisis of the Old Regime”, which Franco Venturi outlined in his Settecento riformatore in the 19870s and 1980s represented a subtle rejection of the East/west dichotomy, and in fact foreshadowed the eventual reunification of Europe after the end of the Cold War. (shrink)

One of the reasons which has induced philosophers to enquire about animal psychology is the hope of arriving at a more precise understanding of human mental faculties. For example, in relatively recent times, this motive was evident among various authors of the seventeenth century, who were more or less directly influenced on the issue by Descartes. Over and above the varying lines which they pursued, what they most often have in common, is an essentially anthropocentric approach to the study of (...) animals. The general categories which they used were mainly defined by specific reference to “human nature,”. The identity of this nature was to be highlighted by the complex of differences from, and similarities to, that of the animals. (shrink)

Among the rules which govern the "language-games" discussed by Wittgenstein there are some which seem to have particular functions which can be more effectively brought to light by considering the logical and pragmatic effects of their breakage. Indeed, if we extend progressively the analysis of possible breakages of such rules from particular language-games to broader and broader areas of language, we arrive at a point where (as happened in the Tractatus) it seems possible to draw a limit between what, in (...) general terms, is endowed with sense, and what is devoid of it. This possibility, offered by a "rule-breaking" approach, also opens a promising perspective from which to look afresh at some classical problems connected with skepticism. (shrink)

Kant claimed that it is impossible for us to have a consistent notion of the infinite. I shall concentrate on three versions of the paradoxes of the infinite: Kant’s first antinomy, the paradoxes of Cantorian set theory, and applications of Cantorian arguments to the metaphysics of the world. I shall dare two side-glance looks at Ancient Chinese Philosophy, where analogies to the Western paradoxes can be found. I shall first discuss key passages from the Chinese sophists, and then consider the (...) formulation of the Law of Non-Contradiction in the Moist Canons. I conclude that the paradoxes of the infinite remain a major challenge for reason. (shrink)

SummaryStarting from examples of genuine perception and naive hallucination, different theories concerning the relation between the intentional and the real object are being discussed. It is shown that Meinong's theory is the most natural one, but it is argued against Meinong that the notion of “converse intentional property” should play a greater role.

Modern rationalism transformed the modern homeland to a discursive space and time by means of institutes governing the modern society in all its walks. Based on the Newtonian and Kantian conception of space and time the discursive field is just a scene wherein any human individual adopts stewardship to create progress by reducing landscape and non-human life to auxiliary items for human’s benefit. In contrast, Aldo Leopold considered humans, non human life and the landscape as mutually influencing participants and enlarged (...) ethical care to all living participants and the landscape, called ´the land´. Integrity and autonomy of the homeland are the central topics of Leopold’s land ethics. Baird Callicott suggested to complete it with new metaphysical conceptions of space and time. -/- We formulated a metaphysical background for Leopold’s land ethics by phenomenology of space and time based on the Leibnizian conception of space-time. The latter is constructed by particular places and events called ´ecotopois´ embracing all human participants, locals and foreigners in a varying symbolic temporal and spatial field of dynamic process of identification and self consciousness. Adopting Warwick Fox´ transpersonal identification idea non-human life and landscape enriches these processes. Finally, it is not a matter of conquering the land, it is matter of making a community. -/- Though landscape and participants are particular, integrity and autonomy of the homeland claim the universal status of the land. Adopting Gadamer hermeneutical way of understanding, we reject mutual and equally understanding. Only acceptance of mutual prejudice makes room for asymmetric praxis between locals and foreigners as well as between humans and non-humans. What is more, Gadamer´s hermeneutics makes an ontological status of the foreigner possible and recognizes the interest of homeland’s particularity. This universal status is guaranteed as a priori space-time that links subject’s tradition and that of the land to actual contact with the foreigner. Transpersonal identification is a consequence of converging hermeneutical understanding of foreigner’s particularity and that of the landscape. Ethics of the land evolves from the ethical status of any foreigner in the own homeland. -/- . (shrink)

Since the early Medieval Time people contested theological legitimation and rational discursive discours on authority as well as retreated to refuges to escape from any secular or ecclesiastical authority. Modern attempts formulated rational legitimation of authority in several ways: pragmatic authority by Monteigne, Bodin and Hobbes, or the contract authority of Locke and Rousseou. However, Enlightened Anarchism, first formulated in 1793 by the English philosopher William Godwin fulminated against all rational restrictions of human freedom and self-determination. However, we do not (...) analyze anarchism by the ‘what’ and the ‘why’, but by looking for the best actual approach of Anarchist’s ‘Promised Land’. Furthermore, we follow the footsteps of Thoreau’s Walden Pond experiment considered as a place of salvation and prototype of 19th century romantic’s extreme individualism towards Leopold’s ethics of the land. Indeed, Thoreau’s and later Muir’s concepts of refuges are tightly connected to territorial and temporal bio-regional constraints and imply an internally organized public area based on mutualism and Hannah Arendt’s agape. From these ideas of refuges, Aldo Leopold formulated his Land-ethics that claimed integrity and autonomy of the ‘Land’. His foundation is a prototype of the eco-centric free space version of eco-anarchism as formulated by Bookchin. In order to formulate a philosophical foundation of eco-anarchism we reject Newtonian homogeneous space-temporal conception, preceding the whole Modern discours about authority and state. On the contrary, we adopt the pluralistic Leibnizian space-time from which thinking-humans do not dissociate themselves, but participate as part of the rational infrastructure of eco-refuges. In eco-refuges, citizen belong to the civil society that stays in equilibrium with the landscape and all forms of biological life. Space is the boundary condition of human activity and determines how borders, environmental organization and institutes are sustained. Space has its proper essence of sustainability, unity and integrity. The individual feelings of security are embedded in a timelike tradition and evolution of the free space, while individual particular conceptions of space and time integrate into the social processes of identification with the refuge. Therefore, the creation of eco-refuges transforms the actual world of national authorities into a world of anarchistic democratic eco-regional homelands. (shrink)

Niettegenstaande de tendens van het failliet van het multiculturalisme is multiculturele dialoog niet weg te denken in een zich globaliserende wereld. Taylor, Gadamer, Honneth en Kymlicka hebben een bijdrage geleverd op het vlak van de erkenning van identiteit, respect en waardering van verschil. Wij voeren het argument aan dat bovenstaande auteurs niet ontsnappen aan het postmodernistisch dilemma van zelfautonomie en slachtofferschap. Dit komt doordat zij in hun rationale vertrekken van het afzonderlijke subject en deze situeren in een ruimte-tijd waarin de (...) tijd slechts een historische rol heeft en de ruimte geen actieve rol speelt. Tegenover deze uitvloeisels van het postmodern denken stellen wij het eco-communau-tarisme. Vanuit de vaststelling dat het individu denkt, spreek en handelt in de context van zijn taal en cultuur en dus vanuit zijn gemeenschap, situeren wij dit subject en de gemeenschap tevens in een particulier territorium of het ecotoop. Door middel van Hacking’s sociaal constructivisme, het Leibniziaanse meerwereldenbeeld en het biologische paradigma als nieuw denkkader, structureren wij de gemeenschap volgens een cyclisch en een lineair tijdverloop. Het cyclische waarborgt de traditie van een gemeenschap, het lineaire doet de gemeenschap evolueren naar een moreel betere toekomst en heeft een transcendent statuut. Het eco-communautarisme biedt het kader voor een kwalitatieve evolutie van individuen en gemeenschappen. Het normerend aspect hiervan is de pluriforme en multiculturele dialoog. (shrink)

In a recently published study combining transcranial magnetic stimulation and electroencephalography (TMS-EEG), an early component of TMS-evoked potentials (TEPs), i.e., M1-P15, was proposed as a measure of transcallosal inhibition between motor cortices. Given that early TEPs are known to be highly variable, further evidence is needed before M1-P15 can be considered a reliable index of effective connectivity. Here, we conceived a new preregistered TMS-EEG study with two aims. The first aim was validating the M1-P15 as a cortical index of transcallosal (...) inhibition by replicating previous findings on its relationship with the ipsilateral silent period (iSP) and with performance in bimanual coordination. The second aim was inducing a task-dependent modulation of transcallosal inhibition. A new sample of 32 healthy right-handed participants underwent behavioral motor tasks and TMS-EEG recording, in which left and right M1 were stimulated both during bimanual tasks and during an iSP paradigm. Hypotheses and methods were preregistered before data collection. Results show a replication of our previous findings on the positive relationship between M1-P15 amplitude and the iSP normalized area. Differently, the relationship between M1-P15 latency and bimanual coordination was not confirmed. Finally, M1-P15 amplitude was modulated by the characteristics of the bimanual task the participants were performing, and not by the contralateral hand activity during the iSP paradigm. In sum, the present results corroborate our previous findings in validating the M1-P15 as a cortical marker of transcallosal inhibition and provide novel evidence of its task-dependent modulation. Importantly, we demonstrate the feasibility of preregistration in the TMS-EEG field to increase methodological rigor and transparency. (shrink)

Our planet contains 194 independent states and much more nations. They share membership of the United Nations and in consequence they subscribed the Universal Declaration of Rights. These are rooted in the modern universal conception of states and human rights formulated by philosophers of the Enlighten Age like Locke, Kant., Montesquieu, Voltaire and Rousseau. Concepts like democracy are mirrored to the organization of the political life as it was developed in North America and Europe at the end of the 18th (...) and the 19th century. Universality was deeply rooted in the Western intellectual, moral and religious tradition of that part of the world. Even globalization of the economic and social life is governed by the same Western standards and worldwide consumed basic goods like prime matter,. food and energy is expressed in terms of Western currency like dollar, pound sterling or euro. Despite this economic globalization there were two contradictory political evolution to discern: At the one hand more than 70 new states where created and on the other hand 28 European states started to integrate to a political European Union. The latter trend was based on a deep economic integration and since the creation of the euro also a financial integration. Basic idea was the creation of a free economic market as bases for a political unified Europe. Euro criticism is not only identified with conservatism, nationalism, narrow mind and even racism, euro criticism is deprived from any intellectual significance. However other trends put some shadow on the European project. First the Soviet experience around Marxism, Leninism and Stalinism unified more different nations than the European Union but ended in a complete political and economic chaos. Secondly the financial euro crisis involves only the tacit undermining of the national political independence of the member states, but does not make room for a deep analysis what the fundamentals are of this crisis such as lack of confidence of the citizen in the created unified political and financial market and its main instruments like banks that we consider as the fundamental boundary conditions of the worldwide globalization of goods, power and all aspects of human life. Furthermore we claim that this market in al its aspects is the worst answer to the inconvenient yet unavoidable truth that Western way of life of consumption includes a ecological footprint that exceeds since many years the sustainability of our planet. -/- . (shrink)

Review of Jürgen Link, Normalismus und Antagonimus in der Postmoderne. Krise, New Normal, Populismus, Göttingen: Vandenhoeck & Ruprecht 2018.

Macroeconomic events often require individuals and policy-makers to make decisions that they are not accustomed to making. For example, a sovereign debt crisis makes it necessary to either default on government debt, increase taxes, cut public spending or to impose a mixture of these measures. I argue that decisions on such matters are not derived from deep preferences; they require reflections and judgement under uncertainty. Past experiences and the interaction with other individuals are likely to influence the salience of preferences (...) in the situations of decision making. Using a simple model, I illustrate how the salience of preferences changes with different degrees of individuality and conformity. Individuality is associated with the importance of private habits, while conformity is related to the perceived dissonance between initial intuitions and social opinions. The results obtained from simple simulation exercises stress that a high degree of conformity or a low degree of individuality may lead to overreactions when social opinion makers err for a short period of time. At the same time, a low degree of conformity or a high degree of individuality or leads to delayed adjustments to new circumstances. (shrink)

It is a well known fact that the beginning of analytic philosophy is grounded in Moore's and Russell's rebellion against the idealism of 19 century England. Despite of Russell's sharp criticism of his own idealistic phase, some important theses of his later realistic philosophy can only be understood in the context of a critical discussion of his own earlier idealistic philosophy. In this paper I will analyse the concept of the. This is the central logical and philosophical concepts of Russell's (...) only philosophically relevant book of that time. According to Russell, both time and space are the fundamental forms of externality of our world. I will analyse and criticise his arguments in support of this claim. I will end the paper by showing that Russell's theory of relations – one of his most important legacies to analytic philosophy – arises out of his work on the foundations of geometry. (shrink)

First published in 2002. Routledge is an imprint of Taylor & Francis, an informa company.

Gottesbeweise gehören zu den großen Themen der abendländischen Philosophie. Im 20. Jahrhundert sind sie mit Hilfe der modernen Logik neu formuliert worden und auch in der analytischen Philosophie werden Gottesbeweise seit Jahrzehnten kontrovers diskutiert. Offenkundig ist die Frage nach der Existenz Gottes im nachmetaphysischen Zeitalter aktueller denn je. Der Band versammelt die großen Gottesbeweise des Mittelalters und der Neuzeit ebenso wie die klassischen Einwände von Hume und Kant. Die sprachanalytische Debatte wird ausführlich dokumentiert und ein eigener Teil ist Kurt Gödel (...) gewidmet, dessen ontologischer Beweis bis heute nicht stichhaltig widerlegt worden ist. Umfassende einleitende Essays führen in die Problematik der Gottesbeweise ein und bieten gut verständliche Rekonstruktionen der jeweiligen Beweisversuche. (shrink)