We show that early vision can use monocular cues to rapidly complete partially-occluded objects. Visual search for easily detected fragments becomes difficult when the completed shape is similar to others in the display; conversely, search for fragments that are difficult to detect becomes easy when the completed shape is distinctive. Results indicate that completion occurs via the occlusion-triggered removal of occlusion edges and linking of associated regions. We fail to find evidence for a visible filling-in of contours or surfaces, (...) but do find evidence for a "functional" filling-in that prevents the constituent fragments from being rapidly accessed. As such, it is only the completed structures—and not the fragments themselves—that serve as the basis for rapid recognition. (shrink)

In standard quantum mechanics, a state vector \ may belong to infinitely many different orthogonal bases, as soon as the dimension N of the Hilbert space is at least three. On the other hand, a complete physical observable A is associated with a N-dimensional orthogonal basis of eigenvectors. In an idealized case, measuring A again and again will give repeatedly the same result, with the same eigenvalue. Let us call this repeatable result a modality \, and the corresponding eigenstate \. (...) A question is then: does \ give a complete description of \? The answer is obviously no, since \ does not specify the full observable A that allowed us to obtain \; hence the physical description given by \ is incomplete, as claimed by Einstein, Podolsky and Rosen in their famous article in 1935. Here we want to spell out this provocative statement, and in particular to answer the questions: if \ is an incomplete description of \, what does it describe? is it possible to obtain a complete description, maybe algebraic? Our conclusion is that the incompleteness of standard QM is due to its attempt to describe systems without contexts, whereas both are always required, even if they can be separated outside the measurement periods. (shrink)

It is shown how the development of physics has involved making explicit what were homocentric projections which had heretofore been implicit, indeed inexpressible in theory. This is shown to support a particular notion of the invariant as the real. On this basis the divergence in ideals of physical intelligibility between Bohr and Einstein is set out. This in turn leads to divergent, but explicit, conceptions of objectivity and completeness for physical theory. *I am indebted to Dr. G. McLelland. Professor F. (...) Rohrlich and an anonymous referee of this journal for several improvements in the formulation of the paper. (shrink)

Amodal completion is the representation of occluded parts of perceived objects. We argue for the following three claims: First, at least some amodal completion-involved experiences can ground knowledge about the occluded portions of perceived objects. Second, at least some instances of amodal completion-grounded knowledge are not sensitive, that is, it is not the case that in the nearest worlds in which the relevant claim is false, that claim is not believed true. Third, at least some instances of (...) amodal completion-grounded knowledge are not safe, that is, it is not the case that in all or nearly all near worlds where the relevant claim is believed true, that claim is in fact true. Thus, certain instances of amodal completion-grounded knowledge refute both the view that knowledge is necessarily sensitive and the view that knowledge is necessarily safe. (shrink)

Amodal completion is the representation of those parts of the perceived object that we get no sensory stimulation from. While amodal completion is rife and plays an essential role in all sense modalities, philosophical discussions of this phenomenon have almost entirely been limited to vision. The aim of this paper is to examine in what sense we can talk about amodal completion in olfaction. We distinguish three different senses of amodal completion – spatial, temporal and (...) feature-based completion – and argue that all three are present and play a significant role in olfaction. (shrink)

Amodal completion is usually characterized as the representation of those parts of the perceived object that we get no sensory stimulation from. In the case of the visual sense modality, for example, amodal completion is the representation of occluded parts of objects we see. I argue that relationalism about perception, the view that perceptual experience is constituted by the relation to the perceived object, cannot give a coherent account of amodal completion. The relationalist has two (...) options: construe the perceptual relation as the relation to the entire perceived object or as the relation to the unoccluded parts of the perceived object. I argue that neither of these options are viable. (shrink)

: In the first edition of his book on the completeness of Kant’s table of judgments, Klaus Reich shortly indicates that the B-version of the metaphysical exposition of space in the Critique of pure reason is structured following the inverse order of the table of categories. In this paper, I develop Reich’s claim and provide further evidence for it. My argumentation is as follows: Through analysis of our actually given representation of space as some kind of object, the metaphysical (...) exposition will show that this representation is secondary to space considered as an original, undetermined and as such unrepresentable intuitive manifold. Now, following Kant, the representation of any kind of object involves diversity, synthesis and unity. In the case of our representation of space as formal intuition, this involves, firstly, a manifold a priori, i.e. space as pure form, delivered by the transcendental Aesthetic, secondly, a figurative, productive synthesis of that manifold, and, thirdly, the unity provided by the categories. Analysing our given representation of space – the task of the metaphysical exposition – amounts to dismantling its unity and determine its characteristics with respect to the categories. (shrink)

