This book offers a theoretical investigation into the general problem of reality as a multiplicity of ‘finite provinces of meaning’, as developed in the work of Alfred Schutz. A critical introduction to Schutz’s sociology of multiple realities as well as a sympathetic re-reading and reconstruction of his project, Experiencing Multiple Realities traces the genesis and implications of this concept in Schutz’s writings before presenting an analysis of various ways in which it can shed light on major sociological (...) problems, such as social action, social time, social space, identity, or narrativity. (shrink)

This work is a critical introduction to Alfred Schutz’s sociology of the multiple reality and an enterprise that seeks to reassess and reconstruct the Schutzian project. In the first part of the study, I inquire into Schutz’s biographical con- text that surrounds the germination of this conception and I analyse the main texts of Schutz where he has dealt directly with ‘finite provinces of meaning.’ On the basis of this analysis, I suggest and discuss, in Part II, (...) several solutions to the shortcomings of the theoretical system that Schutz drew upon the sociological problem of multiple reality. Specifically, I discuss problems related to the struc- ture, the dynamics, and the interrelationing of finite provinces of meaning as well as the way they relate to the questions of narrativity, experience, space, time, and identity. (shrink)

This paper focuses on order-preserving logics defined from varieties of distributive lattices with negation, and in particular on the problem of whether these can be axiomatized by means Hilbert-style calculi that are finite. On the negative side, we provide a syntactic condition on the equational presentation of a variety that entails failure of finite axiomatizability for the corresponding logic. An application of this result is that the logic of all distributive lattices with negation is not finitely axiomatizable; we (...) likewise establish that the order-preserving logic of the variety of all Ockham algebras is also not finitely axiomatizable. On the positive side, we show that an arbitrary subvariety of semi-De Morgan algebras is axiomatized by a finite number of equations if and only if the corresponding order-preserving logic is axiomatized by a finite Hilbert-style calculus. This equivalence also holds for every subvariety of a Berman variety of Ockham algebras. We obtain, as a corollary, a new proof that the implication-free fragment of intuitionistic logic is finitely axiomatizable, as well as a new corresponding Hilbert-style calculus. Our proofs are constructive in that they allow us to effectively convert an equational presentation of a variety of algebras into a Hilbert-style calculus for the corresponding order-preserving logic, and vice versa. We also consider the assertional logics associated to the above-mentioned varieties, showing in particular that the assertional logics of finitely axiomatizable subvarieties of semi-De Morgan algebras are finitely axiomatizable as well. (shrink)

In this dissertation, I seek to explain G.W.F. Hegel’s view that human accessible conceptual content can provide knowledge about the nature or essence of things. I call this view “Conceptual Transparency.” It finds its historical antecedent in the views of eighteenth century German rationalists, which were strongly criticized by Immanuel Kant. I argue that Hegel explains Conceptual Transparency in such a way that preserves many implications of German rationalism, but in a form that is largely compatible with Kant’s criticisms of (...) the original rationalist version. After providing background on Hegel’s relationship to the traditional rationalist theory of concepts and Kant’s challenge to it, I claim that Hegel’s central task is to provide a theory of conceptual content that allows a relationship to the objective world without being dependent on the specifically sensory aspect of the world, which Kant’s theory of concepts required. Since many interpreters deny that Hegel’s use of the term “concept” is comparable to other historical philosophers (or our own), I first show that Hegel’s critique of standard conceptions of concepts presupposes an agreement of subject matter. I then show how Hegel’s account of the “formal concept” provides the skeleton for a view of conceptual content that relies on negative relations between terms, rather than a relation to sensibility, to provide content. Hegel’s account of conceptual content is completed when he shows how a universal term is further specified so that it can determine singular objects. This occurs in its adequate form in a teleological process. I argue that Hegel’s account of teleology in the Science of Logic is an attempt to explain how and where Conceptual Transparency obtains. A teleological process is one in which a concept constitutes an object, and this means that a concept is perfectly adequate to express that thing’s nature and not merely to represent it. However, in the final chapter, I show that Hegel’s concept of teleology is meant paradigmatically to illuminate how human purposive processes have constituted a social world that is conceptually accessible to us. In this way, the primary “province” of Hegel’s rationalism is the human constructed world. (shrink)

In this paper, I argue that the cleavage between the theory of reference and the theory of meaning, which under the influence of Quine has dominated a large part of the philosophy of language of the last fifty years, is based on a misrepresentation of Tarski's achievement and on an overestimation of the scope and value of disquotation. In particular, I show that, if we accept Davidson's critique of disquotation, the same kind of reasons that Quine offered in opposition (...) to the Carnapian theory of meaning also apply, mutatis mutandis, to the Tarskian theory of reference. (shrink)

In the essay "Philosophy and the Meaning of Life," found within the book "Philosophical Explanations," Robert Nozick proposes that the key to comprehending how theistic religions can impart meaning to human existence lies in the concept of God's boundless nature. This unlimited quality is an expansive backdrop, capable of imbuing the comparatively finite lives of theists with profound meaning. Furthermore, Nozick argues that meaningful lives are not restricted solely to the theistic realm defined by God's boundlessness (...) because, paradoxically, God's boundlessness imposes a limitation upon itself. This perspective emerges from Nozick's theory of "limited transcendence," which involves transcending our inherent limitations to connect with a broader context that possesses limitations but imparts meaning to our lives—albeit within defined boundaries (Nozick, 25). In essence, Nozick's theory suggests that meaning can be found in life beyond the confines of theistic religion. (shrink)

This is a work in the philosophy of language and metasemantics. Its purpose is to help answer the question about how words acquire their meanings. The work is divided into two parts. The purpose of Part One is to defend the claim that, despite numerous attempts, the so-called Kripkenstein’s sceptical challenge, and especially the problem of finitude, has not been offered a successful straight solution. The purpose of Part Two is to critically examine Robert Brandom’s philosophy, which can be treated (...) as an answer to the sceptical challenge in my interpretation. My main claim is that although Brandom’s so-called normativist approach does provide a principled solution to the sceptical challenge, the proposal faces a host of other problems in the light of which I reject it. -/- What is Kripkenstein’s sceptical challenge? The name 'Kripkenstein' is an abbreviation used in the literature for Saul Kripke’s reading of Ludwig Wittgenstein’s later works, published in 1982. In the long essay, Kripke presents (that Wittgenstein presented) a sceptical challenge that demands an explanation of how any word can have a determinate meaning. The challenge is usually thought to consist of three interrelated problems: (1) the problem of finitude, (2) the problem of error, and (3) the problem of normativity. Following Martin Kusch, I view the problem of finitude as the most important one. According to the problem, briefly, since any actual subject is a finite being, i.e. capable of exhibiting only finite expressions of linguistic signs, it will always be possible to ask whether, in a given context, she is following a rule S1 or rule S2 that corresponds to the meaning of the sign. For example, supposing that the sign in question is '+', it can be asked whether the subject in a given context has followed the addition rule or an alternative quaddition rule, according to which any addition problem exceeding certain arbitrary cardinality results in five. According to the hypothesis, the actual use of '+' by any speaker is compatible with both rules. Since any speaker has only finite dispositions to the mathematical conduct, there will always be some limit after which there is no fact of the matter, according to the sceptic, which rule the subject will have turned out to have followed. Hence, it is indeterminate whether any actual subject has ever calculated according to the addition rule or the quaddition rule. -/- From my view, despite the work of Kripke and Kusch, the problem of finitude has not been taken as seriously as it ought to have been. This in turn has significant consequences for the metasemantic theory concerning the origin and nature of meaning. In particular, I claim that the way how the meaning of words is determined must be understood as temporal in nature. Moreover, I claim that Kripke’s causal-historical account of reference can work as a non-straight solution to the challenge that explains how at least the meanings of some words can be temporally determined. -/- One central aim of Brandom’s philosophy is to give a straight answer to the problem of finitude by providing an answer to the problem of normativity. However, I claim that Brandom’s version of the 'normativity of meaning' hypothesis cannot work as he intends. The key issues are difficult to summarise, but to put it succinctly, the crucial problem concerns Brandom’s ambition to give an answer to a version of Agrippa’s trilemma, or how a chain of justifications can end in anything else than (i) premises that have already been used, (ii) a primitive premise, or an (iii) infinitude of premises. My claim is that Brandom’s resolution to the trilemma is not sound. (shrink)

Hegel's Science of Logic makes the just not low claim to be an absolute, ultimate-grounded knowledge. This project, which could not be more ambitious, has no good press in our post-metaphysical age. However: That absolute knowledge absolutely cannot exist, cannot be claimed without self-contradiction. On the other hand, there can be no doubt about the fundamental finiteness of knowledge. But can absolute knowledge be finite knowledge? This leads to the problem of a self-explication of logic (in the sense of (...) Hegel) and further, as will be shown, to a new definition of the dialectical procedure. The stringency of which results from the fact that always exactly that implicit content is explicated that was generated by the preceding explication step itself and is thus concretely comprehensible. At the same time, a new implicit content is generated by this act of explication, which requires a new explication step, and so forth. In the dialectical procedure reinterpreted in this way, dialectical arguments are not beheld, guessed at or even surreptitiously obtained, but are methodically accountable. Thereby dialectics is understood as a self-explication of logic by logical means and thus as a proof of the possibility of ultimate-grounding in the form of absolute and nevertheless finite – and thus also fallible – knowledge. (shrink)

On the rise over the past 20 years has been ‘moderate supernaturalism’, the view that while a meaningful life is possible in a world without God or a soul, a much greater meaning would be possible only in a world with them. William Lane Craig can be read as providing an important argument for a version of this view, according to which only with God and a soul could our lives have an eternal, as opposed to temporally limited, significance, (...) by virtue of our moral choices then making an ultimate difference. I present two major objections to this position. On the one hand, I contend that if God existed and we had souls that lived forever, then, in fact, all our lives would turn out the same. On the other hand, I maintain that, if this objection is wrong, so that our moral choices would indeed make an ultimate difference and thereby confer an eternal significance on our lives (only) in a supernatural realm, then Craig could not capture the view, aptly held by moderate supernaturalists, that a meaningful life is possible in a purely natural world. An eternal significance would be ‘too big’, reducing any meaning possible during an earthly life to nothing by comparison. I conclude that moderate supernaturalists would be wise to avoid appealing to eternal (or infinite) meaning when spelling out the way God and a soul could alone impart a great meaning to our lives; some other notion of greatness should be considered, perhaps one involving a temporary afterlife. (shrink)

