RESUMO A Transferência de Embrião (TE) em bovinos se trata de uma técnica mundialmente disseminada com objetivo de aumentar a capacidade reprodutiva da fêmea. Mantém vínculo direto com outras técnicas das biotecnologias da reprodução, como, a Ovum Pick-Up (OPU), Produção In Vitro e In Vivo de embriões (PIVE) e Transferência de Embrião em Tempo Fixo (TETF), sendo estas, técnicas que fazem parte de um processo, que vai desde a seleção de doadoras, passando pelo preparo dos embriões até sua inovulação em (...) receptoras criteriosamente selecionadas. Com seu avanço, várias tecnologias de manejo vêm sendo implantadas: formas no transporte de embriões, protocolos de sincronização de doadoras e receptoras, e protocolos de recuperação de oócitos para produção de embriões. Isto infundiu a tecnologia, porém, os investimentos previstos para a produção de um animal de alto mérito genético limita sua utilização. Contudo, esta análise abordou avanços tecnológicos essenciais para o sucesso da TE, incluindo novos protocolos, sexagem de embriões, além do uso de embriões congelados Direct Transfer (DT) e vitrificados. No entanto, é claro que o sucesso do procedimento está no processo como um todo, em destaque ressalta-se que é de grande valia que o profissional apto a executar a técnica esteja sempre preparado e atualizado garantindo qualidade, eficiência e sustentabilidade na pecuária. Esta revisão foi desenvolvida com o propósito de adquirir conhecimento teórico, de forma detalhada e crítica, nas técnicas e procedimentos de Transferência de Embriões em bovinos, incluindo a colheita, manipulação e implantação de embriões. Palavras-chaves: Bovino, doadora, embrião, receptora. ABSTRACT Embryo Transfer (ET) in cattle is a globally widespread technique aimed at enhancing the reproductive capacity of females. It is closely linked to other techniques in reproductive biotechnologies, such as Ovum Pick-Up (OPU), In Vitro and In Vivo Embryo Production (PIVE), and Timed Embryo Transfer (TET), all of which are part of a process that ranges from donor selection, through embryo preparation, to their inoculation into carefully chosen recipients. With its advancement, various management technologies have been implemented: including methods for embryo transport, synchronization protocols for donors and recipients, and oocyte recovery protocols for embryo production. Although technology has been infused, the anticipated investments for producing animals of high genetic merit limit its widespread use. However, this analysis addressed essential technological advances for the success of ET, including new protocols, embryo sexing, as well as the use of frozen-thawed (DT) and vitrified embryos. Nevertheless, it is clear that the success of the procedure lies in the entire process. Notably, it emphasizes the significant value of having a qualified professional who is always prepared and updated to ensure quality, efficiency, and sustainability in livestock farming. This literary review was developed with the purpose of acquiring theoretical knowledge, in a detailed and critical way, on the techniques and procedures of Embryo Transfer in cattle, including the collection, manipulation and implantation of embryos. Keywords: Bovine, donor, embryo, recipient. -/- REFERÊNCIAS BIBLIOGRÁFICAS BARUSELLI, P.S; MADUREIRA, E.H. Controle farmacológico do ciclo estral em ruminantes. 2000, Anais.. São Paulo: Fundação da Faculdade de Medicina Veterinária e Zootecnia, USP, 2000. BARUSSELI, P.S. et al. Importância do emprego da eCG em protocolos de sincronização para IA, TE e SOV em tempo fixo. Biotecnologia de reprodução em bovinos (3° Simpósio Internacional de Reprodução Animal Aplicada). 2008. BRANDÃO, G.V.R. Revisão de Literatura: Transferência de Embrião em Bovinos. Curitibanos-SC, 2019. BUENO, A.P.; BELTRAN, M.P.; Produção in vitro de embriões bovinos. Revista Científica Eletrônica De Medicina Veterinária. ISSN 1679-7353, ano VI, n.11, Julho, 2008. CAETANO, S.G; SILVA, N.V.S. Inseminação artificial de bovnos em tempo fixo (IATF) – Revisão de literatura. UNIFUCAMP, Monte Carmelo- M.G, Junho, 2023. CARVALHO, V.H.S. et al. Impactos das biotécnicas da reprodução animal e o melhoramento genético na pecuária de corte. PUBVET, São Luis De Montes Belos, v.17, n.8, p.1-10, 2023 DANTAS, K.S.A.; NUNES, C. C. C.; FERREIRA, J.; DANTAS, R. A. A. Seleção de receptoras em um programa de transferência de embriões (PIVE) em bovinos no Nordeste do Brasil. Ciência Animal, Fortaleza, v. 28, p. 1-14, 2018. DA SILVA, Emanuel Isaque Cordeiro. Fisiologia Clínica do Ciclo Estral de Vacas Leiteiras: Desenvolvimento Folicular, Corpo Lúteo e Etapas do Estro. 2020. DA SILVA, Emanuel Isaque Cordeiro. Fisiologia da Reprodução de Bovinos Leiteiros: Aspectos Básicos e Clínicos. Emanuel Isaque Cordeiro da Silva, 2022. DA SILVA, Emanuel Isaque Cordeiro. Fisiologia do ciclo estral dos animais domésticos. Emanuel Isaque Cordeiro da Silva, 2021. DA SILVA, Emanuel Isaque Cordeiro. Transferência de Embriões nos Animais e a Indústria de Embriões no Brasil. DIAS, L.R.O. Fatores que afetam a produção de embriões pela Transferência Intrafolicular de Ovócitos Imaturos (TIFOI) em bovinos. 2021. 85 f. Tese (Doutorado em [nome do programa]) - Faculdade de Agronomia e Medicina Veterinária, Universidade de Brasília, Brasília, 2021. DOMINGUES, P.F.; LANGONI, H. Manejo Sanitário Animal. Editora de Publicações Biomédicas Ltda - EPUB, Rio de Janeiro, 2001. 209 p. EMBRAPA. MINERAIS NA EFICIÊNCIA REPRODUTIVA DE BOVINOS. SÃO CARLOS- SÃO PAULO 2008. FIDELIS, C.A.S. Inseminação artificial em tempo fixo intracornual profunda em bovinos. Dissertação (mestrado acadêmico). Araguaína - TO, 2019. GONÇALVES, R.L.R.; VIANA, J.H.M. Situação atual da produção de embriões bovinos no Brasil e no mundo. In: Anais do XXIII Congresso Brasileiro de Reprodução Animal, 2019, Gramado, RS, 2019, p. 156-159. GOUVEIA, F.F. A Produção in vitro de embriões Bovinos. Monografia (Conclusão do curso de Medicina Veterinária) – Faculdade de Agronomia e Medicina Veterinária, Universidade de Brasília, Brasília, DF, 2011. GREGIANINI, J.T.F. et al. Avaliação de embriões bovinos utilizando sêmen sexado e convencional. In: SEMINÁRIO DA EMBRAPA ACRE DE INICIAÇÃO CIENTÍFICA E PÓS-GRADUAÇÃO, 4., 2021, Rio Branco, AC. Atividades agropecuárias e florestais para o desenvolvimento sustentável da Amazônia: Anais... Rio Branco, AC: Embrapa Acre, 2022. Pôster. GUARDA, A.C.A. Biotecnologia na reprodução animal: Uma visão teórico/prática de produção in vitro de embriões bovino. 2023. 28p. Trabalho de Conclusão de curso (Bacharelado de Zootecnia). Instituto Federal de Educação, Ciência e Tecnologia Goiano – Câmpus Rio Verde, Rio Verde, GO, 2023. HAFEZ, E.S.E.; HAFEZ. Reprodução animal / [coordenador de tradução da 7. ed. original Renato Campanarut Barnabe]. – Barueri, SP : Manole, 2004, il.; HONORATO, M.T. et al. Importância da escolha de receptoras em um programa de transferência de embriões em bovinos. PUBVET, Londrina, V. 7, N. 19, Ed. 242, Art. 1601, Outubro, 2013. HOPPER, R.M. Bovine Reproduction. Wiley Blackwell, Capítulo 78, p. 723-733, 2015. LIMA, Fabio Junior Arruda. Transferência de embriãos em tempo fixo em bovinos: Relato de Caso. Trabalho de Conclusão de Curso (graduação em medicina veterinária)- Universidade Federal de Santa Catarina-Campus Curitibanos. Curitibanos, 2018. MACHADO, R. et al. Metodologia para obtenção de concepto bovino. Embrapa Pecuária Sudeste, ISSN 1981-2078, São Carlos-SP, 2009. Disponível em:. Acessado em 11 de outubro, 2023 BASTOS, M.R. et al. Criopreservação de embriões bovinos produzidos in vitro. In: MENDONÇA, P. P. et al. (Org.). Tópicos Especiais em Ciência Animal XI. 1. ed. Alegre: CAUFES, 2022. Capítulo 13. MELO, R. et al. Utilização de ECG e FSH em protocolos de superovulação em bovinos. Manejo, Nutrição e Produção Animal: Tópicos Atuais em Pesquisa, v. 1, n. 1, p. 110-116, 2023. OLIVEIRA, C.S. et al. Biotécnicas da Reprodução em Bovinos. EMBRAPA, 2014. PASA, C. Transferência de embriões em bovinos. Biodiversidade, v. 7, n. 1, 2008. PAZZIM, L.V.L. Transferencia de embriões em bovinos: Revisão de literatura. Monografia (Trabalho conclusão de curso) - Universidade federal de Santa Catarina. Curitibanos, 2021. PENITENTE FILHO, J.M. et al. Produção de embriões bovinos in vivo e in vitro. Revista CFMV, Ano XX, p. 73-82, 2014. PENITENTE FILHO, J.M. Produção de Embriões Bovinos In Vivo e In Vitro. 2011. 22 f. Monografia (Especialização) - Curso de Medicina Veterinária, UFV, Viçosa, 2011. PILLA, L.F.C. Congelamento ultra-rapido de embriões bovinos com etilenoglicol associado ou não a trealose. 2005. 37f. Dissertação (Mestrado em Area de concentração em Fisiopatologia da Reprodução), Universidade Federal de Santa Maria, Santa Maria. RIBEIRO, L.V.P.; RIGOLON, L.P.; CAVALIERI, F.L.B.; SEKO, M.B.; MARTINEZ, A.C.; RIBEIRO, M.G.; MARTINS, R.R.; ÁVILA, M.R.; DE CONTI, J.B. Recuperação de oócitos e recuperação in vitro de embriões de vacas estimuladas com FSH ou eCG. Archivos de zootecnia. v. 60, n. 232, p. 1021-1029, 2011. ROCHA, J.R.; SANTOS, L.M. As vantagens da sexagen de embriões em bovinos. Revista científica eletrônica de medicina veterinária, ano IV, n.8, janeiro de 2007. RUBIN, M.I.B; Histórico dos 20 anos da Sociedade Brasileira de Tecnologia de Embriões, 2005. SANTOS, P.H. Impactos da superestimulação ovariana sore a diferenciação das celulas da grranulosa bovina. Dissertação de Mestrado em Farmacologia e Biotecnologia - UNESP. 2017. SEIDEL, G.E.J.; SEIDEL, S. M. Training manual for embryo transfer in cattle 2005. SENEDA, M.M.; ESPER, C.R.; GARCIA, J.M.; ANDRADE, E.R. Aspecto técnicos e biológicos da obtenção de oócitos bovinos: Revisão de Literatura. Ciências agrárias, Londrina, v. 23, n. 1, p. 101-110, 2002. SILVA, D.P.; TOLEDO, H.R.P.; SILVA, R.A.B.; CARVALHO, G.F.; MELO, A.F.; GARCIA, M.S.; et al. Transferência Intrafolicular de Ovócitos Imaturos (TIFOI): revisão de literatura. Zootecnia: Pesquisa e práticas contemporâneas - volume 2, 255-266, 2021. SPELL, A.R.; BEAL, W.E.; CORAH, L.R.; LAMB, G.C. Evaluating recipient and embryo factors that affect pregnancy rates of embryo transfer in beef cattle. Theriogenology, v. 56, p. 287-297, 2001. SPRÍCIGO, J.F.W.; DODE, M.A.N. Transferência Intrafolicular de Ovócitos Imaturos (TIFOI): uma Alternativa para Produção de Embriões Bovinos. Embrapa Recursos Genéticos e Biotecnologia, Brasília, 2016. VALLE, E.R. O ciclo estral de bovinos e os métodos de controle. EMBRAPA, 1991. VIANA, J.H.M. Classificação de embriões bovinos produzidos in vivo. Comunicado Técnico (EMBRAPA). ISSN 1678-3131, Juiz De Fora-MG, Novembro, 2009. VIANA, J.H.M. 2017 Statistics of embryo production and transfer in domestic farm animals: Is it a turning point? In 2017 more in vitro-produced than in vivo-derived embryos were transferred worldwide. Embryo Transfer Newsl, v.36(4), p.8-25, 2018. VIANA, J.H.M.; SIQUEIRA, L.G.; PALHAO, M.P.; CAMARGO, L.S.A.; Features and perspectives of the Brazilian in vitro embryo industry. Anim Reprod, v.9, p.12-18, 2012. WÜNSCHE JÚNIOR, A.G et al. Avaliação de uma segunda lavagem uterina sobre a recuperacão de embriões em vacas Nelore. Semina: Ciências Agrárias, Londrina, v. 29, n.3, p. 677-684, jul./set. 2008. (shrink)

