Filosofia limbajului are legătură cu studiul modului în care limbajul nostru se implică și interacționează cu gândirea noastră. Studierea logicii și relația dintre logică și vorbirea obișnuită poate ajuta o persoană să își structureze mai bine propriile argumente și să critice argumentele celorlalți. Înțelesul este modul în care pot fi considerate în mod corespunzător cuvinte, simboluri, idei și convingeri, definiția sa depinzând de teoria abordată, precum teoria corespondenței, teoria coerenței, teoria constructivistă, teoria consensului sau teoria pragmatică. Există mai multe explicații (...) distince despre ceea ce înseamnă un „sens” lingvistic, în funcție de diverse teorii (ideologice, adevăr-condiționale, de utilizare a limbajului, constructiviste, de referință, verificaționiste, pragmatice, etc.) Investigațiile privind modul în care limbajul interacționează cu lumea sunt numite teorii de referință. Sensul unei propoziții este gândul pe care îl exprimă. Un astfel de gând este abstract, universal și obiectiv. Sensurile determină referința și sunt, de asemenea, modurile de prezentare a obiectelor la care se referă expresiile. Referințele sunt obiectele din lume despre care vorbesc cuvintele. Filosofia limbajului explorează relația dintre limbă și realitate, în special filosofia problemelor de studiu lingvistic care nu pot fi abordate de alte domenii. Logica filozofică se ocupă de descrieri formale ale limbajului obișnuit, nespecializat („natural”). -/- CUPRINS: -/- 1. Filosofia limbajului - 1.1 Istorie - - Filosofia antică - - Filosofia medievală - - Filosofia modernă - - Filosofia contemporană - 1.2 Subiecte și sub-domenii majore - - Compoziție și părți - - Natura sensului - - Referinţă - - Mintea și limba - - - Înnăscut și învățat - - - Limba și gândul - - Interacțiunea socială și limba - 1.3 Limbajul și filozofia continentală - 1.4 Probleme în filosofia limbajului - - Imprecizia - - Problema universalului și a compoziției - - Natura limbajului - - Abordări formale versus informale - - Traducere și interpretare - 1.5 Nominalism - - Istorie - - - Filozofia greacă veche - - - Filozofia medievală - - - Filosofia modernă și contemporană - - Problema universalelor - - Tipuri - - - Filosofie analitică și matematică - - Critica originilor istorice ale termenului 2. Înțeles - 2.1 Adevăr și înțeles - - Teorii majore ale înțelesului - - - Teoria corespondenței - - - Teoria coerenței - - - Teoria constructivistă - - - Teoria consensului - - - Teoria pragmatică - - Teorii și comentarii asociate - - - Logica și limbajul - - - Gottlob Frege - - - Bertrand Russell - - - Alte teorii ale adevărului - - - Saul Kripke - - - Criticile teoriilor de adevăr ale înțelesului - 2.2 Bertrand Russell, Despre denotare - - "Fraza care denotă" - - - Concepția lui Russell despre o frază care denotă - - - Referința la ceva care nu există - - - Epistemologie - - Teoria descrierilor - - - Descrierea matematică - - - Ilustrare - - - Meinong - - Rezolvarea problemei existențialelor negative - - - Declarații despre concepte în care obiectul nu există - - - Ambiguitate - - - Nume fictive - - Critici - 2.3 Sens și referință - - Precursori - - - Antistene - - - John Stuart Mill - 2.3.1 Sens - - Sens și descriere - - Traducerea Bedeutung - - Natura sensului - 2.3.2 Referinţă - 2.4 Nume proprii - - Problema - 2.4.1 Teorii - - Teoria lui Mill - - Teoria bazată pe sensul numelor - - Teoria descriptivă - - Teoria cauzală a numelor - - Teorii de referință directă - - Filosofia continentală - 2.5 Gottlob Frege, Despre sens și referință - 2.6 Teorii cauzale ale referinței - - Motivaţie - - Variații - 2.6.1 Teoria cauzală a referinței a lui Saul Kripke - 2.6.2 Teoria cauzală a referinței a lui Gareth Evans - 2.6.3 Teoria cauzală a referinței a lui Michael Devitt - 2.6.4 Blockchain și arborele cauzal al referinței - 2.6.5 Perspective - 2.7 Saul Kripke, Numire și necesitate - 2.7.1 Prelegerea I - 2.7.2 Prelegerea II - 2.7.3 Prelegerea III - 2.7.4 Concluzii - 2.8 Kit Fine, Relaționismul semantic - - A. Antinomia variabilei - - B. Abordarea tarskiană - - C. Respingerea rolului semantic - - D. Abordarea instanțială - - E. Abordarea algebrică - - F. Abordarea relațională - - G. Semantica relațională pentru logica de primul ordin 3. Logica - Concepte - - Forma logică - - Semantică - - Inferență - - Sisteme logice - - Logică și raționalitate - - Concepte rivale - Tipuri - - Logica silogistică - - Logica propozițională - - Logica predicatelor - - Logica modală - - Raționament informal și dialectică - - Logica matematică - - Logica filozofică - - Logica computațională - - Logica non-clasică - Controverse - - "Este logica empirică?" - - Implicare: Strictă sau materială - - Tolerarea imposibilului - - Respingerea adevărului logic - 3.1 Filosofia logicii - - Adevăr - - - Purtătorii de adevăr - - - Adevăruri analitice, adevăr logic, valabilitate, consecință logică și implicare - 3.2 Logica propozițională - - Explicaţie - - Istorie - - Terminologie - - Noțiuni de bază - - - Închiderea sub operații - - - Argument - 3.3 Logica predicatelor - - Introducere - - Sintaxa - - - Alfabetul - - - - Simboluri logice - - - - Simboluri non-logice - - - Regulile formării - - - - Termeni - - - - Formule - - - - Convenții notaționale - - - Variabile libere și legate - - Semantica - - - Structuri de prim ordin - - - Evaluarea valorilor de adevăr - - - Valabilitate, satisfabilitate și consecință logică - - - Algebrizare - - - Teorii, modele și clase elementare de prim ordin - - - Domenii goale - 3.4 Logica modală - - Dezvoltarea logicii modale - - Semantica - - - Teoria modelului - - - Sisteme axiomatice - - - Teoria dovezilor structurale - - - Metode de decizie - - Tipuri de logici modale - - - Logica aletică - - - Logica epistemică - - - Logica temporală - - - Logica deontică - - - Logica doxastică - - - Alte logici modale - - Ontologia posibilității - - Controverse - 3.5 Declarații - - Declarația ca o entitate abstractă - 3.6 Dileme - - Utilizarea dilemei în logică - 3.7 Argumente - - Formal și informal - - Tipuri standard - - - Argumente deductive - - - Argumente inductive - 3.8 Actualism - - Exemplu - - Puncte de vedere filosofice - - Analiza indexicală a actualității - 3.9 Lumi posibile - - Posibilitate, necesitate și contingență - - Semantica formală a logicii modale - - De la logica modală la instrumentul filosofic - - Teoria lumii posibile în studiile literare - 3.9.1 Lumi reale, ne-reale dar posibile, și imposibile - - Lumi posibile logic - - Constituienții lumilor posibile - 3.10 Saul Kripke - - Wittgenstein - - Adevăr - 3.10.1 Logica modală - - Modele canonice - - Modele Carlson - 3.10.2 Logica intuiționistă - - Logica intuiționistă de ordinul întâi - 3.10.3 Nume și Necesitate - - "Un puzzle despre credință" Referințe Despre autor - Nicolae Sfetcu - - De același autor - - Contact Editura - MultiMedia Publishing . (shrink)

