This paper is a culmination of our new foundations for recursive analysis through recursive topology as reported in Kalantari and Welch 125; 98 87). While in those papers we developed groundwork for an approach to point free analysis and applied recursion theory, in this paper we blend techniques of recursion theory with those of topology to establish new findings. We present several new techniques different from existing ones which yield interesting results. Incidental to our work is a unifying explanation (...) of various schools of study for recursive analysis. (shrink)

We argue that the debate about the normativity of belief thesis has been hampered by the slogan, ‘belief aims at truth’. We show that the slogan provides no content to the normativity of belief. The slogan encourages formulations of the norm as a prescriptive norm. There are well-known problems with such formulations. We provide a new formulation of the thesis as a prohibitive norm. This captures the key intuition most normativists about belief want to endorse.

This paper is an investigation of definability hierarchies on effective topological spaces. An open subset U of an effective space X is definable iff there is a parameter free definition φ of U so that the atomic predicate symbols of φ are recursively open relations on X . The complexity of a definable open set may be identified with the quantifier complexity of its definition. For example, a set U is an ∃∃∀∃-set if it has an ∃∃∀∃ parameter free definition (...) using only recursively open predicate symbols. Since X is not equipped with a natural pairing apparatus such a U need not be an ∃∀∃-set. Let Σ denote the class of all ∃-sets, ∃∃-sets, ∃∃∃-sets etc. We show that an open set is in Σ iff it is equivalent modulo a nowhere dense set to a recursively enumerable open set . Thus Σ = e.r.e. Indeed we show the existence of a universal Σ -set as well as the existence of universal sets for higher levels of the definability hierarchy. (shrink)

The recursion-theoretic study of mathematical structures other thanωis now a field of much activity. Analysis and algebra are two such structures which have been studied for their effective contents. Studies in analysis began with the work of Specker on nonconstructive proofs in analysis [16] and in Lacombe's inspiring notes on relevant notions of recursive analysis [8]. Studies in algebra originated in the work of Frolich and Shepherdson on effective extensions of explicit fields [1] and in Rabin's study of computable fields (...) [15]. Equipped with the richness of modern techniques in recursion theory, Metakides and Nerode [11]–[13] began investigating the effective content of vector spaces and fields; these studies have been extended by Kalantari, Remmel, Retzlaff, Shore and others.Kalantari and Retzlaff [5] began a foundational inquiry into effectiveness in topological spaces. They consider a topological spaceXwith a countable basis ⊿ for the topology. The space isfully effective, that is, the basis elements are coded intoωand the operation of intersection of basis elements and the relation of inclusion among them are both computable. Similar to, the lattice of recursively enumerable subsets ofω, the collection of r.e. open subsets ofXforms a latticeℒunder the usual operations of union and intersection. (shrink)

We study topological constructions in the recursion theoretic framework of the lattice of recursively enumerable open subsets of a topological space X. Various constructions produce complemented recursively enumerable open sets with additional recursion theoretic properties, as well as noncomplemented open sets. In contrast to techniques in classical topology, we construct a disjoint recursively enumerable collection of basic open sets which cannot be extended to a recursively enumerable disjoint collection of basic open sets whose union is dense in X.

In [5], Metakides and Nerode introduced the study of recursively enumerable substructures of a recursively presented structure. The main line of study presented in [5] is to examine the effective content of certain algebraic structures. In [6], Metakides and Nerode studied the lattice of r.e. subspaces of a recursively presented vector space. This lattice was later studied by Kalantari, Remmel, Retzlaff and Shore. Similar studies have been done by Metakides and Nerode [7] for algebraically closed fields, by Remmel [10] (...) for Boolean algebras and by Metakides and Remmel [8] and [9] for orderings. Kalantari and Retzlaff [4] introduced and studied the lattice of r.e. subsets of a recursively presented topological space. Kalantari and Retzlaff consideredX, a topological space with ⊿, a countable basis. This basis is coded into integers and with the help of this coding, r.e. subsets ofωgive rise to r.e. subsets ofX. The notion of “recursiveness” of a topological space is the natural next step which gives rise to the question of what should be the “degree” of an r.e. open subset ofX? It turns out that any r.e. open set partitions ⊿; into four sets whose Turing degrees become central in answering the question raised above.In this paper we show that the degrees of the elements of the partition of ⊿ imposed by an r.e. open set can be “controlled independently” in a sense to be made precise in the body of the paper. In [4], Kalantari and Retzlaff showed that givenAany r.e. set andany r.e. open subset ofX, there exists an r.e. open set ℋ which is a subset ofand is dense in and in whichAis coded. This shows that modulo a nowhere dense set, an r.e. open set can become as complicated as desired. After giving the general technical and notational machinery in §1, and giving the particulars of our needs in §2, in §3 we prove that the set ℋ described above could be made to be precisely of degree ofA. We then go on and establish various results on the mentioned partitioning of ⊿. One of the surprising results is that there are r.e. open sets such that every element of partitioning of ⊿ is of a different degree. Since the exact wording of the results uses the technical definitions of these partitioning elements, we do not summarize the results here and ask the reader to examine §3 after browsing through §§1 and 2. (shrink)

