The Logic of Partial Terms LPT is a strict negative free logic that provides an economical framework for developing many traditional mathematical theories having partial functions. In these traditional theories, all functions and predicates are strict. For example, if a unary function (predicate) is applied to an undefined argument, the result is undefined (respectively, false). On the other hand, every practical programming language incorporates at least one nonstrict or lazy construct, such as the if-then-else, but nonstrict functions (...) cannot be either primitive or introduced in definitional extensions in LPT. Consequently, lazy programming language constructs do not fit the traditional mathematical mold inherent in LPT. A nonstrict (positive free) logic is required to handle nonstrict functions and predicates. Previously developed nonstrict logics are not fully satisfactory because they are verbose in describing strict functions (which predominate in many programming languages), and some logicians find their semantics philosophically unpalatable. The newly developed Lazy Logic of Partial Terms LL is as concise as LPT in describing strict functions and predicates, and strict and nonstrict functions and predicates can be introduced in definitional extensions of traditional mathematical theories. LL is "built on top of" LPT, and, like LPT, admits only one domain in the semantics. In the semantics, for the case of a nonstrict unary function h in an LL theory T, we have $\models_T h(\perp) = y \longleftrightarrow \forall x(h(x) = y)$ , where $\perp$ is a canonical undefined term. Correspondingly, in the axiomatization, the "indifference" (to the value of the argument) axiom $h(\perp) = y \longleftrightarrow \forall x(h(x) = y)$ guarantees a proper fit with the semantics. The price paid for LL's naturalness is that it is tailored for describing a specific area of computer science, program specification and verification, possibly limiting its role in explicating classical mathematical and philosophical subjects. (shrink)

The logic of partial terms (LPT) is a variety of negative free logic in which functions, as well as predicates, are strict. A companion paper focused on nonconstructive LPTwith definite descriptions, called LPD, and laid the foundation for tableaux systems by defining the concept of an LPDmodel system and establishing Hintikka's Lemma, from which the strong completeness of the corresponding tableaux system readily follows. The present paper utilizes the tableaux system in establishing an Extended Joint Consistency Theorem for (...) LPDthat incorporates the Robinson Joint Consistency Theorem and the Craig-Lyndon Interpolation Lemma. The method of proof is similar to that originally used in establishing the Extended Joint Consistency Theorem for positive free logic. Proof of the Craig-Lyndon Interpolation Lemma for formulas possibly having free variables is readily had in LPTand its intuitionistic counterpart. The paper concludes with a brief discussion of the theory of definitions in LPD. (shrink)

We develop a bottom-up approach to truth-value semantics for classical logic of partial terms based on equality and apply it to prove the conservativity of the addition of partial description and selection functions, independently of any strictness assumption.

The problem of the interpretation of theoretical terms is outlined, and some difficulties connected with the distinction between partial definitions and empirical postulates are discussed. A reconstruction is sketched which is intended to explicate the 'definitional' character of partial definitions. Finally, some implications for the methodology of theory construction are indicated.

Two experiments were run to demonstrate the presence of a partial reinforcement extinction effect (PREE) and a partial punishment effect (PPE) 4 weeks after training in a 1-trial/day procedure. In the PREE paradigm, two groups of animals were trained to run a straight alley for food reward; one group was rewarded on every trial (CRF), whereas the other was rewarded on only 50% of the trials (PRF). In the test phase, extinction, no reward was present on any trial. (...) Four weeks after the end of acquisition, and subsequent to 7 days of CRF retraining, PRF animals showed greater resistance to extinction than did their CRF controls. The PPE paradigm resembled the PREE paradigm in all aspects, except that mild electric foot shock, together with the food reward, was used instead of nonreward on 50% of the acquisition trials. In the test phase, all animals were shocked and given a food reward on every trial. Four weeks after the end of acquisition and retraining, the animals with previous experience of shock in acquisition showed greater resistance to punishment than did their controls. (shrink)

Confused terms appear to signify more than one entity. Carnap maintained that any putative name that is associated with more than one object in a relevant universe of discourse fails to be a genuine name. Although many philosophers have agreed with Carnap, they have not always agreed among themselves about the truth-values of atomic sentences containing such terms. Some hold that such atomic sentences are always false, and others claim they are always truth-valueless. Field maintained that confused (...) class='Hi'>terms can still refer, albeit partially, and offered a supervaluational account of their semantic properties on which some atomic sentences with confused terms can be true. After outlining many of the most important theoretical considerations for and against various semantic theories for such terms, we report the results of a study designed to investigate which of these accounts best accords with the truth-value judgments of ordinary language users about sentences containing these terms. We found that naïve participants view confused names as capable of successfully referring to one or more objects. Thus, semantic theories that judge them to involve total reference failure do not comport well with patterns of ordinary usage. (shrink)