Anti-exceptionalism about logic is the thesis that logic is not special. In this paper, I consider, and reject, a challenge to this thesis. According to this challenge, there are basic logical principles, and part of what makes such principles basic is that they are epistemically exceptional. Thus, according to this challenge, the existence of basic logical principles provides reason to reject anti-exceptionalism about logic. I argue that this challenge fails, and that the exceptionalist positions motivated by it are thus unfounded. (...) I make this case by disambiguating two senses of ‘basic’ and showing that, once this disambiguation is taken into account, the best reason we have for thinking that there are basic principles actually implies that those principles do not require a special epistemology. Consequently, the existence of basic logical principles provides reason to accept, rather than reject, anti-exceptionalism concerning the epistemology of logic. I conclude by explaining how an abductivist, anti-exceptionalist approach to the epistemology of logic can accommodate the notion of basic logical principles. (shrink)

Deepfakes are audio, video, or still-image digital artifacts created by the use of artificial intelligence technology, as opposed to traditional means of recording. Because deepfakes can look and sound much like genuine digital recordings, they have entered the popular imagination as sources of serious epistemic problems for us, as we attempt to navigate the increasingly treacherous digital information environment of the internet. In this paper, I attempt to clarify what epistemic problems deepfakes pose and why they pose these problems, by (...) drawing parallels between recordings and our own senses as sources of evidence. I show that deepfakes threaten to undermine the status of digital recordings as evidence. The existence of deepfakes thus encourages a kind of skepticism about digital recordings that bears important similarities to classic philosophical skepticism concerning the senses. However, the skepticism concerning digital recordings that deepfakes motivate is also importantly different from classical skepticism concerning the senses, and I argue that these differences illuminate some possible strategies for solving the epistemic problems posed by deepfakes. (shrink)

