http://www.bibliotecadigital.unicamp.br/document/?code=vtls000363614.

In this study, we consider that enabling young people to experience direct contact with nearby natural environments can positively influence their knowledge and feelings about the biodiversity that occurs there, contributing to its protection and conservation for current and future generations. In this study, we explore how teenagers (n = 17) aged between 13 and 17 years old describe and perceive the nearby natural environment before and after an interpretive trail in Una, Bahia, Brazil. Participants were asked to draw the (...) Atlantic Forest with colored pencils on white paper and, based on the drawing, they answered the following questions: “What is in your drawing? and “What is happening in your drawing?,” in addition to other information such as the title of the drawing, difficulty of the activity, and sociodemographic aspects. Content analysis was used to analyze the information collected. From the drawings and responses of the participants, categories related to knowledge, experiences, and types of relationships with the visited place emerged. (shrink)

K. Lüscher, A. Klimczuk, Generations, intergenerational relationships, generational policy: A multilingual compendium, 17 languages, Universität Konstanz, Konstanz 2017, 428pp. TS - BibTeX M4 - Citavi.

Nosotres, biólogues, ecologistas y otres profesionales dedicados a proteger la vida, les escribimos con una solicitud urgente. Les pedimos muy comedidamente que su organización o institución emita un comunicado oficial condenando la crisis en curso y abordando los impactos ambientales y humanitarios en Palestina.

K. Lüscher, A. Klimczuk, Generations, intergenerational relationships, generational policy: A multilingual compendium, 17 languages, Universität Konstanz, Konstanz 2017, 428pp. TS - BibTeX M4 - Citavi.

K. Lüscher, A. Klimczuk, Generations, intergenerational relationships, generational policy: A multilingual compendium, 17 languages, Universität Konstanz, Konstanz 2017, 428pp. TS - BibTeX M4 - Citavi.

K. Lüscher, A. Klimczuk, Generations, intergenerational relationships, generational policy: A multilingual compendium, 17 languages, Universität Konstanz, Konstanz 2017, 428pp. TS - BibTeX M4 - Citavi.

K. Lüscher, A. Klimczuk, Generations, intergenerational relationships, generational policy: A multilingual compendium, 17 languages, Universität Konstanz, Konstanz 2017, 428pp. TS - BibTeX M4 - Citavi.

K. Lüscher, A. Klimczuk, Generations, intergenerational relationships, generational policy: A multilingual compendium, 17 languages, Universität Konstanz, Konstanz 2017, 428pp. TS - BibTeX M4 - Citavi.

K. Lüscher, A. Klimczuk, Generations, intergenerational relationships, generational policy: A multilingual compendium, 17 languages, Universität Konstanz, Konstanz 2017, 428pp. TS - BibTeX M4 - Citavi.

En representación de la Colección La Fuente, los autores entrevistan a Cecilia Boal, viuda y colaboradora de Augusto Boal, fundador del teatro y la estética del oprimido. La entrevista permite complementar, con los aspectos menos conocidos de la vida y obra del destacado creador y dramaturgo brasileño, el libro que La Fuente le dedica en su serie Homenaje.

