The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

This article aims to draw on the ‘Qur'anic Rationalism’ of Taqī al-Dīn Ibn Taymiyya (1263–1328) in elucidating an Islamic epistemology of theistic natural signs, in the lens of contemporary philosophy of religion. In articulating what Ibn Taymiyya coins ‘God's method of proof through signs (istidlāluhu taʿālā bi'l-āyāt)’, it seeks aid in particular from the work of C. Stephen Evans and other contemporary philosophers of religion, in an attempt to understand the relevance and force of this alternative to natural theology within (...) the Islamic tradition. In doing so, it aims to respond to existing criticisms of Ibn Taymiyya's perspective in the literature, and to consider the implications of a Taymiyyan reading of theistic natural signs, on the epistemic function of Qur'anic āyāt as theistic evidence. (shrink)

Background: Critically ill patients often require complex clinical care by highly trained staff within a specialized intensive care unit (ICU) with advanced equipment. There are currently limited data on the costs of critical care in low-and middle-income countries (LMICs). This study aims to investigate the direct-medical costs of key infectious disease (tetanus, sepsis, and dengue) patients admitted to ICU in a hospital in Ho Chi Minh City (HCMC), Vietnam, and explores how the costs and cost drivers can vary between the (...) different diseases. -/- Methods: We calculated the direct medical costs for patients requiring critical care for tetanus, dengue and sepsis. Costing data (stratified into different cost categories) were extracted from the bills of patients hospitalized to the adult ICU with a dengue, sepsis and tetanus diagnosis that were enrolled in three studies conducted at the Hospital for Tropical Diseases in HCMC from January 2017 to December 2019. The costs were considered from the health sector perspective. The total sample size in this study was 342 patients. -/- Results: ICU care was associated with significant direct medical costs. For patients that did not require mechanical ventilation, the median total ICU cost per patient varied between US$64.40 and US$675 for the different diseases. The costs were higher for patients that required mechanical ventilation, with the median total ICU cost per patient for the different diseases varying between US$2,590 and US$4,250. The main cost drivers varied according to disease and associated severity. -/- Conclusion: This study demonstrates the notable cost of ICU care in Vietnam and in similar LMIC settings. Future studies are needed to further evaluate the costs and economic burden incurred by ICU patients. The data also highlight the importance of evaluating novel critical care interventions that could reduce the costs of ICU care. (shrink)

C endorses the doctrine of Composition as Identity, which holds that a composite object is identical to its many parts, and entails that one object can be identical to several others. In this dialogue, N argues that many‐one identity, and thus composition as identity, is conceptually confused. In particular, N claims it violates two conceptual truths: that existence facts fix identity facts, and that identity is no addition to being. In response to pressure from C, N considers several candidate interpretations (...) of the first slogan. Each interpretation imagines God issuing a divine existential decree that counts as ‘fixing the existence facts’, and then considers what questions about identity are left open by it. N eventually hits on an appealing interpretation of the slogan that C can neither undermine nor accommodate, and uses it to interpret the second slogan as well. (shrink)

The four volume work of which this book is a part has been praised as one of the great monuments of theoretical scholarship in sociology of the century. The praise has come largely from the older generation of students of Parsons and Merton. A great deal of dispraise has come from Alexander's own generation. Alan Sica's (1983) brilliant, biting review of Volume I speaks for many of Alexander's peers. Volume II is likely to be even more controversial. This volume begins (...) the substantive task of the text, the reinterpretation of the 'theoretical logic' of the classical sociologists, a reinterpretation governed by the intention of transcending the errors and limitations of the 'presuppositional' reasoning of the classical thinkers. For Alexander's sociological audience the second volume is the beginning of what really counts, and Volume II is indeed quite a different affair from the first, 'philosophical' volume: the prose tightens, and the air of getting down to work is palpable. (shrink)

This thesis contends that the possession of a sense of humour would contribute considerably to the quality of human life. It is an exploration and discussion of some of the difficulties involved in justifying the development of humour in terms of a philosophy of education. In light of developments in the digital age with consequent changes in science, technology and society, the educated person of the future will have to be less concerned with the accumulated knowledge of the past than (...) with the development and interplay of social and natural environments. Such a person will need to have, more than ever, a sense of what is truly real and what is truly valuable in human life. If the primary purpose of education is the preparation of students for their future lives, educators are now faced with some challenging problems. Apart from the high social value of laughter, there is a recognized relationship between humour and intelligence. Knowing that the two are related proves to be a key factor in understanding the learning process and assuring that the development of a sense of humour in education is worthy of consideration. (shrink)

The work described in this report is motivated by the desire to test the expressive possibilities of action language C+. The Causal Calculator (CCalc) is a system that answers queries about action domains described in a fragment of that language. The Zoo World and the Traffic World have been proposed by Erik Sandewall in his Logic Modelling Workshop—an environment for communicating axiomatizations of action domains of nontrivial size. -/- The Zoo World consists of several cages and the exterior, gates between (...) them, and animals of several species, including humans. Actions in this domain include moving within and between cages, opening and closing gates, and mounting and riding animals. The Traffic World includes vehicles moving continuously between road crossings subject to a number of restrictions, such as speed limits and keeping a fixed safety distance away from other vehicles on the road. We show how to represent the two domains in the input language of CCalc, and how to use CCalc to test these representations. (shrink)

DIFERENCIAÇÃO SEXUAL -/- Emanuel Isaque Cordeiro da Silva Instituto Agronômico de Pernambuco Embrapa Semiárido -/- • _____OBJETIVO -/- Os estudantes de Veterinária e de Zootecnia estão ligados à disciplina Reprodução Animal, um pelos mecanismos fisiológicos para evitar e tratar as possíveis patologias do trato reprodutivo dos animais domésticos, e outro para o entendimento dos processos fisiológicos visando o manejo reprodutivo e a procriação para a formação de um plantel geneticamente melhorado. Sendo assim, a finalidade do presente trabalho é apresentar os (...) mecanismos que regulam as diferenças sobre o desenvolvimento embrionário relativos à diferenciação e determinação sexual de machos e fêmeas, que também incluem o desenvolvimento dos órgãos envolvidos na reprodução e a origem das diferenças entre ambos os sexos. -/- •____INTRODUÇÃO -/- Os organismos que se reproduzem sexualmente são descendentes de organismos ao qual não existia a diferenciação sexual. Em algum momento da evolução surgiu a reprodução sexual como um mecanismo para incrementar a diversidade genética e facilitar a troca de informações genéticas mediante o material genético da fêmea com o do macho. Devido sua origem comum, na maioria das espécies, tanto os machos como as fêmeas possuem todos os genes necessários para desenvolverem-se em qualquer dos sexos. O que efetivamente faz diferença entre os sexos é a forma e a ordem ao qual se expressam os genes durante o processo de desenvolvimento. A diferenciação sexual é regulada principalmente por mecanismos epigenéticos, mais do que as diferenças genéticas de grande magnitude entre os sexos. Todo o controle epigenético de qualquer processo de desenvolvimento depende basicamente de uma série de expressões gênicas, através da qual a expressão de certa combinação de genes resulta na presença de determinadas proteínas, conhecidas como os fatores de transcrição, que induzem ou reprimem a expressão de outro(os) gene(es), a partir dos quais se produzem novas proteínas, que em certos casos também atuam como fatores de transcrição para outros genes, e assim sucessivamente. Logo, a expressão ou falta de expressão de um gene ao início da série pode resultar em um ladrão totalmente diferente da expressão de outros genes subsequentes, o que pode ocasionar profundas mudanças no processo de desenvolvimento e até a mutações indesejáveis. O padrão predeterminado de expressões gênica relativo a diferenciação sexual na maioria das espécies tanto domésticas quanto selvagens, leva ao desenvolvimento de um dos sexos (o padrão predeterminado dos mamíferos é o sexo feminino). Em consequência, a diferenciação faz com que um indivíduo do sexo oposto exija a expressão de um gene de determinação sexual que desvie a subsequente série de expressões gênica em direção ao dito sexo. Nos mamíferos, a expressão do gene SRY, localizado no cromossomo Y (e portanto ausente nas fêmeas), redige o padrão de diferenciação sexual de sua via pré-estabelecida feminina em direção ao padrão masculino. A existência de uma única diferença genética (presença do gene SRY nos machos e ausentes nas fêmeas), vai se amplificando e termina resultando no desenvolvimento de indivíduos diferentes entre si. Esse é um mecanismo de diferenciação sexual cromossômica. O primeiro passo de uma série de diferenciação sexual, em sentido estrito, não depende nem requer necessariamente a presença de um gene diferente em algum dos sexos. O gene “disparador” da diferenciação sexual pode estar presente em todos os embriões, porém pode expressar-se somente em algum deles, devido a fatores ambientais que formam parte da sua regulação epigenética, isto é, uma determinação sexual ambiental. Em algumas espécies de tartarugas ou de lagartos a expressão ou falta de expressão do gene “disparador”, por exemplo, depende da temperatura existente durante a incubação dos ovos, pelo qual alguns embriões desenvolvem-se como machos e outros como fêmeas, apesar de não existir diferença genética entre eles, simplesmente como consequência da temperatura: a determinação sexual depende da temperatura a que cada um deles foi submetido durante a incubação. Em certas espécies as temperaturas mais elevadas facilitam o desenvolvimento de fêmeas e outras de machos, enquanto que em outras espécies as temperaturas amenas (intermediárias) resultam em machos, e as inferiores como as superiores induzem o desenvolvimento de fêmeas. A existência dessa diversidade indica que a temperatura por si mesma não é a que induz ou a que provoca o desenvolvimento do macho e da fêmea, senão a que atua somente como um regulador inicial da diferenciação sexual. Em outras espécies o fator ambiental que regula a determinação sexual pode ser distinto. A densidade populacional, por exemplo, pode atuar como um regulador. Podemos concluir que a determinação sexual dependente da temperatura ou de outros fatores ambientais estabelece-se antes da determinação sexual cromossômica, a qual evoluiu depois como um método que oferece maior certeza e resultado, já que a proporção de machos e fêmeas não é afetada por mudanças ambientais ou de hábitat. -/- •___FORMAÇÃO INICIAL DA GÔNADA -/- Basicamente em todos os embriões, inicialmente se formam as chamadas gônadas indiferenciadas (com o potencial de desenvolver-se em ovários ou testículos) a partir da invasão das cristas genitais pelas células germinais primordiais, que migram desde seu local de origem no epiblasto, perto do lugar onde o saco vitelino se une com o intestino primitivo e que chegam até às cristas genitais que são engrossamentos de tecido situados na região mesonéfrica do embrião. A migração das células germinais primordiais ocorre muito cedo sobre o processo de desenvolvimento do embrião (dia 26 nos bovinos). Ao chegas as cristas genitais, as células germinativas proliferam-se e se organizam com as células somáticas já existentes nas cristas para ir formando a gônada (figura 1). Para regular essa remodelação e conformação adequada da gônada vários genes se expressam, como o OCT-4 (que aparentemente mantém a totipotencialidade da gônada), assim como o SF-1 (Fator esteroidogênico 1) e o WT-1 (gene associado ao tumor de Wilms). Esses dois últimos genes estimulam a proliferação celular e estabelecimento dos cordões sexuais. Nessa etapa inicial do desenvolvimento todos esses genes se expressam sem distinção de sexo, pelo que a gônada em formação mantém a capacidade de se diferenciar em testículo ou em ovário. -/- Figura 1: migração das células germinais primordiais em direção a crista gonodal. Diferenciação das gônadas femininas e masculinas. Fonte: ZARCO, 2018. -/- •___SEXO CROMOSSÔMICO -/- Têm-se observado que nos mamíferos a determinação sexual depende diretamente dos cromossomos. As fêmeas possuem dois cromossomos sexuais X (um contribuído do óvulo e o outro por um espermatozoide “X”). Os machos, por sua vez, possuem um cromossomo sexual X(proveniente do óvulo) e um cromossomo sexual Y, que provém de um espermatozoide “Y” (figura 2). A metade dos espermatozoides produzidos por um macho são X e a metade Y, isso porque durante a espermatogênese a divisão meiótica provoca que a partir de cada espermatócito primário, célula diploide que por pertencer a um indivíduo macho tem um cromossomo X e um Y, se originem das espermátides haploides a cada um das que eles tocam cromossomos X, e outras espermátides haploides as que eles tocam os cromossomos Y. Dessa forma, de acordo com o tipo do espermatozoide que fertilize o ovócito, se originará um indivíduo com cariótipo feminino “XX” ou um cariótipo masculino “XY” (figura 2). Esse processo é conhecido como sexo cromossômico, ao qual se determina o momento da fertilização. Figura 2: nos mamíferos todos os óvulos produzidos pelas fêmeas possuem um cromossomo sexual X. A metade dos espermatozoides produzidos pelos machos possuem um cromossomo X e a outra metade possui um cromossomo Y. Dependendo do cromossomo presente no espermatozoide que fertilize o óvulo pode-se gerar um indivíduo XX (fêmea) ou um XY (macho). Fonte: ZARCO, 2018. -/- O cromossomo “Y” é uma “invenção” relativamente recente na história da evolução das espécies e do estudo da genética. Surgiu a partir de uma mutação de um cromossomo “X”, que resultou na perda de um de seus braços, que é por onde se originou a morfologia do cromossomo Y. A maioria dos genes presentes no cromossomo Y também existem no cromossomo X; assim mesmo somente alguns genes do cromossomo Y foram evoluídos até ser diferentes dos genes do cromossomo X. Embora os machos possuam um cromossomo que não está presente nas fêmeas, esse mesmo cromossomo não aporta toda a informação genética original. Todos os genes existentes nas fêmeas estão também presentes nos dos machos, já que eles também possuem um cromossomo X. Uma particularidade do cromossomo Y, ao existir somente uma cópia nos machos, é que ele sofre um entrecruzamento com um cromossomo análogo durante o processo de meiose, pelo que o cromossomo Y de um macho é idêntico ao de seu progenitor e ao de seus descendentes, exceto no caso em que ocorra uma mutação espontânea. Em contraste, os cromossomos X das fêmeas (um proveniente do pai e outro da mãe) se entrecruzam durante a meiose, por onde cada óvulo produzido pela fêmea terá uma combinação de alelos distinta em seu cromossomo X. Ao estudar as diferenças presentes na sequência de DNA do cromossomo Y, é possível identificar a distância filogenética entre os indivíduos (quanto mais diferenças existirem entre os cromossomos significa que seu ancestral comum está mais longe). Algo análogo ocorre com o DNA das mitocôndrias, que sempre são aportados pela mãe e nunca sofrem recombinação genética. Gene SRY -/- Um dos poucos genes do cromossomo Y que não possuem correspondência com o cromossomo X é o gene SRY (Sex-determining Region of the Y chromossome – região do cromossomo Y determinante do sexo). Esse gene se expressa somente na gônada em formação nos embriões machos, em particular em células precursoras das células de Sertoli; ele codifica uma proteína da família SOX (SRY-like Box) que é uma família formada por proteínas que possuem um domínio de união ao DNA e que atuam como fatores de transcrição. Ao produzir-se a proteína SRY nas células precursoras das células de Sertoli estimula-se a expressão (transcrição) de outro gene análogo, denominado SOX-9 que, por sua vez, atua como um fator de transcrição que ativa a expressão de outros genes, como o FGF-9 (Fibroblast Growth Factor-9), ou seja ele é o estimulante de ativação dos demais. Os produtos dos genes SOX-9 e FGF-9 iniciam uma cascata de expressões que provocam a diferenciação das células de suporte da gônada indiferenciada (crista genital) em células de Sertoli. Em seguida, essas células dirigem a diferenciação das células intersticiais da crista genital em células de Leydig, o que finalmente resulta na formação de um testículo. Outro dos efeitos da proteína codificada por SOX-9 é um estímulo maior da expressão de seu próprio gene, pelo qual é produzido um ciclo de retroalimentação positiva que favorece a continuidade do processo de formação testicular. Como nos embriões da fêmea não existe o gene SRY, a gônada indiferenciada não é estimulada para expressar os genes SOX-9 nem o FGF-9 nas células de suporte (que nesse caso serão precursoras de células da granulosa). A gônada, em mudança, expressa em forma constitutiva, isto é, sem a necessidade de estimulação, outra cascata de genes que incluem o WNT4 (Wingless-integration Factor 4) e o RAPO1 (Respondina-1), que por sua vez iniciam uma cascata de expressão gênica, a qual provoca a diferenciação das células somáticas da gônada indiferenciada para formação das células da granulosa e células da teca, esse feito conduz, por sua vez, a formação de um ovário. No embrião macho a proteína SOX-9 inibe a expressão dos genes WNT4 e RSPO-1, pelo que a presença do gene SRY, e portanto de SOX-9, inibem a formação de um ovário ao mesmo tempo que estimulam a formação do testículo (figura 3). Em suma, se o embrião possui genótipo XY (um embrião macho), o gene SRY começa a expressar-se sobre as células precursoras da gônada imediatamente depois da formação da mesma, quando os cordões sexuais primários estão se desenvolvendo na medula. A expressão do gene, assim como a presença subsequente das proteínas SOX-9 e FGF-9 estimula a distinção das células de Sertoli e que se organizem os tubos seminíferos a partir dos cordões sexuais primários. Em contrapartida, em um embrião com genótipo XX (fêmea) não existe o gene SRY, pelo qual é impossível que se elevem os níveis das proteínas SOX-9 e FGF-9 e as células precursoras não se diferenciam em células de Sertoli, e portanto os cordões sexuais primários sofrem regressão. Depois de alguns dias, começam a organizar-se os cordões sexuais secundários e as células precursoras iniciam a expressão do gene WNT4, o que leva as mesmas a diferenciar-se em células da granulosa, que serão a base para a conformação dos folículos ovarianos. Se em um embrião XY, macho, a expressão do gene SRY demora, é formada um ovo-testículo devido a que algumas das células somáticas das cristas gonodais começam a expressar o gene WNT4, e a diferenciar-se em células da granulosa, enquanto que em outras a proteína SRY chega a tempo para dirigir a diferenciação para formação das células de Sertoli. No ovário em formação é expressado um gene denominado DAX-1 (Dosage-sensitive Sex Reversal). Esse gene, localizado no cromossomo X, codifica uma proteína que é um membro da família dos receptores nucleares ao que lhe falta o domínio de união ao DNA, pelo que parece atuar no bloqueio de diversos fatores de transcrição, entre os que se encontra o SRY. Como a proteína DAX-1 impede a ação da proteína SRY, um excesso de expressão do gene DAX-1 pode provocar a feminilização gonodal de indivíduos XY, macho, embora tenham SRY. Em condições normais, a expressão adequada do gene DAX-1 não é capaz de evitar a masculinização gonodal de embriões com o gene SRY, daqui o nome de reversão sexual dependente da dose. Figura 3: série de expressão gênica para a determinação gonodal. SRY (Região do cromossomo Y determinante do sexo), SOX-9 (SRY-like Box-9), FGF-9 (Fator de crescimento de fibroblastos-9), WNT4 (Wingless-integration Factor-4), RSPO-1 (Respondina-1). Uma vez que o SRY induz a expressão de SOX-9 na gônada masculina, inicia-se um processo de feedback positivo mediante o qual os níveis de expressão de SOX-9 e FGF-9 vão aumentando, ao mesmo tempo que inibem a expressão de WNT-4 e RSPO-1. Na gônada feminina não se expressam SRY, SOX-9 e nem FGF-9, o que permite que se expressem os genes WNT-4 e RSPO-1, que iniciam uma cascata de sinalização que dirige a formação de um ovário. Fonte: ZARCO, 2018. -/- • ___DIFERENCIAÇÃO SEXUAL DOS GENITAIS -/- Uma vez que se formam os testículos, todo o desenvolvimento subsequente dos órgãos e as características “masculinas” em lugar das femininas é em consequência dos hormônios produzidos pelos testículos em formação, incluindo os andrógenos e o hormônio inibidor dos ductos de Müller. Mediante a ausência de testículos todo o desenvolvimento dos órgãos genitais internos e externos segue um padrão feminino, sem levar em conta se estão presentes os ovários; o que significa a ausência de hormônios gonodais determina que o embrião se desenvolva como fêmea, uma vez que não requerem hormônios ovarianos para desencadear o padrão feminino. Por sua vez, as gônadas masculinas (os testículos), produzem substâncias que desviam o desenvolvimento em direção ao padrão masculino. Sob etapas relativamente rápidas da diferenciação todos os embriões possuem dois pares de dutos sexuais, os dutos de Wolff ou mesonéfricos e os dutos de Müller ou paramesonéfricos (figura 4). A testosterona secretada pelos testículos do feto macho em desenvolvimento atua sobre os dutos de Wolff, o que induz a formação posterior dos dutos deferentes, do epidídimo e das glândulas seminais (figura 4). Figura 4: formação dos órgãos genitais internos a partir dos dutos de Wolff no macho e dos dutos de Müller na fêmea. Fonte: ZARCO, 2018. -/- Os testículos produzem ao mesmo tempo, uma glicoproteína chamada Hormônio Inibidor dos Dutos de Müller (Müllerian Inhibiting Hormone, MIH, também chamado de Anti-Müllerian Hormone, AMH); como o seu nome indica, inibe o desenvolvimento dos dutos de Müller ou paramesonéfricos, provocando sua regressão, que impede a formação dos órgãos genitais característicos da fêmea como os ovidutos, o útero, a cérvix e a porção cranial da vagina (figura 4). O MIH é uma glicoproteína da família dos fatores de crescimento transformativo β (TGFβ). O gene MIH possui locais de união para os produtos dos genes SOX-9 e SF-1, pelo que a presença simultânea de ambos fatores de transcrição é necessária para a secreção do MIH e leva a cabo sua função de iniciação dos dutos de Müller sobre o embrião macho (vale lembrar que nessa etapa tanto a gônada de embriões machos como de embriões fêmeas expressam o gene SF-1, mas somente o macho expressa o SOX-9, para que unicamente esse último produza MIH). O certo é que na gônada do embrião fêmea não se produzem quantidades importantes da proteína SOX-9, além de que se produz a proteína DAX-1, mesma que antagoniza tanto a SOX-9 como a SF-1, todo o qual impede a produção de MIH e resulta no desenvolvimento dos dutos de Müller até a formação dos ovidutos, útero, cérvix e a porção cranial da vagina (figura 4). Assim, na fêmea, ao não haver testículos não circulam concentrações elevadas de andrógenos, o que impedirá o desenvolvimento dos dutos de Wolff, enquanto que os dutos de Müller se desenvolvem já que não haverá a presença do MIH para impedi-lo. O desenvolvimento dos genitais internos e externos femininos não requerem a presença de nenhum hormônio ovariano o que levará a cabo de maneira predeterminada (ou pré-estabelecida) na ausência de testículos. Outra estrutura interna que também se desenvolve de forma distinta nos machos e nas fêmeas é o seio urogenital, que no embrião macho é estimulado pela testosterona para formação da próstata, das glândulas bulbouretrais e da uretra peniana, enquanto que na fêmea forma a porção caudal da vagina. A respeito dos órgãos genitais externos (figura 5), nos embriões de ambos os sexos existem estruturas precursoras chamadas de tubérculo genital e pregas vestibulares. Na fêmea o tubérculo genital da origem ao clitóris e as pregas vestibulares dão origem aos lábios vulvares sem a necessidade da atuação de hormônios ovarianos, já que o padrão “por via pré-estabelecida” é feminino. Em contrapartida, no macho, tanto o tubérculo genital quanto as pregas vestibulares respondem ao hormônio 5α-dehidro-testosterona (DHT), ao qual se formam as células da pele da zona genital a partir da testosterona que é secretada pelos testículos. Para isso existem nas células a enzima 5α-reductasa, que transforma a testosterona em DHT. Uma vez formada, a DHT atua sobre as pregas vestibulares do embrião macho para que se fusionem e formem o escroto (em lugar dos lábios vulvares), e sobre o tubérculo genital para formar o pênis (em lugar do clitóris). Figura 5: estruturas que se desenvolvem nos embriões de cada sexo a partir do seio urogenital, o tubérculo genital e as pregas vestibulares. A cor do né de cada estrutura final corresponde com a cor do nome da estrutura a partir da qual se originou. Fonte: ZARCO, 2018. -/- • ___DIFERENCIAÇÃO SEXUAL DO SISTEMA NERVOSO -/- Existem inúmeras diferenças funcionais entre o sistema nervoso da fêmeas e o do machos, em humanos podem incluir diferenças tão complexas como a maior capacidade de verbal da mulher ou a maior capacidade de orientação espacial do homem. Nessa parte será abordada aquelas diferenças que influenciam diretamente sobre a função reprodutiva, como as diferenças na regulação da secreção de gonadotropinas ou as diferenças na capacidade de comportamento sexual masculino ou feminino. É necessário lembrar que, apesar de que essas diferenças se originem durante um período crítico da vida fetal ou neonatal (dependendo da espécie), geralmente se fazem presentes até que o animal chegue a vida adulta e demonstre obter ou não a capacidade para se comportar como macho ou como fêmea uma vez que é exposto aos hormônios sexuais que são secretada depois da puberdade. Igualmente aos processos acima citados, podemos afirmar que nos mamíferos o padrão pré-estabelecido de comportamento sexual e de secreção de gonadotropinas é o feminino. Se durante os primeiros dias de vida neonatal uma rata fêmea não é exposta a nenhum hormônio gonodal, ao chegar a vida adulta ela terá a capacidade de se comportar como fêmea na presença de estrógenos, assim como de secretar um pico pré-ovulatório de GnRH/LH em resposta aos mesmos (figura 6). Essa rata, portanto, não poderá se comportar como macho embora que em sua vida adulta seja exposta a testosterona. O sistema nervoso do rato macho recém-nascido que é exposto aos andrógenos produzidos pelos testículos, em detrimento, faz com que adquiram o potencial para se comportar como machos em sua vida adulta e que perdem o potencial para ter conduta de fêmeas na presença e/ou administração de estrógenos (processo conhecido como desfeminização do SNC). Se por meios de experimentos injetamos testosterona em uma rata fêmea recém-nascida, essa rata não poderá se comportar como fêmea em sua vida adulta, e passará a se comportar como macho. A castração neonatal de um rato (visando evitar a exposição de seu SNC a andrógenos testiculares), assim mesmo, resultará em sua vida adulta um padrão feminino (SNC feminizado e não masculinizado). O hipotálamo das ratas adultas possui uma área em que o número, características e densidade dos corpos neurais difere em machos e fêmeas, essa área é denominada como “núcleo sexualmente dimórfico do hipotálamo”, e tem demonstrado que quando as ratas são tratadas com testosterona na vida neonatal, a morfologia de seu núcleo sexualmente dimórfico será masculinizado em sua vida adulta, enquanto que a castração neonatal de ratos resulta em um núcleo sexualmente dimórfico feminizado em sua vida adulta. Isso significa que a exposição ou não a testosterona na vida neonatal é o que determina que tipo de núcleo sexualmente dimórfico se desenvolverá, o que por sua vez está relacionado com o tipo de conduta que o animal poderá expressar em sua vida adulta. Não deixa de ser um paradoxo que ao injetar uma dose elevada de estrógenos nos primeiros dias de vida de uma rata, os núcleos sexualmente dimórficos da mesma se desenvolverão como macho e em sua vida adulta seu potencial de conduta estará masculinizado e desfeminizado. O hormônio “feminino” conhecido como estradiol, masculiniza o hipotálamo e a conduta do animal. Logo, se a rata neonatal for exposta a injeção de andrógeno não-aromatizado (que não pode ser transformado em estrógenos pelas células) ela não se masculiniza. A masculinização e desfeminização dos ratos ou das ratas tratados com testosterona, na realidade, não são provocados pela própria testosterona, senão pelos estrógenos que se formam dentro dos neurônios quando absorvem a testosterona do sangue e a aromatizam para transformá-la em estrógenos (figura 6). Figura 6: desfeminização e masculinização do sistema nervoso central por meio da testosterona, que quando não absorvida pela α-fetoproteína pode entrar nos neurônios, onde se aromatizam para serem transformados em estrógenos, hormônio que é responsável pela desfeminização. Fonte: ZARCO, 2018. Por que as ratas, que possuem ovários funcionalmente produtores de estrógenos, não se masculinizam? A resposta está em uma proteína denominada α-fetoproteína que circula em altas concentrações nos fetos e nos recém-nascidos. Essa proteína possui a capacidade de unir-se aos estrógenos, ao qual impede seu entrada nas células. Os ratos, em desenvolvimento, produzem testosterona, no entanto não possui afinidade pela α-fetoproteína, o que permite com que ela circule livremente. Ao chegar ao SNC, a testosterona (que não foi absorvida) pode entrar nos neurônios e dentro deles se aromatizam e transformam-se em estrógenos, que finalmente masculinizam o SNC. A diferenciação sexual do hipotálamo depende, em síntese, da presença ou ausência dos testículos, o que permite que se produza ou não o hormônio testosterona que pode não ser absorvida por parte da α-fetoproteína, transformar-se em estrógenos e masculinizar o SNC. -/- •___CONCLUSÃO -/- Nos mamíferos todo o processo que se requerem para o desenvolvimento de um macho depende da existência de somente um gene do cromossomo Y, o gene SRY; a ausência desse gene resulta no desenvolvimento de uma fêmea. A presença ou ausência do gene SRY determina, então, a cadeia de eventos morfogênicos que ocorrerá em sua expressão ou não, para desenvolver todos os órgãos e características de um macho ou de uma fêmea. Por essa razão, os indivíduos com uma monossomia XOA (síndrome de Turner) são fêmeas (por não possuir o cromossomo Y nem o gene SRY), enquanto que os indivíduos triploides XXY (síndrome de Kleinefelter) são machos embora possuam dois cromossomos X. Em algumas espécies, no entanto, têm-se identificado machos que são cromossomicamente XX; nesses casos é determinado invariavelmente que por ser um erro durante a meiose a região do cromossomo Y em que reside o gene SRY tem sido transloucada ao cromossomo X. Da mesma forma, em alguns casos tem sido encontrado fêmeas com cariótipo XY; que nelas se identifica uma mutação inabilitante do gene SRY. Isso demonstra experimentalmente que por meio da engenharia genética é possível produzir machos com cariótipo XY mas com o gene SRY eliminado (knockout). Como é de se esperar, esses machos desenvolvem ovários e todos seus órgãos genitais, tanto internos quanto externos, e se desenvolvem como fêmeas. Os machos cromossomicamente XX transgênicos aos que se insertam uma cópia do gene SRY, desenvolvem testículos e um fenótipo masculino, embora sejam estéreis por causa da ausência de alguns genes do cromossomo Y que são necessários para a realização de uma espermatogênese normal. As falhas nos mecanismos de diferenciação sexual podem, diretamente, ocasionar anormalidades como as observadas nas bezerras Freemartin, que são bezerras originadas de uma gestação gemelar em que seu gêmeo era macho. O que sucede é que na espécie bovina, quando há uma gestação gemelar, é produzido um certo grau de anastomose entre as placentas dos fetos, o que permite a troca de sangue e de células entre ambos. Os produtos recebem, então, algumas células de seu gêmeos, que encontram seu lugar no órgão correspondente e se integram a ele. No caso particular das gônadas, quando o ovário primitivo de um embrião fêmea é colonizado por algumas células gonodais de seu gêmeo macho, essas células expressam o gene SRY, o que fará com que essa região da gônada se diferencie como testículo. Como resultado, se desenvolve um ovo-testículo (com maior ou menor proporção de tecido testicular dependendo do grau de colonização da gônada em formação por células provenientes do gêmeo macho). Ademais, ao haver certa quantidade de tecido testicular produtor de MIH, circularão sobre o feto fêmea níveis desse hormônio que, embora baixos, afetarão o desenvolvimento normal dos dutos de Müller, fazendo com que as bezerras Freemartin possuam genitálias internas ausentes ou pouco desenvolvidas. Os andrógenos produzidos pelas zonas de tecido testicular, por fim, são suficientes para causar um certo grau de masculinização, que se manifesta como um clitóris mais grande que o normal ou um desenvolvimento corporal masculinizado. -/- REFERÊNCIAS BIBLIOGRÁFICAS -/- ARNOLD, Arthur P.; CHEN, Xuqi; ITOH, Yuichiro. What a difference an X or Y makes: sex chromosomes, gene dose, and epigenetics in sexual differentiation. In: Sex and gender differences in pharmacology. Springer, Berlin, Heidelberg, 2013. p. 67-88. CUNNINGHAM, James. Tratado de fisiologia veterinária. Elsevier Health Sciences, 2011. DERIVAUX, Jules; BARNABÉ, Renato Campanarut. Reprodução dos animais domésticos. Zaragoza: Acribia, 1980. DA SILVA, Emanuel Isaque Cordeiro. Desenvolvimento Embrionário e Diferenciação Sexual nos Animais Domésticos. Disponível em:. Acesso em: Julho de 2020. HAFEZ, Elsayed Saad Eldin; HAFEZ, Bahaa. Reprodução animal. São Paulo: Manole, 2004. HIDALGO, C. Galina et al. Reproducción de animales domésticos. México: Limusa, 2008. MACLAUGHLIN, David T.; DONAHOE, Patricia K. Sex determination and differentiation. New England Journal of Medicine, v. 350, n. 4, p. 367-378, 2004. MCCARTHY, Margaret M.; ARNOLD, Arthur P. Reframing sexual differentiation of the brain. Nature neuroscience, v. 14, n. 6, p. 677, 2011. PLANT, Tony M.; ZELEZNIK, Anthony J. (Ed.). Knobil and Neill's physiology of reproduction. Academic Press, 2014. REY, Rodolfo. Diferenciación sexual embrio-fetal: De las moléculas a la anatomía. Revista chilena de anatomía, v. 19, n. 1, p. 75-82, 2001. SENGER, P. L. Embryogenesis of the pituitary gland and male or female reproductive system. In. Pathways to Pregnancy and Parturition. Current Conception Inc, v. 1, p. 8-76, 1997. ZARCO, L. Diferenciación sexual. In. PORTA, L. R.; MEDRANO, J. H. H. Fisiología reproductiva de los animales domésticos. Cidade do México: FMVZ-UNAM, 2018. -/- REALIZAÇÃO -/- . (shrink)

Background: Many people with aphasia and people without brain injury talk to themselves in their heads, i.e., have “inner speech.” Inner speech may be more preserved compared with spoken speech for some people with aphasia and may serve a variety of functions (e.g., emotion regulation), which motivates us to provide a high-fidelity characterization of it. Researchers have used multiple methods to measure this internal phenomenon in the past, which we combine here for the first time in a single study. -/- (...) Aims: We compare performance between individuals with and without aphasia on inner speech tasks that assess inner speech “inthe- moment” to general subjective impressions of inner speech to tease apart the relationship of aphasia severity to inner speech. Methods and Procedures: Twenty people with mild-moderate aphasia and twenty neurotypical controls completed several inner speech tasks, including objective silent rhyme judgements (picture, written, and auditory), subjective reports of inner speech during naming, and subjective rating scales about inner speech experience more generally. -/- Outcomes and Results: In-the-moment inner speech during silent rhyming tasks was associated with aphasia severity only for picture and written rhyming but not auditory rhyming. In-the-moment inner speech reports during silent naming were not associated with aphasia severity, nor were the subjective ratings about general inner speech experience. Individuals with and without aphasia demonstrated a variety of subjective general inner speech experiences, demonstrating heterogeneity of this phenomenon more broadly. -/- Conclusions: Methods of measuring inner speech complement each other and speak to different facets of the inner speech phenomenon, and clinicians and researchers must carefully choose the method(s) that will provide the information about inner speech that they desire. (shrink)

We draw out significant consequences of a relatively popular theory of metaphysical modality—branching actualism—for cosmological arguments for God’s existence. According to branching actualism, every possible world shares an initial history with the actual world and diverges only because causal powers (or dispositions, or some such) are differentially exercised. We argue that branching actualism undergirds successful responses to two recent cosmological arguments: the Grim Reaper Kalam argument and a modal argument from contingency. We also argue that branching actualism affords a response (...) to one popular defense of the classic contingency argument. What results are new difficulties for several cosmological arguments arising from the metaphysics of modality. (shrink)

In my article "Even if the fetus is not a person, abortion is immoral: The impairment argument" (this journal), I defended what I called “The impairment argument” which purports to show that abortion is immoral. Bruce Blackshaw (2019) has argued that my argument fails on three accounts. In this article, I respond to his criticisms.

It has been hypothesized that our believing that, or its seeming to us as though, the world is in some way dynamical partially explains (and perhaps rationalizes) future-bias. Recent work has, in turn, found a correlation between future-bias and near-bias, suggesting that there is a common explanation for both. Call the claim that what partially explains our being both future- and near-biased is our believing/it seeming to us as though the world is dynamical, the dynamical explanation. We empirically test two (...) versions of the dynamical explanation. The first is the moving ego explanation—according to which it is our belief that the ego moves, or our phenomenology as of the ego moving, that jointly (partially) explains future- and near-bias. The second is the moving time explanation—according to which it is our belief that time robustly passes, or our phenomenology as of robust passage, which jointly (partially) explain future- and near-bias. We found no evidence in favour of either explanation. (shrink)

Attribution theorists assume that character information informs judgments of blame. But there is disagreement over why. One camp holds that character information is a fundamental determinant of blame. Another camp holds that character information merely provides evidence about the mental states and processes that determine responsibility. We argue for a two-channel view, where character simultaneously has fundamental and evidential effects on blame. In two large factorial studies (n = 495), participants rate whether someone is blameworthy when he makes a mistake (...) (burns a cake or misses a bus stop). Although mental state inferences predict blame judgments, character information does not. Using mediation analyses, we find that character information influences responsibility via two channels (Studies 3–4; n = 447), which are sensitive to different kinds of information (Study 5; n = 149). On the one hand, forgetfulness increases judgments of responsibility, because mental lapses manifest an objectionable character flaw. On the other hand, forgetfulness decreases judgments of state control, which in turn decreases responsibility judgments. These two channels cancel out, which is why we find no aggregate effect of forgetfulness on responsibility. Our results challenge several fundamental assumptions about the role of character information in moral judgment, including that good character typically mitigates blame. (shrink)

Standpoint theorists have long been clear that marginalization does not make better understanding a given. They have been less clear, though, that social dominance does not make ignorance a given. Indeed, many standpoint theorists have implicitly committed themselves to what I call the strong epistemic disadvantage thesis. According to this thesis, there are strong, substantive limits on what the socially dominant can know about oppression that they do not personally experience. I argue that this thesis is not just implausible but (...) politically pernicious; it is an excuse for ignorance and silence that stifles our ability to address many injustices. Moreover, I argue that if we are to avoid lending support to the SEDT while working within a standpoint theory framework, we must hold that the socially dominant can achieve marginalized standpoints. So, we must hold that men can achieve feminist standpoints, that white women (and men) can achieve black feminist standpoints, and so on. (shrink)

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

This paper contributes to the growing literature in social epistemology of diagnosing the epistemically problematic features of fake news. I identify two novel problems: the problem of relevant alternatives; and the problem of the degradation of the epistemic environment. The former arises among individual epistemic transactions. By making salient, and thereby relevant, alternatives to knowledge claims, fake news stories threaten knowledge. The problem of the degradation of the epistemic environment arises at the level of entire epistemic communities. I introduce the (...) notion of an epistemic environment, roughly the totality of resources and circumstances relevant to assessing the epistemically interesting statuses, such as knowledge. Fake news degrades our epistemic environment by undermining confidence in epistemic institutions and altering epistemic habits, thereby making the environment less conducive to achieving positive epistemic statuses. This is problematic even if the decrease in confidence and the altering of habits are rational. I end by considering solutions to these problems, stressing the importance of reproaching each other for proliferating fake news. I argue that we should reproach even faultless purveyors of fake news. This is because fake news typically arises in abnormal epistemic contexts, where there is widespread ignorance of, and noncompliance with, correct epistemic norms. (shrink)

There is a New Idea in epistemology. It goes by the name of ‘knowledge first,’ and it is particularly associated with Timothy Williamson’s book Knowledge and Its Limits. In slogan form, to put knowledge first is to treat knowledge as basic or fundamental, and to explain other states—belief, justification, maybe even content itself—in terms of knowledge, instead of vice versa. The idea has proven enormously interesting, and equally controversial. But deep foundational questions about its actual content remain relatively unexplored. We (...) think that a wide variety of views travel under the banner of ‘knowledge first’ (and that the slogan doesn’t help much with differentiating them). Furthermore, we think it is far from straightforward to draw connections between certain of these views; they are more independent than they are often assumed to be. Our project here is exploratory and clarificatory. We mean to tease apart various ‘knowledge first’ claims, and explore what connections they do or do not have with one another. Our taxonomy is offered in §2, and connections are explored in §3. The result, we hope, will be a clearer understanding of just what the knowledge first theses are. We conclude, in §4, with some brief suggestions as to how we think the various theses might be evaluated. (shrink)

Leuridan (2011) questions whether mechanisms can really replace laws at the heart of our thinking about science. In doing so, he enters a long-standing discussion about the relationship between the mech-anistic structures evident in the theories of contemporary biology and the laws of nature privileged especially in traditional empiricist traditions of the philosophy of science (see e.g. Wimsatt 1974; Bechtel and Abrahamsen 2005; Bogen 2005; Darden 2006; Glennan 1996; MDC 2000; Schaffner 1993; Tabery 2003; Weber 2005). In our view, Leuridan (...) misconstrues this discussion. His weak positive claim that mechanistic sciences appeal to generalizations is true but uninteresting. His stronger claim, that all causal claims require laws, is unsupported by his arguments. Though we proceed by criticizing Leuridan’s arguments, our greater purpose is to embellish his arguments in order to show how thinking about mechanisms enriches and transforms old philosophical debates about laws in biology and provides new insights into how generalizations afford prediction, explanation and control. (shrink)

Inspired by recent breakthroughs in predictive modeling, practitioners in both industry and government have turned to machine learning with hopes of operationalizing predictions to drive automated decisions. Unfortunately, many social desiderata concerning consequential decisions, such as justice or fairness, have no natural formulation within a purely predictive framework. In efforts to mitigate these problems, researchers have proposed a variety of metrics for quantifying deviations from various statistical parities that we might expect to observe in a fair world and offered a (...) variety of algorithms in attempts to satisfy subsets of these parities or to trade o the degree to which they are satised against utility. In this paper, we connect this approach to fair machine learning to the literature on ideal and non-ideal methodological approaches in political philosophy. The ideal approach requires positing the principles according to which a just world would operate. In the most straightforward application of ideal theory, one supports a proposed policy by arguing that it closes a discrepancy between the real and the perfectly just world. However, by failing to account for the mechanisms by which our non-ideal world arose, the responsibilities of various decision-makers, and the impacts of proposed policies, naive applications of ideal thinking can lead to misguided interventions. In this paper, we demonstrate a connection between the fair machine learning literature and the ideal approach in political philosophy, and argue that the increasingly apparent shortcomings of proposed fair machine learning algorithms reflect broader troubles faced by the ideal approach. We conclude with a critical discussion of the harms of misguided solutions, a reinterpretation of impossibility results, and directions for future research. (shrink)

The two purposes of this essay. The general philosophical problem with most versions of social libertarianism and how this essay will proceed. The specific problem with liberty explained by a thought-experiment. The positive and abstract theory of interpersonal liberty-in-itself as ‘the absence of interpersonal initiated constraints on want-satisfaction’, for short ‘no initiated impositions’. The individualistic liberty-maximisation theory solves the problems of clashes, defences, and rectifications without entailing interpersonal utility comparisons or libertarian consequentialism. The practical implications of instantiating liberty: three rules (...) of liberty-in-practice, 1) initial ultimate control of one’s body, 2) initial ultimate control of one’s used resources, 3) consensual interpersonal interactions and resource transfers. These rules are economically efficient and maximise general want-satisfaction. Private property and legal remedies are additional practical institutional aspects, but to which ‘initiated impositions’ then apply prima facie. Libertarian law is often mistaken for complete libertarianism. Moral explanations are a separate issue. The three main moral theories imply libertarianism, but it can be morally posited independently of them. Critical rationalism and its application. No empirical or argumentative support for theories. An important ambiguity with ‘justification’. How the epistemology applies to the theory of liberty and its application but remains separable in principle. Conclusion: there are further published explanations but this should be enough to generate useful criticism. Appendix replying to some typical comments. (shrink)

