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)

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)

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)

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)

Processing state change verb phrases (e.g., fill the cookie jar) during language comprehension appears to require the activation of representations encoding both the initial (an empty jar) and resultant states (a filled jar) of event participants. Given that the transitions between these states can generally be inferred (on the basis of experiential semantic knowledge), these boundary states may be the only states of event participants that are activated during sentence processing or at event boundaries. However, simulation‐based accounts of representation and (...) linguistic analyses of state change predicates suggest that, in addition to initial and resultant object states, intermediary object states should also be activated during sentence comprehension. To compare these two alternatives, we investigated the activation of initial, intermediary, and end object states by sentences describing completed events (e.g., Jasmine filled/has filled the cookie jar). Our results suggest that perceptual features associated with objects at intermediary points in an event are indeed activated and maintained in memory through at least the end of the event description. These findings support an account in which representations of the entire event sequence—not just the boundaries—are activated during language processing. (shrink)

Amodal completion is nearly always discussed in terms of vision. In this paper I focus on hearing. I argue that just as we seem to amodally complete the hidden parts of a visual object through visual mental imagery, we also seem to amodally complete the masked parts of a sound through auditory mental imagery. But there remains an important difference between the two modalities.

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)

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 typically occurs when we look at an object that is partially behind another object. Theorists often say that in such cases we are aware not only of the visible parts, but also, in some sense, of the occluded parts, because otherwise we could not have a perceptual experience of the object as continuing behind its occluder. Since no sense modality carries information about the occluded parts, this information is provided by other means. Amodal completion raises (...) two questions. First, what is the mechanism involved? Second, what kind of experience do we have of the occluded parts? According to Nanay, the so-called Imagery Theory answers both questions. For this theory, information about the occluded parts is the product of a low level, vision specific, neural mechanism that takes place in the early vision processing areas of the brain. This mechanism provides a representation of the occluded parts and, as a result, the observer enjoys a quasi-sensory or quasi-perceptual conscious experience that is phenomenally similar to seeing those parts (as purportedly Perky has proved). In this paper I criticize Nanay’s answer to the second question. (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)

Although we encounter objects from a particular perspective, what we perceive and remember are typically whole objects. In ‘amodal completion’ our mind automatically fills in objects’ spatially occluded parts, and our memory then often discards information about the orientation from which the objects were perceived. An analogous phenomenon of ‘event completion’ has been demonstrated, which may be understood as the mind automatically filling in temporally occluded parts of events. Exemplifying typical experiments in this paradigm, Strickland and Keil (Strickland and Keil, (...) Cognition 121:409–415, 2011) showed participants videos depicting a causal event (e.g., someone kicking a ball), which was edited so that a crucial part was missing (e.g., the moment of contact between foot and ball). Subjects were more likely to falsely remember having seen the moment of contact if (and only if) it was strongly implied by subsequent footage. We use this phenomenon of event completion as a test case for comparing different theories of reference in memory. We argue that event completion puts pressure on both pure causal and pure descriptive theories of reference, and favors more nuanced hybrids of causal and descriptive theories, which integrate insights from cognitive and epistemic approaches. (shrink)

In amodal completion the mind in some sense completes the visual perceptual representation of a scene by representing parts of the scene hidden behind other objects. Cognitive science has had a lot to say about how amodal completion occurs but has had little to say about the format of the representations involved and the way in which they represent. Some philosophers hold that amodal completions take the form of sensory imaginings of the occluded portions. This theory poses a puzzle for (...) both philosophy and neuroscience about how the occluded parts are imagined to be located relative to the unoccluded parts. A better theory begins with the observation that for many purposes it is useful to suppose that the mind contains mental models of three-dimensional structure. Visual perceptions and mental images may be conceived as mental models that represent external scenes by virtue of homomorphism and which possess both a deep aspect, representing both visible and occluded three-dimensional structure, and a perspectival aspect, representing only an arrangement of visible surfaces. In these terms we can explain various problem-solving abilities, such as the ability to imagine what a scene will look like from another point of view. Amodal completions can be treated as deep perceptual representations of three-dimensional structure. Thus amodal completions do not consist of mental imagery, but they can be used to generate mental imagery representing how a scene would look from alternative points of view. (shrink)

