The analysis of the Helmholtz equation is shown to lead to an exact Hamiltonian system describing in terms of ray trajectories, for a stationary refractive medium, a very wide family of wave-like phenomena (including diffraction and interference) going much beyond the limits of the geometrical optics (“eikonal”) approximation, which is contained as a simple limiting case. Due to the fact, moreover, that the time independent Schrödinger equation is itself a Helmholtz-like equation, the same mathematics holding for a classical optical beam (...) turns out to apply to a quantum particle beam moving in a stationary force field, and leads to a system of Hamiltonian equations providing exact and deterministic particle trajectories and dynamical laws, and containing the laws of Classical Mechanics in the eikonal limit. (shrink)

We study a new formal logic LD introduced by Prof. Grzegorczyk. The logic is based on so-called descriptive equivalence, corresponding to the idea of shared meaning rather than shared truth value. We construct a semantics for LD based on a new type of algebras and prove its soundness and completeness. We further show several examples of classical laws that hold for LD as well as laws that fail. Finally, we list a number of open problems. -/- .

The present work is focussed on the completeness of physics, or what is here called the Completeness Thesis: the claim that the domain of the physical is causally closed. Two major questions are tackled: How best is the Completeness Thesis to be formulated? What can be said in defence of the Completeness Thesis? My principal conclusions are that the Completeness Thesis can be coherently formulated, and that the evidence in favour if it significantly outweighs that (...) against it. In opposition to those who argue that formulation is impossible because no account of what is to count as physical can be provided, I argue that as long as the purpose of the argument in which the account is to be used are borne in mind there are no significant difficulties. The account of the physical which I develop holds as physical whatever is needed to fix the likelihood of pre-theoretically given physical effects, and hypothesises in addition that no chemical, biological or psychological factors will be needed in this way. The thus formulated Completeness Thesis is coherent, and has significant empirical content. In opposition to those who defend the doctrine of emergentism by means of philosophical arguments I contend that those arguments are flawed, setting up misleading dichotomies between needlessly attenuated alternatives and assuming the truth of what is to be proved. Against those who defend emergentism by appeal to the evidence, I argue that the history of science since the nineteenth century shows clearly that the empirical credentials of the view that the world is causally closed at the level of a small number of purely physical forces and types of energy is stronger than ever, and the credentials of emergentism correspondingly weaker. In opposition to those who argue that difficulties with reductionism point to the implausibility of the Completeness Thesis I argue that completeness in no way entails the kinds of reductionism which give rise to the difficulties in question. I argue further that the truth of the Completeness Thesis is in fact compatible with a great deal of taxonomic disorder and the impossibility of any general reduction of non-fundamental descriptions to fundamental ones. In opposition to those who argue that the epistemological credentials of fundamental physical laws are poor, and that those laws should in fact be seen as false, I contend that truth preserving accounts of fundamental laws can be developed. Developing such an account, I test it by considering cases of the composition of forces and causes, where what takes place is different to what is predicted by reference to any single law, and argue that viewing laws as tendencies allows their truth to be preserved, and sense to be made of both the experimental discovery of laws, and the fact that composition enables accurate prediction in at least some cases. (shrink)

In the article "Podstawy analizy metodologicznej kanonów Milla" [2] Jerzy Łoś proposed an operator that refered sentences to temporal moments. Let us look, for example, at a sentence ‘It is raining in Toruń’. From a logical point of view it is a propositional function, which does not have any logical value, unless we point at a temporal context from a fixed set of such contexts. If the sentence was considered today as a description of a state of affairs, it (...) could be true. If it was considered yesterday, it could be false. 1 The operator enables us to connect any sentence p with any temporal context t. Such a complex sentence we read as: a sentence p is realized at a temporal context t (a point of time, an interval of some kind, etc). (shrink)

We find the model completion of the theory modules over ������, where ������ is a finitely generated commutative algebra over a field K. This is done in a context where the field K and the module are represented by sorts in the theory, so that constructible sets associated with a module can be interpreted in this language. The language is expanded by additional sorts for the Grassmanians of all powers of $K^n $ , which are necessary to achieve quantifier elimination. (...) The result turns out to be that the model completion is the theory of a certain class of "big" injective modules. In particular, it is shown that the class of injective modules is itself elementary. We also obtain an explicit description of the types in this theory. (shrink)