What is the phenomenology of hope? A common view is that hope has a generally positive and pleasant affective tone. This rosy depiction, however, has recently been challenged. Certain hopes, it has been objected, are such that they are either entirely negative in valence or neutral in tone. In this paper, I argue that this challenge has only limited success. In particular, I show that it only applies to one sense of hope but leaves another sense—one that is implicitly but (...) widely employed in the hope literature—untouched. Moreover, I argue that hope construed in this latter sense is inherently positively valenced. The paper concludes by discussing some of the implications of this defense of hope's positive phenomenology, including the ontological question of whether hope is an emotion. (shrink)

Does the content of a physically dangerous job affect the moral permissibility of hiring for that job? To what extent may employers consider costs in choosing workplace safety measures? Drawing on Kantian ethical theory, this article defends two strong ethical standards of workplace safety. First, the content of a hazardous job does indeed affect the moral permissibility of offering it. Unless employees need hazard pay to meet basic needs, it is permissible to offer a dangerous job only if prospective employees (...) have a reason other than hazard pay to choose this job instead of safer alternatives. Second, employers typically cannot justify omitting expensive safety measures by paying employees more, even if employees prefer higher pay to greater safety. Employers offering dangerous jobs must meet these two standards to avoid treating their employees merely as means. (shrink)