BackgroundThe CONSORT statement for reporting abstracts of randomized controlled trials (RCTs) provides a list of essential items to report to ensure reliable interpretation. We evaluated the completeness of reporting of RCT abstracts published in high-impact-factor journals and examined factors associated with adherence to the CONSORT for abstracts.MethodsOn March 5, 2024, we searched PubMed for abstracts of RCTs published in the top five journals (ISI Web of Knowledge 2023) in 22 medical fields, including Medicine, General & Internal, from July 1, 2023, (...) to February 29, 2024. We assessed the completeness of reporting of the 15 items of the CONSORT for abstracts in duplicate via a standardized data extraction form. The primary outcome was the mean number of items adequately reported. The prespecified factors potentially associated with adherence to CONSORT for abstracts included study-specific factors (income category of the country, funding type, and sample size) and journal-specific factors (type of journal [specialized vs. general medicine], CONSORT endorsement, abstract word count limit, and structured abstract).ResultsAmong 1267 citations, 610 abstracts published in 82 distinct journals were included. The mean (SD) number of items adequately reported was 10.1 (2.5). Among the 610 abstracts included, the quality of reporting varied across items; some items were adequately reported (97% (n=594) for participants, 100% (n=610) for interventions, 96% (n=585) for objectives) and others were poorly reported (29% (n=175) for trial design, 36% (n=221) for funding sources, 32% (n=197) for blinding and 13% (n=81) for randomization). The multivariate linear-mixed effects model showed that a sample size above 100, the CONSORT endorsement and Medicine, General & Internal journals were associated with a higher mean number of items adequately reported.ConclusionsReporting of RCT abstracts remains incomplete particularly for key items including trial design, random sequence generation, blinding, and funding source disclosure. CONSORT endorsement, publication in a general medical journal and larger sample size were associated with better adherence to CONSORT for abstracts. (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)

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)

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.

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)

The paper discusses Husserl’s notion of definiteness as presented in his Göttingen Mathematical Society Double Lecture of 1901 as a defense of two, in many cases incompatible, ideals, namely full characterizability of the domain, i.e., categoricity, and its syntactic completeness. These two ideals are manifest already in Husserl’s discussion of pure logic in the Prolegomena: The full characterizability is related to Husserl’s attempt to capture the interconnection of things, whereas syntactic completeness relates to the interconnection of truths. In the Prolegomena (...) Husserl argues that an ideally complete theory gives an independent norm for objectivity for logic and experiential sciences, hence the notion is central to his argument against psychologism. In the Double Lecture the former is captured by non-extendibility, that is, categoricity of the domain, from which, so Husserl assumes, syntactic completeness is thought to follow. In the so-called ‘mathematical manifolds’ the expressions of the theory are equations that are reducible to equations between elements of the theory. With such an equational reduction structure individual elements of the domain are given criteria of identity and hence they are fully determined. (shrink)

In a recent paper, Helton and Nanay, 415–423, 2019) present a new argument against two modal accounts of knowledge—safety and sensitivity. Their argument is based on the phenomenon of amodal completion. According to them, amodal completion experience can ground knowledge; but in some instances, such knowledge is neither sensitive nor safe. Thus, they conclude that neither sensitivity nor safety is a necessary condition for knowledge. This paper pushes back. In particular, I defend the following three theses. First, Helton and Nanay’s (...) argument for the claim that amodal completion itself can ground knowledge is unsound. Second, their objection against sensitivity is best construed as merely another instantiation of the old objection against sensitivity regarding inductive knowledge. Thus, sensitivity theorists have nothing to worry about over and above the old objection. Third, safety theorists can plausibly defend their account, insofar as they acknowledge that one’s ‘awareness’ of error-possibilities can affect the epistemic status of one’s belief. My conclusion is that reflections on the phenomenon of amodal completion fail to generate any new objections against modal accounts of knowledge. (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)

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)

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 formal intuition (...) of space in general), 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)

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)

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 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)

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.

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)

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)

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)

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)

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)

The issues treated in this book derive a certain degree of unification from their relation to the general theme of the completeness of scientific theories. Unfortunately, when a philosopher addresses himself to the question of the completeness of an empirical theory, it is far from clear at the outset just what the problem is. Schlegel, to be sure, explicates three different notions of completeness which may be relevant here: the logical, physical, and pragmatic aspects. By the first, Schlegel means the (...) usual set of issues having to do with the deductive and semantic structure of formal theories, the second refers to "the problems that are to be answered in terms of what is discovered by science about the natural world," and the third refers to "the factors in the completeness of science that seem to be chiefly dependent on the interests of scientists." As these formulations suggest, the level of logical and philosophical rigor is hardly commensurate with the kind of investigation one would expect. An early chapter deals with an epistemology of physics in which a class of entities called "constructs" plays the central role. Unfortunately, it is never clear whether constructs denote objects, properties, facts, sentences, or something else. On the other hand, the materials in this chapter are largely irrelevant to the subsequent discussion. Schlegel does an admirable job of scientific exegesis on the present state of quantum physics and cosmology. With regard to the former, he is an advocate of the "Copenhagen view," and he argues that a sort of natural limit of description and explanation has been reached. As to cosmology, Schlegel looks forward to a narrowing of the range of alternate theories as more data become available. In the chapter on purely formal questions a number of oversights seem to have been committed. The exposition of Gödel's incompleteness theorem is inaccurate in that it is not shown that provability can be defined intra-systematically. Schlegel's discussion of how the theorem might apply to scientific theories is suggestive, but also confusing. The chapter on infinity treats the continuum hypothesis as a proven fact, thus ignoring the very important questions raised by the work of Paul Cohen and others. Finally, and most distressingly, the Hebrew letter aleph is printed upside down at all of its occurrences.--H. P. K. (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)

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)