Monoidal t-norm based logic $\mathbf {MTL}$ is the weakest t-norm based residuated fuzzy logic, which is a $[0,1]$ -valued propositional logical system having a t-norm and its residuum as truth function for conjunction and implication. Monadic fuzzy predicate logic $\mathbf {mMTL\forall }$ that consists of the formulas with unary predicates and just one object variable, is the monadic fragment of fuzzy predicate logic $\mathbf {MTL\forall }$, which is indeed the predicate version of monoidal t-norm based logic $\mathbf {MTL}$. The (...) main aim of this paper is to give an algebraic proof of the completeness theorem for monadic fuzzy predicate logic $\mathbf {mMTL\forall }$ and some of its axiomatic extensions. Firstly, we survey the axiomatic system of monadic algebras for t-norm based residuated fuzzy logic and amend some of them, thus showing that the relationships for these monadic algebras completely inherit those for corresponding algebras. Subsequently, using the equivalence between monadic fuzzy predicate logic $\mathbf {mMTL\forall }$ and S5-like fuzzy modal logic $\mathbf {S5(MTL)}$, we prove that the variety of monadic MTL-algebras is actually the equivalent algebraic semantics of the logic $\mathbf {mMTL\forall }$, giving an algebraic proof of the completeness theorem for this logic via functional monadic MTL-algebras. Finally, we further obtain the completeness theorem of some axiomatic extensions for the logic $\mathbf {mMTL\forall }$, and thus give a major application, namely, proving the strong completeness theorem for monadic fuzzy predicate logic based on involutive monoidal t-norm logic $\mathbf {mIMTL\forall }$ via functional representation of finitely subdirectly irreducible monadic IMTL-algebras. (shrink)

Higher animals need to identify and track material objects because they depend on interactions with them for nutrition, reproduction, and social interaction. This paper investigates the perception of material objects. It argues, first, that material objects are tagged, in all five external senses, as bearers of the features detected by them. This happens through a perceptual process, here entitled Generalized Completion, which creates the appearance of objects that have properties that transcend the activation of sensory receptors. The paper shows, (...) secondly, that material objects are privileged subjects for perceived motion and interaction. That is, they are perceived as subjects for these properties while their parts seem to be subjects only derivatively. Material objects are the only perceptual subjects that are both multisensory and privileged. (shrink)

The Quantified Argument Calculus (Quarc) is a formal logic system, first developed by Hanoch Ben-Yami in (Ben-Yami 2014), and since then extended and applied by several authors. The aim of this paper is to further these contributions by, first, providing a philosophical motivation for the truth-valuational, substitutional approach of (Ben-Yami 2014) and defending it against a common objection, a topic also of interest beyond its specific application to Quarc. Second, we fill the formal lacunae left in the original presentation, which (...) did not incorporate identity systematically into Quarc, and although it proved the soundness of the system did not prove its completeness. (shrink)

We show how to encode, by classical structures, both the objects and the morphisms of the category of complete metric spaces and uniformly continuous maps. The result is a category of, what we call, cognate metric spaces and cognate maps. We show this category relativizes to all models of set theory. We extend this encoding to an encoding of complete metric structures by classical structures. This provide us with a general technique for translating results about infinitary logic on classical structures (...) to the setting of infinitary continuous logic on continuous structures. Our encoding will also allow us to talk about not only the relations between complete metric structures, but also the potential relations between complete metric structures, i.e. those which are satisfied in some larger model of set theory. For example we will show that given any two complete metric structures we can determine if they are potentially isomorphic by looking at any admissible set which contains them both. (shrink)

Eleven original essays discuss a range of puzzling philosophical questions about fictional characters, and more generally about fictional objects. For example, they ask questions like the following: Do they really exist? What would fictional objects be like if they existed? Do they exist eternally? Are they created? Who by? When and how? Can they be destroyed? If so, how? Are they abstract or concrete? Are they actual? Are they complete objects? Are they possible objects? How many fictional objects are there? (...) What are their identity conditions? What kinds of attitudes can we have towards them? This volume will be a landmark in the philosophical debate about fictional objects, and will influence higher-level debates within metaphysics, the philosophy of mind, and the philosophy of language. (shrink)

A common objection to the idea of public reason is that it cannot resolve fundamental political issues because it excludes too many moral considerations from the political domain. Following an important but often overlooked distinction drawn by Gerald Gaus, there are two ways to understand this objection. First, public reason is often said to be inconclusive because it fails to generate agreement on fundamental political issues. Second, and more radically, some critics have claimed that public reason is indeterminate because it (...) cannot provide any citizen with sufficient reason(s) for making important political decisions. Against the first of these objections, I argue that the purpose of public reason is not to end reasonable disagreement. Rather, it is to provide a suitable framework of values and principles within which citizens may resolve their moral and political differences. Against the second objection, I argue, first, that the indeterminacy of public reason is much less common than its inconclusiveness; and, second, that there are second-order decision-making strategies that may enable citizens to cope with cases of indeterminacy. The incompleteness of public reason, whether it takes the form of inconclusiveness or indeterminacy, is not a reason for citizens to abandon their commitment to public justification. (shrink)

