Reflections on the life and works of Scotus -- The early works of Scotus -- Duns Scotus at Oxford -- A Scotistic approach to the ultimate why-question -- God's knowledge : a study in Scotistic methodology -- William of Alnwick on Scotus and divine concurrence -- Scotus on the origin of possibility -- Scotus's lectures on the Immaculate Conception -- Scotus's ethics -- Scotus's eschatology : some reflections -- Scotism -- An Oxford dialogue on language and metaphysics -- Ockham and (...) the textbooks -- Ockham's conception of matter. (shrink)

The paper considers the set $\mathscr{M}\mathscr{L}_1$ of first-order polymodal formulas the modal operators in which can be applied to subformulas of at most one free variable. Using a mosaic technique, we prove a general satisfiability criterion for formulas in $\mathscr{M}\mathscr{L}_1$, which reduces the modal satisfiability to the classical one. The criterion is then used to single out a number of new, in a sense optimal, decidable fragments of various modal predicate logics.

We construct a normal extension of K4 with the finite model property whose minimal tense extension is not complete with respect to Kripke semantics.

Stephenson (2022) has argued that Kant’s thesis that all transcendental truths are transcendentally a priori knowable leads to omniscience of all transcendental truths. His arguments depend on luminosity principles and closure principles for transcendental knowability. We will argue that one pair of a luminosity and a closure principle should not be used, because the closure principle is too strong, while the other pair of a luminosity and a closure principle should not be used, because the luminosity principle is too strong. (...) Stephenson’s argument also depends on a factivity principle for transcendental knowability, which we will argue to be false. (shrink)

1. Die erste Hälfte des Kommentars, mit Ausnahme der Kapitel über die Weltseele.

'What is real?' has been one of the key questions of philosophy since its beginning in antiquity. But it is not just a question that philosophers ask. This Very Short Introduction discusses what reality is by looking at a variety of arguments, theories, and thought-experiments from philosophy, physics, and cognitive science.

Tense logics formulated in the bimodal propositional language are investigated with respect to Kripke-completeness and decidability. It is proved that all minimal tense extensions of modal logics of finite width as well as all minimal tense extensions of cofinal subframe logics are complete. The decidability of all finitely axiomatizable minimal tense extensions of cofinal subframe logics is shown. A number of variations and extensions of these results are also presented.

A number of well-developed theories shed light on the question, under what circumstances our beliefs enjoy epistemic justification. Yet, comparatively little is known about epistemic defeat--when new information causes the loss of epistemic justification. This book proposes and defends a detailed account of epistemic defeaters. The main kinds of defeaters are analyzed in detail and integrated into a general framework that aims to explain how beliefs lose justification. It is argued that defeaters introduce incompatibilities into a noetic system and thereby (...) prompt a structured re-evaluation process that makes a justified reinstatement of the defeated belief impossible. The account is then applied to the topic of disagreement, where it is used in an argument for conciliationism, as well as a new explanation for higher-order defeat. Throughout the book, the notion of defeat is the center of attention, while a number of new issues are discussed at the intersections of defeat and justification. Specifically, new problems are raised for broadly internalist accounts of defeat, a fully descriptive reliabilist account of defeat is provided, and the case for normative defeat is revisited. (shrink)

The Natural Philosophy of Jan Bayer The main focus of this study is a reconstruction of the natural philosophy of the early modern Prešov's scholar Jan (Johannes) Bayer (1630–1674), with special regard to its Mosaic profile. After a critical reading of the research done on Bayer up to this point, the author concludes that Bayer’s natural-philosophical work, as such, has not yet been satisfactorily analyzed, nor has its connection to its supposedly two most important sources, Francis Bacon and Jan Amos (...) Comenius, been sufficiently explored. The study therefore concentrates on a critical analysis of Bayer’s interpretation of creation and his natural history, which are then both situated in the philosophical context of their time. The author then notes that although Bayer’s project of erecting an original and on the (especially Aristotelian) tradition independent Mosaic natural philosophy ended in failure, the thinker’s work can be assessed as a valuable attempt to synthesize Baconian and Comenian motifs while at the same time reflecting broader intellectual contexts of the period. (shrink)

