Recent discussions of emergence in physics have focussed on the use of limiting relations, and often particularly on singular or asymptotic limits. We discuss a putative example of emergence that does not fit into this narrative: the case of phonons. These quasi-particles have some claim to be emergent, not least because the way in which they relate to the underlying crystal is almost precisely analogous to the way in which quantum particles relate to the underlying quantum field theory. But there (...) is no need to take a limit when moving from a crystal lattice based description to the phonon description. Not only does this demonstrate that we can have emergence without limits, but also provides a way of understanding cases that do involve limits. (shrink)

En el ámbito de la lógica matemática existe un problema sobre la relación lógica entre dos versiones débiles del Axioma de elección (AE) que no se ha podido resolver desde el año 2000 (aproximadamente). Tales versiones están relacionadas con ultrafiltros no principales y con Propiedades Ramsey (Bernstein, Polarizada, Subretículo, Ramsey, Ordinales flotantes, etc). La primera versión débil del AE es la siguiente (A): “Existen ultrafiltros no principales sobre el conjunto de los números naturales (ℕ)”. Y la segunda versión débil del (...) AE es la siguiente (B): “Existen ultraflitros sobre ℕ”. Se sabe que A implica B, pero se desconoce si B implica A. Di Prisco y Henle conjeturan en los artículos ([1], [2]) que esto no ocurre, es decir, conjeturan que B no implica A, en otras palabras, conjeturan que A es más fuerte estrictamente que B, que A es independiente de B, pero esto no se ha podido demostrar todavía aunque se ha intentado hacer desde hace aproximadamente 21 años. Una descripción detallada de este problema abierto puede encontrarse en esta ponencia (dictada en el marco del Día Mundial de la Lógica 14-01-2022) y en el artículo [3]. [1] C. Di Prisco y H. Henle. “Doughnuts, Floating Ordinals, Square Brackets, and Ultraflitters”. Journal of Symbolic Logic 65 (2000) 462-473. [2] C. Di Prisco y H. Henle. “Partitions of the reals and choice”. En “Models, algebras and proofs”. X. Caicedo y C.M. Montenegro. Eds. Lecture Notes in Pure and Appl. Math, 203, Marcel Dekker, 1999. [3] F. Galindo. “Tópicos de ultrafiltros”. Divulgaciones Matemáticas. Vol. 21, No 1-2, 2020. (shrink)

The aim of this work is to demarcate, develop, and defend the commitments and consequences of metaethical minimalism. Very roughly, this is the position that a commitment to objective moral truths does not require any accompanying ontological commitments. While there are few, if any, who call themselves “metaethical minimalists”, I endeavor to uncover existing articulations of metaethical minimalism which have been presented under different names, attempting to identify the common ground between them. As I interpret the position, all metaethical minimalists (...) are committed to the same positive pair of claims (what I call the Objectivity Thesis): “a) Moral truths are strongly mind-independent; b) there are moral truths.” Taken by itself, however, this pair of claims is not sufficient for differentiating their view from the moral realist’s. Consequently, the minimalist must also articulate that which they are denying about the non-minimalist approach, or what I call the “negative ontological thesis”. I offer my own version of this negative thesis and argue for its dialectical advantages. -/- In Chapters 3 and 4, I focus my attention on attacks on the viability of metaethical minimalism in the form of two “challenges” that aim to problematize a commitment to objective moral truths absent any accompanying ontological commitment. The big-picture takeaway from these chapters is that minimalism can defend itself by playing to the dialectical advantage I find for it in Chapter 2 as well as by being creative about minimalist constructions/reworkings of plausible principles/lines of reasoning that seem to contradict it. -/- The temptation to embrace quietism is strong among minimalists, but in Chapters 5, 6, and 7 I aim to show that there is a positive alternative available for the minimalist interested in developing a full picture of their position. Chapter 5 is aimed at providing an adequate understanding of the distinction between the objects of purely normative thoughts and objects of thoughts about reality. Building on this are Chapters 6 and 7, which argue in favor of an account of the relationship between emotion and evaluative knowledge that is consistent with metaethical minimalism. (shrink)

En este artículo se presentan dos demostraciones del teorema de interpolación: Una para la lógica proposicional y otra para la lógica de primer orden. Ambas se realizan en el contexto de la teoría de modelos. El teorema de interpolación afirma que si A y B son fórmulas, donde A no es una contradicción, B no es válida, y B es una consecuencia lógica de A, entonces existe una fórmula C que esta escrita en el lenguaje común al de A y (...) de B, tal que C es una consecuencia lógica de A y B es una consecuencia lógica de C. El teorema de interpolación fue demostrado por primera vez para la lógica de primer orden por William Craig en 1957, y desde entonces se ha investigado la posibilidad de generalizarlo o aplicarlo. Dicho teorema tiene generalizaciones o aplicaciones en teoría de la demostración, teoría de modelos abstracta, ciencias de la computación, lógica modal, lógica intuicionista, etc. Se presentan ejemplos de aplicaciones o generalizaciones de la propiedad de interpolación relacionados con lógicas infinitarias, cuantificadores generalizados, segundo orden, no clásicas, abstractas, etc. También se ofrecen referencias de problemas abiertos sobre interpolación en el contexto de la teoría de modelos abstracta. (shrink)

독특한 미국 신비 아디 다 (프랭클린 존스)의 삶과 영적 자서전의 간략한 리뷰. 일부 판의 표지에 있는 스티커는 '모든 시간의 가장 심오한 영적 자서전'이라고 적혀 있으며, 이것은 사실일 수도 있습니다. 저는 70대에 살고 있으며 영적인 교사들과 영성에 관한 많은 책을 읽었으며, 이것은 가장 위대한 책 중 하나입니다. 확실히, 그것은 b y 지금까지 내가 본 깨달음의 과정의가장 완전하고 명확한 , 계정입니다. 당신은 모든 인간의 심리적 과정의 가장 매혹적인에 전혀 관심이없는 경우에도, 그것은 종교, 요가, 인간의 심리학에 대한 큰 거래를 계시하고 인간의 가능성의 깊이와 (...) 한계를 탐구 놀라운 문서입니다. 나는 그것을 몇 가지 세부 사항으로 설명하고 그의 가르침을 현대 인도 신비오쇼의 가르침과 비교한다. 현대 의 두 시스템 보기에서인간의 행동에 대한 포괄적 인 최신 프레임 워크를 원하는 사람들은 내 책을 참조 할 수 있습니다'철학의 논리적 구조, 심리학, 민d와 루드비히 비트겐슈타인과 존 Searle의언어' 2nd ed (2019). 내 글의 더 많은 관심있는 사람들은 '이야기 원숭이를 볼 수 있습니다-철학, 심리학, 과학, 종교와 운명 행성에 정치 - 기사 및 리뷰 2006-2019 3 rd 에드 (2019) 및 21st 세기 4번째 에드 (2019) 및 기타에서 자살 유토피아 망상. (shrink)

Authors' affiliation: Centre Emile Bernheim, Solvay Brussels School of Economics & Management, Université Libre de Bruxelles; 50 Avenue Franklin D. Roosevelt, B-1050, Bruxelles, Belgium. ... Journal: Economic Studies, Volume 44, Number 9, Serial Number 316. ... Publisher: Vietnamese Academy of Social Sciences – Vietnam Institute of Economics. ... Suggested citation: Farber, A. & Vuong, QH (2004) “New empirical results on anomalies and herd behaviors: Vietnam stock market 2000-2004,” Economic Studies.

