Moving away from simple data sharing within the science community towards cross-organizational collaboration scenarios significantly increased challenges related to security and privacy. They need to be addressed in order to make cross-organizational applications such as collaborative working environments a business proposition within communities such as eHealth, construction or manufacturing. Increasingly distributed scenarios where many different types of services need to be combined in order to implement semantically enriched business processes demand new approaches to security within such dynamic Virtual Organizations. The (...) allocation of access rights need to be possible in an easy and controlled way in order to allow inexperienced users to maintain the information and ensure compliance e.g. with legal and privacy related regulations. In this paper the focus is how security concepts originating from the Grid domain have been applied for collaborative working environments. The chosen scenarios are a Virtual Laboratory for Infectious Diseases (ViroLab) and different collaborative environments from the engineering domain as defined within the CoSpaces project. The requirements from these scenarios are analyzed and a security model enabling such dynamic, secure and trustworthy collaborations is presented. (shrink)

Studying consciousness requires contrasting conscious and unconscious perception. While many studies have reported unconscious perceptual effects, recent work has questioned whether such effects are genuinely unconscious, or whether they are due to weak conscious perception. Some philosophers and psychologists have reacted by denying that there is such a thing as unconscious perception, or by holding that unconscious perception has been previously overestimated. This article has two parts. In the first part, I argue that the most significant attack on unconscious perception (...) commits the criterion content fallacy: the fallacy of interpreting evidence that observers were conscious of something as evidence that they were conscious of the task-relevant features of the stimuli. In the second part, I contend that the criterion content fallacy is prevalent in consciousness research. For this reason, I hold that if unconscious perception exists, scientists studying consciousness could routinely underestimate it. I conclude with methodological recommendations for moving the debate forward. (shrink)

Making good decisions in extremely complex and difficult processes and situations has always been both a key task as well as a challenge in the clinic and has led to a large amount of clinical, legal and ethical routines, protocols and reflections in order to guarantee fair, participatory and up-to-date pathways for clinical decision-making. Nevertheless, the complexity of processes and physical phenomena, time as well as economic constraints and not least further endeavours as well as achievements in medicine and healthcare (...) continuously raise the need to evaluate and to improve clinical decision-making. This article scrutinises if and how clinical decision-making processes are challenged by the rise of so-called artificial intelligence-driven decision support systems (AI-DSS). In a first step, this article analyses how the rise of AI-DSS will affect and transform the modes of interaction between different agents in the clinic. In a second step, we point out how these changing modes of interaction also imply shifts in the conditions of trustworthiness, epistemic challenges regarding transparency, the underlying normative concepts of agency and its embedding into concrete contexts of deployment and, finally, the consequences for (possible) ascriptions of responsibility. Third, we draw first conclusions for further steps regarding a ‘meaningful human control’ of clinical AI-DSS. (shrink)

To study (un)conscious perception and test hypotheses about consciousness, researchers need procedures for determining whether subjects consciously perceive stimuli or not. This article is an introduction to a family of procedures called ‘confidence-based procedures’, which consist in interpreting metacognitive indicators as indicators of consciousness. I assess the validity and accuracy of these procedures, and answer a series of common objections to their use in consciousness research. I conclude that confidence-based procedures are valid for assessing consciousness, and, in most cases, accurate (...) enough for our practical and scientific purposes. (shrink)

Simulations are used in very different contexts and for very different purposes. An emerging development is the possibility of using simulations to obtain a more or less representative reproduction of organs or even entire persons. Such simulations are framed and discussed using the term ‘digital twin’. This paper unpacks and scrutinises the current use of such digital twins in medicine and the ideas embedded in this practice. First, the paper maps the different types of digital twins. A special focus is (...) put on the concrete challenges inherent in the interactions between persons and their digital twin. Second, the paper addresses the questions of how far a digital twin can represent a person and what the consequences of this may be. Against the background of these two analytical steps, the paper defines first conditions for digital twins to take on an ethically justifiable form of representation. (shrink)

Consciousness is scientifically challenging to study because of its subjective aspect. This leads researchers to rely on report-based experimental paradigms in order to discover neural correlates of consciousness (NCCs). I argue that the reliance on reports has biased the search for NCCs, thus creating what I call 'methodological artefacts'. This paper has three main goals: first, describe the measurement problem in consciousness science and argue that this problem led to the emergence of methodological artefacts. Second, provide a critical assessment of (...) the NCCs put forward by the global neuronal workspace theory. Third, provide the means of dissociating genuine NCCs from methodological artefacts. (shrink)