John Searle has argued that functions owe their existence to the value that we put into life and survival. In this paper, I will provide a critique of Searle’s argument concerning the ontology of functions. I rely on a standard analysis of functional predicates as relating not only a biological entity, an activity that constitutes the function of this entity and a type of system but also a goal state. A functional attribution without specification of such a goal state has (...) no truth-value. But if completed with a goal state, functional attributions understood as four-place relations attain a truth-value. The truth conditions of all attributions of function involve a dependence claim of the goal state on the function bearer’s activity. The nature of this dependence may differ; I consider five different possibilities: causality, mechanistic constitution, mereology, supervenience and metaphysical grounding. If these dependency relations are objective, Searle’s central ontological thesis fails. What he ought to have said is that our valuing survival or other goal states may be the reason why biology seeks functional knowledge, but this has nothing to do with ontology. I will show further that Searle also raised an interesting challenge concerning the relationship of functional and causal truths, but it does not threaten the objectivity of functions either. At best, it could show that functional vocabulary is eliminable. However, I will show that functional vocabulary is not so eliminable. (shrink)

There is a good deal of biomedical research that does not produce scientifically useful data because it fails to recruit a sufficient number of subjects. This fact is typically not disclosed to prospective subjects. In general, the guidance about consent concerns the information required to make intelligent self-interested decisions and ignores some of the information required for intelligent altruistic decisions. Bioethics has worried about the ‘therapeutic misconception’, but has ignored the ‘completion misconception’. This article argues that, other things being (...) equal, prospective subjects should be informed about the possibility of non-completion as part of the standard consent process if it is or should be anticipatable that there is a non-trivial possibility of non-completion and that information is likely to be relevant to a prospective subject's decision to consent. The article then considers several objections to the argument, including the objection that disclosing non-completion information would make recruitment even more difficult. (shrink)

Social factors have so far been neglected in embodied theories of perception despite the wealth of phenomenological insights and empirical evidence indicating their importance. I examine evidence from developmental psychology and neuroscience and attempt an initial classification according to whether social factors play a contextual, enabling, or constitutive role in the ability to perceive objects in a detached manner, i.e. beyond their immediate instrumental use. While evidence of cross-cultural variations in perceptual styles and the influence of social cues on visual (...) attention could not be said to play more than a contextual role, other factors such as the intricate developmental links between dyadic and triadic interactions in infancy, as well as episodes of peer-learning in children, play enabling roles. A common element in these factors is the presence and resolution of interpersonal conflict. Detached object perception could not develop without these social factors. I argue, in addition, that social skills such as managing partial social acts which are addressed to and completed by others, linguistic mediation, makebelieve play, and the ability to control perspectival switches are constitutive -- i.e. are of the essence -- of the ability to see objects as present with a detached attitude. I discuss the prospects of incorporating such social elements into dynamical interpretations of the sensorimotor approach through the enactive notion of participatory sense-making. (shrink)

Increasingly encompassing models have been suggested for our world. Theories range from generally accepted to increasingly speculative to apparently bogus. The progression of theories from ego- to geo- to helio-centric models to universe and multiverse theories and beyond was accompanied by a dramatic increase in the sizes of the postulated worlds, with humans being expelled from their center to ever more remote and random locations. Rather than leading to a true theory of everything, this trend faces a turning point after (...) which the predictive power of such theories decreases (actually to zero). Incorporating the location and other capacities of the observer into such theories avoids this problem and allows to distinguish meaningful from predictively meaningless theories. This also leads to a truly complete theory of everything consisting of a (conventional objective) theory of everything plus a (novel subjective) observer process. The observer localization is neither based on the controversial anthropic principle, nor has it anything to do with the quantum-mechanical observation process. The suggested principle is extended to more practical (partial, approximate, probabilistic, parametric) world models (rather than theories of everything). Finally, I provide a justification of Ockham's razor, and criticize the anthropic principle, the doomsday argument, the no free lunch theorem, and the falsifiability dogma.", . (shrink)

