In spite of the many efforts made to clarify von Neumann’s methodology of science, one crucial point seems to have been disregarded in recent literature: his closeness to Hilbert’s spirit. In this paper I shall claim that the scientific methodology adopted by von Neumann in his later foundational reflections originates in the attempt to revaluate Hilbert’s axiomatics in the light of Gödel’s incompleteness theorems. Indeed, axiomatics continues to be pursued by the Hungarian mathematician in the spirit of Hilbert’s school. I (...) shall argue this point by examining four basic ideas embraced by von Neumann in his foundational considerations: a) the conservative attitude to assume in mathematics; b) the role that mathematics and the axiomatic approach have to play in all that is science; c) the notion of success as an alternative methodological criterion to follow in scientific research; d) the empirical and, at the same time, abstract nature of mathematical thought. Once these four basic ideas have been accepted, Hilbert’s spirit in von Neumann’s methodology of science will become clear. (shrink)

Tradução para o português do livro "Ensaios sobre Strawson", de Carlos Caorsi. Editora da unijuí, 2014. Sumário: Apresentação; A teoria da verdade em Strawson, Mauricio Beuchot; Réplica a Mauricio Beuchot, Peter F. Strawson; Strawson: entre a lógica tradicional e a lógica clássica, Robert Calabria; Réplica a Robert Clabria, Peter F. Strawson; Referência e termos singulares, Carlos E. Caorsi; Réplica a Carlos E. Caorsi, Peter F. Strawson; Strawson e a metafísica, Juan C. D’Alessio; Réplica a Juan C. D’Alessio, Peter F. Strawson; (...) A meta-metafísica de Strawson: identificação versus individuação, Jorge J. E. Gracia; Réplica a Jorge J. E. Gracia, Peter F. Strawson; Algumas distinções sobre a noção de indivíduo, Jesús Mosterín; Réplica a Jesús Mosterín, Peter F. Strawson; Sobre a percepção e seus objetos em Strawson, Ernest Sosa; Réplica a Ernest Sosa, Peter F. Strawson; Limitações ao exercício da perplexidade, Teresa de Jesús Zavalía; Réplica a Tereza de Jesús Zavalía, Peter F. Strawson; Publicações de P. F. Strawson . (shrink)

Review of: "Objectivity and Honesty in Science: The case of Light Interference Phenomena".

In an effort to produce new and more sustainable technologies, designers have turned to nature in search of inspiration and innovation. Biomimetic design (from the Greek bios, life, mimesis, imitation) is the conscious imitation of biological models to solve today's technical and ecological challenges. Nowadays numerous different approaches exist that take inspiration from nature as a model for design, such as biomimicry, biomimetics, bionics, permaculture, ecological engineering, etc. This variety of practices comes in turn with a wide range of different (...) promises, including sustainability, increased resilience, multi-functionality, and a lower degree of risk. How are we to make sense of this heterogeneous amalgam of existing practices and technologies, and of the numerous promises attached to them? We suggest that a typology of biomimetic approaches would provide a useful hermeneutic framework to understand the different tensions that pull this variegated landscape in different directions. This is achieved through a critical analysis of the literature in different fields of biomimetic design and the philosophy of biomimicry, in order to derive conceptual and normative assumptions concerning the meaning and value of the imitation of nature. These two dimensions are then intersected to derive an analytical grid composed of six different biomimetic types, which enable the classification of existing and possible biomimetic approaches, practices, and technologies according to their specific conceptual assumptions and guiding norms. (shrink)