Logical pluralism is the view that there is more than one logic. Logical normativism is the view that logic is normative. These positions have often been assumed to go hand-in-hand, but we show that one can be a logical pluralist without being a logical normativist. We begin by arguing directly against logical normativism. Then we reformulate one popular version of pluralism—due to Beall and Restall—to avoid a normativist commitment. We give three non-normativist pluralist views, the most promising of which depends (...) not on logic’s normativity but on epistemic goals. (shrink)

There is a widespread belief that for their own safety and for the protection of wildlife, cats should be permanently kept indoors. Against this view, I argue that cat guardians have a duty to provide their feline companions with outdoor access. The argument is based on a sophisticated hedonistic account of animal well-being that acknowledges that the performance of species-normal ethological behavior is especially pleasurable. Territorial behavior, which requires outdoor access, is a feline-normal ethological behavior, so when a cat is (...) permanently confined to the indoors, her ability to flourish is impaired. Since cat guardians have a duty not to impair the well-being of their cats, the impairment of cat flourishing via confinement signifies a moral failing. Although some cats assume significant risks and sometimes kill wild animals when roaming outdoors, these important considerations do not imply that all cats should be deprived of the opportunity to access the outdoors. Indeed, they do not, by themselves, imply that any cat should be permanently kept indoors. (shrink)