It is a celebrated result of McKinsey and Tarski [28] thatS4is the logic of the closure algebraΧ+over any dense-in-itself separable metrizable space. In particular,S4is the logic of the closure algebra over the realsR, the rationalsQ, or the Cantor spaceC. By [5], each logic aboveS4that has the finite model property is the logic of a subalgebra ofQ+, as well as the logic of a subalgebra ofC+. This is no longer true forR, and the main result of [5] states that each connected (...) logic aboveS4with the finite model property is the logic of a subalgebra of the closure algebraR+.In this paper we extend these results to all logics aboveS4. Namely, for a normal modal logicL, we prove that the following conditions are equivalent: (i)Lis aboveS4, (ii)Lis the logic of a subalgebra ofQ+, (iii)Lis the logic of a subalgebra ofC+. We introduce the concept of a well-connected logic aboveS4and prove that the following conditions are equivalent: (i)Lis a well-connected logic, (ii)Lis the logic of a subalgebra of the closure algebra$\xi _2^ + $over the infinite binary tree, (iii)Lis the logic of a subalgebra of the closure algebra${\bf{L}}_2^ + $over the infinite binary tree with limits equipped with the Scott topology. Finally, we prove that a logicLaboveS4is connected iffLis the logic of a subalgebra ofR+, and transfer our results to the setting of intermediate logics.Proving these general completeness results requires new tools. We introduce the countable general frame property (CGFP) and prove that each normal modal logic has the CGFP. We introduce general topological semantics forS4, which generalizes topological semantics the same way general frame semantics generalizes Kripke semantics. We prove that the categories of descriptive frames forS4and descriptive spaces are isomorphic. It follows that every logic aboveS4is complete with respect to the corresponding class of descriptive spaces. We provide several ways of realizing the infinite binary tree with limits, and prove that when equipped with the Scott topology, it is an interior image of bothCandR. Finally, we introduce gluing of general spaces and prove that the space obtained by appropriate gluing involving certain quotients ofL2is an interior image ofR. (shrink)

A Heyting algebra is supplemented if each element a has a dual pseudo-complement \, and a Heyting algebra is centrally supplement if it is supplemented and each supplement is central. We show that each Heyting algebra has a centrally supplemented extension in the same variety of Heyting algebras as the original. We use this tool to investigate a new type of completion of Heyting algebras arising in the context of algebraic proof theory, the so-called hyper-MacNeille completion. We show that the (...) hyper-MacNeille completion of a Heyting algebra is the MacNeille completion of its centrally supplemented extension. This provides an algebraic description of the hyper-MacNeille completion of a Heyting algebra, allows development of further properties of the hyper-MacNeille completion, and provides new examples of varieties of Heyting algebras that are closed under hyper-MacNeille completions. In particular, connections between the centrally supplemented extension and Boolean products allow us to show that any finitely generated variety of Heyting algebras is closed under hyper-MacNeille completions. (shrink)