This paper looks at nearly four dozen world religion textbooks used in western academia to show the lack of discussion, and even mention, of Tulsidas and Ram bhakti in the Hindu tradition in the vast majority of the texts.

The chapter focuses on the yogic and other ascetic practices of the sadhus of the Ramananda Sampraday, the largest renunciant order in the world.

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

Artificial Intelligence and Sensor Technologies the Future of Special Education for Students with Intellectual and Developmental Disabilities.

Logic arguably plays a role in the normativity of reasoning. In particular, there are plausible norms of belief/disbelief whose antecedents are constituted by claims about what follows from what. But is logic also relevant to the normativity of agnostic attitudes? The question here is whether logical entailment also puts constraints on what kinds of things one can suspend judgment about. In this paper I address that question and I give a positive answer to it. In particular, I advance two logical (...) norms of agnosticism, where the first one allows us to assess situations in which the subject is agnostic about the conclusion of a valid argument and the second one allows us to assess situations in which the subject is agnostic about one of the premises of a valid argument. (shrink)

In this paper I present reasons for us to accept the hypothesis that suspended judgment has correctness conditions, just like beliefs do. Roughly put, the idea is that suspended judgment about p is correct when both p and ¬p might be true in view of certain facts that characterize the subject’s situation. The reasons to accept that hypothesis are broadly theoretical ones: it adds unifying power to our epistemological theories, it delivers good and conservative consequences, and it allows us to (...) assess processes of reasoning involving attitudes of suspended judgment. (shrink)