The paper defends the World Health Organisation (WHO) definition of health against widespread criticism. The common objections are due to a possible misinterpretation of the word complete in the descriptor of health as ‘complete physical, mental and social well-being’. Complete here does not necessarily refer to perfect well-being but can alternatively mean exhaustive well-being, that is, containing all its constitutive features. In line with the alternative reading, I argue that the WHO definition puts forward a holistic account, (...) not a notion of perfect health. I use historical and analytical evidence to defend this interpretation. In the second part of the paper, I further investigate the two different notions of health (holistic health and perfect health). I argue that both ideas are relevant but that the holistic interpretation is more adept for political aims. (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)

Global justice is, at its core, about moral obligations to distant others. But which obligations ought to be included is a matter of considerable debate. In the discussion that follows I will explicate and challenge two objections to the inclusion of foundationally positive obligations in our account of global justice. The first objection is based on the proposition that negative obligations possess and positive obligations lack a property necessary for a moral demand to be a matter justice. The second objection (...) is that even the most trivial positive obligation becomes overly burdensome when applied to the global arena. And, though I do not offer any particular substantive account of positive obligations to distant others; I assess some of the implications that would arise were positive obligations to distant others to be included in our account of global justice. (shrink)

We propose a structuralist reconstruction of the real continuum, arguing that it is not a primitive ontological stage for physics but an emergent completion of the prime-exponent lattice M. By identifying the reals R as the Dedekind completion of M, we demonstrate that the natural logarithm and exponential functions are not merely analytic tools but inevitable algebraic consequences of identifying the multiplicative structure of number theory with the additive structure of the continuum. Furthermore, we show that the natural base e (...) is the unique structural invariant required to normalize the gauge freedom inherent in this identification. Finally, we refine the Erdős–Kac theorem to argue that the "Triple-Log" scale (ln ln ln n) emerges as a deterministic background limit of arithmetic, providing an intrinsic argument for a natural ultraviolet cutoff in physical theories without external imposition. In the language of Ontic Structural Realism (OSR), this framework suggests that the 'physical continuum' is not an object-like substance, but a structural instantiation of the relation between the additive and multiplicative sectors of arithmetic. (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)

This article is an extended promenade strolling along the winding roads of identity, equality, nameability and completeness, looking for places where they converge. We have distinguished between identity and equality; the first is a binary relation between objects while the second is a symbolic relation between terms. Owing to the central role the notion of identity plays in logic, you can be interested either in how to define it using other logical concepts or in the opposite scheme. In the first (...) case, one investigates what kind of logic is required. In the second case, one is interested in the definition of the other logical concepts in terms of the identity relation, using also abstraction. The present paper investigates whether identity can be introduced by definition arriving to the conclusion that only in full higher-order logic a reliable definition of identity is possible. However, the definition needs the standard semantics and we know that with this semantics completeness is lost. We have also studied the relationship of equality with comprehension and extensionality and pointed out the relevant role played by these two axioms in Henkin’s completeness method. We finish our paper with a section devoted to general semantics, where the role played by the nameable hierarchy of types is the key in Henkin’s completeness method. (shrink)

In this paper I study the variants of the notion of completeness Husserl pre-sented in “Ideen I” and two lectures he gave in Göttingen in 1901. Introduced primarily in connection with the problem of imaginary numbers, this notion found eventually a place in the answer Husserl provided for the philosophically more im-portant problem of the logico-epistemological foundation of formal knowledge in sci-ence. I also try to explain why Husserl said that there was an evident correlation between his and Hilbert’s notion (...) of completeness introduced in connection with the axiomatisation of geometry and the theory of real numbers when, as many commen-tators have already observed, these two notions are independent. I show in this paper that if a system of axioms is complete in Husserl’s sense, then its formal domain, the manifold of formal objects it determines, does not admit any extension. This is precisely the idea behind Hilbert’s notion of completeness in question. Therefore, the correlation Husserl noted indeed exists. But, in order to see it, we must consider the formal domain determined by a formal theory, not its models. (shrink)

The axiomatic theory of pure free logic, free logic without identity or an existence predicate, contains precisely those axioms and rules that ensure that quantifiers are analyzed as classical quantifiers restricted to a domain of existent objects. This is the content of the soundness and and completeness theorem, which we prove first. We then provide a general method to use this proof in order to yield completeness results for arbitrary extensions of pure free logic.

BackgroundThe triangle completion test has been used to assess egocentric wayfinding for decades, yet there is little information on its reliability. We developed a virtual reality based test and investigated whether either test of spatial navigation was reliable.ObjectiveTo examine test-retest reliability of the real-world and VR triangle completion tests. A secondary objective was to examine the usability of the VR based test.Materials and methodsThirty healthy adults aged 18–45 years were recruited to this block randomized study. Participants completed two sessions of (...) triangle completion tests in the real-world and VR on the same day with a break between sessions.ResultsIn both test versions distance from the endpoint and angle of deviation showed poor test-retest reliability. Distance traveled had moderate reliability in both the real-world and VR tests. The VR triangle test showed poor correlation with the real-world test.ConclusionThe triangle completion test has poor test-retest reliability and demonstrates poor concurrent validity between the real-world and VR. Nevertheless, it was feasible to translate a real-world test of spatial navigation into VR. VR provides opportunities for development of clinically relevant spatial navigation tests in the future. (shrink)