Este libro, es el segundo de la serie La Cultura en el Uruguay: una mirada desde las Ciencias Económicas. Tal como señaló en el primer volumen, los estudiantes de la Facultad de Ciencias Económicas y de Administración de la Universidad de la República realizan como trabajo final de carrera, una investigación o ensayo monográfico en un área de su interés, tutorados por un docente universitario o un investigador de reconocida trayectoria. Un gran número de estos trabajos monográficos han hecho un (...) aporte valioso al conocimiento pero, lamentablemente, la poca difusión de éstos hace que el conocimiento adquirido termine olvidado en los fondos de la biblioteca de dicha Facultad, entre cientos de producciones monográficas. Al igual que en el volumen anterior, se pretende en éste, continuar mostrando los aportes que se han generado en el área tanto de Economía de la Cultura como de Gestión de Organizaciones Culturales, en una línea de investigación que me enorgullece coordinar, y en la que vuelco cotidianamente mis mayores esfuerzos. Cabe señalar, que el primer libro trató sobre diversos temas vinculados a la Cultura, atendiendo a una clasificación clásica en la disciplina que divide -o solía dividir- el objeto de estudio en Patrimonio, Artes Escénicas e Industria Cultural, y por ende, abarcó temáticas diversas. En esta segunda entrega, y ante la imposibilidad de recoger la totalidad de los trabajos monográficos producidos en el lapso comprendido entre la edición del primer y segundo volumen, se optó por efectuar una selección temática en vez de cronológica, por lo que se muestran en este libro solamente los trabajos que atañen a la Gestión y Economía de los Museos, y a un tema estrechamente vinculado, por la injerencia que tiene uno en el otro, que es el análisis económico del mercado de arte, en este caso, por medio de subastas. Todos los trabajos aquí presentados fueron tutorados por mí, aunque no en exclusividad. Primando la excelencia académica, y entendiendo que varios de los temas tratados tenían una especificidad considerable, recurrí, tal como es usual en el ámbito académico, -que valora la discusión entre pares y la consideración de opiniones de especialistas- a la ayuda de diversos colegas para que estas monografías pudieran concretarse con el mejor nivel académico posible. La primera investigación que se presenta fue realizada por las Contadoras Ana Macias y Ma. Fernanda Rimoldi, titulada Museos, una visión desde la Gestión de Calidad. Dicha investigación, tutorada conjuntamente con la especialista en calidad Cra Sara Gerpe, buscó determinar si es aplicable el Modelo Iberoamericano de Gestión de Calidad en Museos, para lo que se consideró una muestra de 14 museos montevideanos. Dicho trabajo propició un premio de un concurso organizado por el Ministerio de Educación y Cultura, denominado Tu Tesis en Cultura, y por ende, no necesita más presentación. La Cultura en Uruguay: una mirada desde las Ciencias Económicas El segundo trabajo, titulado Sistema de Museos: Planificación Estratégica. Un diagnóstico previo, de las Cras Andrea de Armas, Cecilia Moreira y Valeria Palacios, trata sobre un caso de estudio de gran importancia para el atractivo turístico y patrimonial, como es el Sistema de Museos de Colonia de Sacramento, y realiza un diagnóstico enmarcado en la gestión estratégica de las organizaciones museísticas. Las conclusiones no son generalizables a otros museos que los que integran el Sistema de Museos de Colonia, sin embargo, la metodología empleada es fácilmente extrapolable a otros museos, tanto uruguayos como del exterior, que busquen comenzar el camino de la planificación estratégica. En tercer lugar, se expone la monografía de los Contadores Yamila Hernández, Sebastián Maidán y Ana Laura Mascheroni, que trata un tema crucial en los albores del siglo XXI como es la Responsabilidad SocialCorporativa. Este trabajo también se basa en un estudio de caso, y la organización bajo análisis es el Museo del Carnaval, museo que tiene una conducta innovadora que posibilita vincular el museo con programas pioneros en responsabilidad social en Uruguay. El trabajo se denomina Balance Social Museo del Carnaval y fue tutorado en forma conjunta con un referente en Responsabilidad Social Empresaria como es el Cr. Walter Rossi. El cuarto trabajo fue una producción de los Licenciados en Economía Tatiana Cóppola y Fernando González y se titula Museos en el Uruguay: Una visión económica. La investigación buscó la relación entre la variable visitante de una institución museística, y otras variables explicativas, como son la valoración del acervo, costos operativos, apertura horaria, entre otras, logrando probar que la variable relacionada a la captación de visitantes, para la muestra analizada, es la variable Difusión. Esta monografía la tutoré en forma compartida con el Dr. Gustavo Bouquet y el Lic. Raúl Ramírez, en una situación absolutamente atípica en el que el número de tutores supera el de estudiantes. Pero bien valió la pena la excepción en vista de los excelentes logros alcanzados. Para finalizar, se presenta la monografía titulada Formación de Precios de Pintura Nacional en Subasta: un Modelo y su Aplicación con la que accedieron al título de Licenciados en Economía Javier Chiossi y Matías De Vecchi. Se incluyó dicho trabajo en este volumen, que trata básicamente sobre museos, porque entiendo que el Mercado de Arte está indudablemente vinculado a la política de compras de los museos, en especial los contemporáneos. Cabe destacar que este trabajo contó con el apoyo de la Dra. Celina Gutiérrez, quien accedió a compartir la tutoría de un tema que escapaba mis posibilidades, logrando un excelente resultado. Merece señalar que cada trabajo original supera el centenar de páginas, y que por ende, no es posible publicarlos completamente, por lo que para este libro se hicieron resúmenes de las investigaciones realizadas, intentando adecuar la terminología y quitándoles el formato estrictamente científico -poco amigable para un no especialista-, de forma tal que su lectura sea accesible al público en general. También quiero señalar, que el prólogo del primer volumen, lo finalicé con la frase: “Espero que este libro sea el primero de una larga lista. Las áreas de Economía de la Cultura y Gestión de Organizaciones Culturales son disciplinas jóvenes que necesitan seguir creciendo. La investigación realizada por trabajos monográficos de fin de carrera en estas áreas, será siempre bienvenida” La Facultad ha comenzado un nuevo plan de estudio, en el que se eliminó la obligatoriedad de presentar una tesina o monografía como condición necesaria para obtener el título. No obstante, aún contamos con una decena de monografías que no han sido publicadas y que espero se concreten en el o los siguientes volúmenes de esta serie. (shrink)