Psychiatric research is in crisis because of repeated failures to discover new drugs for mental disorders. Lack of measurement validity could partly account for these failures. If researchers do not actually measure the effects of drugs on the disorders they aim to investigate, one should expect suboptimal treatment outcomes. I argue that this is the case, focusing on depression, and fear & anxiety disorders. In doing so, I show how psychiatric research illustrates a more general phenomenon that I call “validity (...) drift.” A validity drift occurs when, in the course of developing new measurement procedures, researchers end up studying something different from what they originally aimed to study. I analyze the different ways in which scientists attempt to validate procedures for measuring mental disorders for the purpose of testing drugs in animal models. I show how those validation efforts might fail, thereby leading to validity drifts. Overall, this analysis highlights the complex interplay between the development of new measurement procedures, their calibration, and scientific theories of the target phenomena. (shrink)

Trust is one of the big buzzwords in debates about the shaping of society, democracy, and emerging technologies. For example, one prominent idea put forward by the High‐Level Expert Group on Artificial Intelligence appointed by the European Commission is that artificial intelligence should be trustworthy. In this essay, we explore the notion of trust and argue that both proponents and critics of trustworthy AI have flawed pictures of the nature of trust. We develop an approach to understanding trust in AI (...) that does not conceive of trust merely as an accelerator for societal acceptance of AI technologies. Instead, we argue, trust is granted through leaps of faith. For this reason, trust remains precarious, fragile, and resistant to promotion through formulaic approaches. We also highlight the significance of distrust in societal deliberation, as it is relevant to trust in various and intricate ways. Among the fruitful aspects of distrust is that it enables individuals to forgo technology if desired, to constrain its power, and to exercise meaningful human control. (shrink)

To study consciousness, scientists need to determine when participants are conscious and when they are not. They do so with consciousness detection procedures. A recurring skeptical argument against those procedures is that they cannot be calibrated: there is no way to make sure that detection outcomes are accurate. In this article, I address two main skeptical arguments purporting to show that consciousness scientists cannot calibrate detection procedures. I conclude that there is nothing wrong with calibration in consciousness science.

Some proponents of the Integrated Information Theory of consciousness profess strong views on the Neural Correlates of Consciousness, namely that large swathes of the neocortex, the cerebellum, at least some sensory cortices, and the so-called limbic system are all not essential for any form of conscious experiences. We argue that this connection is not incidental. Conflation between strong and weak versions of the theory has led these researchers to adopt definitions of NCC that are inconsistent with their own previous definitions, (...) inadvertently betraying the promises of an otherwise fruitful empirical endeavour. (shrink)

Some moral value is transparent just in case an agent with average mental capacities can feasibly come to know whether some entity does, or does not, possess that value. In this paper, I consider whether legitimacy—that is, the property of exercises of political power to be permissible—is transparent. Implicit in much theorising about legitimacy is the idea that it is. I will offer two counter-arguments. First, injustice can defeat legitimacy, and injustice can be intransparent. Second, legitimacy can play a critical (...) function in our practical thought, which sometimes requires intransparency. (shrink)

Many philosophers have claimed that relying on the testimony of others in normative questions is in some way problematic. In this paper, I consider whether we should be troubled by deference in democratic politics. I argue that deference is less problematic in impure cases of political deference, and most non-ideal cases of political deference are impure. To establish the second point, I rely on empirical research from political psychology. I also outline two principled reasons why we should expect political deference (...) to be untroubling: political problems are difficult and require a division of epistemic labour; furthermore, there is value in exercising epistemic solidarity with those one shares an identity or interests with. (shrink)

Is perceptual processing in dedicated sensory areas sufficient for conscious perception? Localists say ‘Yes—given some background conditions.’ Prefrontalists say ‘No: conscious perceptual experience requires the involvement of prefrontal structures.’ I review the evidence for prefrontalism. I start by presenting correlational evidence. In doing so, I answer the ‘report argument’, according to which the apparent involvement of the prefrontal cortex in consciousness stems from the requirement for reports. I then review causal evidence for prefrontalism and answer the ‘lesion argument’, which purports (...) to show that prefrontalism is wrong because lesions to the prefrontal cortex do not abolish consciousness. I conclude that multiple sources of evidence converge toward the view that the prefrontal cortex plays a significant role in consciousness. (shrink)

