forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are (...) available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

Enligt ett realistiskt synsätt kan ett påstående vara sant trots att det inte ens i princip är möjligt att veta att det är sant. En sanningsteoretisk antirealist kan inte godta denna möjlighet utan accepterar en eller annan version av Dummetts vetbarhetsprincip: (K) Om ett påstående är sant, så måste det i princip vara möjligt att veta att det är sant. Det kan dock förefalla rimligt, även för en antirealist, att gå̊ med på̊ att det kan finnas sanningar som ingen faktiskt (...) vet (har vetat, eller kommer att veta) är sanna. Man kan därför tänka sig att en antirealist skulle acceptera principen (K) utan att därför gå med på den till synes starkare principen: (SK) Om ett påstående är sant, så måste det faktiskt finnas någon som vet att det är sant. Ett mycket omdiskuterat argument – som ytterst går tillbaka till Alonzo Church, men som först publicerades i en uppsats av Frederic Fitch i Journal of Symbolic Logic 1963 – tycks emellertid visa att principen (K) implicerar principen (SK). Anta nämligen att (K) är sann, medan (SK) inte är det. Men om (SK) är falsk, så finns det ett påstående som är sant men som ingen faktiskt vet är sant. Anta nu att p är ett sådant påstående. Låt Kp betyda att någon vet att p är sant. Det galler alltså̊ att p är sant samtidigt som Kp inte är det. Betrakta nu påståendet (p ∧ −Kp). Enligt antagandet är detta påstående sant. Enligt (K) måste det då vara möjligt att någon vet att (p ∧ −Kp). D.v.s., det måste vara möjligt att påståendet K(p ∧ −Kp) är sant. Men i så fall är det också̊ möjligt att påståendet Kp ∧ K−Kp är sant, vilket i sin tur implicerar att det är möjligt att Kp ∧ −Kp är sant, vilket ju är absurt. Således kan inte (K) vara sann samtidigt som (SK) är falsk. Vi tycks således kunna sluta oss till att (K) implicerar (SK). I uppsatsen diskuterar jag några olika sätt att undgå̊ Church-Fitch paradoxala slutsats. Ett tillvägagångssätt är att ersätta kunskapsoperatorn med en hierarki av kunskapspredikat. Ett annat är baserat på distinktionen mellan faktisk och potentiell kunskap och ett förkastande av den vanliga modallogiska formaliseringen av principen (K). Den senare typen av lösning betraktas både från ett realistiskt och ett icke-realistiskt perspektiv. Utifrån denna analys kommer jag fram till slutsatsen att vi, vare sig vi är realister eller antirealister rörande sanning, kan sluta oroa oss för vetbarhetsparadoxen och ändå uppskatta Church-Fitchs argument. (shrink)

Epistemic theories of truth, such as those presumed to be typical for anti-realism, can be characterised as saying that what is true can be known in principle: p → ◊Kp. However, with statements of the form “p & ¬Kp”, a contradiction arises if they are both true and known. Analysis of the nature of the paradox shows that such statements refute epistemic theories of truth only if the the anti-realist motivation for epistemic theories of truth is not taken into account. (...) The motivation in a link of understandability ans meaningful- ness suggests to change the above principle and to restrict the theory to logically simple sentences, in which case the paradox does not arise. This suggestion also allows to see the deep philosophical problems for anti-realism those counterexamples are pointing at. (shrink)

There is considerable disagreement about the epistemic value of novel predictive success, i.e. when a scientist predicts an unexpected phenomenon, experiments are conducted, and the prediction proves to be accurate. We survey the field on this question, noting both fully articulated views such as weak and strong predictivism, and more nascent views, such as pluralist reasons for the instrumental value of prediction. By examining the various reasons offered for the value of prediction across a range of inferential contexts , we (...) can see that neither weak nor strong predictivism captures all of the reasons for valuing prediction available. A third path is presented, Pluralist Instrumental Predictivism; PIP for short. (shrink)

Pharmaceuticals or other emerging technologies could be used to enhance (or diminish) feelings of lust, attraction, and attachment in adult romantic partnerships. While such interventions could conceivably be used to promote individual (and couple) well-being, their widespread development and/or adoption might lead to “medicalization” of human love and heartache—for some, a source of serious concern. In this essay, we argue that the “medicalization of love” need not necessarily be problematic, on balance, but could plausibly be expected to have either good (...) or bad consequences depending upon how it unfolds. By anticipating some of the specific ways in which these technologies could yield unwanted outcomes, bioethicists and others can help direct the course of love’s “medicalization”—should it happen to occur—more toward the “good” side than the “bad.”. (shrink)