The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...) Russell’s pre-Principia work in formal logic. Because of Principia’s influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert’s adoption of ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed. (shrink)

In this paper I argue that composer John Cage’s so-called ‘silent piece’, 4’33”, is music. I first defend it against the charge that it does not involve the organization of sound, which has been taken to be a necessary feature of music. I then argue that 4’33” satisfies the only other condition that must be met for it to be music: it bears the right socio-historical connections to its predecessors within its tradition (Western art music). I argue further that one (...) cannot understand the organized sound condition and the socio-historical condition separately and that understanding their interaction has theoretical benefits—not least of which is providing a groundwork for a more culturally inclusive philosophy of music. Finally, I consider a number of outstanding questions concerning the content of the organized sound condition for Western art music in the wake of 4’33”. (shrink)

The potential benefits of cognitive skills in enhancing mathematics ability have been claimed by numerous researchers. Since mathematics requires a complete understanding and grasp of abstract concepts, it is essential to explore how learning with metacognitive skills affects mathematics learning. Thus, the study investigates the students' metacognitive awareness and conceptual understanding of integers. A descriptive-correlational method approach was utilized, and it was carried out on 303 seventh-grade students. The data were obtained using a metacognitive awareness inventory and achievement test on (...) integers. It was further revealed that the students have average metacognitive awareness and performed well in the fundamental operation of integers. Follow-up qualitative analysis revealed that students who were high achievers had the best understanding, average achievers had corrected or incomplete understanding, and low achievers had a functional misconception of integers. Moreover, the student's metacognitive awareness was significantly related to their conceptual understanding of integers. This indicates that student's higher-order thinking skills, such as metacognition, are essential since they are associated with building conceptual skills. Thus, teachers should encourage students' metacognitive awareness to improve students' conceptual understanding of integers. The study provides relevant information for educational managers on the potential factors to be considered in improving mathematics education practices, particularly in promoting metacognition among high school students. (shrink)