We propose a logic for reasoning about metric spaces with the induced topologies. It combines the 'qualitative' interior and closure operators with 'quantitative' operators 'somewhere in the sphere of radius r.' including or excluding the boundary. We supply the logic with both the intended metric space semantics and a natural relational semantics, and show that the latter (i) provides finite partial representations of (in general) infinite metric models and (ii) reduces the standard '∈-definitions' of closure and interior to simple constraints (...) on relations. These features of the relational semantics suggest a finite axiomatisation of the logic and provide means to prove its EXPTIME-completeness (even if the rational numerical parameters are coded in binary). An extension with metric variables satisfying linear rational (in)equalities is proved to be decidable as well. Our logic can be regarded as a 'well-behaved' common denominator of logical systems constructed in temporal, spatial, and similarity-based quantitative and qualitative representation and reasoning. Interpreted on the real line (with its Euclidean metric), it is a natural fragment of decidable temporal logics for specification and verification of real-time systems. On the real plane, it is closely related to quantitative and qualitative formalisms for spatial representation and reasoning, but this time the logic becomes undecidable. (shrink)

PurposeThe aim of the research described was to identify reasons for differences between discourses on electronic voting in the UK and The Netherlands, from a qualitative point of view.Design/methodology/approachFrom both countries, eight e‐voting experts were interviewed on their expectations, risk estimations, cooperation and learning experiences. The design was based on the theory of strategic niche management. A qualitative analysis of the data was performed to refine the main variables and identify connections.FindingsThe results show that differences in these variables can partly (...) explain the variations in the embedding of e‐voting in the two countries, from a qualitative point of view. Key differences include the goals of introducing e‐voting, concerns in relation to verifiability and authenticity, the role of the Electoral Commissions and a focus on learning versus a focus on phased introduction.Research limitations/implicationsThe current study was limited to two countries. More empirical data can reveal other relevant subvariables, and contribute to a framework that can improve our understanding of the challenges of electronic voting.Originality/valueThis study shows the context‐dependent character of discussions on information security. It can be informative for actors involved in e‐voting in the UK and The Netherlands, and other countries using or considering electronic voting. (shrink)

Few people, if any, still argue that science in all its aspects is a value-free endeavor. At the very least, values affect decisions about the choice of research problems to investigate and the uses to which the results of research are applied. But what about the actual doing of science? -/- As Science, Values, and Objectivity reveals, the connections and interactions between values and science are quite complex. The essays in this volume identify the crucial values that play a role (...) in science, distinguish some of the criteria that can be used for value identification, and elaborate the conditions for warranting certain values as necessary or central to the very activity of scientific research. -/- Recently, social constructivists have taken the presence of values within the scientific model to question the basis of objectivity. However, the contributors to <I>Science, Values, and Objectivity</I> recognize that such acknowledgment of the role of values does not negate the fact that objects exist in the world. Objects have the power to constrain our actions and thoughts, though the norms for these thoughts lie in the public, social world. -/- Values may be decried or defended, praised or blamed, but in a world that strives for a modicum of reason, values, too, must be reasoned. Critical assessment of the values that play a role in scientific research is as much a part of doing good science as interpreting data. (shrink)

We solve a major open problem concerning algorithmic properties of products of ‘transitive’ modal logics by showing that products and commutators of such standard logics as K4, S4, S4.1, K4.3, GL, or Grz are undecidable and do not have the finite model property. More generally, we prove that no Kripke complete extension of the commutator [K4,K4] with product frames of arbitrary finite or infinite depth (with respect to both accessibility relations) can be decidable. In particular, if.

In information security research, perceived security usually has a negative meaning, when it is used in contrast to actual security. From a phenomenological perspective, however, perceived security is all we have. This paper develops a phenomenological account of information security, in which a distinction is made between revealed and reveiled security instead. Linking these notions with the concepts of confidence and trust, the paper provides a phenomenological explanation of the electronic voting controversy in the Netherlands.