In this issue, Ahmadi1 reports on the practice of hymenoplasty—a surgical intervention meant to restore a presumed physical marker of virginity prior to a woman's marriage. As Mehri and Sills2 have stated, these women ‘want to ensure that blood is spilled on their wedding night sheets.’ Although Ahmadi's research was carried out in Iran specifically, this surgery is becoming increasingly popular in a number of Western countries as well, especially among Muslim populations.3 What are the ethics of hymen restoration?Consider the (...) role of the physician. Two of the doctors interviewed by Ahmadi reported being in ‘a perpetual state of guilt because of the surgery's inherent aim at deceiving the groom’ and noted their ‘personal conflict’ at being involved in this deception. Yet: "None of the doctors believed that the surgery was unethical, arguing that the girl could be ‘abused’ and ‘can even die’ if she is discovered not … ". (shrink)

Jago uses a Fitch-style argument in an attempt to demonstrate that every truth has a truthmaker. But Trueman shows that there is a parallel argument, this time to the conclusion that no truth has a truthmaker. Since we cannot accept both, we must ditch at least one Fitch. But which? Keywords: Truth, truthmaking, truthmaker maximalism, Fitch paradox, Robert Trueman.

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...) bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

The perception of reality by biosystems is based on different, and in certain respects more effective, principles than those utilized by the more formal procedures of science. As a result, what appears as random pattern to the scientific method can be meaningful pattern to a living organism. The existence of this complementary perception of reality makes possible in principle effective use by organisms of the direct interconnections between spatially separated objects shown to exist in the work of J. S. Bell.

Spinoza's use of the phrase “sui iuris” in the Tractatus Politicus gives rise to the following paradox. On the one hand, one is said to be sui iuris to the extent that one is rational; and to the extent that one is rational, one will steadfastly obey the laws of the state. However, Spinoza also states that to the extent that one adheres to the laws of the state, one is not sui iuris, but rather stands under the power [sub (...) potestate] of the state (TP 3/5). It seems, then, that to the extent that one is sui iuris, one will not, in fact, be sui iuris. In this paper, I offer an interpretation of Spinoza's notion of being sui iuris that enables us to overcome this paradox and sheds light on Spinoza's relationship to the republican tradition. I work towards this goal by distinguishing between two ways in which Spinoza uses the locution, which correspond to two different conceptions of power: potentia and potestas. This distinction not only allows us to save Spinoza from internal inconsistency, it also enables us to see one important way in which Spinoza stands outside of the republican tradition, since he conceives of liberty not as constituted by independence, or citizenship in a res publica, but as being sui iuris in the first sense described above: being powerful. (shrink)

Shaun Nichols has recently argued that while the folk notion of free will is associated with error, a question still remains whether the concept of free will should be eliminated or preserved. He maintains that like other eliminativist arguments in philosophy, arguments that free will is an illusion seem to depend on substantive assumptions about reference. According to free will eliminativists, people have deeply mistaken beliefs about free will and this entails that free will does not exist. However, an alternative (...) reaction is that free will does exist, we just have some deeply mistaken beliefs about it. According to Nichols, all such debates boil down to whether or not the erroneous folk term in question successfully refers or not. Since Nichols adopts the view that reference is systematically ambiguous, he maintains that in some contexts it’s appropriate to take a restrictivist view about whether a term embedded in a false theory refers, while in other contexts it’s appropriate to take a liberal view about whether a token of the very same term refers. This, according to Nichols, affords the possibility of saying that the sentence “free will exists” is false in some contexts and true in others. In this paper I argue that even if we grant Nichols his pluralistic approach to reference, there is still good reason to prefer eliminativism to preservationism with regard to free will. My argument focuses on one important difference between the concept of “free will” and other theoretical terms embedded in false theories—i.e., the role that the phenomenology of free agency plays in reference fixing. (shrink)

We have begun work on two separate but related ontologies for the study of neurological diseases. The first, the Neurological Disease Ontology (ND), is intended to provide a set of controlled, logically connected classes to describe the range of neurological diseases and their associated signs and symptoms, assessments, diagnoses, and interventions that are encountered in the course of clinical practice. ND is built as an extension of the Ontology for General Medical Sciences — a high-level candidate OBO Foundry ontology that (...) provides a set of general classes that can be used to describe general aspects of medical science. ND is being built with classes utilizing both textual and axiomatized definitions that describe and formalize the relations between instances of other classes within the ontology itself as well as to external ontologies such as the Gene Ontology, Cell Ontology, Protein Ontology, and Chemical Entities of Biological Interest. In addition, references to similar or associated terms in external ontologies, vocabularies and terminologies are included when possible. Initial work on ND is focused on the areas of Alzheimer’s and other diseases associated with dementia, multiple sclerosis, and stroke and cerebrovascular disease. Extensions to additional groups of neurological diseases are planned. The second ontology, the Neuro-Psychological Testing Ontology (NPT), is intended to provide a set of classes for the annotation of neuropsychological testing data. The intention of this ontology is to allow for the integration of results from a variety of neuropsychological tests that assay similar measures of cognitive functioning. Neuro-psychological testing is an important component in developing the clinical picture used in the diagnosis of patients with a range of neurological diseases, such as Alzheimer’s disease and multiple sclerosis, and following stroke or traumatic brain injury. NPT is being developed as an extension to the Ontology for Biomedical Investigations. (shrink)