In this paper we continue our work of Kalantari and Welch . There we introduced machinery to produce a point-free approach to points and functions on topological spaces and found conditions for both which lend themselves to effectivization. While we studied recursive points in that paper, here, we present two useful classes of recursive functions on topological spaces, apply them to the reals, and find precise accounting for the nature of the properties of some examples that exist in the (...) literature. We end with a construction of a recursive function on a small subset of the unit interval which is strongly nonextendible. (shrink)

In this paper we develop a point-free approach to the study of topological spaces and functions on them, establish platforms for both and present some findings on recursive points. In the first sections of the paper, we obtain conditions under which our approach leads to the generation of ideal objects with which mathematicians work. Next, we apply the effective version of our approach to the real numbers, and make exact connections to the classical approach to recursive reals. In the succeeding (...) sections of the paper, we introduce machinery to produce functions on topological spaces and find succinct conditions which will be effectivized in our sequel. (shrink)

According to many philosophers, the notion of belief is constitutively normative ; Shah ; Shah and Velleman (); Gibbard (); Wedgwood ). In a series of widely discussed papers, Terence Horgan and Mark Timmons have developed an ingenious ‘Moral Twin Earth’ argument against ‘Cornell Realist’ metaethical views which hold that moral terms have synthetic natural definitions in the manner of natural kind terms. In this paper we shall suggest that an adaptation of the Moral Twin Earth argument to the doxastic (...) case – Doxastic Twin Earth – provides new evidence for the normativity of belief. (shrink)

Much of the recent literature on the normativity of belief has focused on undermining or defending narrow scope readings of doxastic norms. Wide scope readings are largely assumed to have been decisively refuted. This paper will oppose this trend by defending a wide scope reading of the norm of belief. We shall argue for the modest claim that if it is plausible to regard belief as constitutively normative (in the minimal sense that false belief is eo ipso defective), then a (...) modified version of the wide scope reading of the norm of belief should be preferred to the narrow scope reading. (This is subject to certain attractive conditions relating to the holism involved in the fixation and confirmation of belief.). (shrink)

Kripke uses a fictional skeptical character in order to review and refuses “cognitive meaning” theory. According to this theory, the propositions which contain reference to the meaning show the state of mind of belief which is a correct state of mind. In order to challenge this theory, Kripke uses another theory which is known as “Normativity of meaning” in philosophic literature. According to the latter theory, meaning of a word limits its application in a normative way; for example, if I (...) use ‘table’, I mean table, then I should use this word for the things which are really table. On the other hand, in meta-ethics, there is a famous argument named “motivational introversion argument”, presented by Michael Smith, whose purpose is to reject “moral cognitivism”, the sentences which include references to moral concepts in an action show state of mind of belief which is a correct state of mind. The following article is going to discuss the possibility of the developing of Michael Smith’s motivational introversion argument into the sphere of meaning. In other words, this paper is a comparative study of fields of meta-ethics and philosophy of language, i.e. it examines whether there can be an argument similar to Michael Smith’s so that one can come to reject meaningful cognitivism. (shrink)

We develop the concepts of recursively nowhere dense sets and sets that are recursively of first category and study closed sets of points in light of Baire's Category Theorem. Our theorems are primarily concerned with exdomains of recursive quantum functions and hence with avoidable points . An avoidance function is a recursive function which can be used to expel avoidable points from domains of recursive quantum functions. We define an avoidable set of points to be an arbitrary subset of the (...) avoidable points of a single avoidance function, and we study an effective union of such sets which we call a piecemeal avoidable set. We note that each of ‘the set of recursive points’ and ‘the set of avoidable points’ is of first category but not recursively of first category. We show an exdomain exists which is recursively nowhere dense, as well as one that is nowhere dense but not recursively nowhere dense. After establishing that every exdomain is recursively of first category, we prove that given any fixed exdomain, there is another exdomain, which while dense in the underlying space, is disjoint from the fixed exdomain. Finally, we show how to build a recursive sequence of recursive quantum functions that have mutually disjoint, dense exdomains. (shrink)

In this paper we first give a variant of a theorem of Jockusch–Lewis– Remmel on existence of a computable, degree-preserving homeomorphism between a bounded strong ${\Pi^0_2}$ class and a bounded ${\Pi^0_1}$ class in 2 ω . Namely, we show that for mathematically common and interesting topological spaces, such as computably presented ${\mathbb{R}^n}$ , we can obtain a similar result where the homeomorphism is in fact the identity mapping. Second, we apply this finding to give a new, priority-free proof of existence (...) of a tree of shadow points computable in 0′. (shrink)