In this paper, we give an algebraic completeness theorem for constructive logic with strong negation in terms of finite rough set-based Nelson algebras determined by quasiorders. We show how for a quasiorder R, its rough set-based Nelson algebra can be obtained by applying Sendlewski’s well-known construction. We prove that if the set of all R-closed elements, which may be viewed as the set of completely defined objects, is cofinal, then the rough set-based Nelson algebra determined by the quasiorder R forms (...) an effective lattice, that is, an algebraic model of the logic E 0, which is characterised by a modal operator grasping the notion of “to be classically valid”. We present a necessary and sufficient condition under which a Nelson algebra is isomorphic to a rough set-based effective lattice determined by a quasiorder. (shrink)

James L. Anderson analyzed the novelty of Einstein's theory of gravity as its lack of "absolute objects." Michael Friedman's related work has been criticized by Roger Jones and Robert Geroch for implausibly admitting as absolute the timelike 4-velocity field of dust in cosmological models in Einstein's theory. Using the Rosen-Sorkin Lagrange multiplier trick, I complete Anna Maidens's argument that the problem is not solved by prohibiting variation of absolute objects in an action principle. Recalling Anderson's proscription of "irrelevant" variables, I (...) generalize that proscription to locally irrelevant variables that do no work in some places in some models. This move vindicates Friedman's intuitions and removes the Jones-Geroch counterexample: some regions of some models of gravity with dust are dust-free and so naturally lack a timelike 4-velocity, so diffeomorphic equivalence to (1,0,0,0) is spoiled. Torretti's example involving constant curvature spaces is shown to have an absolute object on Anderson's analysis, viz., the conformal spatial metric density. The previously neglected threat of an absolute object from an orthonormal tetrad used for coupling spinors to gravity appears resolvable by eliminating irrelevant fields. However, given Anderson's definition, GTR itself has an absolute object (as Robert Geroch has observed recently): a change of variables to a conformal metric density and a scalar density shows that the latter is absolute. (shrink)

This thesis offers a re-definition of Kantian a priorism by expanding the notions surrounding it from within a Piagetian genetic epistemological viewpoint. ;In particular, the notion of "noumenon" is re-examined from within this viewpoint, and extended to all structural facets of the genetic epistemological knowing "situation". ;By means of these re-examinations of classical epistemological notions, the various forms of knowledge characteristically produced from within the bounds of that knowing "situation" can then be structurally located with respect to intent and focus (...) of the knowing activity, thereby making it possible to show the phenomenological connection between all these forms of knowledge, as well as to legitimize each form under the canopy of a common set of functional principles, such as truth, objectivity, progress, etc. This in turn allows for a re-definition of the Piagetian scientifically oriented "epistemic subject" into what I call the "complete epistemic subject", which takes account of all the forms of knowing occurring within the structure of the genetic epistemological "situation". ;Particularly are art and science focused upon as test cases for the re-oriented a priorism presented. ;Following the epistemological argument, the classical Progressive educational argument will be re-examined to determine whether any altered approaches and educational ideals result from analyzing the meaning of the "natural man" and "democratic man" and how these analyses can be seen to refer to an expanded type of knowing subject, the "complete epistemic subject". (shrink)

James L. Anderson analyzed the novelty of Einstein's theory of gravity as its lack of "absolute objects." Michael Friedman's related work has been criticized by Roger Jones and Robert Geroch for implausibly admitting as absolute the timelike 4-velocity field of dust in cosmological models in Einstein's theory. Using the Rosen-Sorkin Lagrange multiplier trick, I complete Anna Maidens's argument that the problem is not solved by prohibiting variation of absolute objects in an action principle. Recalling Anderson's proscription of "irrelevant" variables, I (...) generalize that proscription to locally irrelevant variables that do no work in some places in some models. This move vindicates Friedman's intuitions and removes the Jones-Geroch counterexample: some regions of some models of gravity with dust are dust-free and so naturally lack a timelike 4-velocity, so diffeomorphic equivalence to is spoiled. Torretti's example involving constant curvature spaces is shown to have an absolute object on Anderson's analysis, viz., the conformal spatial metric density. The previously neglected threat of an absolute object from an orthonormal tetrad used for coupling spinors to gravity appears resolvable by eliminating irrelevant fields. However, given Anderson's definition, GTR itself has an absolute object : a change of variables to a conformal metric density and a scalar density shows that the latter is absolute. (shrink)