From an evolutionary perspective, phenotypic, social, and environmental factors help to shape the different costs and benefits of pursuing different reproductive strategies from one individual to another. Since men’s reproductive success is mainly constrained to women’s availability, their mating orientations should be partially calibrated by features that women prefer in a potential partner. For long-term relationships, women prefer traits that signal access to resources, protection skills, and the willingness to share them. Using generalized linear models with laboratory data taken from (...) a Chilean population, this study aimed to test whether real and potential resources, protection skills, and the willingness to provide resources and protection are related to mating orientation in men. Our predictions were: socioeconomic status would be positively associated with long-term and short-term mating orientation but for long-term-oriented individuals, this would be enhanced by having a more favorable parenthood disposition and strength would be positively related to long-term mating orientation in men with higher socioeconomic status and a favorable disposition toward parenthood and it would have a positive and direct association with short-term mating orientation. Our results partially supported the first hypothesis, since men with higher socioeconomic status were more long-term oriented, but parenting disposition did not moderate this effect. Contrary to our expectations, socioeconomic status was not related to short-term mating orientation. Strength appeared not to be significant for long-term mating orientation, even interacting with other traits. However, strength by itself was powerfully linked with a short-term mating orientation. Our results suggest that only some individuals that are attractive for long-term relationships are indeed long-term oriented and may reflect the overall conflict of interests between mating strategies among sexes. (shrink)

Theories of partial reference have been developed in order to retrospectively interpret rather stubborn past scientific theories like Newtonian dynamics and the phlogiston theory in a realist way, i.e., as approximately true. This is done by allowing for a term to refer to more than one entity at the same time and by providing semantic structures that determine the truth values of sentences containing partially referring terms. Two versions of theories of partial reference will be presented, a (...) conjunctive (by Hartry Field, 1973) and a disjunctive one (by Christina McLeish, 2006). In this paper, I will analyze them with regard to modal and epistemic aspects of those theories. It will be argued that a) theories of partial reference are (surprisingly) compatible with the rigidity of natural kind terms but face a weaker form of the so called “no-failures-of-reference-problem” and b) that the disjunctive account of partial reference suffers from a serious weakness: the impossibility of discriminating between descriptions that fix the reference of a term and those merely associated with it leads to the unacceptable result that past scientific theories containing such partially referring terms will come out as epistemically necessary, i.e., as a priori true. (shrink)

Hermann von Helmholtz’s geometrical papers have been typically deemed to provide an implicitly group-theoretical analysis of space, as articulated later by Felix Klein, Sophus Lie, and Henri Poincaré. However, there is less agreement as to what properties exactly in such a view would pertain to space, as opposed to abstract mathematical structures, on the one hand, and empirical contents, on the other. According to Moritz Schlick, the puzzle can be resolved only by clearly distinguishing the empirical qualities of spatial perception (...) from those describable in terms of axiomatic geometry. This paper offers a partial defense of the group-theoretical reading of Helmholtz along the lines of Ernst Cassirer in the fourth volume of The Problem of Knowledge of 1940. In order to avoid the problem raised by Schlick, Cassirer relied on a Kantian view of space not so much as an object of geometry, but as a precondition for the possibility of measurement. Although the concept of group does not provide a description of space, the modern way to articulate the concept of space in terms of transformation groups reveals something about the structure and the transformation of spatial concepts in mathematical and natural sciences. (shrink)

. Recent years have witnessed the proliferation of “Christian” companies in the U.S. These firms declare their belief in, and active pursuit of, the successful merging of biblical principles with business activities. Economic success, hard work, and biblical values are seen as capable of existing together in harmony. While the number of such businesses appears to be growing, there has been a dearth of any scientific study of these companies. No empirical research has been conducted to determine whether these religious (...) values and behaviors have any significant impact on a company’s performance. The present study is designed to partially fill this gap. Specifically, it seeks to determine whether there are differences in long-term performance between self-proclaimed “Christian-based” businesses and their secular counterparts. Data were collected from 312 companies. A multivariate analysis of variance (MANOVA), followed by univariate ANOVAs, found significant differences between these two groups of firms on three of the four performance variables that were analyzed. Some explanations as well as limited generalizations and implications are developed. (shrink)

Certified nursing assistants (CNAs) provide up to 80% of the direct care to older adults in long‐term care facilities.CNAs are perceived as being at the bottom of the hierarchy among healthcare professionals often negatively affecting their job satisfaction. However, manyCNAs persevere in providing quality care and even reporting high levels of job satisfaction. The aim of the present investigation was to identify primary themes that may helpCNAs make meaning of their chosen career; thus potentially partially explaining increases in job satisfaction (...) among this group. Focus groups were conducted withCNAs at three long‐term care facilities. Four themes emerged from the data:CNAwork is good or special;CNAas relationship builder;CNAas expert;CNAas team member. These themes reflect the perceptions that theseCNAs held in regard to themselves and their relationships to others in the work environment and, when present, can contribute to intrinsic job satisfaction. Our meaning‐making themes support the premise thatCNAs do not passively accept the evaluations of others but instead actively frame identities that validate their importance to residents and the institution. (shrink)

The American system of long‐term care is disorganized and expensive. Obtaining care for a loved one is a confusing and difficult journey. When it comes to paying for that care, a bit over half who receive care are supported at least partially by insurance, and those with no insurance pay entirely out of pocket. The costs are exorbitant. What makes the system function is reliance on unpaid family members, who care for their loved ones often at considerable cost to themselves.As (...) the baby boom generation ages, this creaky system will become increasingly dysfunctional, and a likely shortage of caregivers will be at the heart of the difficulties. The supply of unpaid family caregivers will become limited, as the ratio of people in the category of ages forty‐five to sixty‐four compared to those who are eighty and older shrinks from just above seven to one in 2010 to just above four to one in 2030. Paid caregivers will be needed to take up the slack, yet they are poorly paid, work under very difficult conditions, and receive little respect from the health care system. In this essay, I discuss the circumstances facing these paid home‐care workers and a possible path forward, illustrating the current problems by drawing on interviews I conducted for a book‐length study published in 2017. (shrink)