In this paper, I will discuss the relevance of epistemology of disagreement to political disagreement. The two major positions in the epistemology of disagreement literature are the steadfast and the conciliationist approaches: while the conciliationist says that disagreement with one’s epistemic equals should compel one to epistemically “split the difference” with those peers, the steadfast approach claims that one can maintain one’s antecedent position even in the face of such peer disagreement. Martin Ebeling applies a conciliationist approach to democratic deliberations, (...) arguing that deliberative participants ought to pursue full epistemic conciliation when disagreeing with their peers on political questions. I argue that this epistemic “splitting the difference” could make participants vulnerable to certain cognitive biases. We might avoid these biases by paying more attention to the deliberative environment in which disagreement takes place. (shrink)

The counterfactual comparative account of harm faces problems in cases that involve overdetermination and preemption. An influential strategy for dealing with these problems, drawing on a suggestion made by Derek Parfit, is to appeal to _plural harm_—several events _together_ harming someone. We argue that the most well-known version of this strategy, due to Neil Feit, as well as Magnus Jedenheim Edling’s more recent version, is fatally flawed. We also present some general reasons for doubting that the overdetermination and preemption problems (...) for the counterfactual comparative account can be satisfactorily solved by appealing to plural harm. (shrink)

In this paper, we give a new argument for the existence of moral luck. The argument is based on a manipulation case in which two agents both lack second-order control over their actions, but one of them has first-order control. Our argument is, we argue, in several respects stronger than standard arguments for moral luck. Five possible objections to the argument are considered, and its general significance for the debate on moral luck is briefly discussed.

In this paper, I examine Quine's views on the epistemology of logic. According to Quine's influential holistic account, logic is central in the “web of belief” that comprises our overall theory of the world. Because of this, revisions to logic would have devastating systematic consequences, and this explains why we are loath to make such revisions. In section1, I clarify this idea and thereby show that Quine actually takes the web of belief to have asymmetrical internal structure. This raises two (...) puzzles. First, as I show in section 2, Quine's mature thoroughly naturalized view has it that logic is simply obvious, and this is explains why we do not typically consider revising it. While Quine presents this naturalized view as a way to make good on his earlier metaphor of centrality in a web of belief, I argue that the resources of Quine's naturalized epistemology cannot adequately explain why we are reluctant to revise logic. And, Quine seems to recognize this point himself. In light of this, I explain in section 3 how Quine can allow that our overall scientific theory has systematic structure in a way that is consistent with his naturalistic strictures. Second, the asymmetrical internal structure of the web of belief seems to be inconsistent with its being a holistic web at all. I defuse this problem in section 4 by showing how Quine distinguishes between structural and confirmational considerations. I close by using this distinction to show how Quine's view can evade Michael Friedman’s criticisms, and allow for important methodological distinctions between areas of the web of belief. (shrink)