FISIOLOGIA DA REPRODUÇÃO BOVINA: 2 - ESTRO E SERVIÇO -/- -/- INTRODUÇÃO -/- -/- A identificação de vacas em cio (estro ou cio) é, sem dúvida, a prática mais importante no manejo da reprodução do rebanho leiteiro. Apesar dos avanços no conhecimento da fisiologia da reprodução a nível celular e molecular, a identificação de vacas em estro continua sendo o problema reprodutivo mais importante e o que mais causa prejuízos econômicos. Na indústria de laticínios no Brasil, seu impacto não foi (...) estimado, porém, a estimativa feita por países como os Estados Unidos onde se perdem 300 milhões de dólares por ano pode dar uma ideia, atribuída apenas à baixa eficiência na detecção de estros. Por que é cada vez mais difícil detectar vacas em estro? A resposta está relacionada aos aspectos intrínsecos da vaca leiteira moderna, associadas as práticas de manejo dos rebanhos atuais, caracterizados por possuírem grande número de vacas nos plantéis. -/- -/- 2.1 Como saber que uma vaca está em cio/estro? -/- -/- O comportamento estral é causado por um aumento no estradiol sérico produzido pelo folículo ovulatório. O aumento do estradiol provoca mudanças de comportamento e modificações na genitália externa e interna. A vaca mostra-se inquieta, sua vocalização aumenta, ela anda mais, tenta montar em outras vacas e aceita montar no touro ou em outra vaca, bem como urinam com mais frequência (micção frequente). A vulva fica levemente inflamada, à palpação retal o útero pode ser visto com tônus ou turgor (duro e contraído) e ao massagear o colo do útero observa-se que sai abundante muco cristalino da vulva. O mecanismo clássico proposto na regulação do estro é baseado principalmente no papel do estradiol; no entanto, estudos recentes indicam que o GnRH pode participar da regulação do estro ao nível do hipotálamo. O estro possui duração entre 8 e 18 horas e a intensidade do mesmo é afetada por fatores ambientais e intrínsecos a vaca moderna (figuras de 1 a 6). -/- -/- -/- Figura 2: A observação do grupo sexualmente ativo facilita a identificação das vacas em estro. -/- Figura 1: As vacas em estro formam grupos ativos (grupo sexualmente ativo) separados do resto das vacas. A conformação desses grupos facilita a observação do estro. -/- -/- A formação de grupos de vacas é um fator ideal para a detecção de vacas em cio, elas ficam juntas e começam a montar uma nas outras, a cheirar a urina de ambas etc. comportamentos que podem ser visualizados de longe pelo tratador e diagnosticado o cio o mais breve possível para o manejo reprodutivo adotado pela propriedade seja para monta natural ou controlada e/ou inseminações artificiais (IA) e artificiais em tempo fixo (IATF). -/- -/- Figura 3: O único comportamento positivo do estro é a aceitação da monta de outra vaca. É frequente que a vaca que realiza a monta também esteja em estro, o que só será afirmado até que ela aceite a monta de outra vaca. -/- -/- Figura 4: Cada monta dura de 5 a 7 segundos -/- Figura 5: A vaca leiteira aceita de 5 a 30 montas distribuídas entre 8 e 18 horas. -/- Figura 6: Além das mudanças comportamentais, os estrogênios causam alterações na genitália interna. Uma delas é a produção de muco cervical, que juntamente com o turgor uterino, constituem os sinais genitais do estro. -/- -/- O cio pode ser dividido em três fases, a inicial, a fase de cio verdadeiro e a fase final. O cio verdadeiro quando é observado, é caracterizado pelo momento em que a vaca aceita claramente a monta. Por sua vez, os sinais de início e final de cio se misturam, apresentam nervosismo e inquietação, cheiram e lambem a vagina e a urina de outras vacas, apoiam a cabeça na garupa de outras fêmeas etc. (figura 7). Uma das sugestões adotadas nas propriedades para facilitar a identificação do cio em um rebanho é realizada pelos funcionários com a utilização de um bastão ou fita de coloração da garupa das vacas. -/- Figura 7: Principais sinais que demonstram que a vaca está entrando em cio. As imagens mostram o início do cio, cio verdadeiro e final do cio. -/- CONTINUA. BAIXE O PDF!!! -/- RESUMO -/- -/- < >Nos Estados Unidos, 300 milhões de dólares são perdidos devido à baixa eficiência na detecção do estro. A eficiência na detecção do estro no Brasil é de 40 a 50%. A meta de eficiência para detecção de estro é > 60%. Com a observação das vacas em dois períodos diários de três horas cada (manhã e tarde), consegue-se uma eficiência na detecção de estro de 80%. Menos de 20 por cento das vacas devem ter um intervalo de serviço duplo e nenhum de mais de 48 dias. A taxa de prenhez é obtida multiplicando-se a eficiência na detecção do estro pela porcentagem de concepção e dividindo por 100 (50 * 30/100 = 15%). A taxa de prenhez em rebanhos norte-americanos é de 15%. Nos Estados Unidos, para cada ponto percentual que diminui a taxa de prenhez, não há mais de US$ 12 a US$ 15 por vaca por ano. No Brasil, para cada ponto percentual que aumenta a taxa de prenhez, na faixa de 15 a 20%, é gerada uma renda anual adicional de $ 190 reais por vaca. Não mais que 25% das vacas devem estar vazias no 150º dia pós-parto. Não mais do que 8% devem as vacas ser cobertas no 250º dia pós-parto. 8% das vacas devem engravidar a cada mês. O estro ocorre 48 a 120 horas após o tratamento com PGF2α. 80% é a precisão na palpação do corpo lúteo. Quatorze dias devem decorrer entre duas injeções de PGF2α. Menos de 25% das vacas incluídas no programa de pré-sincronização devem chegar à IATF. No momento da ovulação, a primeira injeção de GnRH deve ser aplicada entre o quinto e o nono dia do ciclo estral. A inseminação cronometrada é realizada 14-16 horas após a segunda injeção de GnRH. O tratamento com dispositivos intravaginais liberadores de progesterona dura 12 dias. Se a duração do tratamento é menor deve-se injetar PGF2α ao retirá-lo. -/- -/- REFERÊNCIAS BIBLIOGRÁFICAS -/- -/- ATUESTA, Jorge; DIAZA, Angela Gonella. Control hormonal del ciclo estral en bovinos y ovinos. Spei Domus, v. 7, n. 14, 2011. -/- COLAZO, Marcos Germán; MAPLETOFT, Reben. Fisiología del ciclo estral bovino. Ciencia Veterinaria, v. 16, n. 2, p. 31-46, 2017. -/- Fisiologia Clínica do Ciclo Estral de Vacas Leiteiras: Desenvolvimento Folicular, Corpo Lúteo e Etapas do Estro. Belo Jardim: IFPE, 2020. -/- Fisiologia da Reprodução Animal: Ovulação, Controle e Sincronização do Cio. Belo Jardim: IFPE, 2020. -/- DOBSON, H. et al. The high‐producing dairy cow and its reproductive performance. Reproduction in domestic animals, v. 42, p. 17-23, 2007. -/- DO VALLE, Ezequlel Rodrigues. O ciclo estral de bovinos e métodos de controle. EMBRAPA-CNPGC., 1991. -/- FURTADO, Diego Augusto et al. Inseminação artificial em tempo fixo em bovinos de corte. Revista científica eletrônica de medicina veterinária, v. 16, p. 1-25, 2011. -/- GALON, Nadav. The use of pedometry for estrus detection in dairy cows in Israel. Journal of Reproduction and Development, v. 56, n. S, p. S48-S52, 2010. -/- HOPPER, Richard M. (Ed.). Bovine reproduction. John Wiley & Sons, 2014. -/- LOPEZ, H.; SATTER, L. D.; WILTBANK, M. C. Relationship between level of milk production and estrous behavior of lactating dairy cows. Animal reproduction science, v. 81, n. 3-4, p. 209-223, 2004. -/- MACMILLAN, Keith L. Recent advances in the synchronization of estrus and ovulation in dairy cows. Journal of Reproduction and development, v. 56, n. S, p. S42-S47, 2010. -/- MUNIS DE OLIVEIRA, G. Fisiologia da Reprodução Bovina e Métodos de Controle do Ciclo Estral. Trabalho de conclusão do curso de especialização em Reprodução e Produção de Bovinos–UCB. Rio de Janeiro, Brasil, 2006. -/- O'CONNOR, MICHAEL L. Estrus detection. In: Current therapy in large animal theriogenology. WB Saunders, 2007. p. 270-278. -/- RIPPE, Christian A. El ciclo estral. In: Dairy Cattle Reproduction Conference. 2009. p. 111-116. -/- ROELOFS, Judith et al. When is a cow in estrus? Clinical and practical aspects. Theriogenology, v. 74, n. 3, p. 327-344, 2010. -/- VIVEIROS, Ana Tereza de Mendonça. Fisiologia da reprodução de bovinos. Lavras: UFLA, p. 62, 1997. (shrink)