Moore’s paradox in belief is the fact that beliefs of the form ‘ p and I do not believe that p ’ are ‘absurd’ yet possibly true. Writers on the paradox have nearly all taken the absurdity to be a form of irrationality. These include those who give what Timothy Chan calls the ‘pragmatic solution’ to the paradox. This solution turns on the fact that having the Moorean belief falsifies its content. Chan, who also takes the absurdity to be a (...) form of irrationality, objects to this solution by arguing that it is circular and thus incomplete. This is because it must explain why Moorean beliefs are irrational yet, according to Chan, their grammatical third-person transpositions are not, even though the same proposition is believed. But the solution can only explain this asymmetry by relying on a formulation of the ground of the irrationality of Moorean beliefs that presupposes precisely such asymmetry. I reply that it is neither necessary nor sufficient for the irrationality that the contents of Moorean beliefs be restricted to the grammatical first-person. What has to be explained is rather that such grammatical non-first-person transpositions sometimes, but not always, result in the disappearance of irrationality. Describing this phenomenon requires the grammatical first-person/non-first person distinction. The pragmatic solution explains the phenomenon once it is formulated in de se terms. But the grammatical first-person/non-first-person distinction is independent of, and a fortiori, different from, the de se /non- de se distinction presupposed by pragmatic solution, although both involve the first person broadly construed. Therefore the pragmatic solution is not circular. Building on the work of Green and Williams I also distinguish between the irrationality of Moorean beliefs and their absurdity. I argue that while all irrational Moorean beliefs are absurd, some Moorean beliefs are absurd but not irrational. I explain this absurdity in a way that is not circular either. (shrink)

There are a number of recent discussions on the question of when an artwork is complete. While it has been observed that a work might be complete in one way and not in another, the impact of this observation has been minimal. Discussion has been continued as if there is only one real sense of completion that matters. I argue that this is a mistake. Even if there were only one (or one most important) kind of completion, extant (...) theories of completion would be bad candidates for that one kind. The best explanation of the failure of extant theories is that there are many kinds of completion, many corresponding senses of “completion,” and no kind of artwork completion is objectively more important than any other. We have a good reason to think that this is the case given the disparate interests we have when we ask completion questions. Once we have realized that those concerns track properties that are often unrelated, the question for theorists to answer becomes, “In how many ways can an artwork be complete?”. (shrink)

Husserl's two notions of "definiteness" enabled him to clarify the problem of imaginary numbers. The exact meaning of these notions is a topic of much controversy. A "definite" axiom system has been interpreted as a syntactically complete theory, and also as a categorical one. I discuss whether and how far these readings manage to capture Husserl's goal of elucidating the problem of imaginary numbers, raising objections to both positions. Then, I suggest an interpretation of "absolute definiteness" as semantic completeness and (...) argue that this notion does not suffice to explain Husserl's solution to the problem of imaginary numbers. (shrink)

James L. Anderson analyzed the novelty of Einstein's theory of gravity as its lack of "absolute objects." Michael Friedman's related work has been criticized by Roger Jones and Robert Geroch for implausibly admitting as absolute the timelike 4-velocity field of dust in cosmological models in Einstein's theory. Using the Rosen-Sorkin Lagrange multiplier trick, I complete Anna Maidens's argument that the problem is not solved by prohibiting variation of absolute objects in an action principle. Recalling Anderson's proscription of "irrelevant" variables, I (...) generalize that proscription to locally irrelevant variables that do no work in some places in some models. This move vindicates Friedman's intuitions and removes the Jones-Geroch counterexample: some regions of some models of gravity with dust are dust-free and so naturally lack a timelike 4-velocity, so diffeomorphic equivalence to is spoiled. Torretti's example involving constant curvature spaces is shown to have an absolute object on Anderson's analysis, viz., the conformal spatial metric density. The previously neglected threat of an absolute object from an orthonormal tetrad used for coupling spinors to gravity appears resolvable by eliminating irrelevant fields. However, given Anderson's definition, GTR itself has an absolute object : a change of variables to a conformal metric density and a scalar density shows that the latter is absolute. (shrink)

The paper addresses the issue of a relatively new institution of criminal procedural law in Latvia. The article is relevant due to the need for an effective mechanism for the objective possibility of realization of the right person for the completion of the criminal process in a reasonable time. Analysis of the European Court of Human Rights has allowed some conclusions that should be considered when investigating criminal cases.

We initiate the study of computable model theory of modal logic, by proving effective completeness theorems for a variety of first-order modal logics. We formulate a natural definition of a decidable Kripke model, and show how to construct such a decidable Kripke model of a given decidable theory. Our construction is inspired by the effective Henkin construction for classical logic. The Henkin construction, however, depends in an essential way on the Deduction Theorem. In its usual form the Deduction Theorem fails (...) for modal logic. In our construction, the Deduction Theorem is replaced by a result about objects called finite Kripke diagrams. We argue that this result can be viewed as an analogue of the Deduction Theorem for modal logic. (shrink)

A notion of completeness and completion suitable for use in the absence of countable choice is developed. This encompasses the construction of the real numbers as well as the completion of an arbitrary metric space. The real numbers are characterized as a complete Archimedean Heyting field, a terminal object in the category of Archimedean Heyting fields.