This paper addresses a fundamental line of research in neuroscience: the identification of a putative neural processing core of the cerebral cortex, often claimed to be “canonical”. This “canonical” core would be shared by the entire cortex, and would explain why it is so powerful and diversified in tasks and functions, yet so uniform in architecture. The purpose of this paper is to analyze the search for canonical explanations over the past 40 years, discussing the theoretical frameworks informing this research. (...) It will highlight a bias that, in my opinion, has limited the success of this research project, that of overlooking the dimension of cortical development. The earliest explanation of the cerebral cortex as canonical was attempted by David Marr, deriving putative cortical circuits from general mathematical laws, loosely following a deductive-nomological account. Although Marr’s theory turned out to be incorrect, one of its merits was to have put the issue of cortical circuit development at the top of his agenda. This aspect has been largely neglected in much of the research on canonical models that has followed. Models proposed in the 1980s were conceived as mechanistic. They identified a small number of components that interacted as a basic circuit, with each component defined as a function. More recent models have been presented as idealized canonical computations, distinct from mechanistic explanations, due to the lack of identifiable cortical components. Currently, the entire enterprise of coming up with a single canonical explanation has been criticized as being misguided, and the premise of the uniformity of the cortex has been strongly challenged. This debate is analyzed here. The legacy of the canonical circuit concept is reflected in both positive and negative ways in recent large-scale brain projects, such as the Human Brain Project. One positive aspect is that these projects might achieve the aim of producing detailed simulations of cortical electrical activity, a negative one regards whether they will be able to find ways of simulating how circuits actually develop. (shrink)