One of the attractions of the Humean instrumentalist theory of practical rationality is that it appears to offer a special connection between an agent's reasons and her motivation. The assumption that Humeanism is able to assert a strong connection between reason and motivation has been challenged, most notably by Christine Korsgaard. She argues that Humeanism is not special in the connection it allows to motivation. On the contrary, Humean theories of practical rationality do connect reasons and motivation in a unique (...) and attractive way, though the nature of this connection has sometimes been misunderstood by both defenders and detractors of the theory. (shrink)

Many believe that the rational evaluation of actions depends on the rational evaluation of even basic desires. Hume, though, viewed desires as "original existences" which cannot be contrary to either truth or reason. Contemporary critics of Hume, including Norman, Brandt and Parfit, have sought a basis for the rational evaluation of desires that would deny some basic desires reason-giving force. I side with Hume against these modern critics. Hume's concept of rational evaluation is admittedly too narrow; even basic desires are, (...) despite their nonrepresentational nature, subject to rational evaluation. But this evaluation is not relevant to their tendency to generate reasons for action, and does not undermine the spirit of the Humean view of rational action. (shrink)

Augmented reality (AR) technologies function to ‘augment’ normal perception by superimposing virtual objects onto an agent’s visual field. The philosophy of augmented reality is a small but growing subfield within the philosophy of technology. Existing work in this subfield includes research on the phenomenology of augmented experiences, the metaphysics of virtual objects, and different ethical issues associated with AR systems, including (but not limited to) issues of privacy, property rights, ownership, trust, and informed consent. This paper addresses some epistemological issues (...) posed by AR systems. I focus on a near-future version of AR technology called the Real-World Web, which promises to radically transform the nature of our relationship to digital information by mixing the virtual with the physical. I argue that the Real-World Web (RWW) threatens to exacerbate three existing epistemic problems in the digital age: the problem of digital distraction, the problem of digital deception, and the problem of digital divergence. The RWW is poised to present new versions of these problems in the form of what I call the augmented attention economy, augmented skepticism, and the problem of other augmented minds. The paper draws on a range of empirical research on AR and offers a phenomenological analysis of virtual objects as perceptual affordances to help ground and guide the speculative nature of the discussion. It also considers a few policy-based and designed-based proposals to mitigate the epistemic threats posed by AR technology. (shrink)