English translation by Kneller and Losonsky of Klaus Reich, Die Vollständigkeit der Kantischen Urteilstafel -/- "This classic of Kant scholarship, whose first edition appeared in 1932, deals with one of the most controversial and difficult topics in the Critique of Pure Reason: Kant's table of judgments and their connection to the table of categories. Kant's attempt to derive the latter from the former is called the "Metaphysical Deduction," and it paves the way for the Transcendental Deduction that is universally recognized (...) as the heart of the Critique." "Many commentators have passed over the Metaphysical Deduction in silence, as if embarrassed by Kant's fatuity, and his critics are almost unanimous in finding its premise ungrounded, its argument incorrect, and its conclusion false. At the heart of the failure of the Metaphysical Deduction, it is alleged, is Kant's inability to justify the table of the forms of judgment. Critics argue that Kant simply took these forms of judgment from the logic textbooks of his day and doctored them so as to yield the required categories. Such objections were current even in Kant's time; they were repeated by Hegel, and are commonplaces of Kant criticism today." "This book is the fullest and most systematic evaluation ever made of the Metaphysical Deduction. Reich argues that its principal conclusion is correct even though Kant failed to establish it in the Metaphysical Deduction proper, and he defends the conclusion by using Kant material far removed from the text of the Metaphysical Deduction, notes by Kant that only became available in the 1920's and that remain even now untranslated into English. With the publication of this translation for English-speaking Kant scholars, a neglected and impugned part of the Critique of Pure Reason can finally receive the attention it deserves."--BOOK JACKET.Title Summary field provided by Blackwell North America, Inc. All Rights Reserved. (shrink)

I want to examine critically a certain strategy of moral justification which I shall call instrumentalism. By this I mean the view that a moral theory is rationally justified if the actions, life-plan, or set of social arrangements it prescribes can be shown to be the best means to the achievement of an agent's final ends, whatever these may be. Instrumentalism presupposes a commitment to what I shall call the Humean conception of the self. By this I mean a certain (...) way of conceiving the motivational and structural constituents of the self. Briefly, the self on this conception is motivated by its desires for states of affairs that are temporally or spatiotemporally external to the self. And it is structured by the normative requirements of instrumental rationality: The self is conceived as rationally coherent to the extent that theoretical reason calculates and schedules the satisfaction of as many of its desires as possible, with the minimum necessary costs. The motivational and structural elements of the Humean conception of the self combine to form a familiar explanatory model of human agency: We make sense of an agent's behavior by ascribing to her the desire to achieve the ends that she does in fact achieve, and the theoretically rational belief that, given the information and resources available to her, behaving as she did was the most efficient way to do so. I shall want to argue that to the extent that instrumentalism is successful in providing an objective justification of a moral theory - and I shall contend that it cannot be completely successful - it cannot provide a moral justification. But when we attempt to modify it so as to produce a specifically moral justification, we see that either it is impossible to do this, or else the Humean notion of instrumental rationality is doing no justificatory work. (shrink)

Summary Amodal completion involves the impression of existence and properties of visually occluded parts of objects. One aspect of this phenomenon that has been somewhat neglected is the amodal completion of color, which involves the impression that amodally completed surfaces have a particular color. In this paper, this aspect is investigated by constructing a large number of displays with identical target figures embedded in systematically varying contexts, to find out which contexts are conducive for amodal completion of (...) color and which are not. In this setup, the main effects of changes of contexts are changes of geometric and photometric features of junctions along the borders of the target regions, which can cause dramatic differences in the appearance of those regions. Generally, a certain arrangement of T-junctions supports the impression of amodal completion of color, and it can be argued that certain types of X-junctions support a variant of this effect as well. (shrink)

Like dreaming, hallucination has been a formative trope for modern philosophy. The vivid, often tragic, breakdown in the mind’s apparent capacity to disclose reality has long served to support a paradoxical philosophical picture of sensory experience. This picture, which of late has shaped the paradigmatic empirical understanding the senses, displays sensory acts as already complete without the external world; complete in that the direct objects even of veridical sensory acts do not transcend what we could anyway hallucinate. Hallucination is thus (...) the mother of Representationalism, which insists that it is mental intermediaries that make other.. (shrink)

A theoretically rigorous approach to the key problems of Molinism leads to a clear distinction between semantic and metaphysical problems. Answers to semantic problems do not provide answers to metaphysical problems that arise from the theory of middle knowledge. The so-called ‘grounding objection’ to Molinism raises a metaphysical problem. The most promising solution to it is a revised form of the traditional ‘essence solution’. Inspired by Leibniz’s idea of a ‘notio completa’ (complete concept), we propose a mathematical model of ‘possibilistic’ (...) (Molinist) complete concepts. They ground middle knowledge within the very being of the agents themselves. Molinist Complete Concepts can thus serve to reject consequence-style arguments against Molinism. They also allow the Molinist to safeguard a robustly libertarian notion of the ability to do otherwise. (shrink)