Context: The short history of the reception of the philosophy of non-dualism in science is a history of misunderstandings and cursory reception -- the latter especially concerns Mitterer's main work Das Jenseits der Philosophie (The Beyond of Philosophy, which still has not been translated into English). Non-dualism so far is mostly seen either as a kind of constructivism replacing the rhetoric of "construction" with a rhetoric of "description" or as an overall philosophical critique of the use of dualisms, dichotomies (...) or polarities in epistemological contexts. The core arguments of non-dualism are often completely ignored. This paper wishes to discuss them precisely and draw some conclusions. Approach: Close critical reading of Mitterer's texts, trying to avoid as many translation gaps as possible. Findings: Non-dualism reveals the infinite regress of classical philosophy of language: the categorical differentiation between language and the world leads to a systematic contradiction. While non-dualism also helps to deconstruct the pretension to speak "about reality" or to claim that "in fact" something is the case in everyday life, non-dualism refrains from giving satisfying answers to the great questions of mankind in the "metaphysical" context: questions of starting points/origins, meanings, causes, and the (implicitness of the) time arrow. Benefits: The intention of this paper is to stimulate a broader discussion -- so far limited by language -- extending it beyond German and Polish scientific circles. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:About and Beyond Comorbidity:Does the Crisis of the DSM Bring on a Radical Rethinking of Descriptive Psychopathology?Massimiliano Aragona (bio)Keywordscomorbidity, nosography, phenomenology, philosophy of scienceThe problem of psychiatric comorbidity is part of a series of difficulties of the current diagnostic system which at once were considered as a consequence of the way the system itself is organized (Aragona 2006). It was then believed that a Kuhnian reformulation of the contemporary (...) debate on the problems of the psychiatric diagnosis was very useful because it allowed clarification in a comprehensive picture of the many rivulets of conceptual research in that field.In their comments Zachar (2009) and Banzato (2009) seem to agree with my analysis of psychiatric comorbidity (Aragona 2009a) when it stresses that abnormally high frequencies of co-occurrence are to be explained, in important respects, as a consequence of the way mental disorders are operationalized in the Diagnostic and Statistical Manual of Mental Disorders (DSM; also showing the importance of conceptual clarification to deal with this sort of only apparently pure factual problems). On the contrary, they are both unconvinced of the appropriateness and/or fruitfulness of the use of the Kuhnian technical terms and theory in this context.It could be said that the major aim of the paper was to let clinicians understand the effect of conceptual decisions on what would otherwise seem as a simple empirical finding (in this case, high levels of comorbidity), and that this result seems to be achieved in any case, thus minimizing the importance of a disagreement about the philosophical terms as a pure terminological dispute. Nevertheless, in my work the Kuhnian model had a significant role in the clarification of this matter and it also suggests to the reader a range of possible consequences that are not trivial (Zachar, for example, says to be skeptical about the possibility of a crisis and also about the possibility that a new paradigm could eliminate what I call the [End Page 29] comorbidity anomaly). As a consequence, some of the Kuhnian concepts that seemed to be at odds in this context have to be considered in detail to justify my analysis and its consequences. For reasons of space, I avoid a point-by-point reply to all the comments and I concentrate my discussion on three main points. First, I discuss the background of Kuhn's definition of terms such as anomaly and paradigm, as well as my own reasons for using them. In doing so the details of the psychiatric items under study that I wanted to highlight through the use of these philosophical concepts should emerge more clearly. Second, I discuss the problem of having distinguished between artifactual and real comorbidity. Third, I reconsider some of these problems, looking for their implications for future psychopathological research.Anomalies and ParadigmsBanzato (2009) stresses that comorbidity cannot be a truly Kuhnian anomaly because it is an anticipated side effect of the initial setup of the DSM, and not some unexpected discovery that violates the paradigm-induced expectation. This is a basically correct account of the most known version of Kuhnian anomalies; that is, the tale of some evident nature's failure to conform to clear paradigm expectations, which immediately forces researchers to recognize its importance as a possible source of crisis. However, as is the case for many other Kuhnian terms, he discussed anomalies in several scripts and there are other possible versions of its meaning. In particular, Kuhn (1977, XVII) highlighted that only in very rare cases are anomalies completely unexpected and come out of blue to announce an imminent crisis that leads to a large revolution. More frequently, scientific revolutions are much more smaller, like the discovery of oxygen, and in these cases the process is so gradual that historians find it difficult to say exactly when a discovery was made and who did it. Even in these much smaller cases the usual prelude to changes of this sort is the awareness of anomaly, but here anomalies are not extraordinary events; rather, they are "countless discrepancies between theory and experiment [that] during the course of his career, every natural scientist again and again notices and passes by" (Kuhn... (shrink)

Descriptive Experience Sampling (DES) attempts to apprehend in high fidelity pristine inner experience (the naturally-occurring, directly-apprehended phenomena that fill our waking lives, including inner speaking, visual imagery, sensory awarenesses, etc.). Previous DES investigations had shown individual differences in the frequency of inner speaking ranging from nearly zero to nearly 100% of the time. In early 2020, the Internet was ablaze with comments expressing astonishment that constant internal monologue was not universal. We invited Lena, a university student who believed she had (...) constant internal monologue, to participate in a DES analog of a pre-registered study: We would announce, on the Internet, that we would conduct a fully transparent DES investigation and roll out videos of the DES interviews (and annotated transcripts) as they occurred in (almost) real-time, something like “reality TV about inner experience,” so that spectators could examine for themselves our characterizations of Lena and how we arrived at them. We describe here the procedure and its findings: Lena did _not_ have frequent internal monologue (contrary to her expectations); she _did_ have frequent visual imagery (to her surprise); and we speculated about the frequent presence of two simultaneous “centers of gravity” of her experience. The entire procedure is available for inspection. (shrink)

1. ExpositionRichard Sharvy's ‘A more general theory of definite descriptions’ was published in 1980. Its aim was to replace Russell's paradigm by " a general theory of definite descriptions, of which definite mass descriptions, definite plural descriptions, and Russellian definite singular count descriptions are species. … We have an account of the generic ‘the’ along these same lines. " By now his theory has attained the status of a new paradigm. Even a casual trawl of the literature throws up over (...) a score of citations and endorsements, and no rebuttals of its central contention that the primary use of ‘the’ is to indicate totality . We shall argue that it is wrong for mass description, wrong for singular description, wrong for plural description and wrong for generic ‘the’. Sharvy would have approved: his obituary says that his car displayed the slogan ‘Subvert the Dominant Paradigm’.He follows Russell in treating descriptions as incomplete symbols, but nothing in his paper turns on this aspect of it, and we can bypass the issue by considering them in the context of complete sentences. Where Russell translates F into the predicate calculus as Formula Sharvy translates it as Formula Here ≤ is supposed to stand for some or other species of part of relation. His other governing idea is of a predicate's being cumulative. G is cumulative if any number of things that satisfy G have a sum, i.e. a least upper bound with respect to ≤ which also satisfies G. The meanings of ≤, sum and cumulativity vary according to the different kinds of description, which we take in the order in which Sharvy presents them. Meanwhile, we note that he originally defined ‘sum’ to mean simply the l.u.b. , but subsequently redefined …. (shrink)

Opponents of the new mechanistic account of scientific explanation argue that the new mechanists are committed to a ‘More Details Are Better’ claim: adding details about the mechanism always improves an explanation. Due to this commitment, the mechanistic account cannot be descriptively adequate as actual scientific explanations usually leave out details about the mechanism. In reply to this objection, defenders of the new mechanistic account have highlighted that only adding relevant mechanistic details improves an explanation and that relevance is to (...) be determined relative to the phenomenon-to-be-explained. Craver and Kaplan (B J Philos Sci 71:287–319, 2020) provide a thorough reply along these lines specifying that the phenomena at issue are contrasts. In this paper, we will discuss Craver and Kaplan’s reply. We will argue that it needs to be modified in order to avoid three problems, i.e., what we will call the Odd Ontology Problem, the Multiplication of Mechanisms Problem, and the Ontic Completeness Problem. However, even this modification is confronted with two challenges: First, it remains unclear how explanatory relevance is to be determined for contrastive explananda within the mechanistic framework. Second, it remains to be shown as to how the new mechanistic account can avoid what we will call the ‘Vertical More Details are Better’ objection. We will provide answers to both challenges. (shrink)

We propose a definition of physical objects that aims to clarify some interpretational issues in quantum mechanics. We claim that the transformations generated by the objective properties of a physical system must be strictly interpreted as gauge transformations. We will argue that the uncertainty principle is a consequence of the mutual intertwining between objective properties and gauge-dependant properties. The proposed definition implies that in classical mechanics gauge-dependant properties are wrongly considered objective. We will conclude that, unlike classical mechanics, quantum mechanics (...) provides a complete objective description of physical systems. (shrink)

William of Poitiers began his career as a knight before studying in the schools of Poitiers and entering the Church. He became a chaplain in the household of William the Conqueror, and was able to give a first-hand account of the events of 1066-7. The Gesta Guillelmi, his unfinished biography of the king, is particularly important for its detailed description of William's campaigns in Normandy, the careful preparations he made for the invasion of England, the battle of Hastings and (...) the establishment of Norman power after the Conquest. It is a mine of information of military tactics and the conduct of war in the eleventh century. Though written from the point of view of the Norman court, it gives what is probably the most authentic account of these momentous events. This edition, by the late R. H. C. Davis and Marjorie Chibnall, with facing-page English translation of the Latin text, provides the first complete English translation, as well as a full historical introduction and detailed notes. (shrink)

This study posits that Bohr failed to defend the completeness of the quantum mechanical description of physical reality against Einstein–Podolsky–Rosen’s paper. Although there are many papers in the literature that focus on Bohr’s argument in his reply to the EPR paper, the purpose of the current paper is not to clarify Bohr’s argument. Instead, I contend that regardless of which interpretation of Bohr’s argument is correct, his defense of the quantum mechanical description of physical reality remained incomplete. (...) For example, a recent trend in studies of Bohr’s work is to suggest he considered the wave-function description to be epistemic. However, such an interpretation cannot be used to defend the completeness of the quantum mechanical description. (shrink)

Opponents of the new mechanistic account of scientific explanation argue that the new mechanists are committed to a ‘More Details Are Better’ claim: adding details about the mechanism always improves an explanation. Due to this commitment, the mechanistic account cannot be descriptively adequate as actual scientific explanations usually leave out details about the mechanism. In reply to this objection, defenders of the new mechanistic account have highlighted that only adding relevant mechanistic details improves an explanation and that relevance is to (...) be determined relative to the phenomenon-to-be-explained. Craver and Kaplan (B J Philos Sci 71:287–319, 2020) provide a thorough reply along these lines specifying that the phenomena at issue are contrasts. In this paper, we will discuss Craver and Kaplan’s reply. We will argue that it needs to be modified in order to avoid three problems, i.e., what we will call the Odd Ontology Problem, the Multiplication of Mechanisms Problem, and the Ontic Completeness Problem. However, even this modification is confronted with two challenges: First, it remains unclear how explanatory relevance is to be determined for contrastive explananda within the mechanistic framework. Second, it remains to be shown as to how the new mechanistic account can avoid what we will call the ‘Vertical More Details are Better’ objection. We will provide answers to both challenges. (shrink)

On the side of Niels Bohr, not to mention a few other physicists, there is an honest acknowledgment of a difficulty in understanding Einstein's objection to the “completeness” of the Ψ-function description of the quantum phenomenon. Yet the weight which Bohr himself attaches to Einstein's insistence may indicate that if the latter's difficulty could be understood, then, through the cooperation of understanding physicists, another great accomplishment of unification might be obtained which would be as fruitful for the future (...) as either or both the general theory of relativity and Bohr's statistical theory have been to the present. (shrink)

The Transactional Interpretation of quantum mechanics is a promising way of fulfilling Einstein’s vision of a completed quantum mechanics. However, it has received forceful criticism from Maudlin. Indeed, I shall argue that the force of Maudlin’s criticisms has been underestimated, and that none of the extant responses are adequate. An adequate response, I contend, requires reconceptualizing the kinds of explanations the Transactional Interpretation gives. I sketch such a reinterpretation and argue that it does not fall prey to Maudlin’s objections. However, (...) there remain significant obstacles in the way of formulating a fully adequate version of the Transactional Interpretation. (shrink)

In order to explain that sentences containing empty definite descriptions are nevertheless true or false, Russell famously analyzes sentences of the form ‘The F is G’ as ‘There is exactly one F and it is G’. Against this it has been objected that Russell’s analysis provides the wrong truth-conditions when it comes to non-doxastic attitude ascriptions. For example, according to Heim, Kripke, and Elbourne (HKE), there are circumstances in which (1) is true and (2) is false. Hans wants the ghost (...) in his attic to be quiet tonight.Hans wants there to be exactly one ghost in his attic and for it to be quiet tonight. After all, the argument goes, unlike (2), (1) can be true without Hans wanting there to be exactly one ghost in his attic. Kaplan and Neale famously reply that the HKE objection presupposes that non-doxastic attitudes are closed under entailment, which they are not. For Rostworowski, on the other hand, the problematic principle used by the HKE objection is a substitutivity principle for non-doxastic attitude ascriptions. This is further supported by the fact that, as Elbourne points out, Russell’s analysis already leads to a problem similar to the HKE objection together with substitutivity alone. By questioning substitutivity for non-doxastic attitude ascriptions, Rostworowski tries to block both the HKE objection and Elbourne’s variant of the HKE objection. In this paper, I will argue that Russell’s analysis of definite descriptions leads to a variant of the HKE objection even in the context of doxastic attitude ascriptions. Since, as we will see, doxastic attitude ascriptions do not seem to suffer from the substitutivity problems discussed by Rostworowski in the context of non-doxastic attitude ascriptions, this will further exacerbate the problem for Russell’s analysis. I will then discuss the possibility to reject substitutivity for doxastic attitude ascriptions using a contextualist analysis of attitude ascriptions. However, we will see that, independent of whether we accept substitutivity for doxastic attitude ascriptions, a complete solution of the doxastic problem has to reject Russell’s analysis of the truth-conditions of sentences of the form ‘The F is G’. Concluding, I will show that, unlike Russell’s analysis, the Frege–Strawson analysis of definite descriptions, according to which a sentence of the form ‘The F is G’ presupposes that there is exactly one F, rather than asserting it, provides an explanation of the HKE objection, Elbourne’s variant of the HKE objection, and the doxastic problem presented in this paper. This will speak not only in favor of a Fregean analysis of definite descriptions, but also of a Fregean conception of propositions. (shrink)

© 2014 International Journal of Philosophy and Theology. In the general introduction to the first part of his Philosophie de la Volonté, Le volontaire et l’involontaire Paul Ricoeur writes that the phenomenological or ‘pure description […] of the Voluntary and the Involuntary’ is ‘constituted by bracketing’ two things: first the fault, which is essentially a perversion of the pure nature or the essence of human willing; and second ‘Transcendence which hides within it the ultimate origin of subjectivity’. Evil, the (...) condition of brokenness or the reality of the fault, asks for an empirical description of concrete myths and symbols. He will remove this first bracketing in the second part of his Philosophy of the Will and in the long ‘series of detours’ of his hermeneutical writings. The second bracketing, however, will turn out to be much more difficult to remove. It demands a ‘poetics’, which would threaten Ricoeur’s effort to separate his Christian faith from his ‘autonomous’ philosophizing. In this article I argue that Ricoeur eventually did present his poetics, though only in the epilogue to his penultimate book on ‘Difficult Forgiveness’. The article indicates why this epilogue might fulfil the promise of a poetics, explains why this could only be done in an epilogue and gives at least one possible reason why Ricoeur could write at the end of his oeuvre, what he could not at its beginning. (shrink)

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling. Our logic extends the logic of typicality ALC + TR, based on the notion of rational closure, by inclusions p :: T(C) v D (“we have probability p that typical Cs are Ds”), coming from the distributed semantics of probabilistic Description Logics. Additionally, it embeds a set of cognitive heuristics (...) for concept combination. We show that the complexity of reasoning in our logic is EXPTIME-complete as in ALC. (shrink)

Phenomenology and Quantum theory have defined themselves against the subject-object tradition of thought and against the modern objectivistic attempt to unify explanation of reality or being. Scientific technology and calculative way of thinking have prevailed over meditative and qualitative thinking in modern times. Despite scientific efforts to eliminate any inconsistency caused by metaphysical speculations and systems, in everyday life and science we encounter such phenomena which cannot be explained unambiguously and fully on the basis of purely conventional criteria. This paper (...) focuses on Bohr's framework of complementarity. The idea enables us exploring and describing a given phenomenon in such manner that we get adequate knowledge of the same phenomenon or subject of interest only by completing incompatible descriptions. (shrink)

The type of completeness Whitehead and Russell aimed for in their Principia Mathematica was what I call descriptive completeness. This is completeness with respect to the propositions that have been proved in traditional mathematics. The notion of completeness addressed by Gödel in his famous work of 1930 and 1931 was completeness with respect to the truths expressible in a given language. What are the relative significances of these different conceptions of completeness for traditional mathematics? (...) What, if any, effects does incompleteness of the type Gödel had in mind have for the evaluation of the Principia Mathematica project and other projects like it? (shrink)

In the general introduction to the first part of his Philosophie de la Volonté, Le volontaire et l’involontaire Paul Ricoeur writes that the phenomenological or ‘pure description […] of the Voluntary and the Involuntary’ is ‘constituted by bracketing’ two things: first the fault, which is essentially a perversion of the pure nature or the essence of human willing; and second ‘Transcendence which hides within it the ultimate origin of subjectivity’. Evil, the condition of brokenness or the reality of the (...) fault, asks for an empirical description of concrete myths and symbols. He will remove this first bracketing in the second part of his Philosophy of the Will and in the long ‘series of detours’ of his hermeneutical writings. The second bracketing, however, will turn out to be much more difficult to remove. It demands a ‘poetics’, which would threaten Ricoeur’s effort to separate his Christian faith from his ‘autonomous’ philosophizing. In this article I argue that Ricoeur eventually did present his poetics, though only in the epilogue to his penultimate book on ‘Difficult Forgiveness’. The article indicates why this epilogue might fulfil the promise of a poetics, explains why this could only be done in an epilogue and gives at least one possible reason why Ricoeur could write at the end of his oeuvre, what he could not at its beginning. (shrink)

A brief and critical survey of wave-particle duality and nonlocality aspects of light is presented. A recent attempt to establish a reasonable framework for nonlocal realistic theories based on physically sound arguments and a proposed experiment to decide between such theories and the usual interpretation of quantum mechanical formalism are reviewed. It is shown that a nonlocal realistic approach may raise some new questions which could be answered by means of a program based on a sequence of experiments.

Structural and functional descriptions of technical artefacts play an important role in engineering practice. A complete description of a technical artefact involves a description of both functional and structural features. Engineers, moreover, assume that there is an intimate relationship between the function and structure of technical artefacts and they reason from functional properties to structural ones and vice versa. This raises the question of how structural and functional descriptions are related. The kind of inference patterns that establish coherence (...) between structural and functional descriptions are explored in this paper, using the analysis of coherence creating relations of Thagard et al. Explanatory, analogical and practical inference patterns are discussed and it is argued that of these three, practical inferences may be the most important. Practical inferences, however, cannot provide a full underpinning of the coherence of structural and functional descriptions of technical artefacts. The paper ends with the suggestion that any account of the coherence of the structural and functional descriptions of technical artefacts must involve reference to their intentional features.Keywords: Technical artefact; Structural description; Functional description; Coherence relation; Practical inference. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 40.1 (2002) 134-135 [Access article in PDF] Book Review Merleau-Ponty's Last Vision: A Proposal for the Completion of 'The Visible and the Invisible Douglas Low. Merleau-Ponty's Last Vision: A Proposal for the Completion of 'The Visible and the Invisible.' Evanston, IL: Northwestern University Press, 2000. Pp. xv + 124. Cloth, $75.00. Paper, $19.95. Low sets himself an impossible task, that of completing the (...) uncompleted work of a philosopher whose untimely decease prevented him from doing so himself. What he does succeed in providing is a systematic commentary and a rich integration of Merleau-Ponty's later philosophy. This task itself is important since it is believed by many that Merleau-Ponty's premature death prevented the completion of a book that would have altered the philosophical scene of Paris in the 1960s, and that, moreover, even in its incomplete form, speaks to pressing contemporary philosophical debates on such issues as mind/body dualism, and our relation to nature.The main focus of Low's reading is Merleau-Ponty's philosophy of language, which Low appropriately situates as a mediation between a modernist philosophy of presence and a postmodern Derridean approach to language as the constant deferral of meaning. Language is not the repository for ideal essences, nor do existents have an immediate [End Page 134] coincidence or fusion with things or the world. Indeed, the strength of Merleau-Ponty's philosophy is that he begins with an understanding of human action as meaningfully orientated; to move in the world is to interpretatively encounter it. As Low points out, "an ontological priority [is] granted to the body and the world upon which it opens, for together in lived experience they sustain a field of stable meanings, meanings that are then sublimated in the bodily gesture called speech" (22). Low differs from most Merleau-Ponty scholars in his assumption that there is no significant break between the earlier Phenomenology of Perception, where Merleau-Ponty carefully worked out his descriptions of embodied perception, and the later work that lays out the ontology. Indeed, one accomplishment of Low's book is to show how they fit together, explaining how the insights of the first work are necessary for grounding the ontology Merleau-Ponty began to work out in the later one.Low's book is divided into two sections. The first section, "The Visible and Nature," focuses on how we encounter the world, concluding with a helpful summary and assessment of Merleau-Ponty's ontology. Drawing upon the late essay "Eye and Mind," Low lays out Merleau-Ponty's ontology through his intuition that modern art, unlike the representational focus of Renaissance art, reveals our contact with the world as a "system of exchanges between the sensing and the sensible" (56). Perceiving the artwork is not an intellectual computation of a second-order representation of the world; rather, we see according to the work. It is a bodily process that reveals a reversibility between the viewer and the world. The second section, "The Invisible and Logos," focuses on how these encounters are sublimated or taken up in language. Language is, for Merleau-Ponty, first speech since it relies upon a speaker to take it up, "to sustain and modify it." Signs, gestures, and meaning are folded into one another. As embodied beings, we literally grasp meaning (89).This book would be of enormous benefit to scholars embarking on a reading of Merleau-Ponty's works, and it is one I highly recommend for that purpose. Although it is not original in its interpretations, its value lies in its gathering and integration of complex themes that provide an important introduction to Merleau-Ponty's late philosophy. The book maps out, moreover, a chronology of these themes and the specifics of where to find them; it also shows how the fragments fit together, indicating directions in which they might lead. His writing style is accessible without being simplistic. By interweaving his interpretations with long quotes from... (shrink)

In this paper we study finitary extensions of the nilpotent minimum logic or equivalently quasivarieties of NM-algebras. We first study structural completeness of NML, we prove that NML is hereditarily almost structurally complete and moreover NM\, the axiomatic extension of NML given by the axiom \^{2}\leftrightarrow ^{2})^{2}\), is hereditarily structurally complete. We use those results to obtain the full description of the lattice of all quasivarieties of NM-algebras which allow us to characterize and axiomatize all finitary extensions of (...) NML. (shrink)