The objective of this document is to present three introductory notes on set theory: The first note presents an overview of this discipline from its origins to the present, in the second note some considerations are made about the evaluation of reasoning applying the first-order Logic and Löwenheim's theorems, Church Indecidibility, Completeness and Incompleteness of Gödel, it is known that the axiomatic theories of most commonly used sets are written in a specific first-order language, that is, they are developed within (...) the framework of first-order logic, so this note is relevant; and the third note refers to the presence of mathematical platonism in the axioms of ZFC and in the axioms of "complete ordered field", it is known that the last axioms mentioned characterize (except isomorphism) the real number system and are currently used to develop the real Analysis in the context of set theory. It is hoped that this article will be of pedagogical utility for students interested in set theory and in the philosophy of mathematics (that are beginning in the subject). (shrink)

El objetivo de este trabajo es presentar en un solo cuerpo tres maneras de relativizar (o generalizar) el concepto de conjunto constructible de Gödel que no suelen aparecer juntas en la literatura especializada y que son importantes en la Teoría de Conjuntos, por ejemplo para resolver problemas de consistencia o independencia. Presentamos algunos modelos resultantes de las diferentes formas de relativizar el concepto de constructibilidad, sus propiedades básicas y algunas formas débiles del Axioma de Elección válidas o no válidas en (...) ellas. (shrink)