Some things look more complex than others. For example, a crenulate and richly organized leaf may seem more complex than a plain stone. What is the nature of this experience—and why do we have it in the first place? Here, we explore how object complexity serves as an efficiently extracted visual signal that the object merits further exploration. We algorithmically generated a library of geometric shapes and determined their complexity by computing the cumulative surprisal of their internal skeletons—essentially (...) quantifying the “amount of information” within each shape—and then used this approach to ask new questions about the perception of complexity. Experiments 1–3 asked what kind of mental process extracts visual complexity: a slow, deliberate, reflective process (as when we decide that an object is expensive or popular) or a fast, effortless, and automatic process (as when we see that an object is big or blue)? We placed simple and complex objects in visual search arrays and discovered that complex objects were easier to find among simple distractors than simple objects are among complex distractors—a classic search asymmetry indicating that complexity is prioritized in visual processing. Next, we explored the function of complexity: Why do we represent object complexity in the first place? Experiments 4–5 asked subjects to study serially presented objects in a self‐paced manner (for a later memory test); subjects dwelled longer on complex objects than simple objects—even when object shape was completely task‐irrelevant—suggesting a connection between visual complexity and exploratory engagement. Finally, Experiment 6 connected these implicit measures of complexity to explicit judgments. Collectively, these findings suggest that visual complexity is extracted efficiently and automatically, and even arouses a kind of “perceptual curiosity” about objects that encourages subsequent attentional engagement. (shrink)

Objects in the world usually have names at different hierarchical levels (e.g., beagle, dog, animal). This research investigates adults' ability to use cross‐situational statistics to simultaneously learn object labels at individual and category levels. The results revealed that adults were able to use co‐occurrence information to learn hierarchical labels in contexts where the labels for individual objects and labels for categories were presented in completely separated blocks, in interleaved blocks, or mixed in the same trial. Temporal presentation schedules significantly (...) affected the learning of individual object labels, but not the learning of category labels. Learners' subsequent generalization of category labels indicated sensitivity to the structure of statistical input. (shrink)

In the Transcendental Ideal Kant discusses the principle of complete determination: for every object and every predicate A, the object is either determinately A or not-A. He claims this principle is synthetic, but it appears to follow from the principle of excluded middle, which is analytic. He also makes a puzzling claim in support of its syntheticity: that it represents individual objects as deriving their possibility from the whole of possibility. This raises a puzzle about why Kant regarded (...) it as synthetic, and what his explanatory claim means. I argue that the principle of complete determination does not follow from the principle of excluded middle because the externally negated or ?negative? judgement ?Not (S is P)? does not entail the internally negated or ?infinite? judgement ?S is not-P.? Kant's puzzling explanatory claim means that empirical objects are determined by the content of the totality of experience. This entails that empirical objects are completely determinate if and only if the totality of experience has a completely determinate content. I argue that it is not a priori whether experience has such a completely determinate content and thus not analytic that objects obey the principle of complete determination. (shrink)

According to the argument scheme approach, to evaluate a given scheme-saturating instance completely does entail asking all critical questions relevant to it. Although this is a central task for argumentation theorists, the field currently lacks a method for providing a complete argument evaluation. Approaching this task at the meta-level, we combine a logical with a substantive approach to the argument schemes by starting from Toulmin’s schema: ‘data, warrant, so claim’. For the yet more general schema: ‘premise; if premise, then conclusion; (...) so conclusion’, we forward a meta-level CQ-list that is arguably both complete and applicable. This list should inform ongoing theoretical efforts at generating appropriate object-level CQs for specific argument schemes. (shrink)

We study decision under uncertainty in an Anscombe–Aumann framework. Two binary relations characterize a decision-maker: one incomplete relation, reflecting her objective rationality, and a second complete relation, reflecting her subjective rationality. We require the latter to be an extension of the former. Our key axiom is a dominance condition. Our main theorem provides a representation of the two relations. The objectively rational relation has a Bewley-style multiple prior representation. Using this set of priors, we fully characterize the subjectively rational relation (...) in terms of the most optimistic and most pessimistic expected utilities. (shrink)