Local theories of consciousness state that one is conscious of a feature if it is adequately represented and processed in sensory brain areas, given some background conditions. We challenge the core prediction of local theories based on long-lasting postdictive effects demonstrating that features can be represented for hundreds of milliseconds in perceptual areas without being consciously perceived. Unlike previous empirical data aimed against local theories, localists cannot explain these effects away by conjecturing that subjects are phenomenally conscious of features that (...) they cannot report. We also discuss alternative explanations that localists could offer. (shrink)

According to the global neuronal workspace model of consciousness, consciousness results from the global broadcast of information throughout the brain. The global neuronal workspace is mainly constituted by a fronto-parietal network. The anterior insular cortex is part of this global neuronal workspace, but the function of this region has not yet been defined within the global neuronal workspace model of consciousness. In this review, I hypothesize that the anterior insular cortex implements a cross-modal priority map, the function of which is (...) to determine priorities for the processing of information and subsequent entrance in the global neuronal workspace. (shrink)

This paper argues that data-driven medicine gives rise to a particular normative challenge. Against the backdrop of a distinction between the good and the right, harnessing personal health data towards the development and refinement of data-driven medicine is to be welcomed from the perspective of the good. Enacting solidarity drives progress in research and clinical practice. At the same time, such acts of sharing could—especially considering current developments in big data and artificial intelligence—compromise the right by leading to injustices and (...) affecting concrete modes of individual self-determination. In order to address this potential tension, two key elements for ethical reflection on data-driven medicine are proposed: the controllability of information flows, including technical infrastructures that are conducive towards controllability, and a paradigm shift towards output-orientation in governance and policy. (shrink)

Über Jahrhunderte hatten Ärzte die Aufgabe, Krankheiten zu verhindern und zu behandeln. Nun stehen sie immer häufiger im Dienst der Selbstverwirklichung und Lebensplanung gesunder Menschen, besonders in der Fortpflanzungsmedizin und der ästhetischen Chirurgie. Welche Konsequenzen hat dies für die Zukunft der Medizin? Die Autoren beleuchten diesen Wandel von der krankheitsbekämpfenden zur wunscherfüllenden Medizin unter ärztlichen, rechtlichen und ethischen Aspekten.

Some authors have argued that legitimacy without authority is possible, though their work has not found much uptake in mainstream political philosophy. I provide an improved model how legitimate political institutions without authority are possible, the Transmission Model, which I couple with a thin substantive position, the Moral Value View. I defend the model against three common objections.

There are two bodies of literature, one offering theories of the legitimacy of domestic institutions like states, another offering theories of the legitimacy of international institutions like the IMF. Accounts of domestic legitimacy stress the importance of democratic procedure, while few to no theorists make democracy a necessary condition for the legitimacy of international institutions. In this paper, I ask whether this asymmetry can be defended. Is there a unified higher-order theory which can explain why legitimacy requires democracy in the (...) domestic context, but not in the international context? I argue that no proceduralist higher-order theory succeeds, and that we need to look for other solutions. (shrink)

This chapter presents the perceptual reality monitoring theory of consciousness (PRM). PRM is a higher-order theory of consciousness. It holds that consciousness involves monitoring the reliability of one’s own sensory signals. I explain how a perceptual reality monitoring mechanism computes the higher order representations that are crucial for consciousness. While PRM accounts for the difference between conscious and unconscious states, it does not explain, on its own, why experiences feel the way they do—the phenomenal character of experience. PRM is compatible (...) with multiple theories of phenomenal character. Here, I show how to combine it with ‘Mental Quality Space’ theory. I finish by presenting empirical evidence for PRM, as well as some of its predictions. (shrink)

Negative subjective reports such as “I didn’t see the stimulus” can be interpreted as indicating either that the subject didn’t see the stimulus, or as indicating that, while the subject did see the stimulus, the strength of sensory signals associated with the stimulus fell below a conservative criterion for answering “seen”. Determining which of these two interpretations is correct is the criterion problem. I present two ways in which researchers can solve this problem. But there’s more. What I call the (...) “new criterion problem” consists in determining whether criteria effects reflect perceptual changes, or changes in response strategy. Through case studies, I argue that this new version of the problem can be solved as well, although there is currently no systematic way to solve it. I conclude that criterion problems do not constitute good reasons for skepticism about the scientific study of consciousness. (shrink)

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.