Para matemáticos interesados en problemas de fundamentos, lógico-matemáticos y filósofos de la matemática, el axioma de elección es centro obligado de reflexión, pues ha sido considerado esencial en el debate dentro de las posiciones consideradas clásicas en filosofía de la matemática (intuicionismo, formalismo, logicismo, platonismo), pero también ha tenido una presencia fundamental para el desarrollo de la matemática y metamatemática contemporánea. Desde una posición que privilegia el quehacer matemático, nos proponemos mostrar los aportes que ha tenido el axioma en varias (...) áreas fundamentales de la matemática, su aplicación en la lógica de primer orden, así como una breve descripción de las pruebas de consistencia relativa debidas a Gödel y Cohen, las cuales establecieron su independencia del sistema axiomático Zermelo-Fraenkel (ZF). Con todo lo anterior mostraremos cómo el quehacer matemático contemporáneo se adscribe al platonismo matemático en los términos de Bernays y Ferreirós. Revisaremos también los argumentos de Zermelo y Cantor para permitir el uso de asunciones en la matemática, los cuales se acercan a los planteamientos de la investigación científica y esbozan relaciones con la filosofía de la práctica matemática. Finalmente, justificamos el uso del axioma de elección en la contemporaneidad, abogando por unas relaciones de equidad entre la matemática y la filosofía, presentando además su plena vigencia, a través de la referencia a algunos problemas abiertos en la actualidad que vinculan el axioma de elección con la teoría de Ramsey. (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 Protein Ontology provides terms for and supports annotation of species-specific protein complexes in an ontology framework that relates them both to their components and to species-independent families of complexes. Comprehensive curation of experimentally known forms and annotations thereof is expected to expose discrepancies, differences, and gaps in our knowledge. We have annotated the early events of innate immune signaling mediated by Toll-Like Receptor 3 and 4 complexes in human, mouse, and chicken. The resulting ontology and annotation data set has (...) allowed us to identify species-specific gaps in experimental data and possible functional differences between species, and to employ inferred structural and functional relationships to suggest plausible resolutions of these discrepancies and gaps. (shrink)

It is sometimes claimed that conciliatory views on disagreement ultimately lead to either global or widespread scepticism. This is deemed to be a serious problem for conciliationism either because scepticism of either kind is a patently untenable stance or because it poses a serious threat to our intellectual and social lives. In this paper, I first argue that the alleged untenability of both types of scepticism is far from being obvious and should therefore be established rather than taken for granted, (...) and then that those who reject them because of the threat they pose surprisingly confuse pragmatic reasons with epistemic reasons. (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)

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)

The Protein Ontology (PRO) is designed as a formal and principled Open Biomedical Ontologies (OBO) Foundry ontology for proteins. The components of PRO extend from a classification of proteins on the basis of evolutionary relationships at the homeomorphic level to the representation of the multiple protein forms of a gene, including those resulting from alternative splicing, cleavage and/or posttranslational modifications. Focusing specifically on the TGF-beta signaling proteins, we describe the building, curation, usage and dissemination of PRO. PRO provides a framework (...) for the formal representation of protein classes and protein forms in the OBO Foundry. It is designed to enable data retrieval and integration and machine reasoning at the molecular level of proteins, thereby facilitating cross-species comparisons, pathway analysis, disease modeling and the generation of new hypotheses. (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)