DESENVOLVIMENTO EMBRIONÁRIO E DIFERENCIAÇÃO SEXUAL -/- E. I. C. da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim Departamento de Zootecnia – UFRPE sede -/- 1.1 INTRODUÇÃO O sexo foi definido como a soma das diferenças morfológicas, fisiológicas e psicológicas que distinguem o macho da fêmea permitindo a reprodução sexual e assegurando a continuidade das espécies. Os processos de diferenciação sexual são realizados durante o desenvolvimento embrionário, onde ocorre a proliferação, diferenciação e maturação das células germinativas e primordiais, precursoras (...) de ovócitos e espermatozoides em fêmeas e machos, respectivamente. Assim, os embriões machos e fêmeas iniciam o seu desenvolvimento de forma semelhante, de modo que em ambos os sexos se estabelecem em estruturas idênticas a partir das quais se formarão os órgãos reprodutores correspondentes a cada sexo. O conhecimento da origem e do desenvolvimento do aparelho genital é indispensável para entender sua função e as alterações que produzem infertilidade ou esterilidade. 1.2 DETERMINAÇÃO DO SEXO CROMOSSÔMICO Nos mamíferos, o sexo cromossômico é determinado no momento da fertilização, quando um óvulo, que contém um cromossomo X, é fecundado por um espermatozoide portador de um cromossomo X ou um cromossomo Y. No primeiro caso, o complemento cromossômico seria XX, o que originaria uma fêmea (sexo homogamético), e no segundo daria como resultado um macho com a fórmula cromossômica XY (sexo heterogâmico). 1.3 A GÔNADA INDIFERENCIADA A primeira manifestação das gônadas se aprecia no embrião em forma de um par de eminências longitudinais chamadas cristas ou dobras gonodais, situadas em ambos os lados da linha média entre os mesonefros (rins em desenvolvimento) e do mesentério dorsal. Nos embriões dos mamíferos, as células germinativas primordiais (CGP) manifestam-se em estágios precoces do desenvolvimento, podendo ser detectadas pela primeira vez na metade da gastrulação. As CGP são células grandes, de citoplasma claro e núcleo grande e redondo, localizadas na parede do saco vitelino, perto do alantoide. Essas células possuem grande capacidade de proliferação e vão migrar desde o endoderma do intestino e o epitélio do saco vitelino, através do mesentério, até as cristas gonodais. Isso ocorre por volta do 26° dia da gestação no bovino. Sua migração realiza-se graças aos movimentos de translocação passiva e deslocamento ameboide ativo. Desconhece-se o mecanismo pelo qual estas células são dirigidas para as cristas gonodais, porém foram estudadas algumas moléculas que se expressam durante sua migração e que poderiam desempenhar um papel importante na diferenciação deste tipo celular. A fosfatase alcalina é uma enzima que tem sido usada como marcador de CGP para determinar a sua origem e migração. Num estudo recente, foi inserido um marcador fluorescente que se exprime unicamente nas células germinativas primordiais de embriões transgênicos, e utilizando este marcador e a fosfatase alcalina determinou-se a origem e o padrão de migração destas células. O primeiro sinal de diferenciação das células germinativas primordiais é a expressão de fosfatase alcalina, e esta apareceu pela primeira vez na parte mais posterior da linha primitiva. No sétimo dia de desenvolvimento no embrião do camundongo, o endoderma visceral (AF+) é substituído pelo endoderma definitivo (AF-) originado na parte anterior da linha primitiva. O fator de transcrição Oct-4 é expresso nas CGP de ambos os sexos, pelo que acredita-se estar envolvido na mantença a totipotêncialidade das células. O receptor tirosina quinase, cujo ligante é o fator de Steel, é outra das moléculas que expressam as CGP. Tem sido demonstrado que este receptor possui um papel muito importante na sobrevivência deste tipo celular. Existem outros fatores que promovem a sobrevivência e/ou proliferação de CGP in vitro. Em experiências realizadas com o fator de transformação beta I (TGFβ-I), observou-se que este tem um efeito negativo sobre a proliferação das CGP. Outra atividade que tem sido postulada a este fator é o de um agente quimioatraente que possivelmente possa direcionar a migração destas células para a gônada. a) Um formado pelas células germinativas primordiais (precursoras dos gametas masculinos ou femininos), rodeadas de células somáticas das quais posteriormente se derivarão as células de Sertoli no macho e as células da granulosa na fêmea. b) O tecido que formará o estroma da gônada: tecido conjuntivo, vasos sanguíneos e as células intersticiais com atividade esteroidogênica (células de Leydig no testículo e a teca interna do ovário). As células somáticas do primórdio gonodal originam-se do mesoderma. Inicialmente são de três tipos: mesenquimáticas, mesoteliais e endoteliais. As células mesenquimáticas e mesoteliais iniciam grande atividade proliferativa ao chegar as CGP. Observa-se então uma condensação de células de origem mesotelial e mesenquimatoso que forma um agregado compacto denominado "blastema gonodal". A partir deste primórdio embrionário, diferenciam-se dois tecidos gonodais: os cordões sexuais e o estroma. Os cordões sexuais são arranjos epiteliais que se encontram delimitados por uma folha basal, e dentro deles encontramos as CGP. Por sua vez, no estroma encontram-se células do tipo mesenquimático e vasos sanguíneos. Neste momento, as gônadas são indiferenciadas e bipotencialmente sexuais, sendo impossível diferenciar, morfologicamente, uma gônada masculina de uma feminina, mas no caso dos machos genéticos já existe uma diferenciação da gônada a nível molecular. Nesta fase já se encontram presentes as estruturas das quais se desenvolvem os dutos mesonéfricos ou de Wolff precursores do aparelho genital masculino e os dutos paramesonéfricos ou de Müller que darão origem ao aparelho reprodutor feminino. Há uma série de fatores envolvidos no desenvolvimento precoce da gônada, entre os quais o fator esteroidogênico I (SFI: Steroidogenic fator l), que é um membro da subfamília de receptores nucleares, receptores órfãos. Este fator de transcrição tem um local de ligação ao DNA composto por dois dedos-de-Zinc. O SFI foi identificado como um ativador de genes envolvidos na biossíntese de esteroides em diferentes células. O SFI está presente durante o desenvolvimento embrionário em regiões associadas com funções endócrinas como gônadas, adrenais, pituitárias e hipotálamos. Os animais homozigotos para o gene SFI defeituoso, necessitam de gônadas e adrenais e têm a função gonadotrófica alterada. Os ratos sem SFI carecem de gonadotrofos e têm um desenvolvimento anormal do núcleo ventro-medial do hipotálamo; em particular as gônadas deixam de se desenvolver entre os dias 11 a 15 e degeneram-se por apoptose. No entanto, a crista genital forma-se e é colonizada pelas células germinativas, o que indica que estas continuam a receber o sinal adequado para a sua migração. Portanto, o SFI não está envolvido no desenvolvimento precoce da gônada e do sistema urogenital, mas parece estar envolvido na manutenção do crescimento das células somáticas presentes na gônada indiferenciada. O gene associado ao tumor de Wilms (WTI: Wilm's tumor Associated) está envolvido no desenvolvimento da gônada e do rim. Durante o desenvolvimento embrionário, WTI se expressa em todo o mesoderma intermediário e posteriormente na gônada indiferenciada, bem como no rim em formação. WTI regula o sinal indutivo do mesênquima para o epitélio celômico dos mesonefros. Se este for o caso, então WTI é responsável pelo crescimento da crista genital ao dirigir a entrada do epitélio celômico. Dado que estas células darão origem às células de Sertoli, a carência de WTI pode causar o desenvolvimento de embriões XY como fêmeas simplesmente porque não se formam as células de Sertoli. Em geral, todos os genes importantes na diferenciação do mesoderma intermediário e do sistema urogenital intervêm no desenvolvimento da gônada precoce. 1.4 DIFERENCIAÇÃO GONODAL O desenvolvimento das gônadas e ductos genitais descritos até o momento, é o mesmo para ambos os sexos. Igualmente, os genes descritos, que estão envolvidos no desenvolvimento das gônadas, ductos genitais e migração das células germinativas, afetam igualmente os embriões com genótipo XX ou XY. A gônada primitiva consiste anatomicamente de uma medula (interna) e uma crosta (externa), e de acordo com o local onde ocorre a colonização das células germinativas, diferenciara em testículo ou um ovário, respectivamente. Nos mamíferos, a primeira manifestação estrutural de diferenciação sexual é detectada na gônada dos machos, onde as células germinativas estão localizadas na medula. A diferenciação do testículo inicia-se quando os cordões sexuais se separam do epitélio celômico como consequência dos arranjos produzidos por uma invasão do mesênquima e vasos sanguíneos que provoca a compactação dos cordões, agora denominados cordões testiculares. As células que rodeiam os cordões se achatam e formam as células mioides, que são responsáveis pela formação das membranas basais. As células do epitélio interno, ou seja, as células de Sertoli, têm duas funções principais: o suporte das CGP e a síntese da hormona antimulleriana, responsável pela regressão dos ductos de Müller e secretada durante o período de diferenciação sexual. As células do estroma que rodeiam os cordões testiculares diferenciam-se para formar vários tipos de células: células mioides, fibroblastos, endotélio e células de Leydig, que são as mais importantes pela sua atividade endócrina. Posteriormente, os cordões testiculares dão origem aos túbulos seminíferos, que contêm o epitélio que produzirá os espermatozoides ao chegar à puberdade. Na fêmea, durante os estágios iniciais de diferenciação gonodal, não se observam mudanças em relação à gônada indiferenciada, só pode-se observar um certo crescimento devido à proliferação de células somáticas e germinativas. As células germinativas iniciam um período de proliferação, que termina com o início da meiose. Iniciada a meiose, dá-se o processo de foliculogênese; neste momento os cordões epiteliais se fragmentam, de tal maneira que cada ovócito fica rodeado de células epiteliais cobertas por uma folha basal fina (figura 1). Para que a gônada primitiva se desenvolva em testículo é indispensável a presença do cromossoma Y, independentemente do número de cromossomas X que contenha o genoma de um indivíduo. O gene determinante do testículo encontra-se localizado no cromossoma Y, denominado sry em ratos e SRY em humanos. O gene sry se expressa durante o desenvolvimento embrionário na crista genital de embriões de camundongos. A expressão é detectável no dia 10,5, pouco depois do aparecimento das cristas genitais, atinge o seu máximo durante o dia 11,5 e mantém-se até pouco depois de ocorrerem os primeiros sinais morfológicos de diferenciação testicular no dia 12,5. Este padrão de expressão é compatível com a teoria de que sry atua induzindo a ativação dos genes (figura 2) que conduzem ao desenvolvimento testicular, sem que exista a necessidade da expressão contínua de sry para manter a diferenciação do testículo após o dia 12,5. Como mencionado anteriormente, a gônada primitiva é composta por vários tipos de células. No entanto, as células germinativas primordiais não são o local de expressão do sry, já que os embriões que necessitam de células germinativas mantêm a expressão de sry e desenvolvem o sexo gonodal normalmente. As células somáticas na gônada em desenvolvimento incluem também as células de suporte. Sabe-se que é nestas células que o sry é expresso para que se diferenciem em células de Sertoli, e a expressão transitória de sry indica que deve ativar a outros genes para a manutenção das células de Sertoli. Uma vez diferenciadas as células de Sertoli, elas se encarregarão da diferenciação do resto das células na gônada. -/- Figura 1: Representação da diferenciação dos órgãos genitais internos. Adaptado de BRONSON, 1989. Figura 2: Cascada de genes envolvidos na diferenciação sexual, adaptado de KOOPMAN, 1999. O fator sry é necessário para a diferenciação do testículo. Embora não se conheçam os genes que provavelmente regulam esse gene, estudos realizados em camundongos demonstram que este gene parece coordenar-se com certos genes autossômicos. Entre estes genes autossômicos, o sox9, que é produzido pelas células de Sertoli uma vez que são estimuladas por sry, de modo que sox9 é um dos genes relacionados estruturalmente com sry. O Sox9 funciona como um fator de transcrição, mas não se sabe se a proteína tem qualquer outra função estrutural; este gene exprime-se abundantemente nos condrócitos e está relacionado com defeitos do aparelho ósseo chamados displasia campomélica. Curiosamente, os pacientes XY com esta condição sofrem frequentemente de reversão do sexo. O Sox9 é um dos poucos genes, além do SRY, do qual as mutações demonstraram interferir com a determinação sexual masculina. No entanto, apenas 75% dos pacientes com anomalias esqueléticas de tipo displasia campomélica têm reversão sexual e não foram encontrados casos de reversão sexual devido a um defeito de Sox9 que não seja acompanhado de defeitos esqueléticos. Isso indica que o Sox9 é apenas um membro da rede de genes que são ativados para determinar a diferenciação sexual, enquanto a rota que rege a condrogênese é mais sensível a perturbações deste. O momento em que se detecta a expressão do gene Sox9 (11dpc em ratos) coincide com a máxima expressão de sry, o que poderia indicar a possibilidade de que sry regule positivamente a Sox9. De fato, na região do promotor de Sox9 há um local de união ao que potencialmente se pode unir o sry. A expressão de Sox9 durante a diferenciação sexual sugere um papel abaixo de sry na diferenciação das células de Sertoli. O cromossoma X também é importante na diferenciação gonodal. O gene DAX-I foi isolado do lócus DSS (Dosage sensitive sex reversal) do cromossoma X. DAX-I é parte da cascata de determinação sexual, mas não é necessário para a formação do testículo. DAX-I é um membro dos receptores nucleares conhecidos como receptores órfãos. Este gene demonstrou ser um poderoso repressor da transcrição de SFI e de vários genes. Os padrões de expressão de DAX-I são complementares daqueles de SFI, ambos expressos nas cristas genitais. Em resumo, dada a evidência exposta, desenvolveu-se a hipótese de que DAX-I é um antagonista de sry; esse antagonismo é dependente dos níveis relativos de DAX-I e sry e de um limiar que varia de espécie para espécie. A DAX-I foi classificada como o gene antitestículo. Na fêmea (cariótipo XX) é importante que ocorra a inativação de um dos cromossomas sexuais X para que se mantenha o equilíbrio genético ao igualar o conteúdo de DNA dos cromossomas. Esse cromossoma inativado constitui o chamado corpúsculo de Barr. No entanto, para que a meiose se realize, é necessário dos dois cromossomas X ativos nos ovócitos para assegurar a diferenciação ovárica e a fertilidade. 1.5 DIFERENCIAÇÃO DOS DUCTOS SEXUAIS O embrião possui, além das gônadas indiferenciadas, dois sistemas de ductos: os de potencialidade masculina denominam-se ductos de Wolff ou mesonéfricos, e os de potencialidade feminina se chamam ductos de Müller ou paramesonéfricos (figura 1). Se a diferenciação gonodal levou à formação de um testículo, a partir do ducto mesonéfrico ou de Wolff se desenvolverão os ductos eferentes, o epidídimo, os ductos deferentes e as vesículas seminais. As hormonas importantes no desenvolvimento do aparelho genital masculino são a testosterona, produzida pelas células de Leydig, e sua forma 5α reduzida, a 5α di-hidrotestosterona. Acredita-se que a testosterona é responsável pela virilização dos ductos de Wolff, e a di-hidrotestosterona dos órgãos genitais externos. No macho, os canais de Müller atrofiam-se devido à ação de uma hormona fetal de origem testicular denominada hormona inibidora das estruturas de Müller (HIM) ou hormona antimulleriana. Este processo começa assim que os cordões espermáticos se formam e se diferenciam as células de Sertoli. A existência de HIM foi proposta baseada em estudos realizados em bezerras freemartin, devido à existência de uma hormona responsável pela atresia dos ductos de Müller que na fêmea dá origem ao útero e aos ovidutos. Essa hormona provoca a involução do aparelho genital do bovino nas gestações gemelares nas quais os produtos de diferente sexo têm comunicação sanguínea por ter ocorrido a anastomose dos vasos de ambas as placentas (figura 3). A HIM é uma glicoproteína pertencente à subfamília de TGFβ, é expressa pelas células que darão origem às células de Sertoli e é um dos primeiros marcadores de diferenciação nestas células. A HIM é secretada na vida adulta pelas células de Sertoli no testículo e por células da granulosa no ovário. No rato a HIM é expressa-se no 12° dia em um teste padrão que segue muito de perto o aumento na expressão de sry. No macho, esta secreção de HIM continua durante a vida fetal e adulta, contudo os níveis de HIM declinam na puberdade devido a um aumento na secreção de testosterona. Vários fatores intervêm na regulação do gene de HIM, incluindo os acima descritos SFI e Sox9. O gene HIM contém segmentos de DNA que são conservados em várias espécies de vertebrados. Existe um nexo de ligação para SFI, que ativa a transcrição de HIM. A mutação no local de ligação de SFI resulta em reversão do sexo em indivíduos XY incluindo genitais femininos normais, presença de um útero formado enfatizando a importância de SFI na determinação sexual e na expressão de HIM. Embora SFI seja um bom candidato como regulador de HIM, é expresso em outras células, como as de Leydig e adrenais, que não expressam HIM. Em contrapartida, Sox9 é expresso unicamente nas células de Sertoli que são as produtoras de HIM. O gene HIM também tem um nexo de ligação para Sox9. Além disso, Sox9 pode atuar sinergicamente com SFI para promover a secreção de HIM. Ao contrário destes dois fatores de transcrição, DAX-I antagoniza a ação de Sox9 e provavelmente SFI sobre o promotor de HIM. Assim, para que as células de Sertoli secretem HIM, a transcrição de DAX-I deve diminuir. Figura 3: Representação da diferenciação dos órgãos genitais externos. Adaptado de BRONSON, 1989. Os ductos de Wolff tornam-se o sistema de ejaculação do macho. A porção mais próxima dos testículos dá origem ao epidídimo, a parte central ao ducto deferente e a porção mais distal às vesículas seminais. A próstata e a parte membranosa da uretra do macho desenvolvem-se a partir da porção pélvica do seio urogenital. A virilização e diferenciação dos ductos de Wolff dependem da produção de testosterona pelo testículo. Quanto aos órgãos genitais externos do macho, o tubérculo genital é ampliado e as dobras uretrais se fundem para formar a uretra peniana. A fusão das dobras uretrais aproxima os tubérculos genitais para formar o escroto (figura 4). Figura 4: Diferenciação do aparelho genital da fêmea e do macho. Adaptado de KOOPMAN, 1989. A diferenciação dos órgãos genitais da fêmea ocorre de forma passiva, já que a ausência de testículos e por isso da hormona inibidora dos ductos de Müller (HIM), assim como dos andrógenos virilizantes, favorece o desenvolvimento dos ductos de Müller, enquanto os de Wolff sofrem atrofia. A porção cefálica dos ductos de Müller dá origem aos ovidutos, que na sua terminação caudal se fundem com o útero. O contato dos ductos de Müller com o seio urogenital induz uma intensa proliferação celular que resulta na formação da área uterovaginal localizado entre o seio urogenital e os ductos de Müller. As células do prato uterovaginal proliferam e aumentam a distância entre as duas estruturas criando o espaço que formará a vagina quando o prato é canalizado e forma um lúmen. Em contraste com o que ocorre no macho, na fêmea a maior parte do seio urogenital se mantém exposta na superfície da abertura onde desembocam a vagina e a uretra. O tubérculo urogenital da fêmea tem um crescimento limitado e forma o clitóris. A sequência de passos da diferenciação sexual do aparelho genital é resumida na tabela 1. Tabela 1: Destino em desenvolvimento dos rudimentos sexuais dos fetos macho e fêmea dos mamíferos -/- Rudimento sexual Macho Fêmea Gônada Testículo Ovário Ductos de Müller (Paramesonéfricos) Vestígios Útero, parte da vagina, ovidutos Ductos de Wolff (Mesonéfricos) Ductos eferentes deferentes, epidídimo, vesículas seminais Vestígios Seio urogenital Uretra, próstata, glândulas bulbouretrais Parte da vagina, uretra, vestíbulo, glândulas vestibulares Tubérculo genital Pênis Clitóris Pregas vestibulares Escroto Lábios vulvares Fonte: HAFEZ, 2004. 1.6 DIFERENCIAÇÃO SEXUAL DO HIPOTÁLAMO Os processos de diferenciação sexual não se limitam apenas às células somáticas do organismo do feto, mas incluem também os centros nervosos superiores do cérebro. Assim, da mesma maneira que a gônada e os ductos sexuais se desenvolvem para o tipo feminino ou masculino, propôs-se que o cérebro pode ser "masculinizado" ou permanecer "Feminizado". A diferenciação do hipotálamo vai depender do ambiente esteroidal do neonato e ocorre na fase perinatal. Estes eventos serão de grande transcendência na vida reprodutiva do indivíduo. Tanto a fêmea como o macho nascem com a capacidade de secreção de gonadotropinas de acordo com um padrão cíclico; contudo, no macho, a exposição do hipotálamo à ação dos andrógenos testiculares durante os primeiros dias da vida extrauterina provoca a masculinização, com o qual o hipotálamo do macho é programado para que a secreção de gonadotropinas se realize a um ritmo relativamente constante por parte da hipófise (secreção tônica). Na fêmea, tanto a secreção tônica como a cíclica se conservam. No entanto, observou-se que a injeção de testosterona ou o transplante de testículo na rata fêmea durante os primeiros dias de vida, suprime a sua futura atividade estral (secreção cíclica). Por outro lado, se os ovários forem transplantados para o rato macho normal castrado na idade adulta, o animal não desenvolve qualquer atividade cíclica, mas se os machos transplantados forem castrados ao nascer, o ovário é capaz de efetuar mudanças cíclicas e ovulações. Isto foi demonstrado em roedores, mas não em animais domésticos ou na espécie humana. Portanto, o padrão de secreção de gonadotropinas, seja cíclico ou tônico, não depende da hipófise, mas do hipotálamo e sua correta diferenciação. 1.7 CONCLUSÕES A maioria dos conhecimentos no campo da biologia do desenvolvimento e, muito especificamente, dos processos de diferenciação sexual têm sido originados de estudos relacionados com desordens congênitas, que na sua maioria devem-se a defeitos de genes específicos. A análise detalhada destas desordens permitiu entender alguns mecanismos endócrinos, moleculares e genéticos envolvidos na diferenciação sexual. A identificação do gene sry como determinante do testículo foi uma contribuição crucial e abriu as portas à compreensão dos mecanismos moleculares e celulares relacionados com o desenvolvimento do testículo. Se este gene não estiver presente, é criado um programa genético alternativo para levar a cabo a diferenciação gonodal para o ovário. Finalmente, devemos ter presente que é necessária uma correlação entre mudanças morfológicas e expressão de genes durante o desenvolvimento para entender os mecanismos relacionados com a diferenciação. -/- Apoio -/- Realização -/- REFERÊNCIAS BIBLIOGRÁFICAS ANDERSON, Robert et al. The onset of germ cell migration in the mouse embryo. Mechanisms of development, v. 91, n. 1-2, p. 61-68, 2000. AUSTIN, Colin Russell; SHORT, R. V. Reproduction in Mammals: Volume 1, Germ Cells and Fertilization. Londres: Cambridge University Press, 1972. BRONSON, Franklin H. Mammalian reproductive biology. Chicago: University of Chicago Press, 1989. BUEHR, Mia. The primordial germ cells of mammals: some current perspectives. Experimental cell research, v. 232, n. 2, p. 194-207, 1997. BYSKOV, Anne G. Differentiation of mammalian embryonic gonad. Physiological reviews, v. 66, n. 1, p. 71-117, 1986. CAPEL, Blanche et al. Migration of mesonephric cells into the mammalian gonad depends on Sry. Mechanisms of development, v. 84, n. 1-2, p. 127-131, 1999. CAPEL, Blanche. The battle of the sexes. Mechanisms of development, v. 92, n. 1, p. 89-103, 2000. DERIVAUX, Jules; BARNABÉ, Renato Campanarut. Reprodução dos animais domésticos. Zaragoza: Acribia, 1980. DOMENICE, Sorahia et al. Aspectos moleculares da determinação e diferenciação sexual. Arquivos Brasileiros de Endocrinologia & Metabologia, v. 46, n. 4, p. 433-443, 2002. DONAHOE, Patricia K. et al. Mullerian inhibiting substance activity in bovine fetal, newborn and prepubertal testes. Biology of reproduction, v. 16, n. 2, p. 238-243, 1977. HAFEZ, Elsayed Saad Eldin; HAFEZ, B. Reprodução animal. São Paulo: Manole, 2004. HANLEY, Neil A. et al. Steroidogenic factor 1 (SF-1) is essential for ovarian development and function. Molecular and cellular endocrinology, v. 163, n. 1-2, p. 27-32, 2000. HIORT, Olaf; PAUL-MARTIN, H. The molecular basis of male sexual differentiation. European journal of endocrinology, v. 142, n. 2, p. 101-110, 2000. HOLY, Lubos; MARTÍNEZ JÚSTIZ, G. Colab. Biología de la reproducción bovina. Havana: Revolucionária, 1975. JOSSO, Nathalie et al. The role of anti-Müllerian hormone in gonadal development. Molecular and cellular endocrinology, v. 145, n. 1-2, p. 3-7, 1998. JOST, Alfred et al. Studies on sex differentiation in mammals. In: Proceedings of the 1972 Laurentian Hormone Conference. Londres: Academic Press, 1973. p. 1-41. KNOBIL, Ernst. Knobil and Neill's physiology of reproduction. EUA: Gulf Professional Publishing, 2006. KOFMAN ALFARO, S.; MERCHANT LARIOS, H.; PEREZ PALACIOS, G. Diferenciacion sexual. I. Bases biologicas del dimorfismo sexual. Rev. invest. clín, p. 349-59, 1982. KOOPMAN, Peter. Sry and Sox9: mammalian testis-determining genes. Cellular and Molecular Life Sciences CMLS, v. 55, n. 6-7, p. 839-856, 1999. MCDONALD, L. E. Veterinary endocrinology. Lea & Febiger, Philadelphia, Pa, 1969. MEIZEL, S.; JOHNSON, M. H. Development in mammals. MH Johnson, Ed, v. 3, p. 1-64, 1978. MELLO, Maricilda Palandi de; ASSUMPÇÃO, Juliana de G.; HACKEL, Christine. Genes envolvidos na determinação e diferenciação do sexo. Arquivos Brasileiros de Endocrinologia & Metabologia, v. 49, n. 1, p. 14-25, 2005. -/- REFERÊNCIAS BIBLIOGRÁFICAS MERCHANT-LARIOS, H. Ovarian differentiation. The Vertebrate Ovary, p. 47-81, 1978. MIES FILHO, Antonio. Reprodução dos animais. Porto Alegre: Sulina, 1987. NEF, Serge; PARADA, Luis F. Hormones in male sexual development. Genes & Development, v. 14, n. 24, p. 3075-3086, 2000. PARKER, Keith L.; SCHEDL, Andreas; SCHIMMER, Bernard P. Gene interactions in gonadal development. Annual review of physiology, v. 61, n. 1, p. 417-433, 1999. SWAIN, Amanda; LOVELL-BADGE, Robin. Mammalian sex determination: a molecular drama. Genes & development, v. 13, n. 7, p. 755-767, 1999. WILHELM, Dagmar; PALMER, Stephen; KOOPMAN, Peter. Sex determination and gonadal development in mammals. Physiological reviews, v. 87, n. 1, p. 1-28, 2007. WILSON, Jean D.; GRIFFIN, James E.; GEORGE, Fredrick W. Sexual differentiation: early hormone synthesis and action. Biology of reproduction, v. 22, n. 1, p. 9-17, 1980. -/- Emanuel Isaque Cordeiro da Silva Belo Jardim, 07 de Maio de 2020. (shrink)

FILOSOFIA COMO PRODUTO OU COMO PROCESSO? -/- PHILOSOPHY AS A PRODUCT OR AS A PROCESS? -/- Por: Emanuel Isaque Cordeiro da Silva – IFPE-BJ, CAP-UFPE e UFRPE. E-mails: [email protected] e [email protected] WhatsApp: (82)9.8143-8399. -/- -/- PREMISSA -/- Nos trabalhos anteriores, na área filosófica, trabalhei a importância da filosofia no ensino médio e a responsabilidade pedagógica do professor. Doravante, compartilho agora da experiência daqueles que já se debruçaram sobre aquelas questões, acrescentando outras indagações: "Que fins pretendo alcançar com meu curso de (...) filosofia?"; "Que conteúdos são importantes para o aluno iniciante?", "Como ensinar filosofia?". -/- As respostas a essas indagações variam conforme os pressupostos epistemológicos que servem de base ao trabalho do professor. -/- Na escola tradicional prevaleceu a tendência empirista, que privilegia a transmissão de conhecimentos acumulados. Geralmente, os adeptos dessa tendência propõem programas enciclopédicos, com amplo conteúdo. Trata-se da ênfase no produto, na transmissão da herança deixada pelos filósofos, mas o risco dessa metodologia é a passividade do estudante. -/- A pedagogia do século XX, ao criticar a excessiva centralização na figura do mestre, deslocou o foco para o estudante, reservando ao professor o papel de facilitador da aprendizagem. A ênfase foi posta no processo, e não no produto, com a vantagem de permitir a atuação mais participativa do estudante, embora exista o risco de se descuidar do conteúdo (o produto) nos casos em que debates infindáveis não se apoiam na rica herança filosófica. -/- Postas essas premissas, destaco que o ensino de filosofia se sustenta pela referência à história da filosofia e, por isso, o produto é indispensável, caso contrário a intervenção dos estudantes permaneceria espontaneísta, girando em torno do que eles já sabem. Por sua vez, o educando tem o direito de expressar sua experiência, inicialmente fragmentada e difusa e em seguida reexaminada à luz de textos relevantes, para se apropriar do processo reflexivo. Portanto, os dois aspectos -a filosofia como produto e como processo - são indispensáveis e encontram-se intimamente relacionados. -/- 1. DEFININDO O FOCO PRINCIPAL -/- Diante da importância da história da filosofia, a questão que se coloca é a de definir o foco para abordá-la, ou seja, se escolhemos tomar a história da filosofia como centro ou como referencial. -/- a) História da filosofia como centro -/- Definir o foco da didática de filosofia tendo como centro a história da filosofia não significa privilegiar a simples cronologia, mas descobrir o pensamento do filósofo pulsando nas relações com o mundo em que vivia. Pois o filósofo problematiza a realidade e cria conceitos para tentar compreendê-la. A sequência cronológica nos mostra como aquelas soluções foram retomadas pelos seguidores e contraditadas pelos que a elas se opuseram. E ainda é possível estabelecer ligações fecundas daquelas ideias com os problemas atuais. É bem verdade que não posso concluir haver uma "evolução", um "'progresso", como ocorre com o conhecimento científico, mas sim uma constante e atualizada problematização. -/- b) Foco temático como centro -/- A opção por privilegiar temas ou áreas de investigação filosófica oferece mais liberdade ao professor por se desprender da estrita cronologia. Isso não significa, porém, desprezar a história da filosofia, que permanece como referencial constante dos temas escolhidos. -/- Em ambas as perspectivas - história da filosofia ou filosofia temática -, é indispensável o contato com textos filosóficos ou, quando de outra natureza, lidos de maneira filosófica. O professor Franklin Leopoldo e Silva adverte sobre a importância dessas leituras: -/- Aqui, trata-se da difícil tarefa da leitura dos próprios textos filosóficos. Ninguém ignora as imensas dificuldades envolvidas nessas leituras, o mais das vezes áridas e de difícil compreensão, exigindo em muitas ocasiões um domínio razoável de terminologia específica. Apesar de tudo isso, não há como fugir à necessidade dessas leituras, se se quiser proporcionar ao aluno uma visão razoavelmente precisa do pensamento dos autores tratados e dos diferentes estilos de reflexão, coisas que só de forma um tanto abstrata são apreendidas através da leitura de manuais de história da filosofia. Cabe ao professor recortar textos de maneira a proporcionar uma compreensão mínima do assunto tratado, balanceando este recorte com os critérios da viabilidade didática e da importância estratégica dos textos (1986, p. 161-162). -/- c) Problemas filosóficos -/- Inspiradas no pensamento do alemão Friedrich Nietzsche e do contemporâneo Gilles Deleuze, existem propostas de uma didática do ensino de filosofia com base na concepção de que a filosofia é a atividade de criação de conceitos. Como os conceitos resultam de problemas, conclui-se que o foco das aulas estaria em criar condições para diversas etapas de trabalho visando problemáticas filosóficas que tenham significação existencial para os estudantes. Desse modo, os educandos aprenderiam por si mesmos a exercitar a criação de conceitos. -/- Essa é a proposta defendida pelo professor Silvio Gallo. Embora as orientações anteriores possam levantar a questão da problematização filosófica e da busca do conceito, ele enfatiza procedimentos para valorizar a postura ativa do próprio estudante como condição para evitar o enciclopedismo do ensino tradicional. -/- Em muitos livros didáticos de filosofia para o ensino médio, os autores optam pela abordagem temática. É notório que eles observam que, coerentes com o que já foi dito, a história da filosofia permeia todos os capítulos de suas respectivas obras. A participação ativa do estudante acompanha o processo de ensino-aprendizagem o tempo todo, e não apenas no processo final de avaliação. De fato, ao longo dos capítulos encontram-se diversas propostas, seja nos boxes "Para refletir" e "Para saber mais", seja nas várias imagens comentadas, muitas delas levando a indagações. Quatro infográficos que trazem para a atualidade a discussão de conceitos filosóficos. -/- As sugestões não dispensam a criatividade do professor, que certamente saberá encontrar outros procedimentos para dinamizar sua aula e incentivar a participação dos estudantes. -/- 2. A DISCIPLINA INTELECTUAL -/- O termo disciplina tem vários significados. No entanto, o sentido que nos interessa é o de disciplina intelectual, como caminho para ler ou pensar melhor, o que pressupõe a descoberta pessoal de regras a serem seguidas para atingir os fins propostos. -/- Disciplina intelectual significa o esforço do espírito treinado para a atenção continuada, a concentração na leitura, a capacidade de ouvir o professor, o colega, o autor que "fala" por meio do texto que está sendo lido. Ter disciplina intelectual consiste em desenvolver a capacidade de compreensão do que ouvimos ou lemos antes de nos aventurarmos numa crítica. E, ao discordarmos, fazê-lo de maneira organizada e com base nos critérios adotados. Ser capaz de disciplina é também selecionar leituras, concatenando-as com experiências pessoais, a fim de expor suas reflexões oralmente ou por escrito. -/- Sabemos das dificuldades desse aprendizado. Muitos jovens não conseguem se deter por algum tempo na leitura, porque, pelo menos em um primeiro momento, a leitura consiste em uma atividade solitária em que o desafio do autocontrole depende do esforço de cada um para internalizar procedimentos livremente assumidos, sobretudo quando o interesse pela reflexão for criativamente estimulado. -/- -/- -/- REFERÊNCIAS BIBLIOGRÁFICAS -/- ARANHA, M. L. de A.; MARTINS, H. P. Filosofando: Introdução à Filosofia. 6ª ed. São Paulo: Moderna, 2016. -/- ASPIS, R. L.; GALLO, S. Ensinar filosofia: um livro para professores. São Paulo: Atta Mídia e Educação, 2009. -/- BECKER, F. A epistemologia do professor: o cotidiano na escola. 10. ed. Petrópolis: Vozes, 2002. -/- GALLO, S.; KOHAN, W. O. (Orgs.). Filosofia no ensino médio. Petrópolis: Vozes, 2000. -/- GALLO, S . Deleuze e a educação. 2. ed. Belo Horizonte: Autêntica, 2008. -/- _________. Metodologia do ensino de filosofia: uma didática para o ensino médio. Campinas: Papirus, 2012. -/- KOHAN, W. O. (Org.). Políticas do ensino de filosofia. Rio de Janeiro: DP6A, 2014. -/- SILVA, F. L. e. História da filosofia: centro ou referencial? In: NETO, H. N. (Org.) O ensino da filosofia no 2° grau. São Paulo: SEAP, Sofia, 1986. -/- NOVAES, J. L. C.; AZEVEDO, M. A. O. de (Orgs.). A filosofia e seu ensino: desafios emergentes. Porto Alegre: Sulina, 2010. -/- PIOVESAN, A. et al. (Orgs.). Filosofia e ensino em debate. Ijuí: Unijuí, 2002. -/- PORTA, M. A. G. A filosofia a partir de seus problemas: didática e metodologia do estudo filosófico. 3. ed. São Paulo: Loyola, 2007. -/- RODRIGO, L. M.. Filosofia em sala de aula: teoria e prática para o ensino médio. Campinas: Autores Associados, 2009. -/- Estimule a criatividade, respeite o direito autoral. -/- Emanuel Isaque Cordeiro da Silva © 2019. (shrink)