Neo-Humean instrumentalists hold that anagent's reasons for acting are grounded in theagent's desires. Numerous objections have beenleveled against this view, but the mostcompelling concerns the problem of ``aliendesires'' – desires with which the agent doesnot identify. The standard version ofneo-Humeanism holds that these desires, likeany others, generate reasons for acting. Avariant of neo-Humeanism that grounds anagent's reasons on her values, rather than allof her desires, avoids this implication, but atthe cost of denying that we have reasons to acton innocent whims. (...) A version of neo-Humeanismthat holds that an agent has reason to satisfyall of her desires that are not in conflictwith her values appears to allow us to grantthe reason-giving force of innocent whims whiledenying the reason-giving force of alien desires. (shrink)

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

1 Context The idea for the current issue of _Philosophia Scientiæ_ emerged from discussions which took place in the Manchester Ethnomethodology Reading Group. This reading group has its origins in Wes Sharrock’s weekly discussion groups, which have taken place in Manchester (UK) since the early 1970s. As the global Covid-19 pandemic hit in early 2020, the reading group moved online, facilitated by Phil Hutchinson and Alex Holder. Being an online reading group opened up participation to people beyond Northwest UK and (...) within weeks the group became global, with the membership including participants logging on from Canada, Czech Republic, Finland, France, Germany, Greece, Hong Kong, Japan, Macau, New Zealand, Spain, Sweden, and the USA. While the name of the group might indicate an exclusive focus on ethnomethodology, following the naming conventions for academic discussion groups, the name really fails to indicate both the heterogeneity of the group’s reading materials, the interests of t... (shrink)