Resultant moral luck occurs whenever aspects of an agent’s moral responsibility are affected by luck pertaining to the outcomes of their actions. Many authors reject the existence of moral luck in this sense, but they do so in different ways. Michael Zimmerman argues that resultant luck affects the scope of moral responsibility, but not its degree. That is, it affects what agents are responsible for, but not how responsible they are. Andrew Khoury takes a more resolute approach, arguing that both (...) the scope and the degree of moral responsibility are free from resultant luck. -/- In this paper, I criticize both accounts and develop an alternative. I argue, first, that Khoury’s approach leads to an implausibly far-reaching error-theory about moral responsibility. Second, Zimmerman’s account cannot account for all the ways in which moral responsibility comes in degrees. Third, these problems can be overcome by introducing a distinction between two concepts of responsibility that both come with scope and degree. The first concept I call internal responsibility, as it applies exclusively to agent-internal factors. The second concept I call external responsibility, as it applies to (partly) agent-external factors such as actions and their outcomes. Given this distinction, we can avoid the problems of Khoury’s as well as Zimmerman’s accounts while preserving the central intuition behind the rejection of resultant moral luck. (shrink)

A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite -valued logic if the labels are interpreted as sets of truth values. Furthermore, it is shown that any finite -valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in the (...) number of truth values, and it is shown that this bound is tight. (shrink)

Any intermediate propositional logic can be extended to a calculus with epsilon- and tau-operators and critical formulas. For classical logic, this results in Hilbert’s $\varepsilon $ -calculus. The first and second $\varepsilon $ -theorems for classical logic establish conservativity of the $\varepsilon $ -calculus over its classical base logic. It is well known that the second $\varepsilon $ -theorem fails for the intuitionistic $\varepsilon $ -calculus, as prenexation is impossible. The paper investigates the effect of adding critical $\varepsilon $ - (...) and $\tau $ -formulas and using the translation of quantifiers into $\varepsilon $ - and $\tau $ -terms to intermediate logics. It is shown that conservativity over the propositional base logic also holds for such intermediate ${\varepsilon \tau }$ -calculi. The “extended” first $\varepsilon $ -theorem holds if the base logic is finite-valued Gödel–Dummett logic, and fails otherwise, but holds for certain provable formulas in infinite-valued Gödel logic. The second $\varepsilon $ -theorem also holds for finite-valued first-order Gödel logics. The methods used to prove the extended first $\varepsilon $ -theorem for infinite-valued Gödel logic suggest applications to theories of arithmetic. (shrink)

A new computationalist view of the mind that takes into account real-world issues of embodiment, interaction, physical implementation, and semantics.

We study the Vapnik–Chervonenkis density of definable families in certain stable first-order theories. In particular, we obtain uniform bounds on the VC density of definable families in finite $\mathrm {U}$-rank theories without the finite cover property, and we characterize those abelian groups for which there exist uniform bounds on the VC density of definable families.

It is very timely and highly important to think the relationship between theological and philosophical ethics. In this issue, Michael McCarthy et al. make a plea for a stronger dialogue...

It is common in the literature to claim that legitimacy is the right to rule and that, accordingly, Hohfeldian rights analysis can be used to understand the concept. However, we argue that authors in the legitimacy literature have not generally realised the full potential of Hohfeldian analysis. We discuss extant approaches in the literature that conceptually identify legitimacy with one particular Hohfeldian incident, or, more rarely, a determinate set of incidents. Against these views, and building on parallel debates in property (...) theory, we suggest that Hohfeldian analysis pushes one towards the claim that legitimacy possesses no determinate essence. We provide a rationale for this novel view and disarm a series of objections. (shrink)

One of the most common arguments in favour of the state's authority is that without the coordinating hand of political institutions, we could not achieve important moral benefits. I argue that if we understand authority correctly, then coordination cannot even in principle establish that coordinators have political authority.

Introspection is the capacity by which we know our own conscious mental states. Several theories aim to explain it. According to acquaintance theory, we know our experiences by being acquainted with them. Acquaintance is non-causal, non-inferential, and non-observational. I present a dilemma for the acquaintance theory of introspection. Either subjects are always acquainted with all their experiences; or some attentional mechanism selects the relevant experiences (or aspects of experiences) for introspection. The first option is implausible: it implies that subjects are (...) omniscient about their own experiences. The second option is also implausible: if acquaintance is a non-causal relation, introspection cannot target specific (aspects of) experiences without violating the principle of causal closure of the physical. (shrink)

Political instrumentalism claims that the right to rule should be distributed such that justice is promoted best. Building on a distinction made by consequentialists in moral philosophy, I argue that instrumentalists should distinguish two levels of normative thinking about legitimacy, the critical and applied level. An indirect instrumentalism which acknowledges this distinction has significant advantages over simpler forms of instrumentalism that do not.