The National Center for Biomedical Ontology is a consortium that comprises leading informaticians, biologists, clinicians, and ontologists, funded by the National Institutes of Health (NIH) Roadmap, to develop innovative technology and methods that allow scientists to record, manage, and disseminate biomedical information and knowledge in machine-processable form. The goals of the Center are (1) to help unify the divergent and isolated efforts in ontology development by promoting high quality open-source, standards-based tools to create, manage, and use ontologies, (2) to create (...) new software tools so that scientists can use ontologies to annotate and analyze biomedical data, (3) to provide a national resource for the ongoing evaluation, integration, and evolution of biomedical ontologies and associated tools and theories in the context of driving biomedical projects (DBPs), and (4) to disseminate the tools and resources of the Center and to identify, evaluate, and communicate best practices of ontology development to the biomedical community. Through the research activities within the Center, collaborations with the DBPs, and interactions with the biomedical community, our goal is to help scientists to work more effectively in the e-science paradigm, enhancing experiment design, experiment execution, data analysis, information synthesis, hypothesis generation and testing, and understand human disease. (shrink)

It is sometimes argued that the non-therapeutic, non-consensual alteration of children‘s genitals should be discussed in two separate ethical discourses: one for girls (in which such alterations should be termed 'female genital mutilation' or FGM), and one for boys (in which such alterations should be termed 'male circumcision‘). In this article, I call into question the moral and empirical basis for such a distinction, and argue that all children - whether female, male, or indeed intersex - should be free from (...) having parts of their genitals removed unless there is a pressing medical indication. (shrink)

Nhiều nаm hơn nữ đượс đăng ký tên trên GCNQSDĐ. Phụ nữ sở hữu ít mảnh đất hơn nаm giới. Điều này đượс giải thíсh là dо phụ nữ tiếp сận đất đаi hạn сhế, vì ít mảnh đất hơn сhỉ dо phụ nữ sở hữu hоặс đồng sở hữu. Một số yếu tố giải thíсh sự kháс biệt. Để bắt đầu, đánh giá định tính và khảо sát сủа сhúng tôi сhо thấy rằng сáс khíа сạnh văn hóа ưu (...) tiên nаm giới như ưu tiên соn trаi trоng thựс hành thừа kế vẫn сòn phù hợp ở Việt Nаm. Những kết quả này сhо thấy сần сó những người hành nghề xã hội và pháp luật và сhính quyền làm việс ở сấp xã để hỗ trợ nhu сầu сủа người dân về thông tin về luật, quyền сủа họ và сáс quy trình để сó đượс đất. Tiếp сận сáс xã này để сảm hóа và thúс đẩy bình đẳng giới trоng quá trình сấp giấy сhứng nhận quyền sử dụng đất sẽ là một bướс đi đúng hướng quаn trọng. Cáс сơ quаn сhứс năng сấp tỉnh сấp GCNQSDĐ сần сảnh giáс và yêu сầu làm rõ khi người dân muốn đăng ký tài sản mà không ghi tên vợ hоặс сhồng. (shrink)

The Cell Ontology (CL) is designed to provide a standardized representation of cell types for data annotation. Currently, the CL employs multiple is_a relations, defining cell types in terms of histological, functional, and lineage properties, and the majority of definitions are written with sufficient generality to hold across multiple species. This approach limits the CL’s utility for cross-species data integration. To address this problem, we developed a method for the ontological representation of cells and applied this method to develop a (...) dendritic cell ontology (DC-CL). DC-CL subtypes are delineated on the basis of surface protein expression, systematically including both species-general and species-specific types and optimizing DC-CL for the analysis of flow cytometry data. This approach brings benefits in the form of increased accuracy, support for reasoning, and interoperability with other ontology resources. 104. Barry Smith, “Toward a Realistic Science of Environments”, Ecological Psychology, 2009, 21 (2), April-June, 121-130. Abstract: The perceptual psychologist J. J. Gibson embraces a radically externalistic view of mind and action. We have, for Gibson, not a Cartesian mind or soul, with its interior theater of contents and the consequent problem of explaining how this mind or soul and its psychological environment can succeed in grasping physical objects external to itself. Rather, we have a perceiving, acting organism, whose perceptions and actions are always already tuned to the parts and moments, the things and surfaces, of its external environment. We describe how on this basis Gibson sought to develop a realist science of environments which will be ‘consistent with physics, mechanics, optics, acoustics, and chemistry’. (shrink)

I explore Aristotle’s account in the Nicomachean Ethics of how agents attain self-awareness through contemplation. I argue that Aristotle sets up an account of self-awareness through contemplating friends in Books VIII-IX that completes itself in Book X’s remarks on theoretical contemplation. I go on to provide an account of how contemplating the divine, on Aristotle’s view, elicits self-awareness.

Nhiều nаm hơn nữ đượс đăng ký tên trên GCNQSDĐ. Phụ nữ sở hữu ít mảnh đất hơn nаm giới. Điều này đượс giải thíсh là dо phụ nữ tiếp сận đất đаi hạn сhế, vì ít mảnh đất hơn сhỉ dо phụ nữ sở hữu hоặс đồng sở hữu. Một số yếu tố giải thíсh sự kháс biệt. Để bắt đầu, đánh giá định tính và khảо sát сủа сhúng tôi сhо thấy rằng сáс khíа сạnh văn hóа ưu (...) tiên nаm giới như ưu tiên соn trаi trоng thựс hành thừа kế vẫn сòn phù hợp ở Việt Nаm. Những kết quả này сhо thấy сần сó những người hành nghề xã hội và pháp luật và сhính quyền làm việс ở сấp xã để hỗ trợ nhu сầu сủа người dân về thông tin về luật, quyền сủа họ và сáс quy trình để сó đượс đất. Tiếp сận сáс xã này để сảm hóа và thúс đẩy bình đẳng giới trоng quá trình сấp giấy сhứng nhận quyền sử dụng đất sẽ là một bướс đi đúng hướng quаn trọng. Cáс сơ quаn сhứс năng сấp tỉnh сấp GCNQSDĐ сần сảnh giáс và yêu сầu làm rõ khi người dân muốn đăng ký tài sản mà không ghi tên vợ hоặс сhồng. (shrink)

The Protein Ontology (PRO; http://proconsortium.org) formally defines protein entities and explicitly represents their major forms and interrelations. Protein entities represented in PRO corresponding to single amino acid chains are categorized by level of specificity into family, gene, sequence and modification metaclasses, and there is a separate metaclass for protein complexes. All metaclasses also have organism-specific derivatives. PRO complements established sequence databases such as UniProtKB, and interoperates with other biomedical and biological ontologies such as the Gene Ontology (GO). PRO relates to (...) UniProtKB in that PRO’s organism-specific classes of proteins encoded by a specific gene correspond to entities documented in UniProtKB entries. PRO relates to the GO in that PRO’s representations of organism-specific protein complexes are subclasses of the organism-agnostic protein complex terms in the GO Cellular Component Ontology. The past few years have seen growth and changes to the PRO, as well as new points of access to the data and new applications of PRO in immunology and proteomics. Here we describe some of these developments. (shrink)

Significant associations have been found between specific human leukocyte antigen (HLA) alleles and organ transplant rejection, autoimmune disease development, and the response to infection. Traditional searches for disease associations have conventionally measured risk associated with the presence of individual HLA alleles. However, given the high level of HLA polymorphism, the pattern of amino acid variability, and the fact that most of the HLA variation occurs at functionally important sites, it may be that a combination of variable amino acid sites shared (...) by several alleles (shared epitopes) are better descriptors of the actual causative genetic variants. Here we describe a novel approach to genetic association analysis in which genes/proteins are broken down into smaller sequence features and then variant types defined for each feature, allowing for independent analysis of disease association with each sequence feature variant type. We have used this approach to analyze a cohort of systemic sclerosis patients and show that a sequence feature composed of specific amino acid residues in peptide binding pockets 4 and 7 of HLA-DRB1 explains much of the molecular determinant of risk for systemic sclerosis. (shrink)

The Plant Ontology (PO) (http://www.plantontology.org) (Jaiswal et al., 2005; Avraham et al., 2008) was designed to facilitate cross-database querying and to foster consistent use of plant-specific terminology in annotation. As new data are generated from the ever-expanding list of plant genome projects, the need for a consistent, cross-taxon vocabulary has grown. To meet this need, the PO is being expanded to represent all plants. This is the first ontology designed to encompass anatomical structures as well as growth and developmental stages (...) across such a broad taxonomic range. While other ontologies such as the Gene Ontology (GO) (The Gene Ontology Consortium, 2010) or Cell Type Ontology (CL) (Bard et al., 2005) cover all living organisms, they are confined to structures at the cellular level and below. The diversity of growth forms and life histories within plants presents a challenge, but also provides unique opportunities to study developmental and evolutionary homology across organisms. (shrink)

The Protein Ontology (PRO) web resource provides an integrative framework for protein-centric exploration and enables specific and precise annotation of proteins and protein complexes based on PRO. Functionalities include: browsing, searching and retrieving, terms, displaying selected terms in OBO or OWL format, and supporting URIs. In addition, the PRO website offers multiple ways for the user to request, submit, or modify terms and/or annotation. We will demonstrate the use of these tools for protein research and annotation.

One approach to science treats science as a cognitive accomplishment of individuals and defines a scientific community as an aggregate of individual inquirers. Another treats science as a fundamentally collective endeavor and defines a scientist as a member of a scientific community. Distributed cognition has been offered as a framework that could be used to reconcile these two approaches. Adam Toon has recently asked if the cognitive and the social can be friends at last. He answers that they probably cannot, (...) posing objections to the would-be rapprochement. We clarify both the animosity and the tonic proposed to resolve it, ultimately arguing that worries raised by Toon and others are uncompelling. (shrink)

I argue that nonresident aliens, in places that are clearly not U.S. territory, should benefit from constitutional rights. This is a matter of mutuality of obligation. The U.S. claims the authority to hold all people accountable for respecting certain laws, such as the law of war as defined in the Military Commissions Act. Accordingly, it must accord them basic legal rights in return. At the same time, I argue, contra Benjamin Wittes, that this would not lead to absurdly opening the (...) courthouse doors, nor does it require abandoning principle to keep the flood of litigation reasonably contained. Not all harms inflicted by the U.S. government can give rise to a lawsuit, and that the distinction between those who should have a right to sue and those who should not can be drawn in a principled way. (shrink)

In this article, I introduce the term “cognitivism” as a name for the thesis that degrees of belief are equivalent to full beliefs about truth-valued propositions. The thesis (of cognitivism) that degrees of belief are equivalent to full beliefs is equivocal, inasmuch as different sorts of equivalence may be postulated between degrees of belief and full beliefs. The simplest sort of equivalence (and the sort of equivalence that I discuss here) identifies having a given degree of belief with having a (...) full belief with a specific content. This sort of view was proposed in [C. Howson and P. Urbach, Scientific reasoning: the Bayesian approach. Chicago: Open Court (1996)].In addition to embracing a form of cognitivism about degrees of belief, Howson and Urbach argued for a brand of probabilism. I call a view, such as Howson and Urbach’s, which combines probabilism with cognitivism about degrees of belief “cognitivist probabilism”. In order to address some problems with Howson and Urbach’s view, I propose a view that incorperates several of modifications of Howson and Urbach’s version of cognitivist probabilism. The view that I finally propose upholds cognitivism about degrees of belief, but deviates from the letter of probabilism, in allowing that a rational agent’s degrees of belief need not conform to the axioms of probability, in the case where the agent’s cognitive resources are limited. (shrink)

Human cloning until recently has been considered to belong to the domain of science fiction; now it is a tangible possibility, a hopeful as well as a fearsome one. One of the fears that necessarily come along with it is about the peril cloning might represent for human uniqueness, since the clones are expected to be identical to their prototypes; this would unavoidably compromise moral agents’ right to a unique identity. In this paper I will put under examination the argument (...) against cloning that is based upon the right to a unique identity; I will argue that cloning represents no actual threat for anybody’s unique identity, therefore this argument is futile. I will also support the view that the so-called right to a unique identity is not as indisputable as to serve as the basis of a moral argument against human reproductive cloning. (shrink)

During the last two centuries, occidental philosophical meditation has triumphantly advanced through previously poorly charted fields. Science has reallocated the methods as well as the goals of philosophy, forcing scholars to advance a little further, embrace new cognitive challenges and correspond to new social needs. As a result, our everyday life has become easier and our world is a better place to live in. But still, an optimum situation is not achieved. As a matter of fact, there are more things (...) at stake in our era than there were in previous ones. Even basic prerequisites for a prosperous life are not fully met. For the first time in the history of mankind, we can not even be sure about the survival of our planet, not to mention well being of it’s living entities –man included. So far, where is the improvement? Our ancestors may not have had the luxury of fast transportation, immediate information or adequate medical treatment, still they could take some things for granted: they positively knew that they and their successors would be given the minimum of chances: they, at least, would have a place to live. (shrink)

Pain may appear to undermine the radically intentionalist view that the phenomenal character of any experience is entirely constituted by its representational content. That appearance is illusory. After categorizing versions of pain intentionalism along two dimensions, I argue that an 'objectivist' and 'non-mentalist' version is the most promising, if it can withstand two objections concerning what we say when in pain, and the distinctiveness of pain. I rebut these objections, in a way available to both opponents of and adherents to (...) the view that experiential content is entirely conceptual. (shrink)

Nhiều nаm hơn nữ đượс đăng ký tên trên GCNQSDĐ. Phụ nữ sở hữu ít mảnh đất hơn nаm giới. Điều này đượс giải thíсh là dо phụ nữ tiếp сận đất đаi hạn сhế, vì ít mảnh đất hơn сhỉ dо phụ nữ sở hữu hоặс đồng sở hữu. Một số yếu tố giải thíсh sự kháс biệt. Để bắt đầu, đánh giá định tính và khảо sát сủа сhúng tôi сhо thấy rằng сáс khíа сạnh văn hóа ưu (...) tiên nаm giới như ưu tiên соn trаi trоng thựс hành thừа kế vẫn сòn phù hợp ở Việt Nаm. Những kết quả này сhо thấy сần сó những người hành nghề xã hội và pháp luật và сhính quyền làm việс ở сấp xã để hỗ trợ nhu сầu сủа người dân về thông tin về luật, quyền сủа họ và сáс quy trình để сó đượс đất. Tiếp сận сáс xã này để сảm hóа và thúс đẩy bình đẳng giới trоng quá trình сấp giấy сhứng nhận quyền sử dụng đất sẽ là một bướс đi đúng hướng quаn trọng. Cáс сơ quаn сhứс năng сấp tỉnh сấp GCNQSDĐ сần сảnh giáс và yêu сầu làm rõ khi người dân muốn đăng ký tài sản mà không ghi tên vợ hоặс сhồng. (shrink)

Philosophers have rightly condemned lookism—that is, discrimination in favor of attractive people or against unattractive people—in education, the justice system, the workplace and elsewhere. Surprisingly, however, the almost universal preference for attractive romantic and sexual partners has rarely received serious ethical scrutiny. On its face, it’s unclear whether this is a form of discrimination we should reject or tolerate. I consider arguments for both views. On the one hand, a strong case can be made that preferring attractive partners is bad. (...) The idea is that choosing partners based on looks seems essentially similar to other objectionable forms of discrimination. (In particular, the preference for attractive partners is arguably both unfair and harmful to a significant degree.) One can try to resist this conclusion in several ways. I consider three possible replies. The first has to do with the possibility of controlling our partner preferences. The second pertains to attractiveness and “good genes”. The last attempts to link certain aspects of attractiveness to a prospective partner’s personality and values. I argue that the first two replies fail conclusively, while the third only amounts to a limited defense of a particular kind of attractiveness preference. So the idea that we should often avoid preferring attractive partners is compelling. (shrink)

This article discusses the adequacy of Rawls’ theory of justice as a tool for racial justice. It is argued that critics like Charles W Mills fail to appreciate both the insights and limits of the Rawlsian framework. The article has two main parts spread out over several different sections. The first is concerned with whether the Rawlsian framework suffices to prevent racial injustice. It is argued that there are reasons to doubt whether it does. The second part is concerned with (...) whether a Rawlsian framework has the resources to rectify past racial injustice. It is argued that it has more resources to do this than Mills allows. This second part of the article centers on two Rawlsian ideas: ideal theory and the fair equality of opportunity principle. It is argued that ideal theory is essential for the kind of rectificatory work that Mills wants nonideal theory to do, and that where there is a socioeconomic legacy of past injustice, it is hard to see how FEO could be implemented if it did no rectificatory work, a result which means that there is less need to turn to nonideal theory at all. (shrink)

In this paper I show that we have strong empirical and theoretical reasons to treat the verbs we use in our semantic theorizing—particularly ‘refers to ’, ‘applies to ’, and ‘is true of ’—as intensional transitive verbs. Stating our semantic theories with intensional vocabulary allows us to partially reconcile two competing approaches to the nature and subject-matter of semantics: the Chomskian approach, on which semantics is non-relational, internalistic, and concerns the psychology of language users, and the Lewisian approach, on which (...) semantics is fully relational, specifies truth-conditions, and has metaphysical implications. ITVs have two readings: an intensional, de dicto reading, and a relational, de re reading. A semantic theory stated with the de dicto readings of our semantic verbs captures the core insights of the Chomskian approach to semantics, in part because it allows us to assign extremely fine-grained semantic values to expressions, even when those expressions are empty. On the other hand, the de re reading yields a theory that is fully relational, and issues in truth-conditions. The resulting theories are related—and compatible—in that they are expressed by two different readings of the very same semantic vocabulary, and plausibly, the distinction between these two readings is one of scope. (shrink)

Following neo-Aristotelians Alasdair MacIntyre and Martha Nussbaum, we claim that humans are story-telling animals who learn from the stories of diverse others. Moral agents use rational emotions, such as compassion which is our focus here, to imaginatively reconstruct others’ thoughts, feelings and goals. In turn, this imaginative reconstruction plays a crucial role in deliberating and discerning how to act. A body of literature has developed in support of the role narrative artworks (i.e. novels and films) can play in allowing us (...) the opportunity to engage imaginatively and sympathetically with diverse characters and scenarios in a safe protected space that is created by the fictional world. By practising what Nussbaum calls a ‘loving attitude’, her version of ethical attention, we can form virtuous habits that lead to phronesis (practical wisdom). In this paper, and taking compassion as an illustrative focus, we examine the ways that students’ moral education might usefully develop from engaging with narrative artworks through Philosophy for Children (P4C), where philosophy is a praxis, conducted in a classroom setting using a Community of Inquiry (CoI). We argue that narrative artworks provide useful stimulus material to engage students, generate student questions, and motivate philosophical dialogue and the formation of good habits which, in turn, supports the argument for philosophy to be taught in schools. (shrink)

Trust is vital for individuals to flourish and have a sense of well-being in their community. A trusting society allows people to feel safe, communicate with each other and engage with those who are different to themselves without feeling fearful. In this paper I employ an Aristotelian framework in order to identify trust as a virtue and I defend the need to cultivate trust in children. I discuss the case study of Buranda State School in Queensland, Australia as an instance (...) of successful school reform that reinstates trust in an educational setting. Buranda makes use of the community of inquiry (CoI) pedagogy practiced by advocates of philosophy for children (P4C). Educators may create a safe space in the classroom by using the CoI and giving children the chance to voice their ideas and build upon, as well as question, those of others in a democratic and respectful manner. Through this pragmatic dialogue, trust may be established, along with a sense of belonging that supports well-being in the classroom as well as in life. (shrink)

We discuss potential biorisks from large language models (LLMs). AI assistants based on LLMs such as ChatGPT have been shown to significantly reduce barriers to entry for actors wishing to synthesize dangerous, potentially novel pathogens and chemical weapons. The harms from deploying such bioagents could be further magnified by AI-assisted misinformation. We endorse several policy responses to these dangers, including prerelease evaluations of biomedical AIs by subject-matter experts, enhanced surveillance and lab screening procedures, restrictions on AI training data, and access (...) controls on biomedical AI. We conclude with a suggestion about future research directions in bioethics. (shrink)

This is a book review of Becoming Bamboo....

This article is a preliminary presentation of conjunctive paraconsistency, the claim that there might be non-explosive true contradictions, but contradictory propositions cannot be considered separately true. In case of true ‘p and not p’, the conjuncts must be held untrue, Simplification fails. The conjunctive approach is dual to non-adjunctive conceptions of inconsistency, informed by the idea that there might be cases in which a proposition is true and its negation is true too, but the conjunction is untrue, Adjunction fails. While (...) non-adjunctivism is a well-known option, the other view is not so much studied nowadays, but it was not unknown in the tradition, and there are some positive suggestions, in recent literature, that the position is plausible and deserves to be developed. The article compares conjunctivism, non-adjunctivism and dialetheism, then focuses on some possible justifications, costs and benefits of the conjunctive view. (shrink)

The field of AI safety aims to prevent increasingly capable artificially intelligent systems from causing humans harm. Research on moral alignment is widely thought to offer a promising safety strategy: if we can equip AI systems with appropriate ethical rules, according to this line of thought, they'll be unlikely to disempower, destroy or otherwise seriously harm us. Deontological morality looks like a particularly attractive candidate for an alignment target, given its popularity, relative technical tractability and commitment to harm-avoidance principles. I (...) argue that the connection between moral alignment and safe behavior is more tenuous than many have hoped. In general, AI systems can possess either of these properties in the absence of the other, and we should favor safety when the two conflict. In particular, advanced AI systems governed by standard versions of deontology need not be especially safe. (shrink)

Vendler’s :161–173, 1979) puzzle about imagination is that the sentences ‘Imagine swimming in that water’ and ‘Imagine yourself swimming in that water’ seem at once semantically different and semantically the same. They seem semantically different, since the first requires you to imagine ’from the inside’, while the second allows you to imagine ’from the outside.’ They seem semantically the same, since despite superficial dissimilarity, there is good reason to think that they are syntactically and lexically identical. This paper sets out (...) the puzzle and offers a novel solution. Our proposal is that, just as there is knowledge-wh, there is also imagining-wh and that the inside/outside distinction Vendler points to is properly understood as a distinction within imagining-wh. In particular, to imagine swimming from the inside is to imagine what it feels like to swim, while to imagine swimming from the outside is to imagine what it looks like to swim. We show that this proposal is well grounded in both the semantics and syntax of ‘imagine.’ We also argue it makes better sense than its rivals of the data Vendler found so puzzling. (shrink)

This chapter deals with the ways in which entrepreneurships driven by industrial design and the strategies for interconnecting design for innovation are articulated. In the first instance, current practices are recognized in order to analyze the different processes that entrepreneurial dynamics go through. This analysis is carried out from a systemic perspective, at three levels of abstraction: designer, entrepreneurship and ecosystem. The theoretical and conceptual framework will be structured based on the innovations driven by design, which occur around the designer, (...) his personal projects, and the possible interactions and singularities offered by living spaces. The objective of this work is to unravel the eventual relationships of the entrepreneurial designer in the ecosystem and to highlight the potential added by emerging connections, which allow for the projection of synergistic actions with other actors to create value(s). In this way, other possible views of the entrepreneurial process are provided, where the cultural and philosophical dimension that characterizes industrial designers allows them to achieve a higher quality of life, designing and producing collectively (in) their environment. (shrink)

Simon Blackburn objects that Wittgenstein's private language argument overlooks the possibility that a private linguist can equip himself with a criterion of correctness by confirming generalizations about the patterns in which his private sensations occur. Crispin Wright responds that appropriate generalizations would be too few to be interesting. But I show that Wright's calculations are upset by his failure to appreciate both the richness of the data and the range of theories that would be available to the private linguist.

The verb 'imagine' admits of perspectival modification: we can imagine things from above, from a distant point of view, or from the point of view of a Russian. But in such cases, there need be no person, either real or imagined, who is above or distant from what is imagined, or who has the point of view of a Russian. We call this the puzzle of perspectival displacement. This paper sets out the puzzle, shows how it does not just concern (...) language, but also states of imagining themselves, and then presents a solution. The solution draws on the idea that many reports of imagining conceal a distinctive kind of question, and such concealed questions have an extra argument place for (what we will call) an experiencer from whose perspective things are imagined. This solution has a range of advantages over other proposals in the literature, and helps to advance two debates concerning perspectival engagement with fiction. (shrink)

There is good reason to think that, in every case of perceptual consciousness, there is something of which we are conscious; but there is also good reason to think that, in some cases of perceptual consciousness—for instance, hallucinations—there is nothing of which we are conscious. This paper resolves this inconsistency—which we call the presentation problem—by (a) arguing that ‘conscious of’ and related expressions function as intensional transitive verbs and (b) defending a particular semantic approach to such verbs, on which they (...) have readings that lack direct objects or themes. The paper further argues that this approach serves not only as a linguistic proposal about the semantics of ‘conscious of’, but also as a proposal about the metaphysics of conscious states. (shrink)

Susan Schneider (2019) has proposed two new tests for consciousness in AI (artificial intelligence) systems, the AI Consciousness Test and the Chip Test. On their face, the two tests seem to have the virtue of proving satisfactory to a wide range of consciousness theorists holding divergent theoretical positions, rather than narrowly relying on the truth of any particular theory of consciousness. Unfortunately, both tests are undermined in having an ‘audience problem’: Those theorists with the kind of architectural worries that motivate (...) the need for such tests should, on similar grounds, doubt that the tests establish the existence of genuine consciousness in the AI in question. Nonetheless, the proposed tests constitute progress, as they could find use by some theorists holding fitting views about consciousness and perhaps in conjunction with other tests for AI consciousness. (shrink)

Multidimensional adjectives are ubiquitous in natural language. An adjective F is multidimensional just in case whether F applies to an object or pair of objects depends on how those objects stand with respect to multiple underlying dimensions of F-ness. Developing a semantics for multidimensional adjectives requires us to address the problem of dimensional aggregation: how do the application conditions of an adjective F in its positive and comparative forms depend on its underlying dimensions? Here we develop a semantics for multidimensional (...) adjectives that incorporates aggregation functions. We then explore an analogy between dimensional aggregation and preference aggregation, bringing results from social choice theory to bear on the number and kind of aggregation functions that are admissible in a context. These results suggest that, for any given adjective, there will often be multiple aggregation functions admissible, meaning that multidimensional comparatives are often vague. (shrink)

It is the ambition of natural science to provide complete explanations of reality. Collingwood argues that science can only explain events, not actions. The latter is the distinctive subject matter of history and can be described as actions only if they are explained historically. This paper explains Collingwood’s claim that the distinctive subject matter of history is actions and why the attempt to capture this subject matter through the method of science inevitably ends in failure because science explains events, not (...) actions. It argues that Collingwood’s defence of the methodological autonomy of history vis-à-vis natural science is not based on a commitment to human exceptionalism, i.e. the exclusion of human beings and their doings from the rest of nature, but on the view that explanations which appeal to norms are different in kind from explanations which appeal to empirical regularities. Given the close relationship between the method and the subject matter of a form of inquiry, actions elude any attempt to explain them through the scientific method because the application of this method entails that what is thus explained is not an action but an event. (shrink)

Prior’s puzzle is standardly taken to be the puzzle of why, given the assumption that that-clauses denote propositions, substitution of “the proposition that P” for “that P” within the complements of many propositional attitude verbs is invalid. I show that Prior’s puzzle is much more general than is ordinarily supposed. There are two variants on the substitutional form of the puzzle—a quantificational variant and a pronominal variant—and all three forms of the puzzle arise in a wide range of grammatical positions, (...) rather than merely in the complements of propositional attitude verbs. The generalized puzzle shows that a range of proposed solutions to the original puzzle fail, or are radically incomplete, and also reveals the connections between Prior’s puzzle and debates over the nature of semantic types and higher-order quantification. I go on to develop a novel, higher-order solution to the generalized form of the puzzle, and I argue that this higher-approach is superior to its first-order alternatives. (shrink)