Pyrrhonism was one of the two main ancient skeptical traditions. In this second paper of the three‐part series devoted to ancient skepticism, I present and discuss some of the issues on Pyrrhonian skepticism which have been the focus of much attention in the recent literature. The topics to be addressed concern the outlooks of Pyrrho, Aenesidemus, and Sextus Empiricus.

In his Pyrrhonian Outlines , Sextus Empiricus employs an argument based upon the possibility of disagreement in order to show that one should not assent to a Dogmatic claim to which at present one cannot oppose a rival claim. The use of this argument seems to be at variance with the Pyrrhonian stance, both because it does not seem to accord with the definition of Skepticism and because the argument appears to entail that the search for truth is doomed to (...) failure. In the present paper, I examine the passages in which Sextus utilizes the argument from possible disagreement and offer an interpretation that makes the use of this argument compatible with the Pyrrhonian outlook. (shrink)

The purpose of the present paper is twofold. First, to examine what beliefs, if any, underlie (a) the Pyrrhonist’s desire for ataraxia and his account of how this state may be attained, and (b) his philanthropic therapy, which seeks to induce, by argument, ejpochv and ataraxia in the Dogmatists. Second, to determine whether the Pyrrhonist’s philanthropy and his search for and attainment of ataraxia are, as scholars have generally believed, essential aspects of his stance.

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)

In this introductory chapter, I first offer an overview of the two themes addressed in the present collection - namely, disagreement and skepticism - and their connection, then present the purpose and content of the volume.

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)

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)

En este artículo realizamos una reconstrucción del Programa original de Hilbert antes del surgimiento de los teoremas limitativos de la tercera década del siglo pasado. Para tal reconstrucción empezaremos por mostrar lo que Torretti llama los primeros titubeos formales de Hilbert, es decir, la defensa por el método axiomático como enfoque fundamentante. Seguidamente, mostraremos como estos titubeos formales se establecen como un verdadero programa de investigación lógico-matemático y como dentro de dicho programa la inquietud por la decidibilidad de los problemas (...) matemáticos y en específico la decidibilidad de la Lógica de primer orden cobra peso. Luego pasamos a analizar como la inquietud por la decibilidad toma lugar dentro del pensamiento filosófico-matemático de Hilbert presentándose como uno de los grandes problemas a los cuales la metamatemática debe encontrar una solución, esto lo hacemos mostrando un contraste con autores, como John von Neumann y Roberto Torretti, quienes de alguna u otra manera no interpretan el problema de la decidibilidad de la Lógica de primer orden como un problema de peso dentro del programa original de Hilbert. Finalmente argumentamos que el resultado meta-teórico de Church puede entenderse como una refutación del optimismo intelectual que permea a todo el programa original de Hilbert. (shrink)

We study several perfect set properties of the Baire space which follow from the Ramsey property ω→(ω) ω . In particular we present some independence results which complete the picture of how these perfect set properties relate to each other.

In this paper, I critically engage with Casey Perin's interpretation of Sextan Pyrrhonism in his book, The Demands of Reason: An Essay on Pyrrhonian Scepticism. From an approach that is both exegetical and systematic, I explore a number of issues concerning the Pyrrhonist's inquiry into truth, his alleged commitment to the canons of rationality, and his response to the apraxia objection.

¿Qué ha pasado con el problema del cardinal del continuo después de Gödel (1938) y Cohen (1964)? Intentos de responder esta pregunta pueden encontrarse en los artículos de José Alfredo Amor (1946-2011), "El Problema del continuo después de Cohen (1964-2004)", de Carlos Di Prisco , "Are we closer to a solution of the continuum problem", y de Joan Bagaria, "Natural axioms of set and the continuum problem" , que se pueden encontrar en la biblioteca digital de mi blog de Lógica (...) Matemática y Fundamentos de la Matemática (ver). También en la entrada "The Continuum Hypothesis" de la web de Enciclopedia de Filosofía de la Universidad de Stanford existe información importante y actualizada al respecto. En esta breve nota se comenta sobre el tema de una manera divulgativa. (shrink)

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

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 .

El objetivo principal de este trabajo es presentar el sistema lógico que resulta de extender, de una manera natural, a la Silogística con la Lógica proposicional, y demostrar que tal extensión se puede caracterizar como un sistema axiomático. Los axiomas que se utilizan son los de Jan Łukasiewicz , y la completitud de tal sistema de axiomas se prueba utilizando un método análogo al método del conjunto maximal consistente con testigos de Henkin, siguiendo algunas ideas que utiliza John Corcoran para (...) probar que su sistema de reglas de inferencia para la Silogística es completo. (shrink)

