A homonymy analysis is proposed to explain the so-called “demonstrative use” of personal pronouns. This analysis explains why some pronouns (_it_) do not allow a demonstrative use, as demonstrated in Nunberg (1993). The absence of a demonstrative feature in _it_ can also account for the fact that it does not allow deferred reference. It is argued on the basis of the structure of the nominal demonstrative paradigm that the homonymy analysis is more parsimonious than a single-item analysis.

One takes advantage of some basic properties of every homotopic \(\lambda\)-model (e.g. extensional Kan complex) to explore the higher \(\beta\eta\)-conversions, which would correspond to proofs of equality between terms of a theory of equality of any extensional Kan complex. Besides, Identity types based on computational paths are adapted to a type-free theory with higher \(\lambda\)-terms, whose equality rules would be contained in the theory of any \(\lambda\)-homotopic model.

The intention here is that of giving a formal underpinning to the idea of ‘meaning-is-use’ which, even if based on proofs, it is rather different from proof-theoretic semantics as in the Dummett–Prawitz tradition. Instead, it is based on the idea that the meaning of logical constants are given by the explanation of immediate consequences, which in formalistic terms means the effect of elimination rules on the result of introduction rules, i.e. the so-called reduction rules. For that we suggest an extension (...) to the Curry– Howard interpretation which draws on the idea of labelled deduction, and brings back Frege’s device of variable-abstraction to operate on the labels (i.e., proof-terms) alongside formulas of predicate logic. (shrink)

The intention here is that of giving a formal underpinning to the idea of 'meaning-is-use' which, even if based on proofs, it is rather different from proof-theoretic semantics as in the Dummett-Prawitz tradition. Instead, it is based on the idea that the meaning of logical constants are given by the explanation of immediate consequences, which in formalistic terms means the effect of elimination rules on the result of introduction rules, i. e. the so-called reduction rules. For that we suggest an (...) extension to the Curry-Howard interpretation which draws on the idea of labelled deduction, and brings back Frege's device of variable-abstraction to operate on the labels (i. e., proof-terms) alongside formulas of predicate logic. (shrink)

In this paper I shall venture into an area with which I am not very familiar and in which I feel far from confident; namely into phenomenology. My main motive is not to get away from standard, boring, methodological questions like those of induction and demarcation; but the conviction that a phenomenological account of the empirical basis forms a necessary complement to Popper's falsificationism. According to the latter, a scientific theory is a synthetic and universal, hence unverifiable proposition. In fact, (...) in order to be technologically useful, a scientific hypothesis must refer to future states-of-affairs; it ought therefore to remain unverified. But in order to be empirical, a theory must bear some kind of relation to factual statements. According to Popper, such a relation can only be one of potential conflict. Thus a theory T will be termed scientific if and only if T is logically incompatible with a so-called basic statement b, where b is both empirically verifiable and empirically falsifiable. In other words: T is scientific if it entails ¬b; where b, hence also ¬b, is an empirically decidable proposition. (shrink)

Wittgenstein's work remains, undeniably, now, that off one of those few philosophers who will be read by all future generations.

The fact that genes and environment contribute differentially to variation in human behaviors, traits and attitudes is central to the field of behavior genetics. Perceptions about these differential contributions may affect ideas about human agency. We surveyed two independent samples (N = 301 and N = 740) to assess beliefs about free will, determinism, political orientation, and the relative contribution of genes and environment to 21 human traits. We find that lay estimates of genetic influence on these traits cluster into (...) four distinct groups, which differentially predict beliefs about human agency, political orientation, and religiosity. Despite apparent ideological associations with these beliefs, the correspondence between mean lay estimates and published heritability estimates for the surveyed traits is large (r = .77). Belief in genetic determinism emerges as a modest predictor of accuracy in these lay estimates. Additionally, educated mothers with multiple children emerge as particularly accurate in their estimates of the genetic contribution to these traits. (shrink)

This article, in the example of the subject of shukr (gratitude), proposes a ‘perspective’ for the instructor who determines the processes of bringing a subject into the learning environment. This perspective is related to the encounter with the knowledge of the subject to be taught. It points to the approach of the instructor to the information he/she will refer to about the subject he/she will teach while preparing in the mental plan. The content of the subject, the objectives, the methods, (...) techniques, and resources to be used to present the subject, and how the output will be measured and evaluated are largely determined by this perspective. In a way, the proposed perspective involves monitoring the change and transformation of life and the contextualization of religious knowledge by paying attention to the methodological functioning. Thus, the way the subject of gratitude presented in the Qur’an and hadith narrations aims to provide the teacher with a ‘perspective’ on what kind of content to prepare. This is a suggestion for the instructor to reveal that while managing the process of religiously understanding/interpreting life as it flows by, the instructor should not ignore the ways in which knowledge appears in the Qur’an and hadith narrations. For example, the first meaning of the word shukr (gratitude) in the Qur’an is “faith in Allah.” However, traditionally, shukr (gratitude) is not taught within the subject area of faith. In this context, the article follows the suggestion that referring to the method and source of the knowledge to be taught can provide the instructor with a holistic and in-depth ‘perspective.’. (shrink)