Players of videogames describe their gameplay in the first person, e.g. “I took cover behind a barricade.” Such descriptions of gameplay experiences are commonplace, but also puzzling because players are actually just pushing buttons, not engaging in the activities described by their first-person reports. According to a view defended by Robson and Meskin (2016), which we call the fictional identity view, this puzzle is solved by claiming that the player is fictionally identical with the player character. Hence, on this view, (...) if the player-character fictionally performs an action then, fictionally, the player performs that action. However, we argue that the fictional identity view does not make sense of players' gameplay experiences and their descriptions of them. We develop an alternative account of the relationship between the player and player-character on which the player-character serves as the player's fictional proxy, and argue that this account makes better sense of the nature of videogames as interactive fictions. (shrink)

We have argued that the counterfactual comparative account of harm and benefit (CCA) violates the plausible adequacy condition that an act that would harm an agent cannot leave her much better off than an alternative act that would benefit her. In a recent paper in this journal, however, Neil Feit objects that our argument presupposes questionable counterfactual backtracking. He also argues that CCA proponents can justifiably reject the condition by invoking so-called plural harm and benefit. In this reply, we argue (...) that Feit’s lines of criticism are both unsuccessful. (shrink)

This article examines the time duration of individual occasions in the light of the discovery that temporal succession produces frequency ratios. The frequency ratios are used to define energy ratios and the quantum. The manifold and the common particles are constructed graphically using the arrows of time, with the mass-ratios of the particles derivable from the graphs. The formal reduction of physics to time compels us to adopt Whitehead's conception of the physical universe as occasions of experience engaged in temporal/causal (...) succession. The relative duration of the constituent occasions of the particles are determined by their graphs. In the final section, a refined account of the mind-brain interaction sequence confirms the duration of a human occasion as one tenth of a second. (shrink)

In this paper, I develop a new interpretation of Quine’s epistemology in the hopes of clarifying the relationship between naturalized epistemology and traditional epistemology. Quine’s naturalized epistemology is commonly criticized on the grounds that it amounts to giving up on traditional epistemological projects in favor of projects in natural science. But, I argue, this criticism rests on a mistaken interpretation of Quine’s epistemology. This is because Quine’s naturalized epistemology retains an important meliorative component; part of its aim is to improve (...) our systems of beliefs. Quine’s approach emphasizes improving our beliefs by engaging in conceptual clarification, which is a central part of both traditional and naturalized epistemology, as well as, on Quine’s conception, scientific inquiry. Thus, I argue, a central task of naturalized epistemology is to clarify science from within. Once this is properly understood, it is evident that Quine’s naturalized epistemology constitutes a re-orientation, rather than a wholesale rejection, of the projects of traditional epistemology. (shrink)

The conciliationist and steadfast approaches have dominated the conversation in the epistemology of disagreement. In this paper, drawing on Jennifer Lackey’s justificationist approach and the casuistry paradigm in medical ethics, I will develop a more contextual epistemology of political disagreement. On this account, a given political disagreement’s scope, domain, genealogy, and consequence can be helpful for determining whether we should respond to that disagreement at the level of our confidence, beliefs, or with policy. Though some may argue that responding with (...) policy is a practical consideration instead of an epistemic matter, I argue that even policy responses to disagreements have an epistemic dimension to them that we should not ignore. (shrink)

Recent research has relied on trolley-type sacrificial moral dilemmas to study utilitarian versus nonutili- tarian modes of moral decision-making. This research has generated important insights into people’s attitudes toward instrumental harm—that is, the sacrifice of an individual to save a greater number. But this approach also has serious limitations. Most notably, it ignores the positive, altruistic core of utilitarianism, which is characterized by impartial concern for the well-being of everyone, whether near or far. Here, we develop, refine, and validate a (...) new scale—the Oxford Utilitarianism Scale—to dissociate individual differences in the ‘negative’ (permissive attitude toward instrumental harm) and ‘positive’ (impartial concern for the greater good) dimensions of utilitarian thinking as manifested in the general population. We show that these are two independent dimensions of proto-utilitarian tendencies in the lay population, each exhibiting a distinct psychological profile. Empathic concern, identification with the whole of humanity, and concern for future generations were positively associated with impartial beneficence but negatively associated with instrumental harm; and although instrumental harm was associated with subclinical psychopathy, impartial beneficence was associated with higher religiosity. Importantly, although these two dimensions were independent in the lay population, they were closely associated in a sample of moral philosophers. Acknowledging this dissociation between the instrumental harm and impartial beneficence components of utilitarian thinking in ordinary people can clarify existing debates about the nature of moral psychology and its relation to moral philosophy as well as generate fruitful avenues for further research. (shrink)