Este trabalho tem por objetivo a compreensão da ação em Aristóteles. Para este fim será utilizado o livro III da Ética a Nicômaco, passando antes por uma breve definição da virtude, tal como aparece no livro II, a qual, pode-se dizer ser o bem para a ação, na medida em que é aquilo que se deve alcançar com ela. No campo específico da ação será visto como ela pode ser distinguida entre voluntária, involuntária e não-voluntária. Neste espectro insere-se igualmente a (...) discussão sobre o que significa agir por e na ignorância. Além disso, se abordará também a questão relacionada à deliberação e à escolha.: This study aims to understand the action in Aristotle. For this purpose, we will use the book III of the Nicomachean Ethics, after doing a brief definition of virtue, as it appears in the Book II, which can be said to be the good for the action, as that is what should be reached by her. In the specific field of action, it will be seen how she can be distinguished between voluntary, involuntary and non-voluntary. This spectrum is also part of the discussion about what it means to act by and in the ignorance. In addition, the study will also address the issue related to deliberation and choice. Keywords: Deliberation, Choice, Action, Nicomachean Ethics. (shrink)

El objetivo de este artículo es presentar dos tópicos de Lógica matemática y sus fundamentos: El primer tópico es una actualización de la demostración de Alonzo Church del Teorema de completitud de Gödel para la Lógica de primer orden, la cual aparece en su texto "Introduction to Mathematical Logic" (1956) y usa el procedimientos efectivos de Forma normal prenexa y Forma normal de Skolem; y el segundo tópico es una demostración de que la propiedad de partición (tipo Ramsey) del espacio (...) topológico de Baire llamada "Propiedad de partición polarizada" es falsa en el Modelo Básico de Cohen. (shrink)

The present paper has two, interrelated objectives. The first is to analyze the different senses in which arguments are characterized as persuasive in the extant writings of Sextus Empiricus. The second is to examine the Pyrrhonist’s therapeutic use of arguments in the discussion with his Dogmatic rivals – more precisely, to determine the sense and basis of Sextus’ distinction between therapeutic arguments that appear weighty and therapeutic arguments that appear weak in their persuasiveness.

We take kelp as material entities immersed in a multitude of relations with other creatures (for whom kelp serves as both nourishment and shelter) and inorganic elements of the milieu it resides in, on the one hand, and as a figuration: a material-semiotic “map of contestable worlds” that encompasses entangled threads of “knowledge, practice and power” (Haraway 1997, 11) in its local and global sense, on the other. While drawing on our field notes from the congress and feminist posthumanities and (...) environmental humanities literatures (e.g. Alaimo 2016; Åsberg & Braidotti 2018; Sandilands & Erickson 2010; Iovino & Opperman 2014) – with a special focus on the so-called blue humanities/oceanic humanities (e.g. DeLoughrey 2019) – that unpack human/nonhuman relations in the context of the current environmental crisis and the accompanying “slow violence” (Nixon 2011), we mobilise a reflection on and make a proposal for “thinking with kelp” as a multi-faceted methodology of transversal and transdisciplinary knowledge production and practices: situated (Haraway 1988), enfleshed, transcorporeal (Alaimo 2010), collaborative, and committed to an ethics of multispecies response-ability (Haraway 2008). (shrink)

The question of whether the Pyrrhonist adheres to certain logical principles, criteria of justification, and inference rules is of central importance for the study of Pyrrhonism. Its significance lies in that, whereas the Pyrrhonist describes his philosophical stance and argues against the Dogmatists by means of what may be considered a rational discourse, adherence to any such principles, criteria, and rules does not seem compatible with the radical character of his skepticism. Hence, if the Pyrrhonist does endorse them, one must (...) conclude that he is inconsistent in his outlook. Despite its import, the question under consideration has not received, in the vast literature on Pyrrhonism of the past three decades, all the attention it deserves. In the present paper, I do not propose to provide a full examination of the Pyrrhonist’s attitude towards rationality, but to focus on the question of whether he endorses the law of non-contradiction (LNC). However, I will also briefly tackle the question of the Pyrrhonist’s outlook on both the canons of rational justification at work in the so-called Five Modes of Agrippa and the logical rules of inference. In addition, given that the LNC is deemed a fundamental principle of rationality, determining the Pyrrhonist’s attitude towards it will allow us to understand his general attitude towards rationality. (shrink)

The purpose of this paper is twofold: to discuss some challenging issues concerning Sextus’ works and outlook, and to offer an overview of the influence exerted by Sextan Pyrrhonism on both early modern and contemporary philosophy.