In this work, we propose a meaningful extension of description logics for non-monotonic reasoning. We introduce \, a logic allowing for the representation of and reasoning about both typical class-membership and typical instances of a relation. We propose a preferential semantics for \ in terms of partially-ordered DL interpretations which intuitively captures the notions of typicality we are interested in. We define a tableau-based algorithm for checking \ knowledge-base consistency that always terminates and we show that it is sound (...) and complete w.r.t. our preferential semantics. The general framework we here propose can serve as the foundation for further exploration of non-monotonic reasoning in description logics and similarly structured logics. (shrink)

We apply some tools developed in categorical logic to give an abstract description of constructions used to formalize constructive mathematics in foundations based on intensional type theory. The key concept we employ is that of a Lawvere hyperdoctrine for which we describe a notion of quotient completion. That notion includes the exact completion on a category with weak finite limits as an instance as well as examples from type theory that fall apart from this.

ABSTRACT Objective: To describe how local research ethics committees (LRECs) consider and apply research ethics in the evaluation of biomedical research proposals. Design: A qualitative study was conducted using purposeful sampling, focus groups and a grounded theory approach to generate data and to analyse the work of the LRECs. Setting and participants: 11 LRECs of the Mexican Institute of Social Security (IMSS). Results: LRECs considered ethics to be implicit in all types of research, but that ethics reviews were only necessary (...) for projects that included the direct participation of human beings. The LRECs appeared to understand the importance of consent, as in the completion of a consent form, but did not emphasise the importance of the process of acquiring ‘informed’ consent. The committees considered their main roles or functions to be: (a) to improve the methodological quality of research and to verify – if applicable – the ethical aspects; (b) to encourage personnel to undergo research training; (c) to follow‐up research to oversee the adherence to norms and compliance with a specified research timetable. Conclusions: This study provides a valuable insight into how these LRECs understand the ethical review process. The emphasis of the committees was on rules, regulations, improving research methodology and research training, rather than a focus on efforts to protect the rights and well being of research subjects. The results encourage further normative and descriptive lines of investigation concerning education and the development of LRECs. (shrink)