In this paper I begin by discussing the different ways in which Spinoza’s famous conatus argument has been understood, after which I present my own reconstruction of the derivation: each and every true finite thing is, in itself, an expresser of power (E1p25c, 1p34) that never acts self-destructively (E3p4) but instead strives to drive itself through opponents to produce effects as they follow from the definition of the thing in question (E1p25c, 1p34, and 3p5). This tells us something decisive (...) about the meaning of Spinoza’s doctrine: according to it, things are active causers whose “power to exist and act” has conatus character in temporality, amounting not only to striving to prolong the duration of one’s actualization but also to striving to be as active or autonomous as possible, that is, to attain a state determined by the striving subject’s essence alone. (shrink)

This paper agrees with Thomas Sheehan that Heidegger inquires into the source of meaning in finite human existence. The paper argues, however, that Sheehan’s paradigm for interpreting Heidegger should be expanded: Heidegger is also concerned with “excess” and “event”. Excess and event are crucial to being and history, as Heidegger understands them.

D O N A L D D AV I D S O N’S “ Meaning and Truth,” re vo l u t i o n i zed our conception of how truth and meaning are related (Davidson    ). In that famous art i c l e , Davidson put forw a rd the bold conjecture that meanings are satisfaction conditions, and that a Tarskian theory of truth for a language is a theory of meaning (...) for that language. In “Meaning and Truth,” Davidson proposed only that a Tarskian truth theory is a theory of meaning. But in “Theories of Me a n i n g and Learnable Languages,” he argued that the finite base of a Tarskian theory, together with the now familiar combinatorics, would explain how a language with unbounded expre s s i ve capacity could be learned with finite means ( Davidson    ). This certainly seems to imply that learning a language is, in p a rt at least, learning a Tarskian truth theory for it, or, at least, learning what is specified by such a theory. Davisdon was cagey about committing to the view that meanings actually a re satisfaction conditions, but subsequent followers had no such scru p l e s . We can sum this up in a trio of claims: Davidson’s Conjecture () A theory of meaning for L is a truth-conditional semantics for L. () To know the meaning of an expression in L is to know a satisfaction condition for that expression. () Meanings are satisfaction conditions. For the most part, it will not matter in what follows which of these claims is at stake. I will simply take the three to be different ways of formulating what I will call Davidson’s Conjecture (or sometimes just The Conjecture). Davidson’s Conjecture was a very bold conjecture. I think we are now in a.. (shrink)

Abstract -/- The concept of infinity is of ancient origins and has puzzled deep thinkers ever since up to the present day. Infinity remains somewhat of a mystery in a physical world in which our comprehension is largely framed around the concept of boundaries. This is partly because we live in a physical world that is governed by certain dimensions or limits – width, breadth, depth, mass, space, age and time. To our ordinary understanding, it is a seemingly finite (...) world under those dimensions and we may find it difficult to comprehend something that by definition can have no beginning and no end, no limit or boundary. The article argues that this concept can have a meaning different from that normally envisaged in science, philosophy or mathematics, a meaning that transcends all boundaries and which proceeds from a non-material or metaphysical perspective. It examines the features and implications of that concept. -/- . (shrink)

Why should we be means-end rational? Why care whether someone’s mental states exhibit certain formal patterns, like the ones formalized in causal decision theory? This paper establishes a dominance argument for these constraints in a finite setting. If you violate the norms of causal decision theory, then your desires will be aptness dominated. That is, there will be some alternative set of desires that you could have had, which would be more apt (closer to the actual values fixed by (...) your sensibility/ what you intrinsically care about) no matter which world is actual. If we care about having apt desires, then, we should never let ourselves violate these norms of means-end rationality. This argument shares a form with now-standard accuracy arguments for probabilism, opening up a new terrain for that discussion. I show that the foundational assumptions about the shape of accuracy and of aptness required to run the arguments for means-end rationality and for probabilism run closely parallel. I show the argument is robust under different theories of subjective actual value, including nonclassical treatments of indeterminacy in actual value; I show the argument may (but need not!) be generalized to objective theories of value. The upshot is that aptness-domination arguments for decision theories should be added to the philosophical playbook. (shrink)

The concept of formal transcendentalism is utilized. The fundamental and definitive property of the totality suggests for “the totality to be all”, thus, its externality (unlike any other entity) is contained within it. This generates a fundamental (or philosophical) “doubling” of anything being referred to the totality, i.e. considered philosophically. Thus, that doubling as well as transcendentalism underlying it can be interpreted formally as an elementary choice such as a bit of information and a quantity corresponding to the number of (...) elementary choices to be defined. This is the quantity of information defined both transcendentally and formally and thus, philosophically and mathematically. If one defines information specifically, as an elementary choice between finiteness (or mathematically, as any natural number of Peano arithmetic) and infinity (i.e. an actually infinite set in the meaning of set theory), the quantity of quantum information is defined. One can demonstrate that the so-defined quantum information and quantum information standardly defined by quantum mechanics are equivalent to each other. The equivalence of the axiom of choice and the well-ordering “theorem” is involved. It can be justified transcendentally as well, in virtue of transcendental equivalence implied by the totality. Thus, all can be considered as temporal as far anything possesses such a temporal counterpart necessarily. Formally defined, the frontier of time is the current choice now, a bit of information, furthermore interpretable as a qubit of quantum information. (shrink)

This work deals with problems involving infinities and infinitesimals. It explores the ideas behind zero, its relationship to ontological nothingness, finititude (such as finite numbers and quantities), and the infinite. The idea of infinity and zero are closely related, despite what many perceive as an intuitive inverse relationship. The symbol 0 generally refers to nothingness, whereas the symbol infinity refers to ``so much'' that it cannot be quantified or captured. The notion of finititude rests somewhere between complete nothingness and (...) something having no end. -/- My concern is that many of the philosophers arguing for or against the ontology (or possibility) of an actual infinite set are unaware or unfamiliar with the mathematical literature attempting to clearly and rigorously define these terms. I believe it is a mistake to leave mathematicians out of this conversation, as analysts in particular have defined (and used) infinity in a way that is relevant to the ongoing debate between philosophers. -/- For this paper, I have selected examples from Principles of Analysis by Walter Rudin, which has become a standard text for Real Analysis classes taken by pure mathematicians and engineers. I will also restrict the scope of examples to Euclidean spaces for simplicity. Finally, I will be using addition, + and multiplication * in their usual way. (shrink)

Over the course of the Twilight series, Bella strives to and eventually succeeds in convincing Edward to turn her into a vampire. Her stated reason for this is that it will allow her to be with Edward forever. In this essay, I consider whether this type of immortality is something that would be good for Bella, or indeed for any of us. I begin by suggesting that Bella's own viewpoint is consonant with that of Leo Tolstoy, who contends that one (...) could not have meaningful life without immortality, because only immortality could allow one to make a permanent difference in the world. I argue that this characterization of a meaningful life is problematic, however, insofar as (1) immortality is neither sufficient nor necessary for having such an impact and (2) there is little reason to think that having such an impact is constitutive of a meaningful life. I go on to consider Edward's fear that vampires lack a soul as it relates to Martha Nussbaum's claim that immortal beings would be less capable of certain paradigmatic human values and virtues such as courage, love, or self-sacrifice. I suggest, contra Nussbaum, that Carlisle provides an example of an immortal who displays recognizably human virtues. However, the possibility of Carlisle's being virtuous in this way depends on the existence of other creatures who are mortal. -/- I close by considering the problem of boredom, as articulated by Bernard Williams. According to Williams, a meaningful human life is constituted by certain categorical desires such as the desire to raise children or to create art. The projects aimed at accomplishing these desires are necessarily finite in length, and cannot be repeated indefinitely without losing their value. I argue that many, though perhaps not all, of the immortals described in the series suffer from such boredom. For example, Edward and Rosalie struggle to find meaning in their lives and most werewolves choose to age and die normally after a certain time. Perhaps more significantly, many of the non-"vegetarian" vampires seem to have become entirely divorced from any recognizably human projects or values, and have become focused entirely on satisfying their immediate desires. These examples provide some reason to think that many of Bella's reasons for living, which are essentially tied to her mortality, are not likely to be met by becoming immortal. While this does not show that her choice to become a vampire will leave her ultimately unhappy, it does suggest that her doing so represents a considerable sacrifice. (shrink)

The article contains a critical analysis of the skeptical solution to the rule- following problem. The skeptical solution denies the existence of “superlative” R-facts that would make statements of the form “P means R by ‘+’ ” true. The role of the sources for the meaning of ‘+’ here is played by the patterns of solidarity behavior of members of some community to which P belongs. The correct use of ‘+’ would be one that is approved by the competent (...) majority of this community, and there can be no other sense in which it would be correct or wrong. Boyd’s hypothesis denies the communal character of the ‘+’ meaning. While there are no “superlative” R-facts, there should be C-facts not about the R as the standard that P or its community follows in their practice of using ‘+’, but about whether they do it correctly. The proof of the Boyd hypothesis is based on the example of an imaginary Ω-community, whose agents use a finite set of simple symbols for the needs of their arithmetic: ‘A’, ‘B’, ‘C’, ‘D’, ‘E’, ‘F’, ‘G’, ‘H’, ‘J’. Each symbol denotes a subset of identical, from the Ω-community point of view, numerical values. The symbol ‘A’ is used, for ex- ample, for a subset of the natural numbers 1, 10, 19, 28, 37, 46, etc.; ‘B’ for 2, 11, 20, 29, 38, 47, etc.; ‘C’ for 3, 12, 21, 30, 39, 48, etc. The Ω-community’s arithmetic uses the only local function ⊕ whose range of values forms a finite set of mathematical propositions {α} that are true. The Ω-community’s arithmetic, like our own, is open to many skeptical challenges. Is there a fact that determines the meaning of ‘⊕’? What do agents do when they calculate with ‘⊕’ (say, solve examples ‘A⊕B = ?’, ‘C⊕E=?’, etc.)? Do they Add, Badd or Dadd? To answer them would require a “superlative” R-fact. For the calculation practice with ‘⊕’, it could be a certain R-fact that determines the only possible order for the sequence of numerals ‘A’, ‘B’, ‘C’, ‘D’, ‘E’, ‘F’, ‘G’, ‘H’, ‘J’ such that {α} is true. An analysis of the calculation practice using the local arithmetic function ⊕ shows that for it there are no such R-facts that would determine the only correct standard R – even if the agents in the Ω-community were trained in such calculations on a full set of cases for the application of that function. However, for such practice there are C-facts (independent in their existence from R-facts) that make it possible to distinguish between what seems to be right and what is right. The solitary agent P and the Ω-community are in the same position regarding the knowledge of C-facts. The Ω-community’s point of view has no advantage in matters of C-facts knowledge over the solitary agent P’s point of view. The Ω-community arithmetic shows that if a solitary agent P had the suitable knowledge of C-facts about the practice of calculations with ‘⊕’, it would allow him/her to disagree with the not correct answers of other members of the community even when they would constitute an absolute majority. (shrink)