Let T be any logical truth. Does the subject know that T (any random subject)? It is not rational for any subject to believe that they don’t, whoever they are. Similarly, it is not rational for them to believe that their evidence doesn’t support T, and it is not even rational for them to believe that they don’t believe that T. It is not rational for anyone anywhere at any time to believe that they don’t know that T. Such are (...) the conclusions arrived at in this paper. (shrink)

A short story about love, suspense and criminal inclinations. Un relato literario sobre amor y proyecciones criminales.

Just started a new book. The aim is to establish a science of knowledge in the same way that we have a science of physics or a science of materials. This might appear as an overly ambitious, possibly arrogant, objective, but bear with me. On the day I am beginning to write it–June 7th, 2020–, I think I am in possession of a few things that will help me to achieve this objective. Again, bear with me. My aim is well (...) reflected in the title I chose (just now) for this book: Knowledge & Logic: Towards a science of knowledge. Its most important feature is that I shall take logic to be to knowledge science as calculus is to physics or to materials science. I do not intend to reclaim knowledge from the bosom of philosophy, in which, known as epistemology its erudite discussion has hardly progressed since Plato first defined it as true belief with logos. With only a few adjustments, it will actually provide me with the right, science-bound start. More recently, knowledge has been reclaimed by the field of BA, a reclaim that has opened the box of Pandora: Among the evils, and perhaps at the head of the list, is an overly lay, essentially naive, notion of knowledge. But the very idea that one can have something like “knowledge (management) software” puts us on the right track. (shrink)