Lays out the problem of sentience in a physical world and the solution based on the event ontology of Russell and Whitehead. The second edition includes the construction of physics from arrow diagrams, stemming from the discovery that the arrows of time form frequency ratios, which serve to define energy ratios and the quantum.

Consider the concept combination ‘pet human’. In word association experiments, human subjects produce the associate ‘slave’ in relation to this combination. The striking aspect of this associate is that it is not produced as an associate of ‘pet’, or ‘human’ in isolation. In other words, the associate ‘slave’ seems to be emergent. Such emergent associations sometimes have a creative character and cognitive science is largely silent about how we produce them. Departing from a dimensional model of human conceptual space, this (...) article will explore concept combinations, and will argue that emergent associations are a result of abductive reasoning within conceptual space, that is, below the symbolic level of cognition. A tensor-based approach is used to model concept combinations allowing such combinations to be formalized as interacting quantum systems. Free association norm data is used to motivate the underlying basis of the conceptual space. It is shown by analogy how some concept combinations may behave like quantum-entangled particles. Two methods of analysis were presented for empirically validating the presence of non-separable concept combinations in human cognition. One method is based on quantum theory and another based on comparing a joint probability distribution with another distribution based on a separability assumption using a chi-square goodness-of-fit test. Although these methods were inconclusive in relation to an empirical study of bi-ambiguous concept combinations, avenues for further refinement of these methods are identified. (shrink)

Similarity-based cognition is commonplace. It occurs whenever an agent or system exploits the similarities that hold between two or more items—e.g., events, processes, objects, and so on—in order to perform some cognitive task. This kind of cognition is of special interest to cognitive neuroscientists. This paper explicates how similarity-based cognition can be understood through the lens of radical enactivism and why doing so has advantages over its representationalist rival, which posits the existence of structural representations or S-representations. Specifically, it is (...) argued that there are problems both with accounting for the content of S-representations and with understanding how neurally-based structural similarities can work as representations in guiding intelligent behavior. Finally, with these clarifications in place, it is revealed how radical enactivism can commit to an account of similarity-based cognition in its understanding of neurodynamics. (shrink)

IPCC SPECIAL REPORT ON CLIMATE CHANGE AND LAND (SRCCL) -/- Chapter 3: Climate Change and Land: An IPCC special report on climate change, desertification, land degradation, sustainable land management, food security, and greenhouse gas fluxes in terrestrial ecosystems.

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)

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)