The early twentieth century witnessed the emergence of "objective relativism," a distinctly American school of metaphysical realism inspired by the works of John Dewey and A.N. Whitehead. Largely forgotten, objective relativism provided a metaphysical framework, based upon an ontology of events and relations rather than substances and discrete properties, that has continued relevance for contemporary metaphysical discussions. In this thesis, I attempt to chart the boundaries and pathways of this ontology, outlining what Dewey calls the "ground-map of the province of (...) criticism." In particular, the ground-map of objective relativism is invoked to situate and analyze the model of psycho-physical emergence outlined in Dewey's Experience and Nature. Because it is a relational ontology, objective relativism avoids problems with emergence common to substantival models. Additional analyses of its ontological premises, both in Dewey's writings and elsewhere, demonstrate how compelling accounts of causation, consciousness, and meaning may be formulated within this model. (shrink)

This study was conducted to determine which domains of inquiry-based science activities that significantly influence the students’ achievement of grade 10 learners. The study employed a quantitative, non-experimental method employing causal- effect. Mean, Pearson-r, and Regression Analysis were the statistical tools used to determine the level, relationship, and influence of each variable. The respondents comprised 332 grade 10 students from the four main secondary schools of District 1 in the Division of Compostela Valley, Province of Compostela Valley, for the School (...) Year 2018-2019. The findings of the study revealed a high level of inquiry-based science activities in terms of engagement, exploration, explanation, elaboration, and evaluation. This study also revealed that the level of students’ achievement was high in terms of cognitive development, laboratory skills, science process skills and understanding of science knowledge. The correlation between two variables of the study revealed significant relationship between inquiry-based science activities and students’ achievement. Lastly, the study revealed that exploration, explanation, elaboration, and evaluation are the domains of inquiry-based science activities that significantly influence students’ achievement. However, engagement appeared to be non-significant hence the null hypothesis is not rejected. (shrink)

Despite centuries of colonization in the Philippines, the traditional Filipino healing system has survived. However, as modern education has continued to spread and Western medicine has grown in influence, traditional healing practices have been pushed to the margins and labeled as unscientific or mere superstition. This also suggests that unrecorded information may be lost forever. For future generations to appreciate this rich cultural heritage, cultural mapping of traditional healers in a local community is necessary. Thus, the researcher explored, identified, documented, (...) and analyzed the cultural profile of the traditional healers in a local community. Specifically, he studied the (1) background information, (2) description of the intangible cultural heritage, (3) stories/narratives associated with traditional healing, (4) significance of the practice, (5) assessment of the practice, and (6) references/supporting documentation of the traditional healers. The study was conducted in one of the local communities in the province of Quezon. The research participants were selected using inclusion criteria, and 11 traditional healers served as the key informants of the study. This study also employed qualitative research through cultural mapping, and pertinent data were obtained using participant observation, documentation, and interview guides. Qualitative content analysis was used in analyzing the gathered data. The findings revealed that the traditional healers have diverse background information, reflected in the element types, the geographical location and range of the element, and the related domains of the intangible cultural heritage. Likewise, the description of the intangible cultural heritage gave a wide array of descriptions of the history of practice, occasion/season, processes, and procedures involved, beliefs associated, settings, aims, social functions, and cultural meaning, culture bearer/s and practitioner/s of the element, mode of transmission, list of significant tangible movable heritage used associated with the element and list of significant flora/fauna used associated with the element. Meanwhile, spiritual guides and supernatural claims, healing severe cases, and being accused of malpractice or maltreatment were some of the stories/narratives associated with the element. In addition, traditional healing has historical, aesthetic, scientific, social, socio-economic, socio-political, and spiritual significance. Moreover, the assessment of practice exposed the condition/status of traditional healing, which is in danger because of the elderliness of the traditional healers and because no one is accepting the knowledge and practices. Furthermore, the constraint, threat, issue, or challenge experienced by the traditional healers is making false accusations against them. Nevertheless, traditional healers have identified several safeguarding measures in their traditional healing practice. These are transmission through informal education, identification, documentation, research, promotion, enhancement, and revitalization. Finally, sacred texts, books, pictures, prayers, and saints are the references or supporting documentation used in traditional healing. Based on the findings and conclusions, it is recommended to utilize the two research outputs: “Kaalaman at Kasanayan: Cultural Profile of Traditional Healers,” a booklet, and “Tanging Healing,” a documentary film about traditional healing for the preservation of local heritage, community development, and heritage education. (shrink)

In this paper it is argued that the conjunction of linguistic ersatzism, the ontologically deflationary view that possible worlds are maximal and consistent sets of sentences, and possible world semantics, the view that the meaning of a sentence is the set of possible worlds at which it is true, implies that no actual speaker can effectively use virtually any language to successfully communicate information. This result is based on complexity issues that relate to our finite computational ability to (...) deal with large bodies of information and a strong, but well motivated, assumption about the cognitive accessibility of meanings of sentences ersatzers seem to be implicitly committed to. It follows that linguistic ersatzism, possible world semantics, or both must be rejected. (shrink)

The paper continues the consideration of Hilbert mathematics to mathematics itself as an additional “dimension” allowing for the most difficult and fundamental problems to be attacked in a new general and universal way shareable between all of them. That dimension consists in the parameter of the “distance between finiteness and infinity”, particularly able to interpret standard mathematics as a particular case, the basis of which are arithmetic, set theory and propositional logic: that is as a special “flat” case of Hilbert (...) mathematics. The following four essential problems are considered for the idea to be elucidated: Fermat’s last theorem proved by Andrew Wiles; Poincaré’s conjecture proved by Grigori Perelman and the only resolved from the seven Millennium problems offered by the Clay Mathematics Institute (CMI); the four-color theorem proved “machine-likely” by enumerating all cases and the crucial software assistance; the Yang-Mills existence and mass gap problem also suggested by CMI and yet unresolved. They are intentionally chosen to belong to quite different mathematical areas (number theory, topology, mathematical physics) just to demonstrate the power of the approach able to unite and even unify them from the viewpoint of Hilbert mathematics. Also, specific ideas relevant to each of them are considered. Fermat’s last theorem is shown as a Gödel insoluble statement by means of Yablo’s paradox. Thus, Wiles’s proof as a corollary from the modularity theorem and thus needing both arithmetic and set theory involves necessarily an inverse Grothendieck universe. On the contrary, its proof in “Fermat arithmetic” introduced by “epoché to infinity” (following the pattern of Husserl’s original “epoché to reality”) can be suggested by Hilbert arithmetic relevant to Hilbert mathematics, the mediation of which can be removed in the final analysis as a “Wittgenstein ladder”. Poincaré’s conjecture can be reinterpreted physically by Minkowski space and thus reduced to the “nonstandard homeomorphism” of a bit of information mathematically. Perelman’s proof can be accordingly reinterpreted. However, it is valid in Gödel (or Gödelian) mathematics, but not in Hilbert mathematics in general, where the question of whether it holds remains open. The four-color theorem can be also deduced from the nonstandard homeomorphism at issue, but the available proof by enumerating a finite set of all possible cases is more general and relevant to Hilbert mathematics as well, therefore being an indirect argument in favor of the validity of Poincaré’s conjecture in Hilbert mathematics. The Yang-Mills existence and mass gap problem furthermore suggests the most general viewpoint to the relation of Hilbert and Gödel mathematics justifying the qubit Hilbert space as the dual counterpart of Hilbert arithmetic in a narrow sense, in turn being inferable from Hilbert arithmetic in a wide sense. The conjecture that many if not almost all great problems in contemporary mathematics rely on (or at least relate to) the Gödel incompleteness is suggested. It implies that Hilbert mathematics is the natural medium for their discussion or eventual solutions. (shrink)

Kant’s Formula of Universal Law (FUL) is generally believed to require you to act only on the basis of maxims that you can will without contradiction to become universal laws. In “Contradiction and Kant’s Formula of Universal Law” (2017), I have proposed to read the FUL instead as requiring that, for any maxim on which you act, you can will two things simultaneously, without volitional self-contradiction: (1) willing the maxim as your own action principle and (2) willing that it become (...) a universal law. In the present essay, I reply to comments by Mark Timmons, Michael Walschots, Paola Romero, and Stefano Lo Re. In response to their comments concerning the application of the FUL, I expand the interpretive framework of the Volitional Self-Contradiction Interpretation. I argue that Kant also constructs the diagnostic volitional self-contradiction as a contradiction between (1) willing a tested maxim to become a universal law and (2) willing what humans, qua finite rational beings, necessarily will, namely the means to their actual and possible future ends. I also clarify how the two ways in which Kant specifies the test are related. Furthermore, I clarify the relation between the Volitional Self-Contradiction interpretation and other interpretations of the FUL, in particular the ‘Practical Contradiction’ and ‘Logical Contradiction’ interpretations, as well as its difference from the Golden Rule. I also address the objection that the volitional self-contradiction is superfluous, clarify the relation between the Formula of Universal Law and the Formula of the Law of Nature, and explain why the will of an immoral agent does not contain a volitional self-contradiction of the type at issue. (shrink)

The central postulation made in this essay is that the current plight of the Uighur Muslims in the Xinjiang province of China is two-pronged in its cause. The first involves a deeply-rooted historical rejection, or at least suspicion, of any religion that is not Chinese in origin and secondly involves a concerted effort on behalf of the Chinese Communist Party to gain greater control over a people group whom it sees as representing a threat to its authority and dominance in (...) the province of Xinjiang. To justify the validity of this statement, this essay will be divided into three distinct parts; the first two parts will explore the historical background and present day context of Islam in China with the aim of clarifying the Chinese worldview on foreign religions and people groups. These will act as important contributions to culminate into the third part which will focus on the current occurrence of sinofication/sinicisation in the Xinjiang province (Ruwitch, 2018) to the detriment of the human rights, religious and cultural liberties, and the very existence of the Uighur Muslim ethnic group (Rahman, 2005). The essay will provide a historical context by explaining the timeline of the presence of Islam across different parts of China where it experienced the most activity and adherence. This particularly includes the southwestern ports where it was brought into the country by Arab traders as well as in the westernmost reaches as a result of being part of the outer edges of different Islamic empires that held territory across Central Asia. The idea that China is suspicious of foreign people, foreign religions, and that the Communist Party considers any group with outside connections to a wider community (such as Christians or the Muslims) to be a threat to the stability of their rule is central to our discussion (NowThis World, 2016). However, we shouldn’t mistake China as being alone in this kind of xenophobia for the evidence of this worldview is pertinent on the continent of Europe currently with significant undertones of its presence in the vote for Brexit in the United Kingdom (Rzepnikowska, 2018) as well as in the rise of the far right in continental Europe (Immerzeel & Muis, 2017; Lazaridis, 2016). Aversion to foreignness is therefore widespread, but it is the way in which an organisation deals with foreignness that is indicative of its approach to diversity and its respect for human rights. The third and final part will act as the climax for the essay as a thorough analysis is conducted on the current affairs of the Communist Party in the Xinjiang province resulting in the plight of the Uighur Muslims. The processes involved in the sinofication of the province will be highlighted with the aim of understanding the range of reasons as to why the Communist Party may be acting in this way by drawing on the current Chinese economic and political landscape. The essay will close by considering the future of the Uighur Muslims and the intentions of the Communist Party for the entire Xinjiang province by analysing the most recent news escaping from the region and as a means to understand the distinction between Islam and Muslims. (shrink)