Deontological evidentialism is the claim that we ought to form and maintain our beliefs in accordance with our evidence. In this paper, I criticize two arguments in its defense. I begin by discussing Berit Broogard’s use of the distinction between narrow-scope and wide-scope requirements against W.K. Clifford’s moral defense of. I then use this very distinction against a defense of inspired by Stephen Grimm’s more recent claims about the moral source of epistemic normativity. I use this distinction once again to (...) argue that Hilary Kornblith’s criticism of Richard Feldman’s defense of is incomplete. Finally, I argue that Feldman’s defense is insensitive to the relation between normative requirements and privileged values: values that have normative authority over us. (shrink)

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

Are philosophy and literature allies or enemies in Jorge Luis Borges's fictions? In this paper, I argue that Borges can satisfy membership in the allies camp because his fictions provide the imaginative scenarios the allies believe are so necessary to this coalition; however, because his stories question philosophy's hold on reality, they can also seem to fall into the enemies camp by countervailing any claim philosophy has on reality and truth; although, ultimately, the manner in which Borges forges an alliance (...) between philosophy and literature will be for reasons not traditionally accepted by those in either the allies or enemies camps. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

In this editorial, I explain how Paul Feyerabend's Principle of Proliferation is adopted and adapted as a publication model for the Journal of Knowledge Structures and Systems (JKSS). Critical views on the limitations of both non-dynamic publishing models and government- and industry-based models of research are expressed.