In this fragment of Opuscula Logica it is displayed an arithmetical treatment of the aristotelic syllogisms upon the previous interpretations of Christine Ladd-Franklin and Jean Piaget. For the first time, the whole deductive corpus for each syllogism is presented in the two innovative modalities first proposed by Hugo Padilla Chacón. A. The Projection method (all the possible expressions that can be deduced through the conditional from a logical expression) and B. The Retrojection method (all the possible valid antecedents or (...) premises conjunction for an expression proposed as a conclusion). The results are numerically expressed, with their equivalents in the propositional language of bivalent logic. (shrink)

Explains Aristotle's views on the possibility of continuous variation between biological species. While the Porphyrean/Linnean classification of species by a tree suggests species are distributed discretely, Aristotle admitted continuous variation between species among lower life forms.

Comparative valuation of different policy interventions often requires interpersonal comparability of benefit. In the field of health economics, the metric commonly used for such comparison, quality adjusted life years (QALYs) gained, has been criticized for failing to respect the equality of all persons’ intrinsic worth, including particularly those with disabilities. A methodology is proposed that interprets ‘full quality of life’ as the best health prospect that is achievable for the particular individual within the relevant budget constraint. This calibration is challenging (...) both conceptually and operationally as it shifts dramatically when technology or budget developments alter what can be achieved for incapacitated individuals. The proposal nevertheless ensures that the maximal achievable satisfaction of one person’s preferences can carry no more intrinsic value than that of another. This approach, which can be applied to other domains of social valuation, thus prevents implicit discrimination against the elderly and those with irremediable incapacities. (shrink)