The ancient doctrine of the eternal return of the same embodies a thoroughgoing rejection of the hope that the future world will be better than the present. For this reason, it might seem surprising that Leibniz constructs an argument for a version of the doctrine. He concludes in one text that in the far distant future he himself ‘would be living in a city called Hannover located on the Leine river, occupied with the history of Brunswick, and writing letters to (...) the same friends with the same meaning.’ However, his argument concludes not that the future will be absolutely identical to the present, but rather that any finite description of the present and future worlds would be identical. In this way, the argument leaves room for the promise of a different and better future—even if it is one that could not be recognized by us as such. (shrink)

Literature frequently describes how ineffective implementation of instructional policy frameworks can make distance learning a lonely and unrewarding academic pursuit, characterized by high student drop-out rates, high failure rates and academic exclusion. In trying to mitigate this catastrophe, academic departments in distance learning institutions utilize learning management systems (LMSs) to stimulate students’ learning experiences. In keeping with techno-progressivism, the researchers (and authors of this paper) turned to extant documentary policy and literature to review – qualitatively – how the University of (...) South Africa’s (Unisa’s) Open Distance Learning Policy (ODLP) promotes academic inclusion and learning agency as cornerstones of student success and social justice, especially in an unequal society like South Africa. The findings revealed the following: 1) Unisa’s ODLP position has the impetus to influence the deployment of the LMS to promote academic inclusion; 2) Practical means of promoting inclusion were mirrored in the provision of manual or electronic learning material, computer laboratories and free internet connectivity in regional centres across all nine provinces of South Africa, as well as in the provision of laptops for National Student Financial Aid Scheme (NSFAS)-funded students, 30 gigabytes of free monthly mobile data to all students, and assistive technologies for students with disabilities; 3) Practical utilization of an LMS to foster self-regulated learning occurred through problem-based individual activities supplemented by asynchronous demonstrative learning material (e.g. audio, video), while collaborative learning agency was enabled through e-tutoring, which afforded students the opportunity to interact with e-tutors and their peers about the learning content; 4) Drawbacks in the use of the LMS stemmed from the insufficiency of assistive learning technologies that are required for students with disabilities to participate fully in online learning, and a corpus of students’ irregular attendance at and participation in e-tutoring discussions and their projection of a negative attitude towards the e-tutors. -/- . (shrink)

The default view in the epistemology of forgetting is that human memory would be epistemically better if we were not so susceptible to forgetting—that forgetting is in general a cognitive vice. In this paper, I argue for the opposed view: normal human forgetting—the pattern of forgetting characteristic of cognitively normal adult human beings—approximates a virtue located at the mean between the opposed cognitive vices of forgetting too much and remembering too much. I argue, first, that, for any finite cognizer, (...) a certain pattern of forgetting is necessary if her memory is to perform its function well. I argue, second, that, by eliminating clutter from her memory store, this pattern of forgetting improves the overall shape of the subject’s total doxastic state. I conclude by reviewing work in psychology which suggests that normal human forgetting approximates this virtuous pattern of forgetting. (shrink)

One of the main motivations for having a compositional semantics is the account of the productivity of natural languages. Formal languages are often part of the account of productivity, i.e., of how beings with finite capaci- ties are able to produce and understand a potentially infinite number of sen- tences, by offering a model of this process. This account of productivity con- sists in the generation of proofs in a formal system, that is taken to represent the way speakers (...) grasp the meaning of an indefinite number of sentences. The informational basis is restricted to what is represented in the lexicon. This constraint is considered as a requirement for the account of productivity, or at least of an important feature of productivity, namely, that we can grasp auto- matically the meaning of a huge number of complex expressions, far beyond what can be memorized. However, empirical results in psycholinguistics, and especially particular patterns of ERP, show that the brain integrates informa- tion of different sources very fast, without any felt effort on the part of the speaker. This shows that formal procedures do not explain productivity. How- ever, formal models are still useful in the account of how we get at the seman- tic value of a complex expression, once we have the meanings of its parts, even if there is no formal explanation of how we get at those meanings. A practice-oriented view of modeling gives an adequate interpretation of this re- sult: formal compositional semantics may be a useful model for some ex- planatory purposes concerning natural languages, without being a good model for dealing with other explananda. (shrink)

Aim: Low professional help-seeking intention (PHSI) hinders effective treatment of mental illness. PHSI among Chinese students is still understudied and under-recognized. This study aimed to evaluate the status of PHSI and its associated risk factors among Chinese medical students. -/- Methods: A cross-sectional survey was conducted in Hainan province, South China, between January 1, 2021, and May 31, 2021. A total of 2182 medical students were recruited and surveyed via an anonymous structured questionnaire. Logistic regression analyses were performed to identify (...) the factors associated with PHSI. -/- Results: Among the 2182 medical students (mean age 21.0 years (SD = 3.70), 61.5% females), those with and without PHSI were 72.0% and 28.0%, and 16.4% with moderate to severe depression. Male students, those with a high level of depression stigma, serious family dysfunction, and heavy dependence on mobile phones were significantly less likely to seek professional mental health help, with odds ratios (ORs) of 1.5, 2.0, 2.1, and 1.7, respectively. -/- Conclusion: A significant proportion of Chinese medical students demonstrate low PHSI, influenced by factors such as gender, depression stigma, family dysfunction, and mobile phone dependence. Future interventions aimed at increasing medical students’ PHSI should prioritize reducing depression stigma, mitigating reliance on mobile phone use, and enhancing family function to address these key barriers to seeking professional mental health support. (shrink)

Religion is basically a consciousness or awareness of God. This means that Religion depends upon a difference between the finite subject or consciousness and the infinite object or God. This difference is maintained because of the way Man relates to God in religion, i.e. through feeling, love, etc. Philosophy is the scientific comprehension of Truth, in which an identity-in-difference is sought between the subject and object or concept and object. This is attained through thinking, and not through feeling. Religion (...) and Philosophy often seem to be at odds in the beginning. This opposition is, however, reconciled by absolute knowledge. The love that is found in Religion is represented by the identity-in-difference principle that is found in Philosophy. The urge that the philosopher feels in the necessity to come to truth or oneness with truth, is the same urge that religion expresses in the feeling of love of God. It is merely a difference in the way they each proceed in fulfilling that need or necessity – one through thinking the other through feeling. The identity and difference of thinking and feeling is another topic that is dealt with by Hegel in his system. (shrink)

This article is devoted to thirtieth anniversary of the first publication in 1982 Saul Kripke's book "Wittgenstein on rules and private language". Radical skeptical interpretation of the work 'late' Ludwig Wittgenstein proposed by Saul Kripke in this book is considered one of the most famous "puzzle" of modern philosophy of language, which has become a source of much debate and discussion on the nature of the linguistic sign and its meaning. This article examines some of the consequences of a (...) radical version of skeptical 'rule-following' paradox by Saul Kripke, which remain in force and effect for finite functions and limited linguistic registers 'Ad finitum'. Thereby questioned the widely held view among analytic philosophers that the skeptical core for Saul Kripke's 'rule-following' paradox is argument 'Ad infinitum' (an inherent source of skepticism for our intention to follow the rule is concluded in itself situation of mastering for us endless function on the limited set of examples), and thus any direct or even moderate solutions of this paradox would be focused to its elimination. Thus proved that including for the field of finite functions and languages described theirs the skeptical force of 'rule-following' paradox itself completely saves. Moreover, undertaken in this article analysis detects a very quaint phenomenon to the field of language registers 'Ad finitum' - the effect of 'replication' (in the using of a linguistic phrase is always a n-th set of empirically equivalent but logically incompatible and even non-identical languages which it belongs). Study of the phenomenon of replication leads to a number of important remarks on many critics of Saul Kripke's skeptical paradox, in particular the famous Oxford philosopher Gordon Baker and Peter Hacker. Thus the concept of 'community speakers' has been called by Saul Kripke for skeptical solution to paradox of him own cannot be eliminated by the concept of 'share' and 'shareable' languages proposed for this aim by Gordon Baker and Peter Hacker. Despite the criticism the skeptical paradox 'rule-following' by Saul Kripke is still the center of attention and remains influential in modern philosophy of language and the meaning theory. (shrink)

Let f(1)=2, f(2)=4, and let f(n+1)=f(n)! for every integer n≥2. Edmund Landau's conjecture states that the set P(n^2+1) of primes of the form n^2+1 is infinite. Landau's conjecture implies the following unproven statement Φ: card(P(n^2+1))<ω ⇒ P(n^2+1)⊆[2,f(7)]. Let B denote the system of equations: {x_j!=x_k: i,k∈{1,...,9}}∪{x_i⋅x_j=x_k: i,j,k∈{1,...,9}}. The system of equations {x_1!=x_1, x_1 \cdot x_1=x_2, x_2!=x_3, x_3!=x_4, x_4!=x_5, x_5!=x_6, x_6!=x_7, x_7!=x_8, x_8!=x_9} has exactly two solutions in positive integers x_1,...,x_9, namely (1,...,1) and (f(1),...,f(9)). No known system S⊆B with a (...) class='Hi'>finite number of solutions in positive integers x_1,...,x_9 has a solution (x_1,...,x_9)∈(N\{0})^9 satisfying max(x_1,...,x_9)>f(9). For every known system S⊆B, if the finiteness/infiniteness of the set {(x_1,...,x_9)∈(N\{0})^9: (x_1,...,x_9) solves S} is unknown, then the statement ∃ x_1,...,x_9∈N\{0} ((x_1,...,x_9) solves S)∧(max(x_1,...,x_9)>f(9)) remains unproven. Let Λ denote the statement: if the system of equations {x_2!=x_3, x_3!=x_4, x_5!=x_6, x_8!=x_9, x_1 \cdot x_1=x_2, x_3 \cdot x_5=x_6, x_4 \cdot x_8=x_9, x_5 \cdot x_7=x_8} has at most finitely many solutions in positive integers x_1,...,x_9, then each such solution (x_1,...,x_9) satisfies x_1,...,x_9≤f(9). The statement Λ is equivalent to the statement Φ. It heuristically justifies the statement Φ . This justification does not yield the finiteness/infiniteness of P(n^2+1). We present a new heuristic argument for the infiniteness of P(n^2+1), which is not based on the statement Φ. Algorithms always terminate. We explain the distinction between existing algorithms (i.e. algorithms whose existence is provable in ZFC) and known algorithms (i.e. algorithms whose definition is constructive and currently known). Assuming that the infiniteness of a set X⊆N is false or unproven, we define which elements of X are classified as known. No known set X⊆N satisfies Conditions (1)-(4) and is widely known in number theory or naturally defined, where this term has only informal meaning. *** (1) A known algorithm with no input returns an integer n satisfying card(X)<ω ⇒ X⊆(-∞,n]. (2) A known algorithm for every k∈N decides whether or not k∈X. (3) No known algorithm with no input returns the logical value of the statement card(X)=ω. (4) There are many elements of X and it is conjectured, though so far unproven, that X is infinite. (5) X is naturally defined. The infiniteness of X is false or unproven. X has the simplest definition among known sets Y⊆N with the same set of known elements. *** Conditions (2)-(5) hold for X=P(n^2+1). The statement Φ implies Condition (1) for X=P(n^2+1). The set X={n∈N: the interval [-1,n] contains more than 29.5+\frac{11!}{3n+1}⋅sin(n) primes of the form k!+1} satisfies Conditions (1)-(5) except the requirement that X is naturally defined. 501893∈X. Condition (1) holds with n=501893. card(X∩[0,501893])=159827. X∩[501894,∞)= {n∈N: the interval [-1,n] contains at least 30 primes of the form k!+1}. We present a table that shows satisfiable conjunctions of the form #(Condition 1) ∧ (Condition 2) ∧ #(Condition 3) ∧ (Condition 4) ∧ #(Condition 5), where # denotes the negation ¬ or the absence of any symbol. No set X⊆N will satisfy Conditions (1)-(4) forever, if for every algorithm with no input, at some future day, a computer will be able to execute this algorithm in 1 second or less. The physical limits of computation disprove this assumption. (shrink)