Freedom of conscience is a core element of human rights respected by most European countries. It allows abortion through the inclusion of a conscience clause, which permits opting out of providing such services. However, the grounds for invoking conscientious objection lack clarity. Our aim in this paper is to take a step in this direction by carrying out a systematic review of reasons by midwives and nurses for declining, on conscience grounds, to participate in abortion. We conducted a systematic review (...) of ethical arguments asking, “What reasons have been reported in the argument based literature for or against conscientious objection to abortion provision by nurses or midwives?” We particularly wanted to identify any discussion of the responsibilities of midwives and nurses in this area. Search terms were conscientious objection and abortion or termination and nurse or midwife or midwives or physicians or doctors or medics within the dates 2000–2016 on: HEIN legal, Medline, CINAHL, Psychinfo, Academic Search Complete, Web of Science including publications in English, German and Dutch. Final articles were subjected to a rigorous analysis, coding and classifying each line into reason mentions, narrow and broad reasons for or against conscientious objection. Of an initial 1085 articles, 10 were included. We identified 23 broad reasons, containing 116narrow reasons and 269 reason mentions. Eighty one narrow reasons argued in favour of and 35 against conscientious objection. Using predetermined categories of moral, practical, religious or legal reasons, “moral reasons” contained the largest number of narrow reasons. The reasons and their associated mentions in this category outnumber those in the sum of the other three categories. We identified no absolute argument either for or against conscientious objection by midwives or nurses. An invisibility of midwives and nurses exists in the whole debate concerning conscientious objection reflecting a gap between literature and practice, as it is they whom WHO recommend as providers of this service. While the arguments in the literature emphasize the need for provision of conscientious objection, a balanced debate is necessary in this field, which includes all relevant health professionals. (shrink)

In The Axiological Status of Theism and Other Worldviews (2020), I defend the Complete Understanding Argument for anti-theism, which says that God’s existence makes the world worse with respect to our ability to understand it. In a recent article, Roberto Di Ceglie offers three objections to my argument. I seek to rescue my argument by showing (1) that understanding can come in degrees; (2) that I’m not a consequentialist about the value of understanding; and (3) that my argument is consistent (...) with God providing us with sufficient knowledge of important spiritual matters. Di Ceglie’s objections point to future areas for fruitful exploration but do not defeat my argument. (shrink)

ABSTRACT According to the ‘Principle of Alternative Possibilities’, an agent is morally responsible for performing some action only if she could have done otherwise. Beginning with Harry Frankfurt nearly fifty years ago, a number of putative counterexamples have been offered. In this essay, I consider a type of counterexample developed by David Hunt: so-called ‘complete blockage’ Frankfurt examples. The chief objection to these cases is that they presuppose causal determinism, thereby begging the question against incompatibilists. I argue, however, that even (...) if we grant that complete blockage Frankfurt examples assume causal determinism, they can still be successfully deployed as counterexamples to PAP without begging the question. (shrink)

In the present paper we use the theory of exact completions to study categorical properties of small setoids in Martin-Löf type theory and, more generally, of models of the Constructive Elementary Theory of the Category of Sets, in terms of properties of their subcategories of choice objects. Because of these intended applications, we deal with categories that lack equalisers and just have weak ones, but whose objects can be regarded as collections of global elements. In this context, we study the (...) internal logic of the categories involved, and employ this analysis to give a sufficient condition for the local cartesian closure of an exact completion. Finally, we apply this result to show when an exact completion produces a model of CETCS. (shrink)

The multifaceted work of the late Susan Leigh Star is explored through a selection of her writings and essays by friends and colleagues. Susan Leigh Star (1954–2010) was one of the most influential science studies scholars of the last several decades. In her work, Star highlighted the messy practices of discovering science, asking hard questions about the marginalizing as well as the liberating powers of science and technology. In the landmark work Sorting Things Out, Star and Geoffrey Bowker revealed the (...) social and ethical histories that are deeply embedded in classification systems. Star's most celebrated concept was the notion of boundary objects: representational forms—things or theories—that can be shared between different communities, with each holding its own understanding of the representation. Unfortunately, Leigh was unable to complete a work on the poetics of infrastructure that further developed the full range of her work. This volume collects articles by Star that set out some of her thinking on boundary objects, marginality, and infrastructure, together with essays by friends and colleagues from a range of disciplines—from philosophy of science to organization science—that testify to the wide-ranging influence of Star's work. Contributors Ellen Balka, Eevi E. Beck, Dick Boland, Geoffrey C. Bowker, Janet Ceja Alcalá, Adele E. Clarke, Les Gasser, James R. Griesemer, Gail Hornstein, John Leslie King, Cheris Kramarae, Maria Puig de la Bellacasa, Karen Ruhleder, Kjeld Schmidt, Brian Cantwell Smith, Susan Leigh Star, Anselm L. Strauss, Jane Summerton, Stefan Timmermans, Helen Verran, Nina Wakeford, Jutta Weber. (shrink)