The objective Bayesian view of proof (or logical probability, or evidential support) is explained and defended: that the relation of evidence to hypothesis (in legal trials, science etc) is a strictly logical one, comparable to deductive logic. This view is distinguished from the thesis, which had some popularity in law in the 1980s, that legal evidence ought to be evaluated using numerical probabilities and formulas. While numbers are not always useful, a central role is played in uncertain reasoning by the (...) ‘proportional syllogism’, or argument from frequencies, such as ‘nearly all aeroplane flights arrive safely, so my flight is very likely to arrive safely’. Such arguments raise the ‘problem of the reference class’, arising from the fact that an individual case may be a member of many different classes in which frequencies differ. For example, if 15 per cent of swans are black and 60 per cent of fauna in the zoo is black, what should I think about the likelihood of a swan in the zoo being black? The nature of the problem is explained, and legal cases where it arises are given. It is explained how recent work in data mining on the relevance of features for prediction provides a solution to the reference class problem. (shrink)

Mathematicians often speak of conjectures as being confirmed by evidence that falls short of proof. For their own conjectures, evidence justifies further work in looking for a proof. Those conjectures of mathematics that have long resisted proof, such as the Riemann hypothesis, have had to be considered in terms of the evidence for and against them. In recent decades, massive increases in computer power have permitted the gathering of huge amounts of numerical evidence, both for conjectures in pure mathematics and (...) for the behavior of complex applied mathematical models and statistical algorithms. Mathematics has therefore become (among other things) an experimental science (though that has not diminished the importance of proof in the traditional style). We examine how the evaluation of evidence for conjectures works in mathematical practice. We explain the (objective) Bayesian view of probability, which gives a theoretical framework for unifying evidence evaluation in science and law as well as in mathematics. Numerical evidence in mathematics is related to the problem of induction; the occurrence of straightforward inductive reasoning in the purely logical material of pure mathematics casts light on the nature of induction as well as of mathematical reasoning. (shrink)