In this paper, a number of traditional models related to the percolation theory has been considered by means of new computational methodology that does not use Cantor’s ideas and describes infinite and infinitesimal numbers in accordance with the principle ‘The part is less than the whole’. It gives a possibility to work with finite, infinite, and infinitesimal quantities numerically by using a new kind of a compute - the Infinity Computer – introduced recently in [18]. The new approach does (...) not contradict Cantor. In contrast, it can be viewed as an evolution of his deep ideas regarding the existence of different infinite numbers in a more applied way. Site percolation and gradient percolation have been studied by applying the new computational tools. It has been established that in an infinite system the phase transition point is not really a point as with respect of traditional approach. In light of new arithmetic it appears as a critical interval, rather than a critical point. Depending on “microscope” we use this interval could be regarded as finite, infinite and infinitesimal short interval. Using new approach we observed that in vicinity of percolation threshold we have many different infinite clusters instead of one infinite cluster that appears in traditional consideration. (shrink)

Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for investigation by means of automated (...) theorem provers and finite model builders. The fundamental theorem of Leibniz’s theory is derived using these tools. (shrink)

Introduction: Universal health coverage (UHC) was introduced in Iran in 2014. The aim of this study was to evaluate the usage rate of health services by human immunodeficiency virus (HIV)/acquired immunodeficiency syndrome (AIDS) patients after UHC implementation. Material and methods: In 2018, in a cross-sectional study, we evaluated the outpatients’ needs (within its previous month) and inpatients’ needs (within its previous 6 months) of HIV/AIDS patients in Isfahan province (the center of Iran). Concurrently, we estimated the essential health care services (...) that HIV/AIDS patients have to receive regularly, including vaccination for hepatitis B, measurement of CD4, tuberculosis (TB) assessments and TB treatment, anti-retroviral therapy, examination of viral load, treatment approach, and drug side effects counseling. Two checklists were used for assessing the utilization of health services and essential health cares for HIV/AIDS patients, validated by the Ministry of Health and Medical Education of Iran. Data were analyzed by χ2 test, Pearson’s correlation coefficient, and Spearman’s correlation test. Results: Two hundred and thirteen HIV/AIDS patients completed the questionnaires. The mean age of participants was 41.14 ± 9.23. The outpatient service utilization rate was 31.94% in the previous month and the rate of hospitalization was 126 per 1,000 HIV/AIDS patients in the previous 6 months. The majority of HIV/AIDS patients received essential health services more often than the national standard goals estimation. Conclusions: After UHC implementation, the utilization rate of outpatients and inpatients services in HIV/AIDS patients was more than similar indices in the general population. In addition, HIV/AIDS patients received essential health services adequately. (shrink)

It is argued, on the basis of ideas derived from Wittgenstein's Tractatus and Husserl's Logical Investigations, that the formal comprehends more than the logical. More specifically: that there exist certain formal-ontological constants (part, whole, overlapping, etc.) which do not fall within the province of logic. A two-dimensional directly depicting language is developed for the representation of the constants of formal ontology, and means are provided for the extension of this language to enable the representation of certain materially necessary relations. The (...) paper concludes with a discussion of the relationship between formal logic, formal ontology, and mathematics. (shrink)