In this essay I argue that given Donnellan’s formulation of the attributive uses of definite descriptions, as well as Kripke’s [6] and Salmon’s [10] generalized accounts, most uses of definite descriptions that are taken to be attributive turn out not to be so. In building up to my main thesis, I first consider certain problematic cases of uses of definite descriptions that do not neatly fit into any category. I then argue that, in general, a complete definite description we (...) use is complex, in which there is an embedded singular term that is used referentially. From this I conclude that an attributive use of a definite description is an extremely rare linguistic phenomenon, much less frequent than what Donnellan, Kripke, and Salmon have presupposed; so much so that the standard examples given by Donnellan of the attributive use of definite descriptions do not qualify as attributive. (shrink)

This paper discusses Gordon Baker’s interpretation of the later Wittgenstein, in particular his interpretation of the notion of Wittgensteinian philosophical conceptions and the notions of non-exclusivity, local incompatibility, non-additivity and global pluralism which Baker uses to characterize Wittgensteinian conceptions. On the basis of this discussion, and a critique of certain features of Baker’s interpretation of Wittgensteinian conceptions, I introduce the notion of a multidimensional logical description of language use, explaining how this notion, which Baker’s interpretation excludes, constitutes and important (...) element of the later Wittgenstein’s philosophical method of clarification and perspicuous representation. I conclude by explaining how Baker’s problematic notions of local incompatibility and non-additivity, if they are seen in the light of Wittgenstein’s criticisms of certain views of the completeness of philosophical or logical accounts, nevertheless point in the right direction. (shrink)