• It would be a moral disgrace for God (if he existed) to allow the many evils in the world, in the same way it would be for a parent to allow a nursery to be infested with criminals who abused the children. • There is a contradiction in asserting all three of the propositions: God is perfectly good; God is perfectly powerful; evil exists (since if God wanted to remove the evils and could, he would). • The religious believer (...) has no hope of getting away with excuses that evil is not as bad as it seems, or that it is all a result of free will, and so on. Piper avoids mentioning the best solution so far put forward to the problem of evil. It is Leibniz’s theory that God does not create a better world because there isn’t one — that is, that (contrary to appearances) if one part of the world were improved, the ramifications would result in it being worse elsewhere, and worse overall. It is a “bump in the carpet” theory: push evil down here, and it pops up over there. Leibniz put it by saying this is the “Best of All Possible Worlds”. That phrase was a public relations disaster for his theory, suggesting as it does that everything is perfectly fine as it is. He does not mean that, but only that designing worlds is a lot harder than it looks, and determining the amount of evil in the best one is no easy matter. Though humour is hardly appropriate to the subject matter, the point of Leibniz’s idea is contained in the old joke, “An optimist is someone who thinks this is the best of all possible worlds, and a pessimist thinks.. (shrink)

Fifty years of effort in artificial intelligence (AI) and the formalization of legal reasoning have produced both successes and failures. Considerable success in organizing and displaying evidence and its interrelationships has been accompanied by failure to achieve the original ambition of AI as applied to law: fully automated legal decision-making. The obstacles to formalizing legal reasoning have proved to be the same ones that make the formalization of commonsense reasoning so difficult, and are most evident where legal reasoning has to (...) meld with the vast web of ordinary human knowledge of the world. Underlying many of the problems is the mismatch between the discreteness of symbol manipulation and the continuous nature of imprecise natural language, of degrees of similarity and analogy, and of probabilities. (shrink)