Those incompleteness theorems mean the relation of (Peano) arithmetic and (ZFC) set theory, or philosophically, the relation of arithmetical finiteness and actual infinity. The same is managed in the framework of set theory by the axiom of choice (respectively, by the equivalent well-ordering "theorem'). One may discuss that incompleteness form the viewpoint of set theory by the axiom of choice rather than the usual viewpoint meant in the proof of theorems. The logical corollaries from that "nonstandard" viewpoint the relation of (...) set theory and arithmetic are demonstrated. (shrink)

David Braybrooke argues that meeting people’s needs ought to be the primary goal of social policy. But he then faces the problem of how to deal with the fact that our most pressing needs, needs to be kept alive with resource-draining medical technology, threaten to exhaust our resources for meeting all other needs. I consider several solutions to this problem, eventually suggesting that the need to be kept alive is no different in kind from needs to fulfill various projects, and (...) that needs may have a structure similar to rights, with people’s legitimate needs serving as constraints on each other’s entitlements to resources. This affords a set of axioms constraining possible needs. Further, if, as Braybrooke thinks, needs are created by communities approving projects, so that the means to prosecute the projects then come to count as needs, then communities are obliged to approve only projects that are co-feasible given the world’s finite resources. The result is that it can be legitimate not to funnel resources towards endless life-prolongation projects. (shrink)

I reply to seven objections to anthropomorphic theism: (1) That anthropomorphic theism is idolatrous. In reply I rely on the concept/conception distinction. (2) That faith requires certainty. In reply I argue that full belief may be based on probable inference. (3) That the truly infinite is incomprehensible. In reply I distinguish two senses of knowing what you mean. (4) "You Kant say that!" In reply I distinguish shallow from deep Kantianism. (5) "Shall Old Aquinas be forgot?" In reply I discuss (...) the simplicity of God. (6) What those garrulous mystics say about the ineffable. In reply I argue that mystics should be anthropomorphites. (7) Antitheodicy. In reply I distinguish the community of all agents from the community of finite frail agents. (shrink)

This paper investigates and develops generalizations of two-dimensional modal logics to any finite dimension. These logics are natural extensions of multidimensional systems known from the literature on logics for a priori knowledge. We prove a completeness theorem for propositional n-dimensional modal logics and show them to be decidable by means of a systematic tableau construction.

The main aim of this essay is to show that, for Stevens, the concept of reality is very fluctuating. The essay begins with addressing the relationship between poetry and philosophy. I argue, contra Critchley, that Stevens’ poetic work can elucidate, or at least help us to understand better, the ideas of philosophers that are usually considered obscure. The main “obscure” philosophical work introduced in and discussed throughout the essay is Schelling’s System of Transcendental Idealism. Both a (shellingian) philosopher and a (...) (stevensian) poet search for reality. In order to understand Stevens’ poetry better, I distingush several concepts of reality: initial reality (the external world of the common sense), imagined reality (a fiction, a product of one’s mind), final reality (the object of a philosopher’s and a poet’s search) and total reality (the sum of all realities, Being). These determinations are fixed by reason (in the present essay), whereas in Stevens’ poetic works, they are made fluid by the imagination. This fluidity leads the concept of reality from its initial stage through the imagined stage to its final stage. Throughout this process, imagined reality must be distinguished from both a mere fancy and its products. Final reality is, however, nothing transcendent. It is rather a general transpersonal order of reality created by poetry/the imagination. The main peculiarity of final reality is that it is a dynamic order. It is provisional at each moment. Stevens (and Schelling too) characterizes this order as that of a work of art which is a finite object, but has an infinite meaning. Stevens calls this order “the central poem” or the “endlessly elaborating poem”. If ultimate reality is a poem created by the imagination, one may ask who is the imagining subject. I argue that this agent is best to be thought as total reality, that is, as Being. Stevens, however, maintains that if there were such an agency, it would be an inhuman agency, “an inhuman meditation”. The essay concludes, in a Derridian manner, with the claim that this agency cannot have any name; it is the “unnamed creator of an unknown sphere, / Unknown as yet, unknowable, / Uncertain certainty” (OP: 127). It is best thought as an X, as an unknown variable. Being has no name. (shrink)

Predication is a lingual relation. We have this relation when a term is said (λέγεται) of another term. This simple definition, however, is not Aristotle’s own definition. In fact, he does not define predication but attaches his almost in a new field used word κατηγορεῖσθαι to λέγεται. In a predication, something is said of another thing, or, more simply, we have ‘something of something’ (ἓν καθ᾿ ἑνὸς). (PsA. , A, 22, 83b17-18) Therefore, a relation in which two terms are posited (...) to each other in a way that one is said (predicated) of the other is a predication. The term of which the other term is said is called a subject (ὑποκειμένον) and the other, which is said about the subject, is called the predicate. Thus, in a predication the predicate is predicated of the subject; given that being predicated is almost as the same as being said. The relation between being said and being predicated is so close that ‘if something is said of a subject both its name and its definition are necessarily predicated of the subject.’ (Cat., 5, 2a19-26) This, however, is true only about the second genera and not the accidents. a) Nature of relation in predication What is Aristotle’s theory about the nature of the relation in a predication? How does he fundamentally understand this relation? Phil Corkum distinguishes between predication logic and traditional term logic and argues that the relation between subject and predicate in Aristotle is of the latter kind. While in predicate logic, subjects and predicates have distinct roles, they have the same role in traditional term logic. In predication logic, subjects refer, but predicates characterize. Thereupon, a sentence expresses a truth if the object to which the subject refers is correctly characterized by the predicate. In traditional term logic, both subjects and predicates refer and a sentences expresses a truth if both name one and the same thing. He concludes that Aristotle ‘problematically conflates prediction and identity claims’ because while he thinks both subjects and predicates refer, he would deny that a sentence is true just in case the subject and the predicate name one and the same thing. Based on this, Corkum believes that Aristotle’s core semantic is not identity but the weaker relation of constitution, which is a mereological interpretation: ‘All men are mortal’ is true just in case the mereological sum of humans is part of the mereological sum of mortals. b) Aristotle’s theory of predication: one or two theories? Frank Lewis finds an inconsistent gap between the theory of predication in the Categories and that in the later books of the Metaphysics VII, 6. So too Joan Kung, Terry Irwin, Daniel Graham. c) Distinction of ‘being said of’ and ‘being in’ Owen enumerates the texts in which Aristotle’s distinction between ‘being said of’ and ‘being in’ is asserted: OI. 11b38-12a17; To., 127b1-4; Cat. 1a20-b9; 2a11-14; 2a27-b6; 2b15-17; 3a7-32; 9b22-24 d) Predication in Aristotle and the standard ‘S is P’ Marie De Rijk Lambertus thinks that the ‘S is P’ pattern is misleading when it comes to express predication in Aristotle. In his view, ‘The Aristotelian procedure should be described in terms of appositively assigning an attribute (κατηγορούμενον) to a substrate (ὑποκείμενον), rather than ascribing a predicate to a subject by means of a copula…. The comment should be considered an attribute which is said to fall to a substrate, without understanding this procedure in terms of sentence predication.’ e) Aristotle’s predication: bipartite or tripartite? It is a difficulty to make Aristotle’s theories of name-verb predication and tripartite predication consistent. The reason is that tripartite is not consistant with his name-verb structure based on which he says that the predicate term is the ‘verb.’ (20a31; 20b1-2; 16a13-5) The problem is that in a tripartite form like ‘Socrates is white’ we cannot take ‘is white’ as the verb because, based on Aristotle himself, no part of a verb can be significant itself. (16b6-7) However, his assertions about the equivalences between the two structures (OI. 12, 21b9-10; PrA. 51b13-16; Met., 1017b22-30) must mean that they are not inconsistent in his own view. Thus, as Allen Bāck points, ‘Aristotle seems to think that he has a single, consistent theory.’ The sense of saying or speaking as the root sense of rhema makes the relation between predication (saying something of something) and verb more interesting. The use of rhema in the sense of a long expression approves this. In Plato’s work (399ac) where Socrates claims that the name anthropos derives from anthron ha opopen (‘he who examines what he has seen’) we have an onoma from, or in place of, a rhema. 1) Subject The subject (ὑποκειμένον) is that of which another term is said or predicated. Aristotle’s own definition is of a much more philosophical value: ‘By subject I mean that which is expressed by an affirmative term (λέγω δὲ ὑποκείμενον τὸ κάταφάσει δηλούμενον).’ (Met., K, 1067b18) Throughout Aristotle’s work, three kinds of subjects can be found: possible, prime and absolute subject. a) Possible subject Those things that can take the position of a subject in a predication we call possible subjects, no matter they can or cannot take the position of predicate in any predication. All terms except the ultimate predicates are possible subjects because they can take the position of subject. b) Prime subject Those that in any predication can only take the position of a subject and not the position of a predicate are prime subjects. (Cat., 5, 3a36-b2; Met., Z, 1028b36-1029a1) This is the truest sense of subject and belongs only to substances. (Met., Z, 1029a1-2) In fact, ‘that which is not predicated of a subject, but of which all else is predicated’ is a substance. (Met., Z, 1029a7-9) In Categories, besides primary substances (Cat., 2, 1b3-6), individual qualities are also said not to be able to be said of anything else. (Cat., 2, 1a23-29) Aristotle’s examples are a certain ‘knowledge-of-grammar’ (τὶς γράμματικὴ) and ‘an individual white’ (τὸ τὶ λευκὸν). Thus, although substances are indeed in the truest sense individuals and, thereby, in the truest sense primary subjects, other individuals can take the position of subject as well. c) Absolute subject While substances are prime subjects of all other things, there is still something of which substances can be predicated and this predication is not an accidental predication: matter. (Met., Z, 1029a21-24) This predication is, indeed, the predication of a ‘form or this’ on matter and material substance. (Met., Θ, 1049a34-36) The only thing that is absolutely a subject, therefore, and can be a predicate is prime matter (πρώτη ὓλη). (Met., Θ, 1049a24-27) d) Subject and substance The most important thing in being a substance is being a subject: ‘It is because the primary substances are subjects for all the other things and all the other things are predicated of them or are in them, that they are called substances most of all.’ (Cat., 5, 2b15-17) And what is nearer to this position is more a substance as a species is more a substance than a genus.’ (Cat., 5, 2b7-8) e) Primary versus accidental subject A subject is a primary subject in a predication when the predicate is predicated of it as itself. In such a case, the subject is the subject of the predicate qua itself and not qua something else. A subject, on the one hand, is an accidental subject when it is not the primary subject of the predicate that is predicated on it. It means that a subject is an accidental subject when the predicate is predicated of it not qua itself but qua something else. An accidental subject is, therefore, anything other than a substance. 2) Predicate as universal It is evident from our discussion of kinds of subjects that except matter, primary substances (if we ignore both accidental predication and cases of absolute subjects) and other individuals, everything else can take the position of a predicate. Since primary substances are individuals, it results that everything except matter and individuals are capable to take the position of predicate. The immediate consequence of this is that the predicate must be a universal. When individuals cannot take the position of predicate, this position cannot be taken by any particular. Therefore, only universals can be predicated of others. Moreover, albeit universals can be a simple subject (for another universal), they are not prime subjects. The closeness of universal and predicate is to the extent that Aristotle differentiates universal from subject. (Met., Θ, 1049a27-30) 3) Categories or classes of predicates Aristotle distinguishes ten highest classes into one of which each predicate must necessarily fall: substance (or what a thing is), quality, quantity, relation, place, time, position, state, activity and passivity. (Cat., 4, 1b25-27; To., I, 9, 103b20- ; PsA., A, 22, 83b13-23) The substance counted among predicates must refer to secondary and not primary substances not only because Aristotle insists that primary substances cannot be predicated but also from his own examples of the category of substance: man and animal. (To., I, 9, 103b25) However, if a predicate be asserted of itself or its genus be asserted of it, the predicate signifies substance or what is; but if ‘one kind of predicate is asserted of another kind,’ it signifies one of the other nines. (To., I, 9, 103b30) These categories are so comprehensive that no predicate can remain outside them so that even non-being has as many senses as categories. (Met., M, 1089a26-30) a) That whether Aristotle’s categories are merely linguistic or fundamentally ontological is a so much controversial dispute. Some like G. E. R. Lloyd believe that ‘categories are primarily intended as a classification of reality … rather than of the signifying terms themselves.’ b) Although Aristotle’s categories have been historically regarded as a classification of predications, there are some recent commentators like Jonathan Barnes that think it is classifying predicates and not predications. 4) Kinds of predicates In his introduction of Categories, as J. W. Thorp truly points out , Aristotle distinguishes between the category of substance and the other categories using μὲν ... δὲ construction. This construction illustrates that beside tenfold classification of categories, there is an even more crucial differentiation between two kinds of predicates: substance or what is on the one hand and the other nine ones on the other hand: the distinction between what is predicated of the subject as what it is and what is predicated of it as an accident. Therefore, we have three kinds of classification - a twofold, a fourfold and a tenfold-complicatedly classifying the same thing, viz. the predicate. Predicates can be divided also to four kinds: property, definition, genus and accident. (To., I, 4, 101b11-20) A property is that predicate that is convertible with its subject and does not signify its essence. A definition is that predicate that is convertible with its subject and signifies its essence. It is a genus if it is not predicated convertibly and is contained in the definition of its subject. And it is an accident if it is neither convertible nor contained in the definition of its subject. (To., I, 8, ^103b3) All of these four kinds are among categories. (To., I, 9, 103b20) It seems that there might be some kind of relation between the twofold and the fourfold distinction: whereas genus and definition are predicated as what it is, accidents are not so predicated. There seems to be some rules that determine to each of these four kinds each predicate belongs. At To., IV, 123b30ff. Aristotle asserts: ‘If B has a contrary and A does not, then B does not belong to A as its genus.’ There is a dispute around per se accidents (τὰ καθ’ αὑτὰ συμβεβηκότα) (Topics., 102a18) whether they must be regarded as either of the four kinds or as a fifth kind. Barnes (1970) argued that they ‘do not fit at all neatly into the fourfold classification.’ He argues that based on the definition of accidents at A, 5, 102b4-5, they must be accidents but based on another definition, A, 5, 102b6-7, they cannot be accidents. He also defends the view that they are not properties. Barnes concludes: ‘This shows that the two definitions are not equivalent, and hence that the ‘predicables’ are not well-defined.’ Demetris J. Hadgopoulos defends the view that the two definitions of accidents are equivalent and per se accidents are properties. 5) Five types of predications We have five kinds of predications based on our division of subjects and our discussion of predicates: simple, primary (itself divided to substantial and accident), accidental (itself divided to primary and secondary), aoincidental and absolute predication. a) Simple predication. This is a predication in which a universal is predicated of either a particular or a universal subject. This sense of predication includes all other senses except the first kind of accidental predication. b) Primary predication. This is a predication in which a universal is predicated of a primary subject, namely a substance. A primary predication is of two kinds: i) Substantial predication. A primary predication in which the predicate is part of, or is included in, the definition of the subject. The universal that is the predicate here is the definition or the genus or the species or the diferentia of the subject. It is this predication that Aristotle calls a unity: ‘A statement may be called a unity … because it exhibits a single predicate as inhering not accidentally in a single subject.’ (PsA., B, 10, 93b35-37) It is only substantial predicates that can be predicated of each other: ‘Predicates which are not substantial are not predicated of one another.’ (PsA., A, 22, 83b18-19) Aristotle defines a substantial predication also in another way. A predication in which a higher genus is predicated on a lower genus, species, a substance or an individual, (or a species is predicated on an individual) is a substantial predication. Therefore, a substantial predication is a predication in a series that has individuals on one of its ends and a general category on its other end. In fact, only substantial predicates can be predicated of one another. (PsA., A, 22, 83b17-19) This series cannot be an infinite series because otherwise not only substances would not be definable but also a genus would be equal to one of its own species. (PsA., A, 22, 83b7-10) -/- ii) Accident predication. A primary predication in which the predicate is not part of, or is not included in, the definition of its subject. The universal that is the predicate here is the property or the accident of the subject. c) Accidental predication. This is a predication in which the subject is not a primary subject and its predicate is a substance. This predication is of two kinds: i) Primary accidental predication. This is a predication in which an accident is predicated of substance. Such a predication can go ad infinitum, which is inferable from Aristotle’s assertion that the secondary accidental predication cannot go ad infinitum. ii) Secondary accidental predication. It is a predication in which an accident is predicated of another accident. Such a predication, Aristotle asserts, cannot go ad infinitum because even more than two accidents cannot be combined. Now what is the meaning of Aristotle’s assertion that we cannot continue this ad infinitum? Does it mean that we cannot continue the predication ‘The musician is white’ and say ‘The white is Athenian?’ But why not? Or maybe he means that by adding any predication, we are still in a condition of predicating two accidents of a substance on each other. -/- As primary subjects, substances can also take the position of predicate though not essentially but accidentally. In propositions like ‘the white is a log’ or ‘That big thing is a log’ we observe substance taking the position of predicate but this is only accidentally: ‘When I affirm ‘the white is a log,’ I mean that something which happens to be white is a log- not that white is the subject in which log inheres (οὐχ ὡς τὸ ὑποκείμενον τῷ ξύλῳ τὸ λευκόν ἐστι), for it was not qua white or qua a species of white that the white (thing) came to be a log (οὔτε λευκὸν ὄν οὔθ᾿ ὃπερ λευκόν τι ἐγἐνετο ξύλον), and the white (thing) is consequently not a log except incidentally.’ (PsA., 22, 83a3-9) Aristotle compares this accidental use of substance in the position of predicate with the substantial use of it in the place of a subject: ‘On the other hand, when I affirm ‘the log is white,’ I do not mean that something else, which happens to be a log, is white (οὐχ ὃτι ἓτερόν τί ἐστι λευκόν, ἐκείνῳ δὲ συμβέβηκε ξύλῳ εἶναι), (as I should if I said ‘the musician is white,’ which would mean ‘The man who happens also to be a musician is white’); on the contrary, log is here the subject- the subject which actually came to be white, and did so qua wood or qua a species of wood and qua nothing else.’ (PsA., 22, 83a8-14) Aristotle asks us not to call propositions like ‘The white is a log’ a predication at all or at least call them accidental predication instead of simple (ἁπλως) predication. (PsA., A, 22, 83a14-17) An accidental predication, in which we have a substance in the place of predicate, is different from an essential predication in that while the subject of an accidental predication is said to be the predicate not by itself but as something different with which it coincides, the subject of an essential predicate is said to be the predicate by itself and not because it is something else: ‘Since there are attributes which are predicated of a subject essentially and not accidentally- not, that is, in the sense in which we say ‘That white (thing) is a man,’ which is not the same mode of predication as when we say ‘The man is white’: the man is white not because he is something else but because he is man, but the white is man because ‘being white’ coincides with ‘humanity’ within one subject. Therefore, there are terms such as are essentially subjects of predicates. (PsA., A, 19, 81a24-29) This capability of ‘non-essentially and only accidentally’ being a subject does belong, in fact, to all sensible things. (PsA., A, 27a32-36) d) Coincidental predication. this is a predication in which none of the subject and predicate are a substance or an individual. In this predication, one of the accidents of a substance or individual is predicated of one of the other accidentals of the same substance or individual. For example, when it is said that ‘The white is musical,’ there is an individual, say Socrates, for which both of white and musical are accidents. e) Absolute predication. This is a predication in which a form or a substance is predicated of a matter or a material substance. Some commentators like Loux and Lewis regarded this predication as close to accident predication, both based on inherence. As R.M. Dancy points out, these predications make Aristotle’s theory of predication immanentist: not only accident predications are explained by the immanence of accidents in substances, some of the substantial predications, which were not explained in Categories, are also explained by the immanence of form in matter. It is interesting that in this kind of predication, it is the predicate and not the subject, which is in the strictest sense substance. As the central books of Metaphysics claim, the form is the substance. Thus, in this predication, substance gets away from the sense of ὑποκείμενον. Corkum mentiones 68a19 as the only instance where Aristotle explicitly claims that a term may be predicated of itself, a passage that is, in Corkum’s view, problematic. 6) Demonstrable predicates Those predicates are demonstrable that are so related to their subjects that there are other predicates prior to them predicable of their subjects (ἔτι δ᾿ ἄλλος, εἰ ὧν πρότερα ἄττα κατηγορεῖται). (PsA., A, 22, 83b32-34) 7) Series of predications Since it is possible for a predicate to be itself the subject of another predication, we can have a series of predications in which the predicate of a predication is the subject of the next predication. This series has the following features: a) It has a limit (in number) (PsA., A, 22, 83b14-16) on the side of subjects: there are subjects that cannot themselves be predicated (PsA., A, 27, 43a39-41), which are, as we noted, prime subjects: particulars, i.e. prime substances and other individuals. (PsA., A, 19-22) Aristotle calls them ultimate (ὓστατον). (PsA., 21, 82a36-b1) b) It has a limit (in number of kinds) (PsA., A, 22, 83b14-16) also on the side of predicates: there must be predicates that cannot be subjects. (PsA., A, 19-22; PsA., A, 27, 43a36-39) Aristotle calls them primary (πρῶτον). (PsA., A, 21, 82b1-4) These are the highest categories or the highest genera of categories. (PsA., A, 22, 83b14-16) c) The series has an escalating shape from mere subjects at its downside to mere predicates at its upside. It is Aristotle himself whos uses the words up and down in this sense. (e.g. PsA., A, 22, 83b2-3) d) The predications that lie between lowest and highest ones must be finite in number. (PsA., A, 19-22 especially: 20, 82a21-35) These have subjects and predicates, each capable of both of the roles of being subject and being predicated. A result of this fitness is that neither demonstration can go to infinity nor everything is demonstrable, the two points Aristotle always insist on. e) The upward side includes the more universal ones and the downward the more particular ones. (PsA., 20, 82a21-23) f) It follows from the above features that ‘neither the ascending nor the descending series of predications … are infinite.’ (PsA., A, 22, 83b24-25) g) Reciprocation and convertibility. Except in case of terms (i.e. subjects and predicates) that are at each of the ends of series of predications, namely ultimates and primaries, it is possible to reciprocate (ἀντιστρέφειν) terms and convert the predication. (PsA., A, 19, 82a15-20) h) Antipredication. Antipredication means that in a predication (S is P), the subject becomes the predicate of its predicate (P is S) in the same category its predicate was predicated on it. For example, if P is in the category of quality, antipredication means that S be predicated of P in the category of quality. In other words, P is a quality of S and S is a quality of P. Aristotle rejects this. (PsA., A, 22, 83a36-b3) i) Self-predication versus other-predication. Aristotle distinguishes between a predication in which a term is said of itself and a predication in which a term is said of another. (Phy., Δ, 2, 209a31-33) j) Predicablity (Cat., 5, 3a36-b2): 1) Primary substances and individuals are not predicable. 2) Secondary substances are of two kinds: genus and species i) Genus is predicable able both of the species and of the individuals. ii) Species is predicable of the individual. 3) Differentiae are predicable both of the species and of the individuals. 8) Predication as classification a) Richard Patterson believes that Aristotle’s so repeated construction using hoper (estin A hoper B) in Topics (120a23 sq., 122b19, 26sq., 123a, 124a18, 125a29, 126a21, 128a35. Also in Posterior Analytics (83a24-30) (Brunschwig’s list. ‘expresses the fact that A is a kind of B (esti A B tis), that A is a species of the genus B.’ 9) Universal predication Aristotle defines universal predication (κατὰ παντὸς κατηγορεῖσθαι) as such: ‘wherever no instance of the subject (τῶν τοῦ ὑποκειμέμνου) can be found of which the other term cannot be asserted.’ (PrA., A, 24b27-29) In this predication, the subject is included in another as in a whole (ἐν ὃλῳ εἶναι) and the predicate is predicated of all of the subject (κατὰ παντὸς κατηγορεῖσθαι). (PrA., A, 24b26-27) Attach another discussion we had about ἐν ὃλῳ here. 10) Quantity of predication A predication, truly stated, has a quantity, which is the number of objects under the name of the subject of which the predicate is predicated. The quantity of subject can be stated in four ways: a. Indefinite: when the predicate belongs or does not belong to the subject without any mark to show to haw many of the particulars under the name of the subject it does or does not belong. E.g. ‘Man is white’; ‘Man is not white.’ (PrA., A, 24a20; OI., I, 7, 17b8-12) b. Universal quantity: When the predicate belongs to all or none of the subject. E.g. ‘Every man is animal’; ‘No man is animal.’ (PrA., A, 24a18-19; OI., I, 7, 17b5-6) The contrary of a predication of a universal quality is a predication of a universal quality. E.g. the contrary of ‘Every man is white’ is ‘No man is white.’ (OI., I, 7, 17b20-23) c. Particular quantity: When the predicate belongs (or does not belong) to some of the subject. E.g. ‘Some men are white’; ‘Some men are not white.’ (PrA., A, 24a19-20) d. Single quantity: when the subject is a proper name of only one object. E.g. ‘Socrates is white’; ‘Socrates is not white.’ The contrary of this predication is of a single quantity: ‘Socrates is not white.’ (OI., I, 7, 17b38-18a4) 11) Convertibility of predication. Some predications are convertible, that is, it is possible to change the place of subject and predicate in a true proposition so that the converted proposition remains true. This is supposed to mean that given the truth of a predication, the truth of the converted predication is inferable. The convert form of a predication depends on its quantity. a. Indefinite quantity: This predication has no strictly true convert because its quantity is not stated. b. Universal quantity: It can be converted in two ways: i) A negative universal can be converted to a negative universal in which the terms are changed. E.g. ‘No pleasure is good’ can be converted to ‘No good is pleasure.’ (PrA., A, 2, 25a5-8 and a14-19) ii) An affirmative universal can be converted to an affirmative particular in which the terms are changed. E.g. ‘Every pleasure is good’ can be converted to ‘Some good is pleasure.’ (PrA., A, 2, 25a7-9) c. Particular quantity: If it is negative, it cannot be converted but if it is affirmative, it can be converted to an affirmative predication with particular quantity. E.g. ‘Some pleasure is good’ can be converted to ‘Some good is pleasure.’ (PrA., A, 2, 25a10-13 and a20-24) d. Single quantity: It cannot be converted. 12) Characteristics of relations between subject and predicate 1. A predicate is of a wider range than its subject. It is based on this fact that Aristotle: a) Prevents individuals to be predicate because there is nothing of which an individual be of a wider range. In other words, it is due to the fact that since an individual is only ‘one particular’ thing and, thus, cannot be of a wider extent than anything that Aristotle prevents them of being a predicate. Matthews, however, thinks we cannot use Socrates, a substance and an individual, in the place of predicate and say it of Socrates because ‘Socrates does not classify Socrates: it names him.’ b) Prevents differentia, species and things under species to be predicated of genus. (To., Z, 6, 144a27-) c) Prevents the species and the things under it to be predicated of the differentia. (To., Z, 6, 144b1-4) d) Also about the effect because it is wider than its subject. (PsA., B, 17, 99a) e) Each attribute is wider than every individual it is predicated on, though several attributes, collectively considered, might not be wider but exactly the substance of a thing. (PsA., B, 13, 96a32-b1) 2. The predicate of a predicate of a subject will be predicated of the subject too: ‘whenever one thing is predicated of another as of a subject, all things said of what is predicated will be said of the subject too.’ (Cat., 3, 1b10-15) In fact, it is due to its predication of the subject that it is predicated of its predicate. (Cat., 5, 2a36-b1) Moreover, what is not predicated of the predicate of a subject cannot be predicated of it as well. (PrA., A, 27, 43b22-27) Thus, what, for example, is not predicated of animal, cannot be predicated of man. 3. The predicate of a subject can be predicated of its predicates as well. (Cat., 5, 3a1-6) For example, you call the individual man grammatical and, thence, you call both a man and an animal grammatical. Nonetheless, the predicate of a subject belongs to it more properly than to its higher predicates. (PrA., A, 27, 43a27-32) 4. It is only the subject that can be distributed and not the predicate. (PrA., A, 27, 43b16-22; OI, I, 7, 17b12-16) Therefore, we can say e.g. ‘Every man is animal’ but we cannot say ‘Every man is every animal.’ 5. It is the reason of the relation between subjects and predicates, that is the reason of predication, which is the subject of inquiry. (Met., Z, 1041a20-24) In other words, since it is a meaningless inquiry to ask why a thing is itself (Met., Z, 1041a14-15), the only remaining meaningful inquiry is to ask why something is something else, i.e. to ask about the reason of predication. 6. A subject cannot categorize its predicate in the same category in which it is categorized by it. If e.g. A is a quality of B, B cannot be a quality of A. Therefore, there is no reciprocation in the same category. (PsA., A, 22, 83a36-39) 13) Characteristics of series of predications 1. A series of secondary accidental predication cannot go ad infinitum for not even more than two terms can be comnbined. For an accident is not an accident of an accident, unless it be because both are accidents of the same subject. (Met., Γ, 1007b1-4) 2. Infinite series cannot be traversed in thought. (PsA., A, 22, 83b6-7) 3. The predications of genera on each other must be ended and cannot go to infinity because otherwise not only substances would not be definable but also a genus would be equal to one of its own species. (PsA., A, 22, 83b7-10) Therefore, a series of predication of genera on each other must be limited on both sides. There must be an upward limit in general categories as well as a downward limit in individual because they cannot be predicated of others. Whatever lies between these limits can both be predicated of others and others be predicated of them. (PrA., A, 27, 43a36-43) 4. The order of predicates matters: it makes a difference whether the series be ABC or BAC. (PsA., B, 13, 96b25-32) . (shrink)