Why should we avoid incoherence? An influential view tells us that incoherent combinations of attitudes are such that it is impossible for all of those attitudes to be simultaneously vindicated by the evidence. But it is not clear whether this view successfully explains what is wrong with certain akratic doxastic states. In this paper I flesh out an alternative response to that question, one according to which the problem with incoherent combinations of attitudes is that it is impossible for all (...) of those attitudes to be simultaneously knowledgeable. This alternative response explains what is wrong with akratic combinations of attitudes using commonly accepted epistemological theses. The paper still shows how this proposal is able to explain the badness of incoherent combinations involving the absence of attitudes, suspended judgment and credence. These explanations deploy the notions of knowledge and being in a position to know, instead of the notion of responding properly to the evidence. Finally, I suggest that this picture can be generalized to the realm of practical rationality as well. (shrink)

Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...) deductive programming. (shrink)

To most of us – believers and non-believers alike – the possibility of a perfect God co-existing with the kinds of evil that we see calls out for explanation. It is unsurprising, therefore, that the belief that God must have justifying reasons for allowing all the evil that we see has been a perennial feature of theistic thought. Recently, however, a growing number of authors have argued that the existence of a perfect God is compatible with the existence of gratuitous (...) evil. Given powerful, millenia-long sensibilities about power and love and justice, it isn’t hard to find that suggestion simply incredible. Nonetheless, in this paper I will argue that the most prominent theistic alternatives to what has seemed incredible to most of us throughout most of history are themselves patently unacceptable for the theist as well. On any of the most widely accepted accounts of how God could have justifying reasons for permitting some evils, God’s existence means that we have justifying reasons for perpetrating and allowing every evil that we see. That's hard to swallow too. If I’m right about all of this, then two competing outcomes seem to present themselves as a possible result. On the one hand, for the theist, the apparently outrageous suggestion that the existence of a perfect God is compatible with gratuitous evil no longer looks like it faces a formidable, hard-to-resist alternative. On the other hand, some like me might think that my arguments go no distance at all towards dispelling the incredibility of the gratuitous evil nouvelle vague. On this line, theism may seem now to be between the rock and the hard place: it seems hard to make sense of the existence of a perfect God whether or not He has justifying reasons for allowing all the evil that we see. (shrink)