The first section of this chapter presents a close reading of Wittgenstein’s “Remarks on Logical Form”, focusing on the conception of the relationship between language and experience, and the nature of the analysis of immediate experience that are set out there. Section two sets out an interpretation of what Wittgenstein meant when he said that he had rejected “phenomenological language” or “primary language” as his goal. Distinguishing between a weak and a strong sense of these terms shows how he could (...) have given up the goal of formulating a language that would amount to a complete analysis of immediate experience, yet retain the goal of finding ways of clarifying what we say about experience. Section three discusses Wittgenstein’s use of the analogy of the pictures on a roll of film in a movie projector and the pictures on a cinema screen for the relationship between world and experience. The final section analyzes how and why the analogy leads Wittgenstein to a paradoxical conception of immediate experience as a separate realm, “timeless” and “neighborless”, a conception of the “world as idea” that is supposedly inexpressible. (shrink)

The prevalence of fear of movement in persistent pain ranges from 50 to 70%, and it may hinder the subsequent rehabilitation interventions. Therefore, the evaluation of fear of movement/injury plays a crucial role in making clinical treatment decisions conducive to the promotion of rehabilitation and prognosis. In the decision-making process of pain treatment, the assessment of fear of movement/injury is mainly completed by scale/questionnaire. Scale/questionnaire is the most widely used instrument for measuring fear of movement/injury in the decision-making process of (...) pain treatment. At present, the most commonly used scale/questionnaire are the Tampa Scale for Kinesiophobia, the Fear-Avoidance Beliefs Questionnaire, the Kinesiophobia Causes Scale, the Athlete Fear-Avoidance Questionnaire, and the Fear-Avoidance Components Scale. In order to provide necessary tools and references for related research and rehabilitation treatment, this descriptive review is designed as an introduction to the background and content, score system, available language versions, variants of the original questionnaire, and psychometric properties of these scales/questionnaries. (shrink)