This paper continues our study of computable point-free topological spaces and the metamathematical points in them. For us, a point is the intersection of a sequence of basic open sets with compact and nested closures. We call such a sequence a sharp filter. A function fF from points to points is generated by a function F from basic open sets to basic open sets such that sharp filters map to sharp filters. We restrict our study to functions that have at (...) least all computable points in their domains.We follow Turing's approach in stating that a point is computable if it is the limit of a computable sharp filter; we then define the Turing degree Deg of a general point x in an analogous way. Because of the vagaries of the definition, a result of J. Miller applies and we note that not all points in all our spaces have Turing degrees; but we also show a certain class of points do. We further show that in ℝn all points have Turing degrees and that these degrees are the same as the classical Turing degrees of points defined by other researchers.We also prove the following: For a point x that has a Turing degree and lies either on a computable tree T or in the domain of a computable function fF, there is a sharp filter on T or in dom converging to x and with the same Turing degree as x. Furthermore, all possible Turing degrees occur among the degrees of such points for a given computable function fF or a complete, computable, binary tree T. For each x ∈ dom for which x and fF have Turing degrees, Deg) ≤ Deg. Finally, the Turing degrees of the sharp filters convergent to a given x are closed upward in the partial order of all Turing degrees. (shrink)

My dissertation concerns post Kripkean debates which locate normativity not as a feature of linguistic meaning but as applicable to mental content. My aim is to identify a clear sense in which the thesis is plausible and to defend the thesis against recent criticisms. In order to do this, I will consider the two main premises that the normativity thesis is based upon, namely, (a) that belief is conceptually priority to desire and (b) that belief is a normative concept. Most (...) criticisms of the normativity thesis in the literature argue against the latter premise, namely, the normativity of belief thesis. I first argue that recent objections against the priority of belief to desire do not undermine the normativity thesis in the case of mental content. I then concentrate on the normativity of belief to defend the thesis. I will consider the logic of the normativity of belief thesis and suggest viable formulations of the thesis. I will also defuse recent objections against the normativity of belief thesis and I establish a new argument for the thesis. (shrink)

This paper is a sequel to our [7]. In that paper we constructed a Π1 0 tree of avoidable points. Here we construct a Π1 0 tree of shadow points. This tree is a tree of sharp filters, where a sharp filter is a nested sequence of basic open sets converging to a point. In the construction we assign to each basic open set on the tree an address in 2<ω. One interesting fact is that while our Π1 0 tree (...) of sharp filters (a subtree of Δ<ω) is isomorphic to the tree of addresses (a subtree of 2<ω), the tree of addresses is recursively enumerable but not recursive. To achieve this end we use a finite injury priority argument. (shrink)

The process of urban landmark-based navigation has proven to be difficult to study in a rigorous fashion, primarily due to confounding variables and the problem of obtaining reliable data in real-world contexts. The development of high-resolution, immersive virtual reality technologies has opened exciting new possibilities for gathering data on human wayfinding that could not otherwise be readily obtained. We developed a research platform using a virtual environment and electroencephalography to better understand the neural processes associated with landmark usage and recognition (...) during urban navigation tasks. By adjusting the architectural parameters of different buildings in this virtual environment, we isolated and tested specific design features to determine whether or not they served as a target for landmarking. EEG theta band event-related synchronization/desynchronization over posterior scalp areas was evaluated at the time when participants observed each target building along a predetermined self-paced route. A multi-level linear model was used to investigate the effects of salient architectural features on posterior scalp areas. Our results support the conclusion that highly salient architectural features—those that contrast sharply with the surrounding environment—are more likely to attract visual attention, remain in short-term memory, and activate brain regions associated with wayfinding compared with non-salient buildings. After establishing this main aggregate effect, we evaluated specific salient architectural features and neural correlates of navigation processing. The buildings that most strongly associated extended gaze time, location recall accuracy, and changes in theta-band neural patterns with landmarking in our study were those that incorporated rotational twist designs and natural elements such as trees and gardens. Other building features, such as unusual façade patterns or building heights, were to a lesser extent also associated with landmarking. (shrink)

There is substantial evidence to indicate that women have not been compensated fairly for their work when compared to men in similar positions. This article explores the gender biases built into the job evaluation process and the role this might play in explaining the wage gap. This exploration is also based on the review of the relevant literature on both sides of the comparable worth debate. In addition, the effects of market forces and organizational values in determining both wages and (...) job structure is investigated. (shrink)