Having a confirmation bias sometimes leads us to hold inaccurate beliefs. So, the puzzle goes: why do we have it? According to the influential argumentative theory of reasoning, confirmation bias emerges because the primary function of reason is not to form accurate beliefs, but to convince others that we’re right. A crucial prediction of the theory, then, is that confirmation bias should be found only in the reasoning domain. In this article, we argue that there is evidence that confirmation bias (...) does exist outside the reasoning domain. This undermines the main evidential basis for the argumentative theory of reasoning. In presenting the relevant evidence, we explore why having such confirmation bias may not be maladaptive. (shrink)

In this article, I try to shed new light on Frege’s envisaged definitional introduction of real and complex numbers in _Die Grundlagen der Arithmetik_ (1884) and the status of cross-sortal identity claims with side glances at _Grundgesetze der Arithmetik_ (vol. I 1893, vol. II 1903). As far as I can see, this topic has not yet been discussed in the context of _Grundlagen_. I show why Frege’s strategy in the case of the projected definitions of real and complex numbers in (...) _Grundlagen_ is modelled on his definitional introduction of cardinal numbers in two steps, tentatively via a contextual definition and finally and definitively via an explicit definition. I argue that the strategy leaves a few important questions open, in particular one relating to the status of the envisioned abstraction principles for the real and complex numbers and another concerning the proper handling of cross-sortal identity claims. (shrink)

We investigate interpolation properties of many-valued propositional logics related to continuous t-norms. In case of failure of interpolation, we characterize the minimal interpolating extensions of the languages. For finite-valued logics, we count the number of interpolating extensions by Fibonacci sequences.

To examine the psychological origins of sex-typed news preferences, an online newsmagazine was presented to 246 German participants in a quasi-experimental design. The presented articles featured equal portions of social/interpersonal and achievement/performance topics. Newsreaders' selective news exposure was unobtrusively logged. Results show that, even when various intervening factors are eliminated, women read more about social/interpersonal topics than men did, and men spent more time on achievement/performance-related news than women. Newsreaders' self-esteem and gender role orientation influenced the preference of news content. (...) This contribution will also discuss the effects of sex-typed news exposure. (shrink)

Zusammenfassung Trinitätstheologische Prioritäten und Engführungen, die sich in ekklesiologischen Gewichtungen widerspiegeln, resultieren aus unterschiedlichen hermeneutischen Prioritäten. Das betrifft nicht nur offenbarungstheologische und philosophisch-theologische Prägungen, sondern auch mentalitätsbedingte Orientierungen. Anhand der Theologiegeschichte in Ost- und Westkirche und am Beispiel aktueller theologischer Konzeptionen der großen konfessionellen Strömungen wird aufgezeigt, wie sich unterschiedliche hermeneutische Schwerpunkte entwickelt haben und welchen Einfluss sie auf trinitätstheologische Konzeptionen nehmen, die wiederum nachweislich ekklesiologische Ansätze prägen. Es wird erörtert, wie die neunizänisch-kappadozische Trinitätslehre, die sich im Ökumenischen Bekenntnis von (...) Nizäa-Konstantinopel niederschlug, eine gemeinsame hermeneutisch-offenbarungstheologische, trinitätstheologische und ekklesiologische Basis bietet. Von ihr lassen sich Differenzierungen ableiten, die zur Lösung des Filioque-Problems ebenso beitragen wie zur Eröffnung gemeinsamer trinitätstheologischer Perspektiven, welche die Überwindung der grundlegenden Differenzen im Amts- und Kirchenverständnis ermöglichen. (shrink)

The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and (...) the exclusion of the opposite truth value describe the same situation.). (shrink)

Setting out the 'state of the art' in proportionality doctrine, this book combines theoretical reconstruction with case-law examples, defending and developing the dominant model of proportionality.