Performance on working memory (WM) tasks may partially be supported by long-term memory (LTM) processing. Hence, brain activation recently being implicated in WM may actually have been driven by (incidental) LTM formation. We examined which brain regions actually support successful WM processing, rather than being confounded by LTM processes, during the maintenance and probe phase of a WM task. We administered a four-pair (faces and houses) associative delayed-match-to-sample (WM) task using event-related fMRI and a subsequent associative recognition LTM task, using (...) the same stimuli. This enabled us to analyze subsequent memory effects for both the WM and the LTM test by contrasting correctly recognized pairs with incorrect pairs for either task. Critically, with respect to the subsequent WM effect, we computed this analysis exclusively for trials that were forgotten in the subsequent LTM recognition task. Hence, brain activity associated with successful WM processing was less likely to be confounded by incidental LTM formation. The subsequent LTM effect, in contrast, was analyzed exclusively for pairs that previously had been correctly recognized in the WM task, disclosing brain regions involved in successful LTM formation after successful WM processing. Results for the subsequent WM effect showed no significantly activated brain areas for WM maintenance, possibly due to an insensitivity of fMRI to mechanisms underlying active WM maintenance. In contrast, a correct decision at WM probe was linked to activation in the “retrieval success network” (anterior and posterior midline brain structures). The subsequent LTM analyses revealed greater activation in left dorsolateral prefrontal cortex and posterior parietal cortex in the early phase of the maintenance stage. No supra-threshold activation was found during the WM probe. Together, we obtained clearer insights in which brain regions support successful WM and LTM without the potential confound of the respective memory system. (shrink)

We consider the special and general relativistic extensions of the action principle behind the Schrödinger equation distinguishing classical and quantum contributions. Postulating a particular quantum correction to the source term in the classical Einstein equation we identify the conformal content of the above action and obtain classical gravitation for massive particles, but with a cosmological term representing off-mass-shell contribution to the energy–momentum tensor. In this scenario the—on the Planck scale surprisingly small—cosmological constant stems from quantum bound states having a Bohr (...) radius a as being \. (shrink)

The foundational conviction of contemporary liberal thought is that all persons possess equal moral worth and are entitled to equal concern and respect by others. At the same time, nation states, as the primary organs of our collective self-governance, frequently pursue policies that are strikingly partial towards the interests of compatriots over those of foreigners. A common strategy for justifying this national partiality is to view it as grounded in associative obligations that we incur by standing in special relationships (...) with our fellow citizens. For instance, according to familiar arguments from ‘fair play’, voluntarily partaking in and benefiting from cooperative relationships with our fellow citizens gives us reciprocal obligations to maintain these social institutions and care for needy compatriots. By contrast, we do not have corresponding associative obligations towards foreigners. I maintain that such arguments from associative obligations face an important stumbling block. I argue for the following “Boundary Principle”, according to which we cannot appeal to special relationships amongst members of a group to justify an attitude of partiality towards them unless the boundaries of this group, and the fact that they exclude other persons from membership, can also be justified. If this is right, arguments from associative obligations, by themselves, are necessarily incomplete. Most modern states severely limit the scope of economic migration, and thereby prevent many would-be contributors to the collective enterprises of affluent societies from entering into those special relationships with us that would give rise to associative obligations on our part. Not only are would-be immigrants excluded from the benefits that participation in the cooperative schemes of affluent nation-states would itself confer; in addition, the fact that they do not stand in such cooperative relationships with us is then appealed to in order to justify the fact that we assign significantly less weight to their interests in the formulation of state policy. The upshot of my discussion is not that a defense of national partiality in terms of associative obligations cannot succeed. It is rather that a successful defense of national partiality in these terms is more closely tied to the question whether principled restrictions can be placed on immigration than most political philosophers have hitherto assumed. (shrink)

Why do relationships of friendship and love support partiality, but not relationships of hatred or commitments of racism? Where does partiality end and why? I take the intuitive starting point that important cases of partiality are meaningful. I develop a view whereby meaning is understood in terms of transcending self-limitations in order to connect with things of external value. I then show how this view can be used to distinguish central cases of legitimate partiality from cases of illegitimate partiality (...) and how it puts pressure on the traditional way of thinking about partiality. (shrink)

This article uses the concept of partial organization to examine how organizing principles can facilitate the effective operation of networked forms of corruption. We analyze the case study of a corruption network in the South Korean maritime industry in terms of how it operated by selectively appropriating practices normally associated with formal bureaucratic organizations. Our findings show that organizational elements built into the corruption network enabled coordination of corruption activities and served to distort and override practices within member (...) organizations. The network was primarily organized through the hierarchical organization of a bounded and controlled set of members and, to a lesser extent, through processes of monitoring and sanctions. Given its clandestine nature, the network avoided the use of explicit rules to govern behavior, instead relying on habituated routines to ensure consistent and predictable action from members. We find that organizational elements were rescinded when the corruption network was exposed after the sinking of a passenger ferry, the Sewol. By rolling back its hierarchical organization and reverting to core relationships, the corruption network sought to preserve its center. The article illustrates the explanatory value of studying how the activities of corruption networks are enabled and adapt to existential challenges through partial organization. (shrink)