Phenomenology is based on a doctrine of evidence that accords a crucial role to the human capacity to conceptualise or ‘intuit’ features of their experience. However, there are grounds for holding that some experiential entities to which phenomenologists are committed must be intuition-transcendent or ‘dark’. Examples of dark phenomenology include the very fine-grained perceptual discriminations which Thomas Metzinger calls ‘Raffman Qualia’ and, crucially, the structure of temporal awareness. It can be argued, on this basis, that phenomenology is in much the (...) same epistemological relationship to its own subject matter as descriptive (i.e. ‘phenomenological’) physics or biology are to physical and biological reality: phenomenology cannot tell us what phenomenology is really ‘about’. This does not mean we should abjure phenomenology. It implies, rather, that the domain of phenomenology is not the province of a self-standing, autonomous discipline but must be investigated with any empirically fruitful techniques that are open to us (e.g. computational neuroscience, artificial intelligence, etc.). Finally, it entails that while a naturalized phenomenology should be retained as a descriptive, empirical method, it should not be accorded transcendental authority. (shrink)

It is pointed out that the different concepts of the Universe serve as an ultimate basis determining the frames of consciousness. A unified concept of the Universe is explored which includes consciousness and matter as well to the universe of existents. Some consequences of the unified concept of the Universe are derived and shown to be able to solve the paradox of the self-founding notion of the Universe. The self-contained Universe is indicated to possess a logical nature. It is shown (...) that a passage exists between consciousness and the material world and its nature is exemplified. Moreover, arguments are presented showing the simultaneous emotional nature of the Universe. A solution to the paradox of semi-finite spacetime existents, possessing finite and infinite substances simultaneously, namely eternal existents like moral values and logical validity, is obtained. (shrink)