We show that if κ is a weakly compact cardinal then the embeddability relation on trees of size κ is invariantly universal. This means that for every analytic quasi-order R on the generalized Cantor space View the MathML source there is an Lκ+κ-sentence φ such that the embeddability relation on its models of size κ, which are all trees, is Borel bi-reducible to R. In particular, this implies that the relation of embeddability on trees of size κ is complete for (...) analytic quasi-orders on View the MathML source. These facts generalize analogous results for κ=ω obtained in Louveau and Rosendal [17] and Friedman and Motto Ros [6], and it also partially extends a result from Baumgartner [3] concerning the structure of the embeddability relation on linear orders of size κ. (shrink)

Our goal was to test the efficiency and accuracy of a complementary morning report, after recall cue, of an experience made and first described during the night. Twenty participants were awakened 10 min after the onset of the second REM sleep. Upon awakening, on one night they described the dream they just had and on the other night they were presented a 4-min video, then had to describe it. A new description requested in the morning after a recall cue (...) yielded an important amount of new information both for the film and the dreams, and for the film, where the accuracy could be checked, 86% of this new information was accurate. Some aspects of the results pointed to an effect of hypermnesia. In conclusion, the morning additional information after recall cue stems from a good access to the memory of the night experience. (shrink)

In an earlier paper written in loving memory of Asher Peres, we gave a critical analysis of the celebrated 1935 paper in which Einstein, Podolsky and Rosen (EPR) challenged the completeness of quantum mechanics. There, we had pointed out logical shortcomings in the EPR paper. Now, we raise additional questions concerning their suggested program to find a theory that would “provide a complete description of the physical reality”. In particular, we investigate the extent to which the EPR argumentation (...) could have lead to the more dramatic conclusion that quantum mechanics is in fact incorrect. With this in mind, we propose a speculation, made necessary by a logical shortcoming in the EPR paper caused by the lack of a necessary condition for “elements of reality”, and surmise that an eventually complete theory would either be inconsistent with quantum mechanics, or would at least violate Heisenberg’s Uncertainty Principle. (shrink)