Is a belief that one will succeed necessary for an intention? It is argued that the question has traditionally been badly posed, framed as it is in terms of all-out belief. We need instead to ask about the relation between intention and partial belief. An account of partial belief that is more psychologically realistic than the standard credence account is developed. A notion of partial intention is then developed, standing to all-out intention much as partial (...) belief stands to all-out belief. Various coherence constraints on the notion are explored. It is concluded that the primary relations between intention and belief should be understood as normative and not essential. (shrink)

We study partiality in propositional logics containing formulas with either undefined or over-defined truth-values. Undefined values are created by adding a four-place connective W termed transjunction to complete models which, together with the usual Boolean connectives is shown to be functionally complete for all partial functions. Transjunction is seen to be motivated from a game-theoretic perspective, emerging from a two-stage extensive form semantic game of imperfect information between two players. This game-theoretic approach yields an interpretation where partiality is generated (...) as a property of non-determinacy of games. Over-defined values are produced by adding a weak, contradictory negation or, alternatively, by relaxing the assumption that games are strictly competitive. In general, particular forms of extensive imperfect information games give rise to a generalised propositional logic where various forms of informational dependencies and independencies of connectives can be studied. (shrink)

In this article we define a logical system called Hybrid Partial Type Theory ( $\mathcal {HPTT}$ ). The system is obtained by combining William Farmer’s partial type theory with a strong form of hybrid logic. William Farmer’s system is a version of Church’s theory of types which allows terms to be non-denoting; hybrid logic is a version of modal logic in which it is possible to name worlds and evaluate expressions with respect to particular worlds. We motivate (...) this combination of ideas in the introduction, and devote the rest of the article to defining, axiomatising, and proving a completeness result for $\mathcal {HPTT}$. (shrink)

In an article published in 2003, Klaus Jacobi—using texts partially edited in De Rijk's _Logica Modernorum_—demonstrated that twelfth-century logic contains a tradition of reflecting about some of the transcendental names. In addition to reinforcing Jacobi's thesis with other texts, this contribution aims to demonstrate two points: 1) That twelfth-century logical reflection about transcendental terms has its origin in the _logica vetus_, and especially in a passage from Porphyry _Isagoge_ and in Boethius's commentary on it. In spite of the loss (...) of the major part of the Aristotelian corpus, the twelfth-century masters in logic still received some Aristotelian theses concerning the notions of one and being via Porphyry and Boethius; on the basis of such theses, they were able to elaborate a sort of proto-theory of the transcendentals as trans-categorical terms. 2) That this theory is centred on the idea that there exists a particular group of names which have the property that they can be said of everything; this group includes "being", "one", "thing" and "something". Twelfth-century masters in logic try to question the thesis that these terms are equivocal, although they do not deny it completely. (shrink)

In the light of partial understanding, we examine the thesis that concepts are individuated in terms of possession conditions and show that adherents face a fatal dilemma: Either concept-individuating possession conditions include cases of partially understood concepts or not. If yes, possession conditions do not individuate concepts. If no, the thesis is too restricted and lacks a minimally satisfactory level of generalization.

In this commentary, I consider how Giulia Cavaliere’s arguments about the limited reach of the current justifications offered for full ectogenesis in the bioethical literature apply in the context of partial ectogenesis. I suggest that considering the extent to which partial ectogenesis is freedom or equality promoting is more urgent because of the more realistic prospect of artificial womb technology being utilised to facilitate partial gestation extra uterum as opposed to facilitating complete gestation from conception to term. (...) I highlight concerns about potentially harmful social narratives surrounding pregnancy and about the current legal framework surrounding gestation limiting access to technology in the advent of partial ectogenesis. I do not advocate that these concerns mean that we ought not develop artificial wombs, but like Cavaliere I suggest that we must be mindful of these concerns, and I posit that legal reform must accompany technological developments. Ectogenesis as a political perspective, through which we consider the value in social reproduction and the experiences of pregnant people, is useful to prevent political capture of this technology for regressive policies. Using this perspective to examine the law is also a useful tool to expose just how restrictive the law is in relation to gestation and female reproductive health. (shrink)

Discussion of partial grounds that aren't parts of full grounds; definition of full grounding in terms of partial grounding.

A number of philosophers have recently argued for acknowledging non-augmented partial grounds, partial grounds that are not parts of full grounds. This paper shows how non-augmented partial grounds can be straightforwardly modelled within the framework of generalised identity. I argue that my proposal answers questions concerning the connections between partial grounding, full grounding, and nothing-over-and-aboveness in a motivated way. In this context, I propose and discuss a way to spell out nothing-over-and-aboveness in terms of generalised (...) identity that does justice to the claim that the fully grounded is nothing over and above its full grounds. It will turn out that the related question whether partial grounding and nothing-over-and-aboveness yield full grounding pertains to considerations concerning how finely factual content is individuated. The relationship between non-augmented partial grounding and nothing-over-and-aboveness crucially depends on whether one works with a representational or a worldly notion of grounding and how coarsely grained one takes worldly grounds to be. (shrink)