Skipper and Millstein analyze natural selection and mechanism, concluding that natural selection is not a mechanism in the sense of the new mechanistic philosophy. Barros disagrees and provides his own account of natural selection as a mechanism. This discussion identifies a missing piece of Barros's account, attempts to fill in that piece, and reconsiders the revised account. Two principal objections are developed: one, the account does not characterize natural selection; two, the account is not mechanistic. Extensive and persistent variability causes (...) both of these difficulties, so further attempts to describe natural selection as a mechanism are also unlikely to succeed. (shrink)

A discussion of a number of ways that information can be present in a computer program without being explicitly represented.

Epistemic paternalism is the thesis that a paternalistic interference with an individual's inquiry is justified when it is likely to bring about an epistemic improvement in her. In this article I claim that in order to motivate epistemic paternalism we must first account for the value of epistemic improvements. I propose that the epistemic paternalist has two options: either epistemic improvements are valuable because they contribute to wellbeing, or they are epistemically valuable. I will argue that these options constitute the (...) foundations of a dilemma: either epistemic paternalism collapses into general paternalism, or a distinctive project of justified epistemic paternalism is implausible. (shrink)

An influential way of distinguishing inferential from non-inferential processes appeals to representational states: an agent infers a conclusion from some premises only if she represents those premises as supporting that conclusion. By contrast, when some premises merely cause an agent to believe the conclusion, there is no relevant representational state. While promising, the appeal to representational states invites a regress problem, first famously articulated by Lewis Carroll. This paper develops a novel account of inference that invokes representational states without succumbing (...) to regress. The key move is to reject the tempting idea that the relevant representational states are causally prior to inferences. I argue, instead, that an inference constitutes the relevant representational state. To infer is thus—in the very drawing of the conclusion—to represent the premises as supporting the conclusion, and thereby to commit to that support relation. (shrink)