In this essay I argue that given Donnellan’s formulation of the attributive uses of definite descriptions, as well as Kripke’s [6] and Salmon’s [10] generalized accounts, most uses of definite descriptions that are taken to be attributive turn out not to be so. In building up to my main thesis, I first consider certain problematic cases of uses of definite descriptions that do not neatly fit into any category. I then argue that, in general, a complete definite description we (...) use is complex, in which there is an embedded singular term that is used referentially. From this I conclude that an attributive use of a definite description is an extremely rare linguistic phenomenon, much less frequent than what Donnellan, Kripke, and Salmon have presupposed; so much so that the standard examples given by Donnellan of the attributive use of definite descriptions do not qualify as attributive. (shrink)

In this essay I argue that given Donnellan’s formulation of the attributive uses of definite descriptions, as well as Kripke’s [6] and Salmon’s [10] generalized accounts, most uses of definite descriptions that are taken to be attributive turn out not to be so. In building up to my main thesis, I first consider certain problematic cases of uses of definite descriptions that do not neatly fit into any category. I then argue that, in general, a complete definite description we (...) use is complex, in which there is an embedded singular term that is used referentially. From this I conclude that an attributive use of a definite description is an extremely rare linguistic phenomenon, much less frequent than what Donnellan, Kripke, and Salmon have presupposed; so much so that the standard examples given by Donnellan of the attributive use of definite descriptions do not qualify as attributive. (shrink)

The act of judging how matters stand was a subject of investigation for Husserl throughout his career. The recurrence of this theme in his work indicates the great importance which Husserlian phenomenology attributed to the task of uncovering the nature of judgment. Scholarly commentary on Husserl has, until now, lacked one of the essential elements for a complete account of Husserl on judgment, because there was no full-length investigation into the important theme of "vague judgment" in his writings. ;This dissertation (...) is a critical interpretation of Husserl's principle texts on vague judgment. In addition to using the general norms of scholarly analysis, it takes great care to understand Husserl from within the transcendental reduction, lest his statements be misinterpreted as paradoxes dissolving into incoherence. The dissertation also seeks to identify the relation of the elements of the description of vague judgment to the more fundamental principles of phenomenology: parts/whole, identity/difference, empty/filled, presence/absence. This investigation starts with Husserl's fullest treatment of categorical vagueness, from Formal and Transcendental Logic , and then considers the theme in Ideas I and Logical Investigations , with a consideration of the use which Husserl makes of this description to analyze cultural sediments in The Origin of Geometry . ;The study concludes that vague judging is an empty act in which from the whole which possesses an attribute there does not emerge that attribute as a distinct part to be then identified with its whole. Because of this failure to think articulatedly, the fact, even in its perceptual presence, is absent as it itself. This description also brings to light essential notes of vague judgment and its foundation, viz., time. Finally this dissertation shows that Husserl's description of vague judgment unfolded organically, without basic reversal, over the course of his life's work. (shrink)

Slightly modified version, as it appeared in Striegnitz, K. et al. Special Issue: The Language Sections of the ESSLLI-01 Student Session, Human Language Technology Theses. 2002.