In the light of partial (mis)understanding, we examine the thesis that concepts are individuated in terms of possession conditions and show that adherents face a fatal dilemma: Either concept‐individuating possession conditions include cases of partially (mis)understood concepts or not. If yes, possession conditions do not individuate concepts. If no, the thesis is too restricted and lacks a minimally satisfactory level of generalization.

We are going to explain partial blocking as the result of diachronic processes based on what we will call associative learning. Especially, we argue that the task posed by partial blocking phenomena is to explain their emergence from unambiguous and fully expressive languages. This contrasts with approaches that presuppose underspecified semantic meanings or ineffability like Bidirectional Optimality Theory (Bi–OT) and some game theoretic explanations. We introduce a formal framework based on learning, speaker’s preferences and pure semantics for describing (...) diachronic strengthening of meaning. Moreover, we show how the diachronic development of systems of semantically co–extensive forms can be described in terms of a complete system of diachronic laws. (shrink)

Not by Genes Alone excellently explains Peter J. Richerson and Robert Boyd's important ideas about human gene-culture co-evolution to a broader audience but remains short of a larger vision of civilization. Several decades ago Ralph Burhoe had seen that fertile possibility in Richerson and Boyd's work. I suggest getting past present reductionistic customs to a scientific perspective having an integral place for virtue. Subsystem agency is part of this view, as is the driving role of abundance, whose ultimate origins are (...) in the mysterious, quintessentially energetic Big Bang. The free-rider problem may not impede higher social organization as inexorably as Richerson and Boyd believe; "the tragedy" of enervating leakage from "the commons" may often be less influential than an invigorating flow of externalities to the commons. Eukaryotic origins mark the origin of inevitable wider sharing as higher living systems evolve. I use a metaphor of flesh and spirit in drawing a parallel between that turning point and the wide sharing that occurs in civilization. This helps solve the enigma of the demographic transition. Why do so many productive participants in first-world societies severely restrict their selfish-gene reproduction to below replacement birth rate? It is not because culture is maladaptive but because civilization's brain and womb have become partially differentiated in distinct populations. Considerations of social boundaries, myths of sacrifice, and human creativity help in understanding how human social evolution taps potentials present in reality. Human beings' diverse vigorous activities—the organized ones and the inadvertent ones, the wise and the foolish, the good and the bad, the carefully thoughtful and the merely playful—provide the ground of being, or primordial soup, for cultural entities that transcend our intentions. If we have it right for the most part and are fortunate, we will continue to emerge at higher levels. (shrink)

Identification of programs for computable functions from their graphs and identification of grammars for recursively enumerable languages from positive data are two extensively studied problems in the recursion theoretic framework of inductive inference.In the context of function identification, Freivalds et al. have shown that only those collections of functions, , are identifiable in the limit for which there exists a 1-1 computable numbering ψ and a discrimination function d such that1. for each , the number of indices i such that (...) ψi = ƒ is exactly one and2. for each , there are only finitely many indices i such that ƒ and ψi agree on the first d arguments.A similar characterization for language identification in the limit has turned out to be difficult. A partial answer is provided in this paper. Several new techniques are introduced which have found use in other investigations on language identification. (shrink)

In fundamental beliefs, in other words, in the internalist theory of knowledge, our beliefs are guaranteed by solid mental foundations, unshakable premises, epistemic principles and some reasons that lead to truth. However, in the theory of non-fundamental beliefs, that is, externalism, the conditions that guarantee knowledge are generally sought outside the mind. Now, in the epistemological sense, obtainingin formation by chance or situations that will eliminate error in information are not the kind of evidence or some principles present in the (...) mind that foundationalists put forward; Cognitive resources such as perception, memory, introspection should also be taken into account in the expression of non-core beliefs. Accordingly, according to a non-foundationalist understanding of knowledge, belief is generally justifiedif it is the result of a reliable mental process such as standard perceptual processes, remembering states in terms of stored data, and introspection, and if there is nothing that weakens this reliable mental process. While the knowledge obtained based on basic beliefs is expressed with justified and perhaps even guaranteed true beliefs, reliable/causal cognitive and external processes are also taken into account in the transformation of non-basic beliefs in to knowledge. The importance of this study emerges as it aims to investigate the plausibility of fundamental and non-fundamental beliefs from the context of knowledge construction by investigating the issue from two dimension sand trying to produce a synthesis. In addition, it aims to justify both types of beliefs and secure knowledge within the framework of internalist and externalist theories of knowledge. Fundamental and non-fundamental belief forms have been described and partially compared within the framework of internalist and externalist understandings of knowledge, and this study has been prepared from a research and analysis perspective. The scope and limitation level of this study is related to the role of our beliefs in the construction of knowledge. While basic beliefs are expressed based on basic epistemic principles and solid mental foundations, non-basic beliefs are explained based on both cognitive and external sources such as perception, memory, introspection, experience and reliability. Th eproblematics of this study are generally about how basic and non-basic beliefs are distinguished and expressed, and which elements are used to guarantee knowledge. The study first tried to define and compare basic and non-basic beliefs. Afterwards, he tried to find solutions to the problems of this research by considering the relationship of both forms of belief with knowledge. (shrink)