El objetivo de este artículo es presentar una demostración de un teorema clásico sobre álgebras booleanas y ordenes parciales de relevancia actual en teoría de conjuntos, como por ejemplo, para aplicaciones del método de construcción de modelos llamado “forcing” (con álgebras booleanas completas o con órdenes parciales). El teorema que se prueba es el siguiente: “Todo orden parcial se puede extender a una única álgebra booleana completa (salvo isomorfismo)”. Donde extender significa “sumergir densamente”. Tal demostración se realiza utilizando cortaduras de (...) Dedekind siguiendo el texto “Set Theory” de Jech, y otras ideas propias del autor de este artículo. Adicionalmente, se formulan algunas versiones débiles del axioma de elección relacionadas con las álgebras booleanas, las cuales son también de gran importancia para la investigación en teoría de conjuntos y teoría de modelos, pues estas son poderosas técnicas de construcción de modelos, como por ejemplo, el teorema de compacidad (permite construir modelos no estándar, etc) y el teorema del ultrafiltro, que permite construir ultraproductos (pueden ser usados para investigar problemas de cardinales grandes, etc). Se presentan algunas referencias de problemas abiertos sobre el tema. -/- The objective of this paper is to present a demonstration of a classical theorem on boolean algebras and partial orders of current relevance in set theory, as for example, for applications of model construction method called forcing" (with boolean algebras complete or with partial orders). The theorem to be proved is as follows: Any partial order can be extended to a single complete boolean algebra (up to isomorphism)". Where to extend means embed densely". Such a demonstration is done using Dedekind's cuts following the text Set Theory" of Jech, and other ideas of the author of this article. In addition, some weak versions of the axiom of choice related to boolean algebras are formulated, which are also of great importance for the research in set theory and model theory, since this are powerful model construction techniques, such as the compactness theorem (allows the construction of non-standard models, etc.) and the ultralter theorem, which allows the construction of ultraproducts (can be used to investigate problems of large cardinals, etc). Some references of open problems on the subject are presented. (shrink)

Even where willingness-to-pay as a measure of welfare impact is adjusted for diminishing marginal utility, welfare economics is shown to favour policies that add to the life expectancy or that enhance the quality of life of persons who are already better-off. I propose an alternative, Equal Respect methodology, under an axiomatic claim that at the point of decision the prospective life years of all individuals are of equal intrinsic social value. This justifies equal valuation of risk mitigation across all persons; (...) similarly, all appraised impacts should be scaled to accord equal respect to difficult but no-less-valuable lives. (shrink)

El objetivo principal de este artículo es presentar la demostración directa del Teorema de compacidad de la Lógica de primer orden (Gama tiene un modelo si y sólo si cada subconjunto finito de Gama tiene un modelo) que se realiza utilizando el Método de construcción de modelos llamado "Ultraproductos" que, a su vez, usa "Ultrafiltros". Actualmente es más común demostrar el Teorema de compacidad como un corolario del Teorema de completitud de Gödel y usar el método de reducción al absurdo (...) para probarlo. Sin embargo, vale la pena estudiar también esta prueba directa que usa Ultraproductos porque dicha técnica tiene importantes aplicaciones en investigaciones contemporáneas de matemáticas, por ejemplo en la Teoría de conjuntos y en el Análisis. Al final del artículo se realiza un breve comentario sobre Compacidad, Ultraproductos, Cardinales grandes y Modelos no estándar. (shrink)

Collection of articles on themes of Australian Catholic philosophy and history. Articles of philosophical interest include 'Catholic thought and Catholic Action: Dr Paddy Ryan MSC' (on the scholastic philosopher and anti-Communist), 'Catholic schooldays with philosophy', 'Traditional Catholic philosophy: baby and bathwater', 'Secular versus Catholic conceptions of values in Australian education', 'Accountancy as computational casuistics', 'The Mabo High Court and natural law values', and 'Stove, Hume and Enlightenment'.

A polemical account of Australian philosophy up to 2003, emphasising its unique aspects (such as commitment to realism) and the connections between philosophers' views and their lives. Topics include early idealism, the dominance of John Anderson in Sydney, the Orr case, Catholic scholasticism, Melbourne Wittgensteinianism, philosophy of science, the Sydney disturbances of the 1970s, Francofeminism, environmental philosophy, the philosophy of law and Mabo, ethics and Peter Singer. Realist theories especially praised are David Armstrong's on universals, David Stove's on logical probability (...) and the ethical realism of Rai Gaita and Catholic philosophers. In addition to strict philosophy, the book treats non-religious moral traditions to train virtue, such as Freemasonry, civics education and the Greek and Roman classics. (shrink)

Ultrafilters are very important mathematical objects in mathematical research [6, 22, 23]. There are a wide variety of classical theorems in various branches of mathematics where ultrafilters are applied in their proof, and other classical theorems that deal directly with ultrafilters. The objective of this article is to contribute (in a divulgative way) to ultrafilter research by describing the demonstrations of some such theorems related (uniquely or in combination) to topology, Measure Theory, algebra, combinatorial infinite, set theory and first-order logic, (...) also formulating some updated open problems of set theory that refer to non-principal ultrafilters on N, the Mathias’s model and the Solovay’s model. -/- Resumen: Los ultrafiltros son objetos matemáticos muy importantes en la investigación matemática [6, 22, 23]. Existen una gran variedad de teoremas clásicos en diversas ramas de la matemática donde se aplican ultrafiltros en su demostración, y otros teoremas clásicos que tratan directamente sobre ultrafiltros. El objetivo de este artículo es contribuir (de una manera divulgativa) con la investigación sobre ultrafiltros describiendo las demostraciones de algunos de tales teoremas relacionados (de manera única o combinada) con topología, teoría de la medida, álgebra, combinatoria infinita, teoría de conjuntos y lógica de primer orden, formulando además algunos problemas abiertos actuales de la teoría de conjuntos que se refieren a ultrafiltros no principales sobre N, al Modelo de Mathias y al Modelo de Solovay. (shrink)