In the article ‘Represent Me: Please! Towards an Ethics of Digital Twins in Medicine’, I analysed and tried to better understand the main ethical challenges associated with Digital Twins. For those who are just entering the debate with this article: DT is a metaphor for a bundle of artificial intelligence driven simulation technologies that constantly, in real time and ad personam simulate single or multiple parts of the body and make predictions about future health states based on these simulations. My (...) argument addresses the need to look at the breadth of challenges through a perspective of representation. From such a take, key consequences can be drawn for the further development of such technologies, the required means of control and not least the way to think about the interaction between humans and ‘their’ simulations. I am very grateful for the subsequent suggestions, criticisms and further arguments, which have helped me to elaborate my arguments more clearly and have led to a substantial advancement of the debate and the discussion about ethical questions in dealing with DT. Jenny Blumenthal-Barby,1 Deborah Lupton,2 Jenny Krutzinna,3 Janina Loh,4 Brent Mittelstadt,5 Sven Nyholm,6 Daniel Tigard7 and Max Tretter8 have made excellent points, which, in the following, I will not be able to reply to individually and in detail. In this response, I will try to bundle the open points and questions along the comments and considerations mentioned above and attempt to outline their significance for an ethics of DT. Four challenges seem to be central. A first point addresses anthropological issues. It is concerned …. (shrink)

Entailment in propositional Gödel logics can be defined in a natural way. While all infinite sets of truth values yield the same sets of tautologies, the entailment relations differ. It is shown that there is a rich structure of infinite-valued Gödel logics, only one of which is compact. It is also shown that the compact infinite-valued Gödel logic is the only one which interpolates, and the only one with an r.e. entailment relation.

This book considers Robert Brandom's philosophy and presents an original and exciting analysis of the semantic argument in legal argumentation.

The concept of quantity (Größe) plays a key role in Frege's theory of real numbers. Typically enough, he refers to this theory as ?theory of quantity? (?Größenlehre?) in the second volume of his opus magnum Grundgesetze der Arithmetik (Frege 1903). In this essay, I deal, in a critical way, with Frege's treatment of the concept of quantity and his approach to analysis from the beginning of his academic career until Frege 1903. I begin with a few introductory remarks. In Section (...) 2, I first analyze Frege's use of the term ?source of knowledge? (?Erkenntnisquelle?) with particular emphasis on the logical source of knowledge. The analysis includes a brief comparison between Frege and Kant's conceptions of logic and the logical source of knowledge. In a second step, I examine Frege's theory of quantity in Rechnungsmethoden, die sich auf eine Erweiterung des Größenbegriffes gründen (Frege 1874). Section 3 contains a couple of critical observations on Frege's comments on Hankel's theory of real numbers in Die Grundlagen der Arithmetik (Frege 1884). In Section 4, I consider Frege's discussion of the concept of quantity in Frege 1903. Section 5 is devoted to Cantor's theory of irrational numbers and the critique deployed by Frege. In Section 6, I return to Frege's own constructive treatment of analysis in Frege 1903 and succinctly describe what I take to be the quintessence of his account. (shrink)

Two crucial distinctions regarding political competence must be made. First, the mere probability that you will make a morally right decision (reliability) is distinct from your ability to skillfully make a decision (competence). Empirical and normative accounts have focused primarily on reliability, but competence is more important if we take central normative commitments seriously. Second, the competence you have on your own (direct competence) is distinct from the competence you have in contributing to some collective enterprise (contributory competence). Direct competence (...) is likely to be extremely demanding in a democratic context, so we should move to a contributory account of competence. (shrink)

A t-tautology is a propositional formula which is a tautology in all fuzzy logics defined by continuous triangular norms. In this paper we show that the problem of recognizing t-tautologies is coNP complete, and thus decidable.

Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Gödel logic based on the truth value set [0,1]. The logic is known to be axiomatizable, but no deduction system amenable to proof-theoretic, and hence, computational treatment, has been known. Such a system is presented here, based on previous work on hypersequent calculi for propositional Gödel logics by Avron. It is shown that the system is sound and complete, and (...) allows cut-elimination. A question by Takano regarding the eliminability of the Takeuti-Titani density rule is answered affirmatively. (shrink)

This comprehensive volume gives a panorama of the best current work in this lively field, through twenty specially written essays by the leading figures in the field. All essays deal with foundational issues, from the nature of mathematical knowledge and mathematical existence to logical consequence, abstraction, and the notions of set and natural number. The contributors also represent and criticize a variety of prominent approaches to the philosophy of mathematics, including platonism, realism, nomalism, constructivism, and formalism.

We consider the following problem: Given a proof of the Skolemization of a formula F, what is the length of the shortest proof of F? For the restriction of this question to cut-free proofs we prove corresponding exponential upper and lower bounds.

We introduce Gentzen calculi for intuitionistic logic extended with an existence predicate. Such a logic was first introduced by Dana Scott, who provided a proof system for it in Hilbert style. We prove that the Gentzen calculus has cut elimination in so far that all cuts can be restricted to very simple ones. Applications of this logic to Skolemization, truth value logics and linear frames are also discussed.