Introducción: La ablación o mutilación genital femenina incluye una amplia variedad de prácticas que suponen la extirpación total o parcial de los genitales externos o su alteración por razones que no son de índole médica. Causa daños irreversibles y pone en peligro la salud, e incluso la vida de la mujer o niña afectada. Objetivo: Caracterizar la mutilación genital femenina y sus complicaciones a largo plazo en la comunidad de Fajikunda, Gambia, entre marzo y septiembre de 2012. Método: Se realizó (...) un estudio descriptivo prospectivo a 117 mujeres que asistieron al centro de salud por cualquier motivo que requiriera examen ginecológico y se estudiaron las variables grupo de edades, tipo de mutilación, grupo étnico y complicaciones. Resultados: Del total, 98 mujeres eran de 45 años de edad o menos; la clitoridectomía fue la práctica más frecuente; la inflamación pélvica crónica y el dolor en los genitales fueron las complicaciones a largo plazo que mayor asociación estadística demostraron con relación a la mutilación. La anorgasmia presentó una alta incidencia en la población estudiada. Conclusiones: La prevalencia de la mutilación genital femenina en Fajikunda es aproximadamente la misma que en Gambia, la tipo I es la más practicada y generalmente en jóvenes de la etnia Mandinga. Introduction: The ablation or female genital mutilation includes a wide variety of practices dealing with total or partial extirpation of the external genitalia or its alterations for reasons other than of medical nature. It causes irreversible damages and puts in danger the health or even the life of the woman or child involved. Objective: The aim of the present study is to characterize female genital mutilation and its long-term complications in Fajikunda community, Gambia, between March and September 2012. Method: A descriptive prospective study was performed to 117 women that attended the health unit for reasons requiring gynecological examination and the variables age group, mutilation type, ethnic group and complications were studied. Results: Of the total, 98 women were 45 years old or less; the clitoridectomy was the most frequent practice; cronical pelvic and genital pains were the long-term complications that showed a major statistical association with relation to mutilation. Conclusions: The prevalence of female genital mutilation in Fajikunda is approximately the same as in Gambia, the type I is the most performed and generally within young women belonging to Mandinga ethnic group. (shrink)

In this second paper, I continue my discussion of the problem of reference for scientific realism. First, I consider a final objection to Kitcher’s account of reference, which I generalise to other accounts of reference. Such accounts make attributions of reference by appeal to our pretheoretical intuitions about how true statements ought to be distibuted among the scientific utterances of the past. I argue that in the cases that merit discussion, this strategy fails because our intuitions are unstable. The interesting (...) cases are importantly borderline—it really isn’t clear what we ought to say about how those terms referred. I conclude that in many relevant cases, our grounds for thinking that the theoretical terms of the past referred are matched by our grounds for thinking that they failed to refer, in such a way that deciding on either result is arbitrary and bad news for the realist. In response to this problem, in the second part of the paper I expand upon Field’s account of partial reference to sketch a new way of thinking about the theoretical terms of the past—that they partially referred and partially failed to refer.Keywords: Scientific realism; Reference; Partial denotation; Theoretical terms; Philip Kitcher; Hartry Field. (shrink)

Church's simple theory of types is a system of higher-order logic in which functions are assumed to be total. We present in this paper a version of Church's system called PF in which functions may be partial. The semantics of PF, which is based on Henkin's general-models semantics, allows terms to be nondenoting but requires formulas to always denote a standard truth value. We prove that PF is complete with respect to its semantics. The reasoning mechanism in PF (...) for partial functions corresponds closely to mathematical practice, and the formulation of PF adheres tightly to the framework of Church's system. (shrink)

In this article, we present findings from a qualitative study examining how young women experience being long‐term bedridden with myalgic encephalomyelitis (ME), also known as chronic fatigue syndrome (CFS), during childhood and adolescence. The aim is to explore how young women who fell ill with ME/CFS during childhood and adolescence look back on their lived experience of being long‐term bedridden from the vantage point of being fully or partially recovered. Informed by a phenomenological theoretical perspective, the researchers applied a narrative (...) methodological approach involving the analysis of interviews with 13 women, aged 16–29 years at the time of the interview. Attention was particularly paid to how participants structured their narratives and to the events (telling moments) they identified as important. Four major storylines were developed: Ambivalent responses to the presence of others; A body on the edge of life; An eternity in the dark; and Recasting painful memories of being bedridden and alone. Based on our findings, we argue that the experience of being long‐term bedridden with ME/CFS during childhood and adolescence can be understood and communicated as a plot in which individuals find themselves pushed to the extreme limit of suffering and loneliness. (shrink)