Given plausible assumptions about the nature of evidence and undercutting defeat, many believe that the force of the evidential problem of evil depends on sceptical theism’s being false: if evil is...

Paul Silva has recently argued that doxastic justification does not have a basing requirement. An important part of his argument depends on the assumption that doxastic and moral permissibility have a parallel structure. I here reply to Silva's argument by challenging this assumption. I claim that moral permissibility is an agential notion, while doxastic permissibility is not. I then briefly explore the nature of these notions and briefly consider their implications for praise and blame.

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

This is not a guide for your writing process. You should write in whatever way expressing and making sense of your ideas feels most natural and most productive to you. This is a guide for organizing your ideas, after you have captured some of them in fits and starts of prose, into a particular kind of final product: the basic philosophy paper.

The paper is concerned with the rational requirements for suspended judgment, or what suspending judgment about a question rationally commits one to. It shows that two purported rational requirements for suspended judgment cannot both be true at the same time, at least when the entailment relation between questions is understood a certain way. The first one says that one is rationally required to suspend judgment about those questions that are entailed by the questions that one already suspends judgment about. The (...) second one says that one is rationally required to believe the presuppositions of the questions one suspends judgment about. Two plausible solutions to the problem are discussed. One of them explicates the relation of entailment between questions in an alternative manner, and the other one rejects the presupposition requirement. Either way, a closure requirement for suspended judgment can be maintained which is analogous to the closure requirement for belief. Whereas belief is ideally closed under entailment between propositions, suspended judgment is ideally closed under entailment between questions. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

This paper deals with a relatively recent trend in the history of analytic philosophy, philosophical logic, and theory of science: the philosophical study of the role of inconsistency in empirical science. This paper is divided in three sections that correspond to the three types of inconsistencies identified: (i) factual, occurring between theory and observations, (ii) external, occurring between two mutually contradictory theories, and (iii) internal, characterising theories that entail mutually contradictory statements.

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

One of the few points of agreement between most theists and non-theists working on the problem of evil is that the existence of a perfect God is incompatible with the existence of pointless evil. In a series of influential papers, however, Peter van Inwagen has argued that careful attention to the reasoning behind this claim reveals fatal difficulties related to the Sorites Paradox. In this paper, I explain van Inwagen’s appeal to sorites reasoning, distinguish between two different arguments in his (...) work, and argue that they both commit the same so-far-unnoticed mistake. (shrink)

The purpose of this paper is to examine the peculiarity of what Aristotle named practical wisdom or practical knowledge. Pivot to our analysis is the first thesis of the Nicomachean Ethics, where the philosopher appears to state a fallacy when he argues that, given that all actions aim at some good, good is that which every action aims to. We argue that the inference is non-fallacious because of the peculiarity of the practical domain, which manifests itself in the identity of (...) the good and the end. This identity is in the origin of what we would call, as an hypothesis, practical significance. (shrink)

Epistemologists often describe subjects as being capable of adopting a third kind of categorical doxastic stance regarding whether something is the case, besides belief and disbelief. They deploy a variety of idioms in order to ascribe that stance. In this paper, I flesh out the properties that the third kind of categorical stance is supposed to have and start searching for the best ways to ascribe it. The idioms ‘suspends judgment about whether’ and ‘is agnostic about whether’, among others, are (...) found to be unfit to play the desired role. In the end, I suggest that ‘is in doubt as to whether’ is our best choice among the alternatives surveyed here. (shrink)

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

Throughout the present text, an account of the main contributions of Luis Villoro Toranzo will be made as a tribute to three years after his death.