The principle of energy conservation is widely taken to be a se- rious difficulty for interactionist dualism (whether property or sub- stance). Interactionists often have therefore tried to make it satisfy energy conservation. This paper examines several such attempts, especially including E. J. Lowe’s varying constants proposal, show- ing how they all miss their goal due to lack of engagement with the physico-mathematical roots of energy conservation physics: the first Noether theorem (that symmetries imply conservation laws), its converse (that conservation (...) laws imply symmetries), and the locality of continuum/field physics. Thus the “conditionality re- sponse”, which sees conservation as (bi)conditional upon symme- tries and simply accepts energy non-conservation as an aspect of interactionist dualism, is seen to be, perhaps surprisingly, the one most in accord with contemporary physics (apart from quantum mechanics) by not conflicting with mathematical theorems basic to physics. A decent objection to interactionism should be a posteri- ori, based on empirically studying the brain. (shrink)

Philosophers have long been fascinated by the stream of consciousness––thoughts, images, and bits of inner speech that dance across the inner stage. Yet for centuries, such “mind-wandering” was deemed private and thus resistant to empirical investigation. Recent developments in psychology and neuroscience have reinvigorated scientific interest in the stream of thought, leading some researchers to dub this “the era of the wandering mind”. Despite this flurry of progress, scientists have stressed that mind-wandering research requires firmer philosophical foundations. The time is (...) therefore ripe for the philosophy of mind-wandering. Our review begins with a foundational question: what is mind-wandering? We then investigate the significance of mind-wandering for general philosophical topics, namely mental action, introspection, and the norms of thinking and attention. (shrink)

Neo-Humean instrumentalist theories of reasons for acting have been presented with a dilemma: either they are normatively trivial and, hence, inadequate as a normative theory or they covertly commit themselves to a noninstrumentalist normative principle. The claimed result is that no purely instrumentalist theory of reasons for acting can be normatively adequate. This dilemma dissolves when we understand what question neo-Humean instrumentalists are addressing. The dilemma presupposes that neo-Humeans are attempting to address the question of how to act, 'simpliciter'. Instead, (...) they are evaluating actions from the agent's normative perspective. (shrink)

Literature in epistemology tends to suppose that there are three main types of understanding – propositional, atomistic, and objectual. By showing that all apparent instances of propositional understanding can be more plausibly explained as featuring one of several other epistemic states, this paper argues that talk of propositional understanding is unhelpful and misleading. The upshot is that epistemologists can do without the notion of propositional understanding.

In 2016, a multidisciplinary body of scholars within the International Commission on Stratigraphy—the Anthropocene Working Group—recommended that the world officially recognize the Anthropocene as a new geological epoch. The most contested claim about the Anthropocene, that humans are a major geological and environmental force on par with natural forces, has proven to be a hotbed for discussion well beyond the science of geology. One reason for this is that it compels many natural and social scientists to confront problems and systems (...) that transgress traditional disciplinary boundaries, and as a result, calls for interdisciplinary research are now gaining traction. Proponents of such transgressions have dubbed the new scientific order that will result “Anthropocene Science”, and rhetoric notwithstanding, such discussions exemplify how recent changes within science justify rethinking a prevailing image of how science is done, and with it, the working relationship between scholars in the humanities, natural scientists, and social scientists. (shrink)

We lay out the fatalist’s argument, making sure to clarify which dialectical moves are available to the libertarian. We then offer a more robust presentation of Ockhamism, responding to obvious objections and teasing out the implications of the view. At this point, we discuss presentism and eternalism in more detail. We then present our argument for the claim that the libertarian cannot take Ockham’s way out of the fatalism argument unless she rejects presentism. Finally, we consider and dispense with objections (...) to our argument. In the end, it ought to be clear that the libertarian must make a choice between Ockham’s way out and presentism. (shrink)

This response addresses the excellent responses to my book provided by Heather Douglas, Janet Kourany, and Matt Brown. First, I provide some comments and clarifications concerning a few of the highlights from their essays. Second, in response to the worries of my critics, I provide more detail than I was able to provide in my book regarding my three conditions for incorporating values in science. Third, I identify some of the most promising avenues for further research that flow out of (...) this interchange. (shrink)

Logical pluralism is the view that there is more than one correct logic. A key objection to logical pluralism is that it collapses into monism. The core of the Collapse Objection is that only the pluralist’s strongest logic does any genuine normative work; since a logic must do genuine normative work, this means that the pluralist is really a monist, who is committed to her strongest logic being the one true logic. This paper considers a neglected question in the collapse (...) debate: what is it for a logic to do genuine normative work? As well as having wider upshot for the connection between logic and normativity, grappling with this question provides a new response to the Collapse Objection on behalf of the pluralist. I suggest that we should allow logics to generate pro tanto reasons in a way that bears not just on combinations of attitudes but on how an agent’s attitudes are based on one another. This motivates adopting normative principles that allow the pluralist’s weaker logics to earn their normative keep. Rather than being ad hoc, these principles capture a sense in which good reasoning goes beyond the consistency of an agent’s attitudes. Good reasoning is also concerned with how an agent’s attitudes are based on one another. (shrink)

Government’s use of imprisonment raises distinctive moral issues. Even if government has broad authority to make and to enforce law, government may not be entitled to use imprisonment as a punishment for all the criminal laws it is entitled to make. Indeed, there may be some serious crimes that it is wrong to punish with imprisonment, even if the conditions of imprisonment are humane and even if no adequate alternative punishments are available.

Incompatibilists believe free will is impossible if determinism is true, and they often claim that this view is supported by ordinary intuitions. We challenge the claim that incompatibilism is intuitive to most laypersons and discuss the significance of this challenge to the free will debate. After explaining why incompatibilists should want their view to accord with pretheoretical intuitions, we suggest that determining whether incompatibilism is in fact intuitive calls for empirical testing. We then present the results of our studies, which (...) put significant pressure on the claim that incompatibilism is intuitive. Finally, we consider and respond to several potential objections to our approach. (shrink)