Motivated by constraint satisfaction problems, Feder and Vardi (SIAM Journal of Computing, 28, 57–104, 1998) set out to search for fragments of satisfying the dichotomy property: every problem definable in is either in P or else NP-complete. Feder and Vardi considered in this connection two logics, strict NP (or SNP) and monadic, monotone, strict NP without inequalities (or MMSNP). The former consists of formulas of the form , where is a quantifier-free formula in a relational vocabulary; and the latter is (...) the fragment of SNP whose formulas involve only negative occurrences of relation symbols, only monadic second-order quantifiers, and no occurrences of the equality symbol. It remains an open problem whether MMSNP enjoys the dichotomy property. In the present paper, SNP and MMSNP are characterized in terms of partially ordered connectives. More specifically, SNP is characterized using the logic D of partially ordered connectives introduced in Blass and Gurevich (Annals of Pure and Applied Logic, 32, 1–16, 1986), Sandu and Väänänen (Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 38, 361–372 1992), and MMSNP employing a generalization C of D introduced in the present paper. (shrink)

I show that extant attempts to capture and generalize empirical adequacy in terms of partial structures fail. Indeed, the motivations for the generalizations in the partial structures approach are better met by the generalizations via approximation sets developed in “Generalizing Empirical Adequacy I”. Approximation sets also generalize partial structures.

The study of complexity and optimization in decision theory involves both partial and complete characterizations of preferences over decision spaces in terms of real-valued monotones. With this motivation, and following the recent introduction of new classes of monotones, like injective monotones or strict monotone multi-utilities, we present the classification of preordered spaces in terms of both the existence and cardinality of real-valued monotones and the cardinality of the quotient space. In particular, we take advantage of a characterization (...) of real-valued monotones in terms of separating families of increasing sets to obtain a more complete classification consisting of classes that are strictly different from each other. As a result, we gain new insight into both complexity and optimization, and clarify their interplay in preordered spaces. (shrink)

If is a random sequence, then the sequence is clearly not random; however, seems to be “about half random”. L. Staiger [Kolmogorov complexity and Hausdorff dimension, Inform. and Comput. 103 159–194 and A tight upper bound on Kolmogorov complexity and uniformly optimal prediction, Theory Comput. Syst. 31 215–229] and K. Tadaki [A generalisation of Chaitin’s halting probability Ω and halting self-similar sets, Hokkaido Math. J. 31 219–253] have studied the degree of randomness of sequences or reals by measuring their “degree (...) of compression”. This line of study leads to various definitions of partial randomness. In this paper we explore some relations between these definitions. Among other results we obtain a characterisation of Σ1-dimension in terms of strong Martin-Löf ε-tests , and we show that ε-randomness for ε is different than the classical 1-randomness. (shrink)

To what extent are people able to make predictions about other people’s preferences and values? We report two experiments that present a novel method assessing some of the basic processes in surrogate decision-making, namely surrogate-utility estimation. In each experiment participants formed dyads who were asked to assign utilities to health related items and commodity items, and to predict their partner’s utility judgments for the same items. In experiment one we showed that older adults in long-term relationships were able to accurately (...) predict their partner’s wishes. In experiment two we showed that younger adults who were relatively unfamiliar with one another were also able to predict other people’s wishes. Crucially we demonstrated that these judgments were accurate even after partialling out each participant’s own preferences indicating that in order to make surrogate utility estimations people engage in perspective-taking rather than simple anchoring and adjustment, suggesting that utility estimation is not the cause of inaccuracy in surrogate decision-making. The data and implications are discussed with respect to theories of surrogate decision-making. (shrink)