There are many ways in which a speaker can confuse their audience. In this paper, I will focus on one such way, namely, a way of talking that seems to manifest a cross-level kind of cognitive dissonance on the part of the speaker. The goal of the paper is to explain why such ways of talking sound so twisted. The explanation is two-pronged, since their twisted nature may come either from the very mental states that the speaker thereby makes manifest, (...) or from how the speaker chooses to express themselves (even if there is nothing wrong with their mental states). So-called ‘Moore-paradoxical’ utterances are but one example of the phenomenon, and the explanation of what is wrong about them is subsumed under a more general explanation here—one that captures also the twisted-ness of utterances whereby questions are raised or intentions expressed. (shrink)

Deontological evidentialism is the claim that S ought to form or maintain S’s beliefs in accordance with S’s evidence. A promising argument for this view turns on the premise that consideration c is a normative reason for S to form or maintain a belief that p only if c is evidence that p is true. In this paper, I discuss the surprising relation between a recently influential argument for this key premise and the principle that ought implies can. I argue (...) that anyone who antecedently accepts or rejects this principle already has a reason to resist either this argument’s premises or its role in support of deontological evidentialism. (shrink)

Aesthetic subjectivism takes the truth of aesthetic judgments to be relative to the individual making that judgment. Despite widespread suspicion, however, this does not mean that one cannot be wrong about such judgments. Accordingly, this does not mean that one cannot gain higher-order evidence of error and fallibility that bears on the rationality of the aesthetic judgment in question. In this paper, we explain and explore these issues in some detail.

My starting point is what I call the Normative Authority Conception of justification, where S is justified in their belief that p at t (to some degree n) if and only if their believing that p at t is not ruled out by epistemic norms that have normative authority over S at t. With this in mind, this paper develops an account of doxastic justification by first developing an account of the normative authority of epistemic norms. Drawing from work in (...) political philosophy, I argue that (a) the cognitive and evaluative commitments and concerns behind our actual practices of holding each other and ourselves accountable for our beliefs reveal which epistemic norms we have consented to be under, and that (b) it is because we have consented to be under the authority of these norms – by actually holding ourselves and others accountable to them – that they in turn have normative authority over us. By connecting the authority of epistemic norms to the authority we have over ourselves in this way, the resulting account of doxastic justification (i) explains why it can be appropriate to criticize, resent, or sanction someone for having unjustified beliefs, (ii) avoids the phenomena of normative alienation and normative parochialism, and (iii) respects the social and collective nature of epistemic justification. (shrink)

Recent investigations surprisingly indicate that single RNA "stem-loops" operate solely by chemical laws that act without selective forces, and in contrast, self-ligated consortia of RNA stem-loops operate by biological selection. To understand consortial RNA selection, the concept of single quasi-species and its mutant spectra as drivers of RNA variation and evolution is rethought here. Instead, we evaluate the current RNA world scenario in which consortia of cooperating RNA stem-loops are the basic players. We thus redefine quasispecies as RNA quasispecies consortia (...) and argue that it has essential behavioral motifs that are relevant to the inherent variation, evolution and diversity in biology. We propose that qs-c is an especially innovative force. We apply qs-c thinking to RNA stem-loops and evaluate how it yields altered bulges and loops in the stem-loop regions, not as errors, but as a natural capability to generate diversity. This basic competence-not error-opens a variety of combinatorial possibilities which may alter and create new biological interactions, identities and newly emerged self identity functions. Thus RNA stem-loops typically operate as cooperative modules, like members of social groups. From such qs-c of stem-loop groups we can trace a variety of RNA secondary structures such as ribozymes, viroids, viruses, mobile genetic elements as abundant infection derived agents that provide the stem-loop societies of small and long non-coding RNAs. (shrink)

Deontological internalism is the family of views where justification is a positive deontological appraisal of someone's epistemic agency: S is justified, that is, when S is blameless, praiseworthy, or responsible in believing that p. Brian Weatherson discusses very briefly how a plausible principle of ampliative transmission reveals a worry for versions of deontological internalism formulated in terms of epistemic blame. Weatherson denies, however, that similar principles reveal similar worries for other versions. I disagree. In this article, I argue that plausible (...) principles of ampliative transmission reveal a worry for deontological internalism in general. (shrink)