Patient centred diagnosis is best practised through shared decision making; an iterative dialogue between doctor and patient, whichrespects a patient’s needs, values, preferences, and circumstances. -/- Shared decision making for diagnostic situations differs fundamentally from that for treatment decisions. This has important implications when considering its practical application. -/- The nature of dialogue should be tailored to the specific diagnostic decision; scenarios with higher stakes or uncertainty usually require more detailed conversations.

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 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.

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 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 Protein Ontology (PRO; http://purl.obolibrary.org/obo/pr) formally defines and describes taxon-specific and taxon-neutral protein-related entities in three major areas: proteins related by evolution; proteins produced from a given gene; and protein-containing complexes. PRO thus serves as a tool for referencing protein entities at any level of specificity. To enhance this ability, and to facilitate the comparison of such entities described in different resources, we developed a standardized representation of proteoforms using UniProtKB as a sequence reference and PSI-MOD as a post-translational modification (...) reference. We illustrate its use in facilitating an alignment between PRO and Reactome protein entities. We also address issues of scalability, describing our first steps into the use of text mining to identify protein-related entities, the large-scale import of proteoform information from expert curated resources, and our ability to dynamically generate PRO terms. Web views for individual terms are now more informative about closely-related terms, including for example an interactive multiple sequence alignment. Finally, we describe recent improvement in semantic utility, with PRO now represented in OWL and as a SPARQL endpoint. These developments will further support the anticipated growth of PRO and facilitate discoverability of and allow aggregation of data relating to protein entities. (shrink)

In this paper, I develop and defend a new adverbial theory of perception. I first present a semantics for direct-object perceptual reports that treats their object positions as supplying adverbial modifiers, and I show how this semantics definitively solves the many-property problem for adverbialism. My solution is distinctive in that it articulates adverbialism from within a well-established formal semantic framework and ties adverbialism to a plausible semantics for perceptual reports in English. I then go on to present adverbialism as a (...) theory of the metaphysics of perception. The metaphysics I develop treats adverbial perception as a directed activity: it is an activity with success conditions. When perception is successful, the agent bears a relation to a concrete particular, but perception need not be successful; this allows perception to be fundamentally non-relational. The result is a novel formulation of adverbialism that eliminates the need for representational contents, but also treats successful and unsuccessful perceptual events as having a fundamental common factor. (shrink)

According to a widespread view in metaphysics and philosophy of science, all explanations involve relations of ontic dependence between the items appearing in the explanandum and the items appearing in the explanans. I argue that a family of mathematical cases, which I call “viewing-as explanations”, are incompatible with the Dependence Thesis. These cases, I claim, feature genuine explanations that aren’t supported by ontic dependence relations. Hence the thesis isn’t true in general. The first part of the paper defends this claim (...) and discusses its significance. The second part of the paper considers whether viewing-as explanations occur in the empirical sciences, focusing on the case of so-called fictional models. It’s sometimes suggested that fictional models can be explanatory even though they fail to represent actual worldly dependence relations. Whether or not such models explain, I suggest, depends on whether we think scientific explanations necessarily give information relevant to intervention and control. Finally, I argue that counterfactual approaches to explanation also have trouble accommodating viewing-as cases. (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)

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)

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)

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)

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)

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)

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)

Ramsification is a well-known method of defining theoretical terms that figures centrally in a wide range of debates in metaphysics. Prior's puzzle is 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 sometimes fails to preserve truth, and other times fails to preserve grammaticality. On the surface, Ramsification and Prior's puzzle appear to have little to do with each other. But Prior's (...) puzzle is much more general than is ordinarily appreciated, and Ramsification requires a solution to the generalized form of Prior's puzzle. Without such a solution, a wide range of theories will either fail to imply their Ramsey sentences, or have Ramsey sentences that are ill-formed. As a consequence, definitions of theoretical terms given using the Ramsey sentence will be either incorrect or nonsensical. I present a partial solution to the puzzle that requires making use of a neo-Davidsonian language for scientific theorizing, but the would-be Ramsifier still faces serious challenges. (shrink)

Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress. Although intertheoretic reduction is widely agreed to occur in pure mathematics as well as empirical science, the relationship between reduction and explanation in the mathematical setting has rarely been investigated in a similarly serious way. This paper examines an important particular case: the reduction of arithmetic to set theory. I claim that the reduction is unexplanatory. In defense (...) of this claim, I offer evidence from mathematical practice, and I respond to contrary suggestions due to Steinhart, Maddy, Kitcher and Quine. I then show how, even if set-theoretic reductions are generally not explanatory, set theory can nevertheless serve as a legitimate foundation for mathematics. Finally, some implications of my thesis for philosophy of mathematics and philosophy of science are discussed. In particular, I suggest that some reductions in mathematics are probably explanatory, and I propose that differing standards of theory acceptance might account for the apparent lack of unexplanatory reductions in the empirical sciences. (shrink)

Mathematicians distinguish between proofs that explain their results and those that merely prove. This paper explores the nature of explanatory proofs, their role in mathematical practice, and some of the reasons why philosophers should care about them. Among the questions addressed are the following: what kinds of proofs are generally explanatory (or not)? What makes a proof explanatory? Do all mathematical explanations involve proof in an essential way? Are there really such things as explanatory proofs, and if so, how do (...) they relate to the sorts of explanation encountered in philosophy of science and metaphysics? (shrink)