We offer a new outlook on the vexed question of the reference of natural-kind terms. Since Kripke and Putnam, there is a widespread assumption that natural-kind terms function just like proper names: they designate their referents directly and they are rigid designators: their reference is unchanged even in worlds in which the referent lacks some or all the properties associated with it in the actual world, and which are useful to us in identifying that referent. There have, however, (...) been heated debates about what should be taken as a natural-kind term. Some challenge the very existence of a separate category of natural-kind terms ; some their being directly referential ; some raise the possibility that direct reference extends to terms beyond those usually assumed to fall under the category, e.g. to ‘polemical’ terms. When these debates turn on the question of what natural kinds are, they take on a strong epistemological or metaphysical dimension. We think the issues can be clarified within the limits of the philosophy of language: by looking into what ranges of general terms are perceived by speakers as rigid designators of natural kinds. The first step to take is to ground the various kinds of semantic externalism in distinct brands of semantic deference. This we define as speakers’ being disposed to use words in line with the norms of their linguistic community and as consenting to being corrected when it is manifest that their use and understanding of a word does not match common practice. When those dispositions are present, speakers defer semantically to something beyond themselves. Here, our focus is on spotting the words for which speakers would defer not to the current usage of the word in the linguistic community, nor to the current experts of the field to which the word pertains, but ultimately to the very nature of the referent of the term. When speakers’ deference conforms to that pattern, we argue, that is evidence that indexical externalism provides the right metasemantic account of how the meaning of the word is determined. In other words, one can say that the word is treated like a natural-kind term. But how can patterns of deference be measured? In an ongoing survey, participants are confronted with conditions that may prompt them to revise certain classificatory statements, e.g. An emu is a bird. Each condition makes salient one of the targets we have identified for deference: the community usage, the experts, the ‘world as it is’. In the condition that seeks to tap into the latter kind of deference, participants are presented with a scenario in which future scientific discoveries result in excluding from the extension of a term certain members currently thought to fall under that extension, e.g. discoveries that require excluding certain species now thought to be birds from the Aves class. The scenario is such that it is clear that the ‘discoveries’ bring us closer to the actual essence, if there is one, of birds. Our reasoning is that, if participants significantly modify their statements in the light of that scenario, they can be taken to ‘defer’ to the nature of the referent, thus vindicating indexical externalism. We test if words not normally assumed to be natural-kind terms – for instance summer, contract or rape – exhibit patterns of deference similar to those for bird. If so, then there’s a case for an extension of indexical externalism beyond the usual set of terms. What would be shown in this way is that speakers have something like realist intuitions with respect to words whose meaning is usually taken to be purely conventional or polemical. We are at the pre-test stage for the survey. We cannot yet report on our results. We should, however, have initial results by March, which, we believe, will enrich the observations made by previous empirical studies. References: Braisby, N., Franks, B. & Hampton, J. 1996. Essentialism, word use, and concepts. Cognition 59, 247-74./Genone, J. & Lombrozo, T. 2012. Concept possession, experimental semantics, and hybrid theories of reference. Philosophical Psychology 25, 717-742./Häggqvist, S. & Wikforss, Å. 2015. Experimental semantics: the case of natural kind terms, in J. Haukioja, Experimental Philosophy of Language, London, Bloomsbury./Jylkkä, J., Railo, H. & Haukioja, J. 2009. Psychological essentialism and semantic externalism: Evidence for externalism in lay speakers’ language use. Philosophical Psychology 22, 37-60./Mallon, R., Machery, E., Nichols, S. & Stich, S. 2009. Against arguments from reference, Philosophy and Phenomenological Research 79, 332-356./ Marconi, D. 1997. Language, Speech, and Communication. Lexical Competence. Cambridge : MIT Press./Moravcsik, J. 2016. Meaning, Creativity, and the Partial Inscrutability of the Human Mind, 2nd ed. Stanford: CSLI./Schroeter, L. & Schroeter, F. 2014. Normative concepts: a connectedness model, Philosophers’ Imprint 14, 1-26./ Wikforss, Å. 2010. Are natural kind terms special?, in H. Beebee and N. Sabbarton-Leary, The Semantics and Metaphysics of Natural Kinds, New York, Routledge, 64-83. (shrink)

We investigate a simply typed term system ℘R ω aimed at defining partial primitive recursive functionals over arbitrary Scott domains . A hierarchy of complexity classes R n ω for functionals definable in ℘R ω is given based on a hierarchy of term classes ℘R n ωpn denoting the n th class of so-called prenormal terms . They come into play by the key observation that every term t can be transformed by what we call higher type modularization (...) as a kind of inversion of normalization into an αβη equal term t ′ having almost no structural complexity. However, it turns out that normalization of a prenormal term may increase its structural complexity with respect to the classes ℘R n ωpn , and conversely, ground type modularization being still possible may reduce it. Thus the structural complexity of a prenormal term t defined as the least n with t ϵ ℘R n ωpn depends strongly on the representation of t . We present a measure denoted μ = n rel v , ϱ for prenormal terms t to be read as t is of complexity n with valued free variables v and valued type π . It is shown that μ is stable on αβη equal terms and furthermore, μ ⩽ min {n |∃t′ ϵ ℘R n ω pn .t′ = αβη t} . Moreover, if t is in a certain μ- normal form 2, the estimate above is even true with equality, that is μ yields the structural complexity of the maximal modularization of t , clearly the best a purely structural measure can do. μ-normal forms 2 do not always exist. The counterexample we give, however, clearly shows that μ does not only take into account the structural complexity of a prenormal term but also the nature and computationl complexity of the algorithm it represents. (shrink)

In this article we characterize a countable ordinal known as the big Veblen number in terms of natural well-partially ordered tree-like structures. To this end, we consider generalized trees where the immediate subtrees are grouped in pairs with address-like objects. Motivated by natural ordering properties, extracted from the standard notations for the big Veblen number, we investigate different choices for embeddability relations on the generalized trees. We observe that for addresses using one finite sequence only, the embeddability coincides with (...) the classical tree-embeddability, but in this article we are interested in more general situations. We prove that the maximal order type of some of these new embeddability relations hit precisely the big Veblen ordinal ϑΩΩ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\vartheta \Omega^{\Omega}}$$\end{document}. Somewhat surprisingly, changing a little bit the well-partially ordered addresses, the maximal order type hits an ordinal which exceeds the big Veblen number by far, namely ϑΩΩΩ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\vartheta \Omega^{\Omega^\Omega}}$$\end{document}. Our results contribute to the research program on classifying properties of natural well-orderings in terms of order-theoretic properties of the functions generating the orderings. (shrink)

Let \ be a class of formulas. We say that a theory T in classical logic has the \-disjunction property if for any \ sentences \ and \, either \ or \ whenever \. First, we characterize the \-disjunction property in terms of the notion of partial conservativity. Secondly, we prove a model theoretic characterization result for \-disjunction property. Thirdly, we investigate relationships between partial disjunction properties and several other properties of theories containing Peano arithmetic. Finally, we (...) investigate unprovability of formalized partial disjunction properties. (shrink)