This paper defends a novel account of how to determine the intrinsic value of possible worlds. Section 1 argues that a highly intuitive and widely accepted account leads to undesirable consequences. Section 2 takes the first of two steps towards a novel account by clarifying and defending a view about value-contribution that is based on some of W. D. Ross’ claims about the value of pleasure. Section 3 takes the second step by clarifying and defending a view about value-suppression that (...) is based on Ross’ claims about the interplay between prima-facie duties. Section 4 states and defends the account that I call Rossian Totalism. According to this account, the atoms of intrinsic value within a world only sometimes contribute their intrinsic value to the value of that world. (shrink)

James Sterba has recently argued that the free will defense fails to explain the compossibility of a perfect God and the amount and degree of moral evil that we see. I think he is mistaken about this. I thus find myself in the awkward and unexpected position, as a non-theist myself, of defending the free will defense. In this paper, I will try to show that once we take care to focus on what the free will defense is trying to (...) accomplish, and by what means it tries to do so, we will see that Sterba’s criticism of it misses the mark. (shrink)

What I call the Doxastic Puzzle, is the impression that while each of these claims seems true, at least one of them must be false: (a) Claims of the form ‘S ought to have doxastic attitude D towards p at t’ are sometimes true at t, (b) If Φ-ing at t is not within S’s effective control at t, then it is false, at t, that ‘S ought to Φ at t’, (c) For all S, p, and t, having doxastic (...) attitude D towards p at t is not within S’s effective control at t. All three natural replies to the puzzle have been pursued. Some have claimed that doxastic attitudes like believing that p are, in fact, within our effective control, or sufficiently so. Others have claimed that doxastic ought-claims, strictly speaking, are always false. And some have denied that effective control is required for the adequacy of doxastic ought-claims in general. I here pursue and examine a different strategy. In the first part of this paper, I argue that these claims are not only each true but actually not in tension with each other in the first place. Instead of attempting to dispel the puzzle, this solution proposes to evade it instead: to solve it by properly understanding, and by thereby accepting without contradiction, all of its constitutive claims. In the second part of the paper, I argue that the evasive strategy forces us to re-think our understanding of the place of normative reasons in epistemology. More exactly, it seems to come at the cost of one central way of thinking about our reasons for having doxastic attitudes, one where such reasons are good-standing exemplars of normative reasons in general. The evasive strategy, that is, threatens to lead us very quickly to a deflationary picture of epistemic normativity: it rescues normative talk, but sacrifices normative substance. I conclude by explaining why I think this is more consequential than some have made it out to be, and by suggesting that these consequences are welcome nonetheless. (shrink)

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...) and reported findings. (shrink)

W.K. Clifford’s famous 1876 essay The Ethics of Belief contains one of the most memorable lines in the history of philosophy: "it is wrong always, everywhere, and for anyone, to believe anything upon insufficient evidence." The challenge to religious belief stemming from this moralized version of evidentialism is still widely discussed today.

In this paper I deal with epistemological issues that stem from the hypothesis that reasoning is not only a means of transmitting knowledge from premise-beliefs to conclusion-beliefs, but also a primary source of knowledge in its own right. The idea is that one can gain new knowledge on the basis of suppositional reasoning. After making some preliminary distinctions, I argue that there are no good reasons to think that purported examples of knowledge grounded on pure reasoning are just examples of (...) premise-based inferences in disguise. Next, I establish what kinds of true propositions can to a first approximation be known on the basis of pure reasoning. Finally, I argue that beliefs that are competently formed on the basis of suppositional reasoning satisfy both externalist and internalist criteria of justification. (shrink)

I reinforce my defense of permissivism about the rationality of doxastic attitudes on the face of a certain body of evidence against criticism published in this journal by Anantharaman. After making some conceptual clarifications, I manage to show that at least one of my original arguments pro-permissivism is left unscathed by Anantharaman's points.