_Zettel, _ an en face bilingual edition, collects fragments from Wittgenstein's work between 1929 and 1948 on issues of the mind, mathematics, and language.

Given the sordid history of injustices linking genetics to race and ethnicity, considerations of justice are central to ensuring the responsible development of precision medicine programmes around the world. While considerations of justice may be in tension with other areas of concern, such as scientific value or privacy, there are also tensions between different aspects of justice. This paper focuses on three particular aspects of justice relevant to this precision medicine: social justice, distributive justice and human rights. We describe the (...) implications of each for the use of race and ethnicity in precision medicine, and also how they intersect and potentially conflict with each another. By attending to these intersections, we aim to enrich and add nuance to debates over how best to proceed with precision medicine initiatives. (shrink)

The complex hexaploid wheat genome offers many challenges for genomics research. Expressed sequence tags facilitate the analysis of gene-coding regions and provide a rich source of molecular markers for mapping and comparison with model organisms. The objectives of this study were to construct a high-density EST chromosome bin map of wheat homoeologous group 2 chromosomes to determine the distribution of ESTs, construct a consensus map of group 2 ESTs, investigate synteny, examine patterns of duplication, and assess the colinearity with rice (...) of ESTs assigned to the group 2 consensus bin map. A total of 2600 loci generated from 1110 ESTs were mapped to group 2 chromosomes by Southern hybridization onto wheat aneuploid chromosome and deletion stocks. A consensus map was constructed of 552 ESTs mapping to more than one group 2 chromosome. Regions of high gene density in distal bins and low gene density in proximal bins were found. Two interstitial gene-rich islands flanked by relatively gene-poor regions on both the short and long arms and having good synteny with rice were discovered. The map locations of two ESTs indicated the possible presence of a small pericentric inversion on chromosome 2B. Wheat chromosome group 2 was shown to share syntenous blocks with rice chromosomes 4 and 7. (shrink)

Despite the periodic table having been discovered by chemists half a century before the discovery of electronic structure, modern designs are invariably based on physicists’ definition of periods. This table is a chemists’ table, reverting to the phenomenal periods that led to the table’s discovery. In doing so, the position of hydrogen is clarified.

Researchers are required to seek consent from Indigenous communities prior to conducting research but there is inadequate information about how Indigenous people understand and become fully engaged with this consent process. Few studies evaluate the preference or understanding of the consent process for research with Indigenous populations. Lack of informed consent can impact on research findings. The Picture Talk Project was initiated with senior Aboriginal leaders of the Fitzroy Valley community situated in the far north of Western Australia. Aboriginal people (...) were interviewed about their understanding and experiences of research and consent processes. Transcripts were analysed using NVivo10 software with an integrated method of inductive and deductive coding and based in grounded theory. Local Aboriginal interpreters validated coding. Major themes were defined and supporting quotes sourced. Interviews with Aboriginal leaders were facilitated by a local Aboriginal Community Navigator who could interpret if necessary and provide cultural guidance. Participants were from all four major local language groups of the Fitzroy Valley; aged 31 years and above; and half were male. Themes emerging from these discussions included Research—finding knowledge; Being respectful of Aboriginal people, Working on country, and Being flexible with time; Working together with good communication; Reciprocity—two-way learning; and Reaching consent. The project revealed how much more there is to be learned about how research with remote Aboriginal communities should be conducted such that it is both culturally respectful and, importantly, meaningful for participants. We identify important elements in community consultation about research and seeking consent. (shrink)

Kirkham’s book is not a plain attempt of asking the questions like ‘What is truth?’ since it would, according to him, be one more mistake followed by confusion. The components of this four-dimensional confusion (vagueness, ambiguity, several ways of describing the same project, and one answer for two distinctly different questions about truth) find its original explanation in Kirkham’s book. Having stated that all of the previous theories of truth were just irrelevant to the question of “What is truth” because (...) when asking different questions about truth, he draws his non-trivial approach of assigning each theorist to the particular question (or ‘project’) he or she was trying to answer with his or her theory of truth. So, the main merit of Kirkham’s work is the clarification of this most urgent philosophical problem of truth on the way of metaphysics. (shrink)