The normativity of mental content thesis appears to have been the most influential in contemporary philosophy of mind. Paul Boghossian (2003, 2005) has developed an argument for the normativity of mental content on the basis of two premises, i.e. firstly, the normativity of the notion of belief and secondly, the priority of the notion of belief to the notion of desire. In his recent article Alexander Miller (2008) has criticised Boghossian’s argument for the normativity of mental content. To make the (...) objection against the normativity of content, Miller has argued that the second premise of Boghossian’s argument is since belief and desire are conceptually interdependent. My purpose in this paper is to show that content normativity thesis prevails Miller's attack. In order to establish the claim I will argue that content is normative even if belief and desire are conceptually interdependent. (shrink)

The Problem of Perception offers two arguments against direct realism--one concerning illusion, and one concerning hallucination--that no current theory of ...

A. H. Louie's More Than Life Itself is an exploratory journey in relational biology, a study of life in terms of the organization of entailment relations in living systems. This book represents a synergy of the mathematical theories of categories, lattices, and modelling, and the result is a synthetic biology that provides a characterization of life. Biology extends physics. Life is not a specialization of mechanism, but an expansive generalization of it. Organisms and machines share some common features, but organisms (...) are not machines. Life is defined by a relational closure that places it beyond the reach of physicochemical and mechanistic dogma, outside the reductionistic universe, and into the realm of impredicativity. Function dictates structure. Complexity brings forth living beings. (shrink)

In this paper I examine Grace A. de Laguna’s theory of universals in its historical context and in relation to contemporary debates in analytic metaphysics. I explain the central features of her theory, arguing that her theory should be classified as a form of immanent realism and as a powers ontology. I then show in what ways her theory affords a theory of modality in terms of potentialities and discuss some of its consequences along the way.

This book argues for the use of nonideal theory in social ontology. The central claim is that a paradigm shift is underway in contemporary social ontology, from ideal to nonideal, and that this shift should be fully followed through. To develop and defend this central claim, the first step is to show that the key questions and central dividing lines within contemporary social ontology can be fruitfully reconstructed as a clash between two worlds, referred to as ideal and nonideal social (...) ontology. Ideal social ontology is characterized by consensus and cooperation, while nonideal social ontology is characterized by conflict and contestation. The second step is to show that, when taken together, objections to the standard model of ideal social ontology (the dominant version of ideal social ontology) imply that this model needs to be given up in favor of nonideal social ontology. In other words, we should look to nonideal rather than ideal social ontology for core concepts. The third step is to offer a positive account, called the power view, of nonideal social ontology. This account places the concept of social power at the core of a general theory of the social world and replaces the flat and narrow conception of power in ideal social ontology with a richer and more extensive conception. In addition, it rectifies a shortcoming in nonideal social ontology by attending to class, which has been notably and oddly overlooked in the literature. (shrink)

This companion is a cutting-edge primer to critical forms of the posthumanities and the feminist posthumanities, aimed at students and researchers who want to catch up with the recent theoretical developments in various fields in the humanities, such as new media studies, gender studies, cultural studies, science and technology studies, human animal studies, postcolonial critique, philosophy and environmental humanities. It contains a collection of nineteen new and original short chapters introducing influential concepts, ideas and approaches that have shaped and developed (...) new materialism, inhuman theory, critical posthumanism, feminist materialism, and posthuman philosophy. A resource for students and teachers, this comprehensive volume brings together established international scholars and emerging theorists, for timely and astute definitions of a moving target – posthuman humanities and feminist posthumanities. (shrink)

I. Ókor -- II. A középkor és a reneszánsz -- III. Az újkor.

On fundamentals of Vedanta and science; a study.

Desde la aparición, en 1927, de su obra central Ser y tiempo, Martin Heidegger ha sido y sigue siendo considerado por amplios sectores de opinión como el filósofo más importante del siglo XX. Frente a esta sobrevaloración del filósofo de los Bosques Negros, Heleno Saña procede, en su documentadísimo libro, a una crítica de la filosofía heideggeriana, intentando demostrar que está basada en una tergiversación e instrumentalización sistemáticas de la terminología y los conceptos esenciales de la filosofía clásica. El resultado (...) final de sus ejercicios hermenéuticos y sus continuos malabarismos lingüísticos, es un irracionalismo de índole claramente nihilista, por su culto implícito y explícito a la muerte. En este sentido es altamente significativo que a la biografía y a la filosofía heideggerianas pertenezcan su adhesión al nacionalsocialismo y la glorificación de Alemania como la “raza de los señores” por excelencia, tema al que Heleno Saña dedica la debida atención. Uno de los signos distintivos de este ensayo es el de la claridad con que expone sus tesis, de manera que el libro no está pensado solo para eruditos, sino para todas las personas interesadas en ampliar sus conocimientos culturales y filosóficos. (shrink)