This paper approaches the current epistemological debate on peer disagreement from a neo-Pyrrhonian perspective, thus adopting a form of skepticism which is more radical than those discussed in the literature. It makes use of argumentative strategies found in ancient Pyrrhonism both to show that such a debate rests on problematic assumptions and to block some maneuvers intended to offer an efficacious way of settling a considerable number of peer disputes. The essay takes issue with three views held in the peer (...) disagreement debate: there is an objective fact of the matter about at least most controversial questions; we possess theory-neutral evidence bearing on those questions which grants us access to the truth of the matter; and many peer controversies are resolved by attending to which disputant has correctly evaluated the objective evidence. With respect to the first two views, it is argued that the belief in both objective facts and theory-neutral evidence is subject to fierce dispute, and should not therefore be taken for granted in the discussion of peer disagreement. As for the third view, it is argued that from either a first- or a third-person perspective, there seems to be epistemic symmetry between the disputants which makes it necessary to suspend judgment. (shrink)

En este trabajo matemático-filosófico se estudian cuatro tópicos de la Lógica matemática: El método de construcción de modelos llamado Ultraproductos, la Propiedad de Interpolación de Craig, las Álgebras booleanas y los Órdenes parciales separativos. El objetivo principal del mismo es analizar la importancia que tienen dichos tópicos para el estudio de los fundamentos de la matemática, desde el punto de vista del platonismo matemático. Para cumplir con tal objetivo se trabajará en el ámbito de la Matemática, de la Metamatemática y (...) de la Filosofía de la matemática. El desarrollo de la investigación arrojó como resultado que tales tópicos son muy importantes para el estudio de los fundamentos de la matemática, desde el punto de vista del platonismo matemático, y en el trabajo se explica detalladamente con abundantes ejemplos el porqué (al final de cada sección y al final del mismo). (shrink)

Es conocido que el método de forcing es una de las técnicas de construcción de modelos más importantes de la Teoría de conjuntos en la actualidad, siendo el mismo muy útil para investigar problemas de matemática y/o de fundamentos de la matemática. El destacado matemático Joan Bagaria afirma lo siguiente sobre el método de forcing en su artículo "Paul Cohen y la técnica del forcing" (Gaceta de la Real Sociedad Matemática Española, Vol. 2, Nº 3, 1999, págs 543-553) : "Aunque (...) Cohen recibió la medalla Fields por su demostración de la independencia de la hipótesis del continuo y del axioma de elección, su contribución va mucho más allá de estos problemas. Su nuevo método, el forcing, no sólo ha permitido resolver un sinfín de problemas importantes en prácticamente todas las áreas de las matemáticas, si no que ha cambiado para siempre nuestra concepción de la matemática como ciencia". El objetivo principal del siguiente trabajo es estudiar el método de forcing describiendo algunas de sus aplicaciones (forcing de Cohen, forcing aleatorio, forcing de Mathias, forcing de Sacks, forcing de Silver, etc.), y ofreciendo una aproximación a sus fundamentos metamatemáticos. Se aspira que estas notas sirvan de apoyo para aprender dicho método. (shrink)

Es conocido que el Teorema de Completitud de Gödel, el Teorema del Colapso Transitivo de Mostowski y el Principio de Reflexión son resultados muy útiles en las investigaciones de Lógica matemática y/o los Fundamentos de la matemática. El objetivo de este trabajo es presentar algunas demostraciones clásicas de tales resultados: Dos del Teorema de Completitud de Gödel, una del Teorema del Colapso Transitivo de Mostowski y una del Principio de Reflexión. Se aspira que estas notas sean de utilidad para estudiar (...) dichas pruebas. Vale la pena resaltar que entre los métodos matemáticos que se utilizan en tales demostraciones se encuentran: (1) La técnica de construcción de modelos a partir de constantes (o "método del conjunto maximal consistente con un conjunto de testigos" de Henkin) y (2) el Principio de inducción matemática en varias versiones [ (2.1) Inducción matemática sobre los números naturales y (2.2) Inducción transfinita ((2.2.1) Inducción transfinita sobre conjuntos bien ordenados cualesquiera, por ejemplo sobre un cardinal infinito Alef_alfa, (2.2.2) Inducción transfinita sobre una clase de conjuntos bien ordenada, por ejemplo sobre la "clase de todos los ordinales, finitos o infinitos", y (2.2.3) Inducción transfinita sobre relaciones bien fundamentadas, por ejemplo sobre la "relación de pertenencia" entre conjuntos)]. (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)

It is generally agreed that one of the key differences between ancient skepticism and modern and contemporary skepticism is that the ancient skeptic does not call into question the existence of the external world, but only our ability to know the properties or qualities of external objects. In this paper, I argue that in Sextus Empiricus's attack on the Epicurean criterion of truth one finds evidence that the ancient Pyrrhonist also suspends judgment about the existence of external objects.