El estudio de los "cardinales grandes" es uno de los principales temas de investigación de la teoría de conjuntos y de la teoría de modelos que ha contribuido con el desarrollo de dichas disciplinas. Existe una gran variedad de tales cardinales, por ejemplo cardinales inaccesibles, débilmente compactos, Ramsey, medibles, supercompactos, etc. Tres valiosos teoremas clásicos sobre cardinales medibles son los siguientes: (i) compacidad débil, (ii) Si κ es un cardinal medible, entonces κ es un cardinal inaccesible y existen κ cardinales (...) inaccesibles menores que κ , y (iii) Si existe un cardinal medible, entonces el axioma de constructibilidad (V=L) es falso. El objetivo de este artículo es presentar una demostración de cada uno de estos tres teoremas en el contexto de la teoría de modelos usando ideas del texto de Chang y Keisler (Model Theory). Tales demostraciones tienen en común el uso del método de construcción de modelos llamado ultraproductos, de lógicas infinitarias o fragmentos de la lógica de segundo orden, y del axioma de elección. Cardinales grandes y/o ultraproductos son importantes en teoría de conjuntos, teoría de modelos, análisis matemático, teoría de la medida, probabilidades, topología, análisis funcional, física, teoría de números, finanzas, etc. (shrink)

Resumen: En la actualidad uno de los libros más usados para dar lógica elemental es el de Irving Copi y Carl Cohen (Introducción a la lógica, 2001), allí se presentan unas reglas para decidir la validez de los silogismos categóricos de forma estándar. Pero en tal texto ni en ninguno que nosotros conozcamos se ofrece una fundamentación de las mismas. Es decir, una demostración de que ellas son realmente una condición necesaria y suficiente de la validez de un silogismo categórico (...) de forma estándar, lo único que hemos leído es su motivación como condición necesaria. El objetivo de este trabajo es ofrecer una fundamentación de las mismas usando la noción de conjunto (o clase) y la técnica de diagramas de Venn, un concepto y una técnica que están expuestos en los principales textos de lógica elemental, incluyendo el referido anteriormente. -/- Abstract: Currently, one of the most widely used textbooks in elementary logic is the one by Irving Copi and Carl Cohen (Introduction to Logic, 2001). They offer rules for deciding the validity of standard categorical syllogisms. But neither that textbook, nor any other we know of, provides the foundations of these rules; that is to say, the demonstration that they are a necessary and sufficient condition for the validity of a standard categorical syllogism. We have only found motivations for the necessary condition. The main goal of this work is to provide a foundation of these rules using the notion of set as well as Venn diagrams, a concept and a technique exposed in the main textbooks of logic, including the aforementioned. (shrink)

The objective of this article is to present an original proof of the following theorem: Thereis a generic extension of the Solovay’s model L(R) where there is a linear order of P(N)/fin that extends to the partial order (P(N)/f in), ≤*). Linear orders of P(N)/fin are important because, among other reasons, they allow constructing non-measurable sets, moreover they are applied in Ramsey's Theory .

Brains, unlike artificial neural nets, use symbols to summarise and reason about perceptual input. But unlike symbolic AI, they “ground” the symbols in the data: the symbols have meaning in terms of data, not just meaning imposed by the outside user. If neural nets could be made to grow their own symbols in the way that brains do, there would be a good prospect of combining neural networks and symbolic AI, in such a way as to combine the good features (...) of each. The article argues the cluster analysis provides algorithms to perform the task, and that any solution to the task must be a form of cluster analysis. (shrink)

The interventionist account of causal explanation, in the version presented by Jim Woodward, has been recently claimed capable of buttressing the widely felt—though poorly understood—hunch that high-level, relatively abstract explanations, of the sort provided by sciences like biology, psychology and economics, are in some cases explanatorily optimal. It is the aim of this paper to show that this is mistaken. Due to a lack of effective constraints on the causal variables at the heart of the interventionist causal-explanatory scheme, as presently (...) formulated it is either unable to prefer high-level explanations to low, or systematically overshoots, recommending explanations at so high of a level as to be virtually vacuous. (shrink)

The universality of critical phenomena is best explained by appeal to the Renormalisation Group (RG). Batterman and Morrison, among others, have claimed that this explanation is irreducible. I argue that the RG account is reducible, but that the higher-level explanation ought not to be eliminated. I demonstrate that the key assumption on which the explanation relies – the scale invariance of critical systems – can be explained in lower-level terms; however, we should not replace the RG explanation with a bottom-up (...) account, rather we should acknowledge that the explanation appeals to dependencies which may be traced down to lower levels. (shrink)

We first survey the Catholic social justice tradition, the foundation on which Caritas in Veritate builds. Then we discuss Benedict’s addition of love to the philosophical virtues (as applied to economics), and how radical a change that makes to an ethical perspective on economics. We emphasise the reality of the interpersonal aspects of present-day economic exchanges, using insights from two disciplines that have recognized that reality, human resources and marketing. Personal encounter really is a major factor in economic exchanges in (...) professional services, such as law and medicine. Finally, we examine the prospects for an economics of gratuitousness at a level higher than the individual, that is, for businesses devoted to social ends more than profit. -/- . (shrink)

An Aristotelian Philosophy of Mathematics breaks the impasse between Platonist and nominalist views of mathematics. Neither a study of abstract objects nor a mere language or logic, mathematics is a science of real aspects of the world as much as biology is. For the first time, a philosophy of mathematics puts applied mathematics at the centre. Quantitative aspects of the world such as ratios of heights, and structural ones such as symmetry and continuity, are parts of the physical world and (...) are objects of mathematics. Though some mathematical structures such as infinities may be too big to be realized in fact, all of them are capable of being realized. Informed by the author's background in both philosophy and mathematics, but keeping to simple examples, the book shows how infant perception of patterns is extended by visualization and proof to the vast edifice of modern pure and applied mathematical knowledge. (shrink)

Both realist and anti-realist accounts of natural kinds possess prima facie virtues: realists can straightforwardly make sense of the apparent objectivity of the natural kinds, and anti-realists, their knowability. This paper formulates a properly anti-realist account designed to capture both merits. In particular, it recommends understanding natural kinds as ‘categorical bottlenecks,’ those categories that not only best serve us, with our idiosyncratic aims and cognitive capacities, but also those of a wide range of alternative agents. By endorsing an ultimately subjective (...) categorical principle, this view sidesteps epistemological difficulties facing realist views. Yet, it nevertheless identifies natural kinds that are fairly, though not completely, stance-independent or objective. (shrink)

La siguiente ponencia-taller tiene por finalidad explicar cómo podría aplicarse el Método de George Polya para resolver problemas (matemáticos) en el contexto de la Lógica Matemática, especialmente en la lógica Matemática elemental (la lógica de primer orden con identidad). Es una propuesta pedagógica experimental (además de las ya existentes) que tal vez pueda ser útil para la enseñanza de la lógica matemática en ciencias o en humanidades. Dicha ponencia se presentó (vía web) con motivo de la celebración del Día Mundial (...) de Lógica 2022 en dos ocasiones: En la Universidad Central de Venezuela (Venezuela) y en la Universidad Mayor de San Andrés (Logic & Analytics Group - La Paz y La Sociedad Científica de Filosofía de la UMSA, Bolivia). Es un proyecto pedagógico en construcción. (shrink)

Whether or not quantum physics can account for molecular structure is a matter of considerable controversy. Three of the problems raised in this regard are the problems of molecular structure. We argue that these problems are just special cases of the measurement problem of quantum mechanics: insofar as the measurement problem is solved, the problems of molecular structure are resolved as well. In addition, we explore one consequence of our argument: that claims about the reduction or emergence of molecular structure (...) cannot be settled independently of the choice of a particular resolution to the measurement problem. Specifically, we consider how three standard putative solutions to the measurement problem inform our under- standing of a molecule in isolation, as well as of chemistry’s relation to quantum physics. (shrink)