Sleep and dreaming are important daily phenomena that are receiving growing attention from both the scientific and the philosophical communities. The increasingly popular predictive brain framework within cognitive science aims to give a full account of all aspects of cognition. The aim of this paper is to critically assess the theoretical advantages of Predictive Processing (PP, as proposed by Clark 2013, Clark 2016; and Hohwy 2013) in defining sleep and dreaming. After a brief introduction, we overview the state of the (...) art at the intersection between dream research and PP (with particular reference to Hobson and Friston 2012; Hobson et al. 2014). In the following sections we focus on two theoretically promising aspects of the research program. First, we consider the explanations of phenomenal consciousness during sleep (i.e. dreaming) and how it arises from the neural work of the brain. PP provides a good picture of the peculiarity of dreaming but it can’t fully address the problem of how consciousness comes to be in the first place. We propose that Integrated Information Theory (IIT) (Oizumi et al. 2014; Tononi et al. 2016) is a good candidate for this role and we will show its advantages and points of contact with PP. After introducing IIT, we deal with the evolutionary function of sleeping and dreaming. We illustrate that PP fits with contemporary researches on the important adaptive function of sleep and we discuss why IIT can account for sleep mentation (i.e. dreaming) in evolutionary terms (Albantakis et al. 2014). In the final section, we discuss two future avenues for dream research that can fruitfully adopt the perspective offered by PP: (a) the role of bodily predictions in the constitution of the sleeping brain activity and the dreaming experience, and (b) the precise role of the difference stages of sleep (REM (Rapid eye movement), NREM (Non-rapid eye movement) in the constitution and refinement of the predictive machinery. (shrink)

This paper represents a counterreply to “A rejoinder to Alessio Gava’s ‘Van Fraassen, a inferência da melhor explicação e a Matrix realista’”, by Minikoski and Rodrigues da Silva, released in Problemata (v. 12, n. 2, 2021). The authors originally published an essay in the same journal, “Van Fraassen and inference to the best explanation” (2016), the object of critic - ‘friendly and gentle’ - in a work of mine that also appeared in Problemata, in 2019. In this paper I will (...) show that, even when the subject matter is the inference to the best explanation, realists and antirealists end up debating about the same old topics, that represent the essence of the controversy between the two philosophical stances. (shrink)

Vera Zasulich’s shooting of Trepov, a governor of St Petersburg who had ordered the flogging of a political prisoner, in January 1878, catapulted her to international fame as a revolutionary heroine, a reputation that she put to good use by becoming one of the five ‘founding parents’ of Russian Marxism that created the ‘Group for the Emancipation of Labour’ in 1883. But her act of self-sacrifice also triggered, to her dismay, the institutionalisation of individual terrorist tactics in the Russian Populist (...) movement with the creation of the ‘People’s Will’ (Narodnaya Volya) Party in 1879. The organisation went into decline after the killing of Tsar Alexander II in 1881, and Populism itself was increasingly superseded by Marxism as the hegemonic force on the left with the rise of the Russian Social Democratic Labour Party (RSDLP). But individual terrorist tactics reappeared with the creation of the Socialist Revolutionary Party in 1902, prompting Zasulich to write an article for Die neue Zeit, the theoretical organ of German Social Democracy, in which she both condemned the Neo-Populist tendency as deleterious to the rising labour movement and supported the organisational plans for the RSDLP sponsored by the Iskra group, developed at length by Lenin in his book What Is to Be Done?, published in March 1902. This article provides the background to Vera Zasulich’s article ‘The Terrorist Tendency in Russia’ (December 1902), setting it against the history of the Russian revolutionary movement from 1878 to 1902. (shrink)

This book discusses fundamental topics on contemporary Ockhamism. The collected essays show how contemporary Ockhamism can impact areas of research such as semantics, metaphysics and also the philosophy of science. In addition, the volume hosts one historian of Medieval philosophy who investigates the way in which William of Ockham “in flesh and bone” construed time and, more generally, future contingency. The essays explore the different meanings of this theory. They cover three main topics, in particular. The first examines the thesis (...) that sentences and propositions about the future have a definite truth value, without any ensuing commitment to determinism or fatalism. The second topic looks at the problem whether the branching-time model needs to countenance a privileged branch (the so-called Thin Red Line). Finally, the third topic considers the idea that there are so-called soft facts. These would be the subject matter of sentences and propositions verbally about the present or the past, but metaphysically about a later time, and which might change in the future. Overall, the book provides an updated and rigorous idea of the debate about Ockhamism. It gives readers a deeper understanding into this philosophical approach influenced by William of Ockham, characterized by the rejection of the Aristotelian idea that, in order to preserve the contingency of the future, future contingents must be deemed neither true nor false. (shrink)

Review of: "Biology as a postmodern science: Universals, historicity, and context".

Review of: "Zeno and Einstein".

Review of: "Further Chaos and Dysfunction in the Brickyard and the Systems That Support It".

In "La science et l’hypothèse" Henri Poincaré scrive: «Compito dello scienziato è ordinare; si fa la scienza con i fatti, come si fa una casa con le pietre; ma un cumulo di fatti non è una scienza, proprio come un mucchio di pietre non è una casa» . Oltre a richiamare qualcosa che a molti potrebbe persino apparire ovvio – cioè che la scienza non possa in alcun modo ridursi ad un mero agglomerato di fatti che il ricercatore registra in (...) ambito osservativo, ma richieda piuttosto un attento processo di elaborazione razionale sia in fase preventiva rispetto al contesto dell’esperienza, sia in fase di valutazione dei dati sperimentali raccolti – questa affermazione ha il merito di ricordarci qualcosa che spesso viene passato sotto silenzio, vale a dire il fatto che durante il nostro tentativo di comprendere il mondo si dia alla conoscenza una materia, un complesso di "oggetti", tale da risultare determinante nella costruzione e nella formulazione delle nostre teorie. Se questo è vero, si può quindi parlare di una materia, e di una forma da essa distinta, della conoscenza scientifica, sebbene con alcune precisazioni. Nel contributo si preciserà questa distinzione facendo riferimento alle assiomatizzazioni di alcune discipline scientifiche condotte nella prima metà del secolo scorso. (shrink)

Review of: "Straightening the ‘Value-Laden Turn’: Minimising the Influence of Values in Science".

The paper deals with the controversial issue of realism in Wittgenstein’s Tractatus. Most of the problems are grounded in the logical-linguistic foundation of important ontological notions given within the text (such as object, state of affairs, fact, etc.). This has led some scholars to think that there is no conception of the world in the Tractatus that is independent of language and that in his work Wittgenstein is simply engaged in a logical investigation of what it is essential for any (...) language to represent reality. Therefore, no conclusions about a transcendent world can be drawn from it. Here we argue that it is true that the author of the Tractatus is engaged in a logical investigation, conducted a priori and internal to language, on the conditions that are (or have to be) satisfied by any significant language. However, what such an investigation reveals, given one of these languages, is the necessity to presuppose a world made in a certain way and transcendent to the language that pretends to describe it. Two issues are considered to clarify the sense of the realism of the Tractatus — that of the existence of simple objects, and that of the truth of propositions — and a new interpretative schema for the text is advanced. (shrink)

In order to defend his controversial claim that observation is unaided perception, Bas van Fraassen, the originator of constructive empiricism, suggested that, for all we know, the images produced by a microscope could be in a situation analogous to that of the rainbows, which are ‘images of nothing’. He added that reflections in the water, rainbows, and the like are ‘public hallucinations’, but it is not clear whether this constitutes an ontological category apart or an empty set. In this paper (...) an argument will be put forward to the effect that rainbows can be thought of as events, that is, as part of a subcategory of entities that van Fraassen has always considered legitimate phenomena. I argue that rainbows are actually not images in the relevant (representational) sense and that there is no need to ontologically inflate the category of entities in order to account for them, which would run counter to the empiricist principle of parsimony. (shrink)

Discutindo acerca das centenas de detecções de planetas extrassolares, que supostamente aconteceram desde 1989 e que ele considera (incorretamente) como instâncias de observações, Peter Kosso disse, justamente, que segundo os parâmetros de Bas van Fraassen esses objetos celestes seriam observáveis. Ora, tais astros poderiam sem dúvida ser observados diretamente (sem a necessidade de instrumentos), nas condições apropriadas. Mas, acrescenta Kosso, “esse tipo de epistemologia externalista, que permite que a justificação se baseie em informação que não temos a disposição (nós não (...) estamos em condição de ver planetas extrassolares a olho nu [atualmente]), não ajuda a decidir quais particulares afirmações científicas garantem a crença” (Kosso 2006, 225, nota 1). Van Fraassen provavelmente incorre em uma petição de princípio não muito diferente daquelas que ele muitas vezes desmascarou em textos de autores realistas, quando apela para o fato de o objeto detectado ser observável, para atribuir o estatuto de ‘observação’ a uma certa detecção. O ponto é, mais uma vez, entender o que vale como observação, particularmente quando isso envolve o uso de algum instrumento. Endossar aquilo que Otávio Bueno chama de ‘padrão internalista’ parece garantir solidez à qualificação de determinadas ações como observações. Uma das principais consequências dessa adoção é que tal critério, não operando nenhuma distinção relevante entre detecções ‘diretas’ e detecções mediadas por instrumentos, permite que a linha que separa observáveis e inobserváveis seja traçada de maneira diferente de como van Fraassen acredita que deveria ser, abarcando, entre os observáveis, mais (tipos de) entidades do que esse parece estar disposto a admitir. (shrink)

Aspetti filosofico-matematici dei celebri paradossi di Zenone di Elea.

NOTA PRELIMINAR: o texto a seguir representa a versão ampliada (e corrigida conforme as indicações dos pareceristas) do artigo homônimo, publicado na revista Archai em 2014. Por algum problema técnico, acabou sendo publicada, na época, a primeira versão, sem as melhorias sugeridas pelos avaliadores. Eis, então, a versão ‘definitiva’ do artigo “Zenão e a impossibilidade da analogia”: -/- A reductio ad absurdum foi elevada por Zenão de Eléia a único método que permitiria vislumbrar a verdadeira realidade, invisível tanto aos sentidos (...) quanto à maneira de pensar comum. Mostrando uma certa continuidade com os filósofos anteriores, não só na busca de um procedimento para que a especulação pudesse avançar, como também na mesma rota de afastamento daquilo que é mais próximo, conhecido e particular (visível) em direção àquilo que é menos conhecido, distante e universal (invisível), para dizê-lo em termos aristotélicos, Zenão utilizou-se de argumentos aporéticos como único caminho possível para poder entrever o ‘reino do Ser’. Esse, com efeito, é invisível não somente aos nossos sentidos, como também ao nosso raciocínio ordinário. Eis que somente a ‘via do não-ser’, a única que poderia ser trilhada após Parménides, como diz Wolff, nos permite ter uma ideia, por quanto vaga, daquilo que é ‘verdadeiramente invisível’. Tão invisível ao ponto de ser inalcançável até mesmo pelo pensamento. (shrink)

The concept of observability is of key importance for a consistent defense of Constructive Empiricism. This anti-realist position, originally presented in 1980 by Bas van Fraassen in his book The Scientific Image, crucially depends on the observable/unobservable dichotomy. Nevertheless, the question of what it means to observe has been faced in an unsatisfactory and inadequate manner by van Fraassen and this represents an important lacuna in his philosophical position. The aim of this work is to propose a characterization of the (...) act of observation able to give the necessary support to the ‘rough guide’ of ‘observable’ that can be found in the aforementioned book. Countering van Fraassen’s own statements, that observability is not a matter for philosophy, but for scientific inquiry only, we maintain that any attempt to deal with this subject by the philosophers is legitimate. We will show that van Fraassen ended up doing a philosophical analysis of observation himself, albeit in a fragmentary way. We believe that this question should be dealt with methodically, though, ‘following the rules’ of a ‘proper’ philosophical analysis, as we attempted to do in this work. We will propose a way of conceiving the act of observation, different from van Fraassen’s one, that can help not only to ground the distinction between observable and unobservable, upon which Constructive Empiricism rests, but to get this anti-realist position closer to scientific practice as well, which is one of its desiderata. Without neglecting the philosophical dimension of the issue, though. However, this proposal does not represent an ad hoc ‘solution’ for Constructive Empiricism, but a characterization aspiring to have a universal reach. (shrink)

In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is of (...) particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use. After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world, and offers examples of domain ontologies that utilize BFO. The book also describes Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies. (shrink)

Learner’s attitude towards modular distance learning catches uncertainties as a world crisis occurs up to this point. As self-learning modules (SLMs) become a supplemental means of learning in new normal education, this study investigated efficiency towards the learners’ attitude and performance. Specifically, the study described the learners’ profile and their attitude and performance towards SLMs. It also ascertained the relationship between the learner’s profile with their attitude and performance, as well as the relationship between attitude and performance relevant to SLMs. (...) A descriptive-correlational research design was employed in the study with 88 non-randomly chosen participants from secondary schools in West Philippines. The learners’ GWA (general weighted average) was used to determine their performance and a survey questionnaire for their profile and attitude. Frequency counts, percentage, and Spearman’s rank correlation coefficient were used to analyze the data gathered with the aid of Jamovi software. Results revealed a strong correlation between attitude and performance, but there was no link between learner’s attitude and performance as to the learner’s profile. It was affirmed that attitude is a compelling factor that is related with performance. Hence, this research has broader ramifications that can direct the Bureau of Learning Delivery to orient the module writers to further contextualize the learning materials that can compound learner’s disposition and academic performance. (shrink)

In December 2013, the Nonhuman Rights Project (NhRP) filed a petition for a common law writ of habeas corpus in the New York State Supreme Court on behalf of Tommy, a chimpanzee living alone in a cage in a shed in rural New York (Barlow, 2017). Under animal welfare laws, Tommy’s owners, the Laverys, were doing nothing illegal by keeping him in those conditions. Nonetheless, the NhRP argued that given the cognitive, social, and emotional capacities of chimpanzees, Tommy’s confinement constituted (...) a profound wrong that demanded remedy by the courts. Soon thereafter, the NhRP filed habeas corpus petitions on behalf of Kiko, another chimpanzee housed alone in Niagara Falls, and Hercules and Leo, two chimpanzees held in research facilities at Stony Brook University. Thus began the legal struggle to move these chimpanzees from captivity to a sanctuary, an effort that has led the NhRP to argue in multiple courts before multiple judges. The central point of contention has been whether Tommy, Kiko, Hercules, and Leo have legal rights. To date, no judge has been willing to issue a writ of habeas corpus on their behalf. Such a ruling would mean that these chimpanzees have rights that confinement might violate. Instead, the judges have argued that chimpanzees cannot be bearers of legal rights because they are not, and cannot be persons. In this book we argue that chimpanzees are persons because they are autonomous. (shrink)

This volume offers a collection of in-depth explorations of pragmatism as a framework for discussions in philosophy of science and metaphysics. Each chapter involves explicit reflection on what it means to be pragmatist, and how to use pragmatism as a guiding framework in addressing topics such as realism, unification, fundamentality, truth, laws, reduction, and more. -/- .

The Protein Ontology provides terms for and supports annotation of species-specific protein complexes in an ontology framework that relates them both to their components and to species-independent families of complexes. Comprehensive curation of experimentally known forms and annotations thereof is expected to expose discrepancies, differences, and gaps in our knowledge. We have annotated the early events of innate immune signaling mediated by Toll-Like Receptor 3 and 4 complexes in human, mouse, and chicken. The resulting ontology and annotation data set has (...) allowed us to identify species-specific gaps in experimental data and possible functional differences between species, and to employ inferred structural and functional relationships to suggest plausible resolutions of these discrepancies and gaps. (shrink)

Background If trials of therapeutic interventions are to serve society's interests, they must be of high methodological quality and must satisfy moral commitments to human subjects. The authors set out to develop a clinical - trials compendium in which standards for the ethical treatment of human subjects are integrated with standards for research methods. Methods The authors rank-ordered the world's nations and chose the 31 with >700 active trials as of 24 July 2008. Governmental and other authoritative entities of the (...) 31 countries were searched, and 1004 English-language documents containing ethical and/or methodological standards for clinical trials were identified. The authors extracted standards from 144 of those: 50 designated as ‘core’, 39 addressing trials of invasive procedures and a 5% sample of the remainder. As the integrating framework for the standards we developed a coherent taxonomy encompassing all elements of a trial's stages. Findings Review of the 144 documents yielded nearly 15 000 discrete standards. After duplicates were removed, 5903 substantive standards remained, distributed in the taxonomy as follows: initiation, 1401 standards, 8 divisions; design, 1869 standards, 16 divisions; conduct, 1473 standards, 8 divisions; analysing and reporting results, 997 standards, four divisions; and post-trial standards, 168 standards, 5 divisions. Conclusions The overwhelming number of source documents and standards uncovered in this study was not anticipated beforehand and confirms the extraordinary complexity of the clinical trials enterprise. This taxonomy of multinational ethical and methodological standards may help trialists and overseers improve the quality of clinical trials, particularly given the globalisation of clinical research. (shrink)

Identification of factors that predict recurrent antisocial behavior is integral to the social sciences, criminal justice procedures, and the effective treatment of high-risk individuals. Here we show that error-related brain activity elicited during performance of an in- hibitory task prospectively predicted subsequent rearrest among adult offenders within 4 y of release (N =96). The odds that an offender with relatively low anterior cingulate activity would be rearrested were approximately double that of an offender with high activity in this region, holding (...) constant other observed risk factors. These results suggest a potential neurocognitive biomarker for persistent antisocial behavior. (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.

This study investigates the dynamics of brick-and-mortar versus click-and-mortar microbusinesses, focusing on the strengths, weaknesses, opportunities, and threats (SWOT) within the local context of Balayan. Ten purposively sampled microbusiness entrepreneurs were examined using the SWOT method. The findings underscore the significance of product assessment, communication, and customer experiences in cultivating trust. Sensory experiences and competitive pricing emerge as strengths, while challenges such as poor sales necessitate strategic interventions. External factors, particularly technological advancements, exert influence on the retail landscape. Key strategies (...) include competitive pricing, flexibility, and an understanding of customer behavior. The study highlights growth potential in tailored experiences but acknowledges the risks posed by e-commerce competition. Additionally, a SWOT strategic plan is developed to leverage internal and external strengths and opportunities while mitigating weaknesses and threats. (shrink)

We develop a conceptually clear, intuitive, and feasible decision procedure for testing satisfiability in the full multi\-agent epistemic logic \CMAELCD\ with operators for common and distributed knowledge for all coalitions of agents mentioned in the language. To that end, we introduce Hintikka structures for \CMAELCD\ and prove that satisfiability in such structures is equivalent to satisfiability in standard models. Using that result, we design an incremental tableau-building procedure that eventually constructs a satisfying Hintikka structure for every satisfiable input set of (...) formulae of \CMAELCD\ and closes for every unsatisfiable input set of formulae. (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.

Background Analysis of aphasic narratives can be a challenge for clinicians. Previous studies have mainly employed measures that categorized speech samples at the word level. They included quantification of the use and misuse of different word classes, presence and absence of narrative contents and errors, paraphasias, and perseverations, as well as morphological structures and errors within a narrative. In other words, a great amount of research has been conducted in the aphasiology literature focusing on micro-linguistic structures of oral narratives. Aspects (...) of macro- linguistic structures, such as the analysis of content information by a speaker, consistency of using cohesive devices to present information within a narrative, and order of presenting information necessary to form a coherent discourse, have not been extensively investigated. The current investigation proposes a clinical analytic system to target three aspects of macro-linguistic structures in narratives among speakers with aphasia. Specifically, (1) the presence of search events (i.e., the mentioning of key events that allow the listener to understand; Capilouto, Wright, &Wagovich, 2006) within a narrative, (2) the sequence of the mentioned events, and (3) the informativeness (i.e., the fulfillment of lexical items that allow the user to understand what the event is detailing) of the event contents, were focused in the proposed framework. Method Ten controls transcripts from were selected from the AphasiaBank (MacWhinney, Fromm, Forbes, & Holland, 2011). Three narrative tasks, including sequential picture description of ‘Refused Umbrella’, procedural narrative of making a ‘Peanut Butter and Jelly Sandwich’, and telling of ‘Cinderella’ story, were used to establish normative data for the basis of analysis. Specifically, the Search Events (e) and Informative Words (i) used by at least 70% of the speakers were listed for each genre. The sequential order of mentioning the Search Events, i.e., common order of events in 90% of the speakers, (s.total) was determined. Twelve speakers with aphasia (nine fluent and three non-fluent) were recruited and administered the Western Aphasia Battery and Object and Action Naming Battery. Their performance in the above three discourse tasks were orthographically transcribed and analyzed using the following measures: e.total, e.matched with norm, e.missed, e.irrlevant, e.extra, s.total, i.pb&j, i.umbr, i.cind, and i.total. Three samples were randomly chosen to be re-analyzed for inter- and intra-rater reliability. Results Results of an independent t-test suggested significant differences between the fluent and non-fluent subjects in sequential order of Search Events for all genres (s.total) and i.total, suggesting sensitivity of this framework to differentiate between the two fluency groups. Results of Pearson product-moment correlations revealed significant relation between Informative Words and WAB spontaneous speech scores, AQ, as well as OAB scores, for both aphasic groups. The mean value of coefficients for intra-rater reliability (0.992), with significant correlations on e.match, e.miss, and e.extra, was higher than that of inter-rater reliability (0.897). Discussion Based on our preliminary results, this objective framework allowed clinical evaluation of impairment in macro-linguistic structures present in aphasic discourse. Further extension should involve more subjects encompassing a wider range of severity with different types of aphasia. (shrink)

According to the literature review, there is much room for improvement of college student retention. The aim of this research is to evaluate the possibility of using deep and machine learning algorithms to predict whether students continue to attend college or will stop attending college. In this research a feature assessment is done on the dataset available from Kaggle depository. The performance of 20 learning supervised machine learning algorithms and one deep learning algorithm is evaluated. The algorithms are trained using (...) 11 features from 1000 records of previous student registrations that have been enrolled in college. The best performing classifier after tuning the parameters was NuSVC. It achieved Accuracy (91.00%), Precision (91.00%), Recall (91.00%), F1-score (91.00%), and time required for training and testing (0.04 second). Additionally, the proposed DL algorithm scored: Accuracy (93.00%), Precision (93.00%), Recall (93.00%), F1-score (93.00%), time required for training and testing (0.66 second) for predicting whether student will continue to attend college or not. (shrink)

In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is of (...) particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use. After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world, and offers examples of domain ontologies that utilize BFO. The book also describes Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies. (shrink)

The pandemic of COVID-19 prompted several paradigm shifts throughout society, including in education. This study aimed to examine the relationships of students' engagement in online synchronous collaborative learning activities (OSCLA) with their self-efficacy (LSE), peer social support (LPSS), state of well-being (SWB), and level of academic performance (LAP). A total of 176 Filipino Grade 12 SHS students, 18 years old and older, from a private educational institution were purposively selected for this study. Data were generated using an online survey. Results (...) show that collaborative learning activities are frequently conducted (median = 4) in their synchronous online classes. It also revealed that their LSE is high (median = 4), their LPSS is high (median = 4), their LE is moderate (median = 3), their SWB is high (median = 4), and their LAP is high (median = 94.85). The results showed a statistically significant correlation of their LSE (r = 0.69, p 0.001) and LPSS with their OSCLA LE (r = 0.438, p 0.001). A statistically significant positive moderate correlation between LE and SWB (r = 0.536, p 0.001) was also found, however, no correlation was found between their OSCLA LE and LAP (r = 0.065, p = 0.393). Thus, the use of a well-designed OSCLA is strongly recommended as it positively impacts students' SWB but should be regularly reviewed for its effectiveness in sustaining improvement in the LAP of the students. (shrink)

Internodons are a formalization of Hennig's concept of species. We present an alternative construction of internodons imposing a tree structure on the genealogical network. We prove that the segments (trivial unary trees) from this tree structure are precisely the internodons. We obtain the following spin-offs. First, the generated tree turns out to be an organismal tree of life. Second, this organismal tree is homeomorphic to the phylogenetic Hennigian species tree of life, implying the discovery of a multi-level tree of life: (...) this phylogenetic tree can be obtained by zooming out from the organismal tree, or conversely, the organismal tree of life can be generated by expanding the phylogenetic nodes into unary trees. Finally, the definition of the organismal tree allows an efficient algorithmic transformation of a given genealogical network into its corresponding phylogenetic species tree of life. The latter will be presented in a separate paper. (shrink)

Global challenges such as climate change, food security, or public health have become dominant concerns in research and innovation policy. This article examines how responses to these challenges are addressed by governance actors. We argue that appeals to global challenges can give rise to a ‘solution strategy' that presents responses of dominant actors as solutions and a ‘negotiation strategy' that highlights the availability of heterogeneous and often conflicting responses. On the basis of interviews and document analyses, the study identifies both (...) strategies across local, national, and European levels. While our results demonstrate the co-existence of both strategies, we find that global challenges are most commonly highlighted together with the solutions offered by dominant actors. Global challenges are ‘wicked problems' that often become misframed as ‘tame problems’ in governance practice and thereby legitimise dominant responses. (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)

Defense of an account of intrinsic properties in terms of (what is now called) grounding rather than naturalness.

We maintain that in many contexts promising to try is expressive of responsibility as a promiser. This morally significant application of promising to try speaks in favor of the view that responsible promisers favor evidentialism about promises. Contra Berislav Marušić, we contend that responsible promisers typically withdraw from promising to act and instead promise to try, in circumstances in which they recognize that there is a significant chance that they will not succeed.

The paper looks at the semantics and ontology of dispositions in the light of recent work on the subject. Objections to the simple conditionals apparently entailed by disposition statements are met by replacing them with so-called 'reduction sentences' and some implications of this are explored. The usual distinction between categorical and dispositional properties is criticised and the relation between dispositions and their bases examined. Applying this discussion to two typical cases leads to the conclusion that fragility is not a real (...) property and that, while both temperature and its bases are, this does not generate any problem of overdetermination. (shrink)

How should one respond to scepticism? Should one seek to refute it? Or should scepticism be ignored? This paper argues that descriptive metaphysics occupies an intermediate logical space between truth-directed transcendental arguments aimed at refuting the sceptic and the quietist stance of the Humean naturalist who declines to take up the sceptical challenge. Descriptive metaphysics is neither quietist nor confrontational. It seeks to show, rather, that the sceptic is not a genuine partner in conversation.

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)

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)

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)