Conceiving new technologies as social experiments is a means to discuss responsible deployment of technologies that may have unknown and potentially harmful side-effects. Thus far, the uncertain outcomes addressed in the paradigm of new technologies as social experiments have been mostly safety-related, meaning that potential harm is caused by the design plus accidental events in the environment. In some domains, such as cyberspace, adversarial agents may be at least as important when it comes to undesirable effects of deployed technologies. In (...) such cases, conditions for responsible experimentation may need to be implemented differently, as attackers behave strategically rather than probabilistically. In this contribution, we outline how adversarial aspects are already taken into account in technology deployment in the field of cyber security, and what the paradigm of new technologies as social experiments can learn from this. In particular, we show the importance of adversarial roles in social experiments with new technologies. (shrink)

Analogien lassen sich aus unserem vernünftigen Nachdenken und Argumentieren kaum wegdenken. Ganz zurecht stellen sie eines der klassischen Themen der Argumentationstheorie dar. Doch wie genau sollte die argumentative Rolle von Analogien in Argumentrekonstruktionen dargestellt werden? Das ist die Leitfrage dieses Beitrags. Zunächst wird mit Michael Dummetts Schach-Analogie ein prominentes Beispiel dargestellt und eine genauere Charakterisierung des Analogiebegriffs vorgeschlagen. Danach wird die gängigste Rekonstruktionsform von Analogien diskutiert, das Analogieargument, und in einigen Punkten verfeinert. Vor diesem Hintergrund schlägt der Beitrag eine zweite, (...) alternative Rekonstruktionsform vor, in der zwei analoge Argumente an die Stelle eines einzelnen Analogiearguments treten. Nachdem diese beiden Rekonstruktionsformen an einem weiteren berühmten Beispiel vorgeführt wurden, an Peter Singers Teich-Analogie, wird diskutiert, wie sich diese beiden Varianten gegenseitig ergänzen und welche Stärken und Schwächen sie haben. Es zeigt sich, dass Analogien nicht nur in Form von Analogieargumenten einen zentralen Topos eines Einzelarguments darstellen. Darüber hinaus kann die Untersuchung analoger Argumente bereits selbst als argumentationstheoretische Topik verstanden werden. (shrink)

Analogien lassen sich aus unserem vernünftigen Nachdenken und Argumentieren kaum wegdenken. Ganz zurecht stellen sie eines der klassischen Themen der Argumentationstheorie dar. Doch wie genau sollte die argumentative Rolle von Analogien in Argumentrekonstruktionen dargestellt werden? Das ist die Leitfrage dieses Beitrags. Zunächst wird mit Michael Dummetts Schach-Analogie ein prominentes Beispiel dargestellt und eine genauere Charakterisierung des Analogiebegriffs vorgeschlagen. Danach wird die gängigste Rekonstruktionsform von Analogien diskutiert, das Analogieargument, und in einigen Punkten verfeinert. Vor diesem Hintergrund schlägt der Beitrag eine zweite, (...) alternative Rekonstruktionsform vor, in der zwei analoge Argumente an die Stelle eines einzelnen Analogiearguments treten. Nachdem diese beiden Rekonstruktionsformen an einem weiteren berühmten Beispiel vorgeführt wurden, an Peter Singers Teich-Analogie, wird diskutiert, wie sich diese beiden Varianten gegenseitig ergänzen und welche Stärken und Schwächen sie haben. Es zeigt sich, dass Analogien nicht nur in Form von Analogieargumenten einen zentralen Topos eines Einzelarguments darstellen. Darüber hinaus kann die Untersuchung analoger Argumente bereits selbst als argumentationstheoretische Topik verstanden werden. (shrink)