A problem for Aristotelian realist accounts of universals (neither Platonist nor nominalist) is the status of those universals that happen not to be realised in the physical (or any other) world. They perhaps include uninstantiated shades of blue and huge infinite cardinals. Should they be altogether excluded (as in D.M. Armstrong's theory of universals) or accorded some sort of reality? Surely truths about ratios are true even of ratios that are too big to be instantiated - what is the truthmaker (...) of such truths? It is argued that Aristotelianism can answer the question, but only a semi-Platonist form of it. (shrink)

This paper sketches a causal account of scientific explanation designed to sustain the judgment that high-level, detail-sparse explanations—particularly those offered in biology—can be at least as explanatorily valuable as lower-level counterparts. The motivating idea is that complete explanations maximize causal economy: they cite those aspects of an event’s causal run-up that offer the biggest-bang-for-your-buck, by costing less (in virtue of being abstract) and delivering more (in virtue making the event stable or robust).

It is commonly claimed that the universality of critical phenomena is explained through particular applications of the renormalization group. This article has three aims: to clarify the structure of the explanation of universality, to discuss the physics of such RG explanations, and to examine the extent to which universality is thus explained. The derivation of critical exponents proceeds via a real-space or a field-theoretic approach to the RG. Building on work by Mainwood, this article argues that these approaches ought to (...) be distinguished: while the field-theoretic approach explains universality, the real-space approach fails to provide an adequate explanation. (shrink)

Philosophers of experiment have acknowledged that experiments are often more than mere hypothesis-tests, once thought to be an experiment's exclusive calling. Drawing on examples from contemporary biology, I make an additional amendment to our understanding of experiment by examining the way that `wide' instrumentation can, for reasons of efficiency, lead scientists away from traditional hypothesis-directed methods of experimentation and towards exploratory methods.

In many diagrams one seems to perceive necessity – one sees not only that something is so, but that it must be so. That conflicts with a certain empiricism largely taken for granted in contemporary philosophy, which believes perception is not capable of such feats. The reason for this belief is often thought well-summarized in Hume's maxim: ‘there are no necessary connections between distinct existences’. It is also thought that even if there were such necessities, perception is too passive or (...) localized a faculty to register them. We defend the perception of necessity against such Humeanism, drawing on examples from mathematics. (shrink)

In What Science Knows, the Australian philosopher and mathematician James Franklin explains in captivating and straightforward prose how science works its magic. It offers a semipopular introduction to an objective Bayesian/logical probabilist account of scientific reasoning, arguing that inductive reasoning is logically justified (though actually existing science sometimes falls short). Its account of mathematics is Aristotelian realist.

This paper critiques the new mechanistic explanatory program on grounds that, even when applied to the kinds of examples that it was originally designed to treat, it does not distinguish correct explanations from those that blunder. First, I offer a systematization of the explanatory account, one according to which explanations are mechanistic models that satisfy three desiderata: they must 1) represent causal relations, 2) describe the proper parts, and 3) depict the system at the right ‘level.’ Second, I argue that (...) even the most developed attempts to fulfill these desiderata fall short by failing to appropriately constrain explanatorily apt mechanistic models. -/- *This paper used to be called "The Emperor's New Mechanisms". (shrink)

Effective quantum field theories are effective insofar as they apply within a prescribed range of length-scales, but within that range they predict and describe with extremely high accuracy and precision. The effectiveness of EFTs is explained by identifying the features—the scaling behaviour of the parameters—that lead to effectiveness. The explanation relies on distinguishing autonomy with respect to changes in microstates, from autonomy with respect to changes in microlaws, and relating these, respectively, to renormalizability and naturalness. It is claimed that the (...) effectiveness of EFTs is a consequence of each theory’s autonomyms rather than its autonomyml.1Introduction2Renormalizability2.1Explaining renormalizability3Naturalness3.1An unnatural but renormalizable theory4Two Kinds of Autonomy5The Effectiveness of Effective Quantum Field Theories6Conclusion. (shrink)

Among the factors necessary for the occurrence of some event, which of these are selectively highlighted in its explanation and labeled as causes — and which are explanatorily omitted, or relegated to the status of background conditions? Following J. S. Mill, most have thought that only a pragmatic answer to this question was possible. In this paper I suggest we understand this ‘causal selection problem’ in causal-explanatory terms, and propose that explanatory trade-offs between abstraction and stability can provide a principled (...) solution to it. After sketching that solution, it is applied to a few biological examples, including to a debate concerning the ‘causal democracy’ of organismal development, with an anti-democratic (though not a gene-centric) moral. (shrink)

How were reliable predictions made before Pascal and Fermat's discovery of the mathematics of probability in 1654? What methods in law, science, commerce, philosophy, and logic helped us to get at the truth in cases where certainty was not attainable? The book examines how judges, witch inquisitors, and juries evaluated evidence; how scientists weighed reasons for and against scientific theories; and how merchants counted shipwrecks to determine insurance rates. Also included are the problem of induction before Hume, design arguments for (...) the existence of God, and theories on how to evaluate scientific and historical hypotheses. It is explained how Pascal and Fermat's work on chance arose out of legal thought on aleatory contracts. The book interprets pre-Pascalian unquantified probability in a generally objective Bayesian or logical probabilist sense. (shrink)

Nearly all defences of the agent-causal theory of free will portray the theory as a distinctively libertarian one — a theory that only libertarians have reason to accept. According to what I call ‘the standard argument for the agent-causal theory of free will’, the reason to embrace agent-causal libertarianism is that libertarians can solve the problem of enhanced control only if they furnish agents with the agent-causal power. In this way it is assumed that there is only reason to accept (...) the agent-causal theory if there is reason to accept libertarianism. I aim to refute this claim. I will argue that the reasons we have for endorsing the agent-causal theory of free will are nonpartisan. The real reason for going agent-causal has nothing to do with determinism or indeterminism, but rather with avoiding reductionism about agency and the self. As we will see, if there is reason for libertarians to accept the agent-causal theory, there is just as much reason for compatibilists to accept it. It is in this sense that I contend that if anyone should be an agent-causalist, then everyone should be an agent-causalist. (shrink)

We present results from a single case study based on semi-structured interviews with a student (a boy in school year 3) diagnosed with autism spectrum disorder and his school staff after participating in a short and small-scale intervention carried out in a socio-economically disadvantaged Swedish elementary school in 2019. The student participated in a seven week long intervention with a total of 12 philosophical dialogues (ranging from 45 to 60 minutes). Two facilitators, both with years of facilitation experience and teacher (...) degree and at least BA in philosophy, facilitated the majority of the dialogues and mainly followed a ”routine” procedure. The student was interviewed in direct connection to the end of the intervention about his experiences from the dialogues and his perceptions about whether and how the dialogues had influenced him. The student’s two teachers, who had participated in the dialogues as participants, were interviewed as a pair, also in direct connection to the end of the intervention, while the school principal was interviewed two years after the study. These staff interviews concerned the staff’s experiences of the influence of the dialogues on the students within the intervention as well as transfer effects to other contexts in school. The data from the study include detailed elaborations from a student perspective of different effects on the student’s communicative and cognitive development, which are in several respects supported also by staff reports. The results show that the student was able, interested, and willing to participate in philosophical dialogues, and our data point to several positive outcomes for the student in the communicative and cognitive domains. (shrink)

Philosophical discussions of species have focused on multicellular, sexual animals and have often neglected to consider unicellular organisms like bacteria. This article begins to fill this gap by considering what species concepts, if any, apply neatly to the bacterial world. First, I argue that the biological species concept cannot be applied to bacteria because of the variable rates of genetic transfer between populations, depending in part on which gene type is prioritized. Second, I present a critique of phylogenetic bacterial species, (...) arguing that phylogenetic bacterial classification requires a questionable metaphysical commitment to the existence of essential genes. I conclude by considering how microbiologists have dealt with these biological complexities by using more pragmatic and not exclusively evolutionary accounts of species. I argue that this pragmatism is not borne of laziness but rather of the substantial conceptual problems in classifying bacteria based on any evolutionary standard. (shrink)

What is it about a person's becoming an adult that makes it generally inappropriate to treat that person paternalistically any longer? The Standard View holds that a mere difference in age or stage of life cannot in itself be morally relevant, but only matters insofar as it is correlated with the development of capacities for mature practical reasoning. This paper defends the contrary view: two people can have all the same general psychological attributes and yet the mere fact that one (...) person is at the beginning of a life and another in the middle of one can justify treating the younger person more paternalistically than the older one. Recognising the moral relevance of age, moreover, is crucial if one is to accommodate both the liberal moral ideal of respect for autonomy and our demanding educational aims, given that these otherwise come into conflict with one another. (shrink)

Blaming (construed broadly to include both blaming-attitudes and blaming-actions) is a puzzling phenomenon. Even when we grant that someone is blameworthy, we can still sensibly wonder whether we ought to blame him. We sometimes choose to forgive and show mercy, even when it is not asked for. We are naturally led to wonder why we shouldn’t always do this. Wouldn’t it be a better to wholly reject the punitive practices of blame, especially in light of their often undesirable effects, and (...) embrace an ethic of unrelenting forgiveness and mercy? In this paper I seek to address these questions by offering an account of blame that provides a rationale for thinking that to wholly forswear blaming blameworthy agents would be deeply mistaken. This is because, as I will argue, blaming is a way of valuing, it is “a mode of valuation.” I will argue that among the minimal standards of respect generated by valuable objects, notably persons, is the requirement to redress disvalue with blame. It is not just that blame is something additional we are required to do in properly valuing, but rather blame is part of what that it is to properly value. Blaming, given the existence of blameworthy agents, is mode of valuation required by the standards of minimal respect. To forswear blame would be to fail value what we ought to value. (shrink)

There is a wide range of realist but non-Platonist philosophies of mathematics—naturalist or Aristotelian realisms. Held by Aristotle and Mill, they played little part in twentieth century philosophy of mathematics but have been revived recently. They assimilate mathematics to the rest of science. They hold that mathematics is the science of X, where X is some observable feature of the (physical or other non-abstract) world. Choices for X include quantity, structure, pattern, complexity, relations. The article lays out and compares these (...) options, including their accounts of what X is, the examples supporting each theory, and the reasons for identifying the science of X with (most or all of) mathematics. Some comparison of the options is undertaken, but the main aim is to display the spectrum of viable alternatives to Platonism and nominalism. It is explained how these views answer Frege’s widely accepted argument that arithmetic cannot be about real features of the physical world, and arguments that such mathematical objects as large infinities and perfect geometrical figures cannot be physically realized. (shrink)

Pascal’s wager and Leibniz’s theory that this is the best of all possible worlds are latecomers in the Faith-and-Reason tradition. They have remained interlopers; they have never been taken as seriously as the older arguments for the existence of God and other themes related to faith and reason.