This paper argues that the concept and role of ‘institutional racism’ in contemporary discussions of race should be reconsidered. It starts by distinguishing between ‘intrinsic institutional racism’, which holds that institutions are racist in virtue of their constitutive features, and ‘extrinsic institutional racism’, which holds that institutions are racist in virtue of their negative effects. It accepts intrinsic institutional racism, but argues that a ‘disparate impact’ conception of extrinsic conception faces a number of objections, the most serious being that it (...) has no plausible account of what it is that makes extrinsically racist institutions racist. It also argues that claims about the explanatory indispensability of institutional racism are overstated (individual racism is at least as important), critiques structural approaches to racial inequality, and suggests that there is reason to doubt whether institutional reform can provide us with all that morality may require in the racial domain. (shrink)

The many-property problem has traditionally been taken to show that the adverbial theory of perception is untenable. This paper first shows that several widely accepted views concerning the nature of perception---including both representational and non-representational views---likewise face the many-property problem. It then presents a solution to the many-property problem for these views, but goes on to show how this solution can be adapted to provide a novel, fully compositional solution to the many-property problem for adverbialism. Thus, with respect to the (...) many-property problem, adverbialism and several widely accepted views in the philosophy of perception are on a par, and the problem is solved. (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)

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)

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)

In this paper I present an empirical solution to the puzzle of Macbeth's dagger. The puzzle of Macbeth's dagger is the question of whether, in having his fatal vision of a dagger, Macbeth sees a dagger. I answer this question by addressing a more general one: the question of whether perceptual verbs are intensional transitive verbs (ITVs). I present seven experiments, each of which tests a collection of perceptual verbs for one of the three features characteristic of ITVs. One of (...) these features is Nonexistence: the failure of sentences involving transitive verbs to entail the existence of their direct objects. The experiments reveal that with respect to all three of these features, "see" behaves much more like a paradigmatically extensional verb than an intensional one. But surprisingly, unlike "see", "perceive" behaves much more like a paradigmatically intensional verb. This shows that the category of perceptual verbs is not uniform with respect to the features of intensionality; while Macbeth does not see a dagger, he may still perceive one. (shrink)

Gauss’s quadratic reciprocity theorem is among the most important results in the history of number theory. It’s also among the most mysterious: since its discovery in the late 18th century, mathematicians have regarded reciprocity as a deeply surprising fact in need of explanation. Intriguingly, though, there’s little agreement on how the theorem is best explained. Two quite different kinds of proof are most often praised as explanatory: an elementary argument that gives the theorem an intuitive geometric interpretation, due to Gauss (...) and Eisenstein, and a sophisticated proof using algebraic number theory, due to Hilbert. Philosophers have yet to look carefully at such explanatory disagreements in mathematics. I do so here. According to the view I defend, there are two important explanatory virtues—depth and transparency—which different proofs (and other potential explanations) possess to different degrees. Although not mutually exclusive in principle, the packages of features associated with the two stand in some tension with one another, so that very deep explanations are rarely transparent, and vice versa. After developing the theory of depth and transparency and applying it to the case of quadratic reciprocity, I draw some morals about the nature of mathematical explanation. (shrink)

“Philosophy as a way of life” has its roots in ancient ethics and has attracted renewed interest in recent decades. The aim in this paper is to construct a contemporized image of Socrates, consistent with the textual evidence. The account defers concern over analytical/theoretical inquiry into virtue, in favor of a neo-existentialist process of self-examination informed by the virtue of what is called “moral seriousness.” This process is modeled on Frankfurt’s hierarchical account of self-identification, and the paper suggests an expansion (...) of Frankfurt’s concept of a person to include “full” personhood, in which the apprehended “meaning” of one’s “whole life” is taken as a necessary condition for eudaimonia (meaning of life) and is characterized by phenomenological transcendence. In addition, the importance of the informed scrutiny of a community of philosophers to the self-examination process is discussed. (shrink)