The relevance of metamathematical researches for philosophy of math- ematics is an indubitable matter. In the paper I shall speak about impli- cations of metamathematics for general philosophy, especially for classical epistemological problems. Let us start with a historical observation con- cerning Hilbert's programme, the rst research programme in metamathe- matics as a separate study of formal systems. This programme was strongly in uence by epistemological considerations. In fact, Hilbert wanted to se- cure all classical mathematics against inconsistencies and this (...) aim had be achieved with the help of nitary consistency proof. Hilbert's claim is like the Cartesian project of reduction of all concepts to clarae et distinctae ideae. The epistemological commitment of original Hilbert's programme may be treated as a prelim- inary heuristic motivation for looking for epistemological implications of metamathematical results. It seems reasonable to examine in this respect three so-called limitative theorems: the rst Godel's incompleteness theo- rem , the second Godel's incom- pleteness theorem consistency of S, cannot be proved in S, providing that S is consistent) and Tarski's undenability theorem ; \S" stands for formal system containing elementary number theory. From the above-mentioned theorems we obtain an important, from philosophical point of view, conclusion: semantics of S cannot be expressed in S. Now, I shall present three applications of limitative theorems to the analysis of classical epistemological problems. (shrink)

[This paper is written in Czech.] The aim of this article is to briefly introduce and critically analyze the dialogue between phenomenology and contemporary theories of embodied cognition in relation to the study of affectivity. The author explains how these theoretical approaches interpret the dynamic relationship between affective experiences on the one hand and bodily behavior and intersubjectively observable processes taking place in the environment on the other. He first summarizes the positions of Joel Krueger and Giovanna Colombetti, who draw (...) on the theories of extended cognition and enactivism, and then compares them with Merleau-Ponty’s phenomenological approach. In this way, there are found to be inconsistencies in Krueger’s and Colombetti’s approaches, whose resolution, in the author’s opinion, requires the working out of a rigorously “relational” interpretation of affectivity. From this point of view, affectivity is not understood as an internal phenomenon causally linked to external material factors, but strictly as a dynamic relationship between a sense-making agent and his or her meaningful environment. (shrink)

In information security research, perceived security usually has a negative meaning, when it is used in contrast to actual security. From a phenomenological perspective, however, perceived security is all we have. This paper develops a phenomenological account of information security, in which a distinction is made between revealed and reveiled security instead. Linking these notions with the concepts of confidence and trust, the paper provides a phenomenological explanation of the electronic voting controversy in the Netherlands.

In our high-tech society, the design process involves profound questions about the effects of the resulting goods, and the responsibilities of designers. In the philosophy of technology, effects of “things” on user experience and behaviour have been discussed in terms of the concept of technological mediation. Meanwhile, what we create has moved more and more towards services (processes) rather than products (things), in particular in the context of information services. The question is raised to what extent the concept of technological (...) mediation is adequate to understand effects and responsibilities in information services as well. Therefore, this paper discusses differences between product aspects and service aspects of our creations, and evaluates the applicability of the concept of technological mediation to information services. Specific features of a notion of technological mediation for information services are highlighted, in particular with respect to the different relation between production and consumption. Finally, the paper focuses on the ethical consequences of service impact, and recommendations for service providers, especially in terms of the possibilities for second-order mediation by inviting users to change service properties. (shrink)

As forms of private self-regulation, multi-stakeholder initiatives have emerged as an important empirical phenomenon in global governance processes. At the same time, MSIs are also theoretically intriguing because of their inherent double nature. On the one hand, MSIs spell out CSR standards that define norms for corporate behavior. On the other hand, MSIs are also the result of corporate and stakeholder behavior. We combine the perspectives of institutional theory and club theory to conceptualize this double nature of MSIs. Based on (...) a stage model that looks at the interplay of actor and institutional dynamics, we generate insights into why actors join a voluntary MSI, how the various motivations and intentions of the actors influence the standard development, and how these as well as the MSI design are subsequently influenced by both external and internal dynamics. (shrink)