Agency is a power, but what is it a power to do? The tradition presents us with three main answers: (1) that agency is a power to affect one’s own will, consequent upon which act further events ensue, beginning with the movement of a part of one's body; (2) that agency is a power to affect one’s own body, consequent upon which act further events ensue, beginning with the movement of an object that one touches; and (3) that agency is (...) a power to affect that material upon which one brings one's action to bear---e.g. the apple one is peeling (with a knife in one's hand). These three answers correspond to three increasingly expansive conceptions of the province of human agency. I refer to them, respectively, as volitionalism, corporealism and materialism. Only the first two are seriously considered in contemporary action theory. Favoring the third, and hoping to sharpen the conflict between the third and the first, I criticize the second. Corporealism has been a popular position—arguably, the default position in the philosophy of action—since Donald Davidson’s classic paper “Agency” (1971). Although it seems to occupy a sensible middle ground between volitionalism and materialism, corporealism is, I argue, indefensible: it shares the vulnerabilities of both its two rivals, without possessing the strengths of either. Nevertheless, reflection on corporealism lights the road to materialism, which, in the end, is the only possible alternative to volitionalism. (shrink)

Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for investigation by means of automated (...) theorem provers and finite model builders. The fundamental theorem of Leibniz’s theory is derived using these tools. (shrink)

A principle, according to which any scientific theory can be mathematized, is investigated. Social science, liberal arts, history, and philosophy are meant first of all. That kind of theory is presupposed to be a consistent text, which can be exhaustedly represented by a certain mathematical structure constructively. In thus used, the term “theory” includes all hypotheses as yet unconfirmed as already rejected. The investigation of the sketch of a possible proof of the principle demonstrates that it should be accepted rather (...) a metamathematical axiom about the relation of mathematics and reality. The main statement is formulated as follows: Any scientific theory admits isomorphism to some mathematical structure in a way constructive. Its investigation needs philosophical means. Husserl’s phenomenology is what is used, and then the conception of “bracketing reality” is modelled to generalize Peano arithmetic in its relation to set theory in the foundation of mathematics. The obtained model is equivalent to the generalization of Peano arithmetic by means of replacing the axiom of induction with that of transfinite induction. The sketch of the proof is organized in five steps: a generalization of epoché; involving transfinite induction in the transition between Peano arithmetic and set theory; discussing the finiteness of Peano arithmetic; applying transfinite induction to Peano arithmetic; discussing an arithmetical model of reality. Accepting or rejecting the principle, two kinds of mathematics appear differing from each other by its relation to reality. Accepting the principle, mathematics has to include reality within itself in a kind of Pythagoreanism. These two kinds are called in paper correspondingly Hilbert mathematics and Gödel mathematics. The sketch of the proof of the principle demonstrates that the generalization of Peano arithmetic as above can be interpreted as a model of Hilbert mathematics into Gödel mathematics therefore showing that the former is not less consistent than the latter, and the principle is an independent axiom. The present paper follows a pathway grounded on Husserl’s phenomenology and “bracketing reality” to achieve the generalized arithmetic necessary for the principle to be founded in alternative ontology, in which there is no reality external to mathematics: reality is included within mathematics. That latter mathematics is able to self-found itself and can be called Hilbert mathematics in honour of Hilbert’s program for self-founding mathematics on the base of arithmetic. The principle of universal mathematizability is consistent to Hilbert mathematics, but not to Gödel mathematics. Consequently, its validity or rejection would resolve the problem which mathematics refers to our being; and vice versa: the choice between them for different reasons would confirm or refuse the principle as to the being. An information interpretation of Hilbert mathematics is involved. It is a kind of ontology of information. The Schrödinger equation in quantum mechanics is involved to illustrate that ontology. Thus the problem which of the two mathematics is more relevant to our being is discussed again in a new way A few directions for future work can be: a rigorous formal proof of the principle as an independent axiom; the further development of information ontology consistent to both kinds of mathematics, but much more natural for Hilbert mathematics; the development of the information interpretation of quantum mechanics as a mathematical one for information ontology and thus Hilbert mathematics; the description of consciousness in terms of information ontology. (shrink)

I here develop a specific version of the deflationary theory of truth. I adopt a terminology on which deflationism holds that an exhaustive account of truth is given by the equivalence between truth-ascriptions and de-nominalised (or disquoted) sentences. An adequate truth-theory, it is argued, must be finite, non-circular, and give a unified account of all occurrences of “true”. I also argue that it must descriptively capture the ordinary meaning of “true”, which is plausibly taken to be unambiguous. Ch. (...) 2 is a critical historical survey of deflationary theories, where notably disquotationalism is found untenable as a descriptive theory of “true”. In Ch. 3, I aim to show that deflationism cannot be finitely and non-circularly formulated by using “true”, and so must only mention it. Hence, it must be a theory specifically about the word “true” (and its foreign counterparts). To capture the ordinary notion, the theory must thus be an empirical, use-theoretic, semantic account of “true”. The task of explaining facts about truth now becomes that of showing that various sentences containing “true” are (unconditionally) assertible. In Ch. 4, I defend the claim (D) that every sentence of the form “That p is true” and the corresponding “p” are intersubstitutable (in a use-theoretic sense), and show how this claim provides a unified and simple account of a wide variety of occurrences of “true”. Disquotationalism then only has the advantage of avoiding propositions. But in Ch. 5, I note that (D) is not committed to propositions. Use-theoretic semantics is then argued to serve nominalism better than truth-theoretic ditto. In particular, it can avoid propositions while sustaining a natural syntactic treatment of “that”-clauses as singular terms and of “Everything he says is true”, as any other quantification. Finally, Horwich’s problem of deriving universal truth-claims is given a solution by recourse to an assertibilist semantics of the universal quantifier. (shrink)

In this paper, we outline an approach to giving extensional truth-theoretic semantics for what have traditionally been seen as opaque sentential contexts. We outline an approach to providing a compositional truth-theoretic semantics for opaque contexts which does not require quantifying over intensional entities of any kind, and meets standard objections to such accounts. The account we present aims to meet the following desiderata on a semantic theory T for opaque contexts: (D1) T can be formulated in a first-order extensional language; (...) (D2) T does not require quantification over intensional entities­i.e., meanings, propositions, properties, relations, or the like­in its treatment of opaque contexts; (D3) T captures the entailment relations that hold in virtue of form between sentences in the language for which it is a theory; (D4) T has a finite number of axioms. If the approach outlined here is correct, it resolves a longstanding complex of problems in metaphysics, the philosophy of mind and the philosophy of language. (shrink)