Im Zentrum dieses Bandes stehen die Beiträge einer Tagung, die im Oktober 2017 an der Universität Konstanz stattgefunden hat. Thema der Tagung war ein den historischen Kontext einbeziehender Blick auf den frühen Rudolf Carnap, vom Ende des Ersten Weltkriegs bis zur Emigration Ende 1935. Der 1891 in Ronsdorf bei Wuppertal geborene Rudolf Carnap entschloss sich erst relativ spät zu einer Karriere als akademischer Philosoph, nämlich 1920, nachdem er sein durch den Krieg unterbrochenes Studium der Physik und Philosophie in Jena und (...) Freiburg abgeschlossen und kurze Zeit überlegt hatte, als Lehrer in der Schulreform-Bewegung zu arbeiten. Es folgte die philosophische Promotion im Jahr 1921, bei Bruno Bauch in Jena, mit einer Doktorarbeit zum Raumproblem. 1923 organisierte Carnap, gemeinsam mit Hans Reichenbach und anderen, eine für die Entstehung des Logischen Empirismus bedeutsame kleine Tagung in Erlangen. Auf Einladung von Moritz Schlick habilitierte er sich 1926 an der Universität Wien und verbrachte die Zeit bis 1931 zumindest teilweise in Wien, als eines der Kernmitglieder des Wiener Kreises um Moritz Schlick. Seine Habilitationsschrift erschien 1928 unter dem Titel Der logische Aufbau der Welt (hier immer Aufbau). 1931 folgte Carnap einem Ruf an die Deutsche Universität Prag. In den darauffolgenden Jahren blieb aber der enge Kontakt mit Wien und dem Wiener Kreis erhalten. Carnaps hauptsächliche Arbeit in dieser Zeit war seinem zweiten großen Buchprojekt gewidmet, der 1934 publizierten Logischen Syntax der Sprache. Daneben verfasste Carnap in seiner Zeit in Wien und Prag auch zahlreiche Aufsätze, zu unterschiedlichen Aspekten der Logik, der Metaphysikkritik und der Wissenschaftstheorie. Er war Mitautor des Manifests Wissenschaftliche Weltauffassung: Der Wiener Kreis und nahm regen Anteil an den zahlreichen wissenschaftlichen Aktivitäten des Logischen Empirismus, von der Gründung der Zeitschrift Erkenntnis bis hin zum Projekt einer Enzyklopädie der Einheitswissenschaft. Spätestens ab 1933 musste Carnap jedoch feststellen, dass an eine weitere wissenschaftliche Karriere in dem von Faschismus und Nationalsozialismus geprägten politischen Klima in Kontinentaleuropa nicht zu denken war. Er strebte deshalb die Emigration ins englischsprachige Ausland an, die schließlich Ende 1935 gelang, als Carnap ein Angebot von der Universität Chicago erhielt. Obwohl Carnap nur den kleineren Teil der in diesem Band abgedeckten eineinhalb Jahrzehnte in Wien verbracht hat, widmet sich der Großteil der hier versammelten Beiträge schwerpunktmäßig der für Carnaps philosophische Karriere zentralen Wiener Zeit. (shrink)

Semantic externalism in the style of McDowell and Evans faces a puzzle formulated by Pryor: to explain that a sentence such as 'Jack exists' is only a posteriori knowable, despite being logically entailed by the seemingly logical truth 'Jack is self-identical', and hence being itself a logical truth and therefore a priori knowable. Free logics can dissolve the puzzle. Moreover, Pryor has argued that the existentially hedged 'If Jack exists, then Jack is self-identical', when properly formalised, is a logical truth (...) in a system of neutral free logic and therefore a priori knowable, while it does not entail that Jack exists. The latter holds also for negative free logic. In response, Yeakel has argued that on any system of neutral free logic existence hedges will either entail some unwanted existence claims or they will not entail some wanted existence claims. The dilemma also holds for any non-positive free logic. It will be shown that the extension of one of the systems of neutral free logic with a truth operator escapes Yeakel's dilemma, whereas no other non-positive free logic when extended with the truth operator does the same (or it breaks quantifier exchangeability). (shrink)