Resumo A transferência de embriões em bovinos tem o objetivo principal de aprimorar o melhoramento genético e otimizar a reprodução bovina A importância dessa prática é destacada pela sua contribuição para a maximização de características desejadas nos rebanhos, como qualidade de carne, eficiência reprodutiva e resistência a condições ambientais adversas. Este trabalho descreve e analisa as técnicas avançadas utilizadas nesse processo, incluindo seleção genômica, sexagem de embriões, produção in vitro, protocolos não cirúrgicos, sincronização reprodutiva, criopreservação de embriões e uso de (...) marcadores de fertilidade. A compreensão aprofundada dessas técnicas é fundamental para o sucesso da transferência de embriões, bem como para a capacidade de personalizar e aprimorar as características específicas dos rebanhos. Enfatizando a importância da expertise de profissionais especializados em reprodução bovina, este trabalho busca oferecer uma visão abrangente das práticas atuais e avanços tecnológicos nesse campo. Ao unir ciência e prática, torna-se importante a comparação de técnicas, bem como relacionar resultados eficientes para promover qualidade genética, trazer a sustentabilidade e envolver a técnica em um cenário atualizado da indústria. Palavras-chave: Embriões; Hormônio; Reprodutor. -/- Abstract Embryo transfer into cattle has the main objective of improving genetic improvement and optimizing bovine reproduction. The importance of this practice is highlighted by its contribution to maximizing desired characteristics in herds, such as meat quality, reproductive efficiency and resistance to environmental conditions adverse. This work describes and analyzes the advanced techniques used in this process, including genomic selection, embryo sexing, in vitro production, non-surgical protocols, reproductive synchronization, embryo cryopreservation and the use of fertility markers. An in-depth understanding of these techniques is critical to the success of embryo transfer, as well as the ability to customize and enhance specific herd characteristics. Emphasizing the importance of the expertise of professionals specialized in bovine reproduction, this work seeks to offer a comprehensive view of current practices and technological advances in this field. When combining science and practice, it becomes important to compare techniques, as well as relate efficient results to promote genetic quality, bring sustainability and involve the technique in an updated industry scenario. Keywords: Embryos; Hormone; Reproducer. -/- REFERÊNCIAS BIBLIOGRÁFICAS ABIEC. Associação Brasileira das Indústrias Exportadoras de Carnes. Beef Report. Perfil da Pecuária no Brasil. v.6, p. 7, 2021. ALVAREZ, R. Transfer of blastocysts derived short-term in culture of quality morulae in vivo. Domestic Animals. v.9, p. 790, 2007. ALVES, N. G. Atividade Ovariana em Fêmeas Bovinas da Raça Holandesa e Mestiças Holandês x Zebu, Durante Dois Ciclos Estrais Normais Consecutivos. Revista Zootecnia. v.7, p. 86, 2002. ANDRADE, J. Use of hormone treatments to superovulation Nelore donors. Reproduction Science. v.9, p. 70, 2002. Associação Brasileira de Inseminação Artificial (ASBIA). Index Asbia 2021. v.7, p. 6, 2021. Associação Brasileira de Inseminação Artificial (ASBIA). Index ASBIA Mercado, v.8, p. 6, 2019. BARROS, C. M. Tratamentos superestimulatórios utilizados em protocolos para a transferência de embriões bovinos. Acta Scientiae Veterinariae. v.9, p.8, 2007. BARUSELLI, P. S. Avaliação do mercado de IATF no Brasil. Boletim Eletrônico do Departamento de Reprodução Animal – FMVZ/USP, 1. ed., v.8, p.7, 2019. BARUSELLI, P. S.; CATUSSI, B. L. C.; ABREU, L. A.; ELLIFF, F. M.; SILVA, L. G.; BATISTA, E. S.; CREPALDI, G. A. Evolução e perspectivas da Inseminação Artificial em bovinos. Revista Brasileira de Reprodução Animal, v.43, n.2, p.308-314, 2019. 13 BARUSELLI, P. S. IATF gera ganhos que superam R$ 3,5 bilhões nas cadeias de produção de carne e de leite. Boletim Eletrônico do Departamento de Reprodução Animal/FMVZ/USP, 2.ed., v.8, n.8, p.7, 2019. BINELLI, M. Anti-luteolytic to improve in cattle. Acta Scientiae Veterinariae. v.9, p.8, 2001. BÓ, G. A. Manipulação hormonal do ciclo estral em doadoras e receptoras de embrião bovino. Acta Scientiae Veterinariae. v.9, p.7, 2004. BÓ, G.; MAPLETOFT, R. Evaluation and of bovine. Animal Reproduction. v.8, p.9, 2013. BUSS, V. Efeito da dose e momento da administração de eCG em protocolos de IATF aplicados e vacas de corte em anestro. Universidade Federal do Pampa, Dissertação – Programa de Pós-Graduação em Ciência Animal, v.8, n.8, p.9, 2020. Centro de Estudos Avançados em Economia Aplicada (CEPEA). Boletim do leite. São Paulo, Ano 25, n.286, 2019. CHAVES, D. F.; ALVES, M. J. Protocolo de receptoras de embriões: índices de aproveitamento de corpo lúteo e taxa de prenhez. Animal Reproduction. v.9, p.7, 2023. 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. Transferência de Embriões nos Animais e a Indústria de Embriões no Brasil. 2020. DALCIN, L.; LUCCI, C. M. Criopreservação de embriões de animais de produção: princípios criobiológicos e estado atual. Rev. Bras. Reprod. Anim. v.7, p.7, 2010. DANTAS, K. S. A. Seleção de receptoras em um programa de transferência de embriões (PIVE) em bovinos no nordeste do Brasil. Ciência Animal. v.9, p.7, 2018. D’AVILA, C. A.; MORAES, F. P.; LUCIA J. R. T.; GASPERIN, B. G. Hormônios utilizados na indução da ovulação em bovinos – Artigo de revisão. Revista Brasileira de Reprodução Animal, v.43, n.4, p.797-802, 2019. DEMÉTRIO, D. G. B. Colheita e transferência de embriões bovinos. Dissertação (Mestrado em Reprodução Animal) – Faculdade de Medicina Veterinária e Zootecnia da UNESP, Campus de Botucatu, São Paulo. v.9, p.76, 2003. FAO – Organização das Nações Unidas para a Alimentação e Agricultura. O Estado da Insegurança Alimentar e Nutrição no Mundo (SOFI) 2021. Faculdade de Medicina Veterinária e Zootecnia da UNESP. v.4, n.6, p.6, 2021. FILHO, L. C. C. Fatores que interferem na eficiência reprodutiva de receptoras de embrião bovino. Arq. Ciênc. Vet. Zool. v.7, p.9, 2013. GONZÁLEZ, F. H. D. Introdução a Endocrinologia Reprodutiva Veterinária. UFRGS. v.9, p.7, 2002. GOODHAND, K. In vivo recovery and vitro embryo from bovine aspirated at frequencies or FSH treatment. Animal Reproduction. v.8, p.87, 1999. 14 HAFEZ, E. S. E.; HAFEZ, B. Reprodução animal. 7ed. Barueri: Manole. v.7, p.7, 2004. HONORATO, M.T. Importância da escolha de receptoras em um programa de transferência de embriões em bovinos. Barueri: Manole. v.8, p.6, 2013. HOPPER, R. Bovine Reproduction. Blackwell. v.8, p.8, 2015. IBGE. Instituto Brasileiro de Geografia e Estatística. Pesquisa da Pecuária Municipal 2021 (PPM 2021). IBGE. v.9, n.7, p.7, 2021. KONIG, H. E.; LIEBICH, H. G. Anatomia dos animais domésticos: texto e atlas colorido. Vol.2. Porto Alegre: Artmed, v.2, p.4, 2004. MARTINS, F. S. Fatores reguladores da foliculogênese em mamíferos. Rev Bras Reprod Anim. v.3, p.9, 2008. MELLO, R. R. C. Desenvolvimento folicular inicial em bovinos. Rev. Bras. Reprod. Anim. v.8, p.9, 2013. OLIVEIRA, A. F. M. Principais hormônios que controlam o comportamento reprodutivo e social das fêmeas ruminantes – Revisão. Rev. Bras. Reprod. v.9, p.8, 2014. OLIVEIRA, C. S. Biotécnicas da Reprodução em Bovinos. EMBRAPA, v.8, p.8, 2014. PASA, C. Transferência de embriões em bovinos. Biodiversidade. v.9, p.9, 2008. PENITENTE FILHO, J. M. Produção de embriões bovinos in vivo e in vitro. Revista CFMV, Ano XX. v.8, p.8, 2014. PHILLIPS, P. E.; JAHNKE, M. M. Embryo Transfer (Techniques, Dono rs, and Recipients). Vet Clin Food Anim, v.9, p.8, 2016. RODRIGUES, J.; BERTOLINI, M. Biotecnologias da reprodução animal: de Aristóteles à edição gênica. Rev. Bras. Reprod. Anim. v.8, p.7, 2019. SANTOS, K. J. G. Biotecnologias reprodutivas e fisiologia reprodutiva da fêmea bovina – conhecimento para o sucesso. Rev. Bras. Reprod. Anim. v.8, p.98. 2012. SANTOS, P. H. Impactos da superestimulação ovariana sobre a diferenciação das células da granulosa bovina. Dissertação de Mestrado em Farmacologia e Biotecnologia – UNESP, v.8, p.8. 2017. SILVA, P. R. B. Regulação farmacológica do ciclo estral de bovinos. UNESP. v.9, p.8. 2011. (shrink)

There is no doubt that custard apple diseases are among the important reasons that destroy the Custard Apple plant and its agricultural crops. This leads to obvious damage to these plants and they become inedible. Discovering these diseases is a good step to provide the appropriate and correct treatment. Determining the treatment with high accuracy depends on the method used to correctly diagnose the disease, expert systems can greatly help in avoiding damage to these plants. The expert system correctly diagnoses (...) Custard Apple disease to make it easier for farmers to find the right treatment based on the appropriate diagnosis. Objectives: A specialized syllable language system was established for the diagnosis of Custard Apple plant disease. (shrink)

The study aimed to identify the relationship between correcting the deviations in the measurement of performance and achieving the objectives of control and the performance of the job at the Islamic University in the Gaza Strip. To achieve the objectives of the research, the researchers used the descriptive analytical approach to collect information. The questionnaire consisted of (20) statements distributed to three categories of employees of the Islamic University (senior management, faculty members, their assistants and members of the administrative board). (...) A random sample of 314 employees was selected and 276 responses were retrieved with a recovery rate of 88.1%. The Statistical Analysis Program (SPSS) was used to enter, process, and analyze the data. The results of the study showed a positive relationship between correcting deviations in performance measurement and achieving the control objectives represented by the functional performance in the Islamic University from the point of view of the members (senior management, faculty and their assistants, and the administrative board), where the relative weight of all the paragraphs was (74.25%). The study recommended the need to ensure that the actual performance of the planned performance is matched and decisions are taken to correct the serious deviations and take the necessary measures in terms of retraining and change in regulations, wages and bonuses and punishment of the culprit, neglect and negligence by mistake. (shrink)

According to standard assumptions in semantics, ordinary users of a language have implicit beliefs about the truth-conditions of sentences in that language, and they often agree on those beliefs. For example, it is assumed that if Anna and John are both competent users of English and the former utters ‘grass is green’ in conversation with the latter, they will both believe that that sentence is true if and only if grass is green. These assumptions play an important role in an (...) intuitively compelling picture of communication, according to which successful communication through literal assertoric utterances is normally effected thanks to our shared beliefs about the truth-conditions of the sentences uttered in the course of the conversation. Against these standard assumptions, this paper argues that the participants in a conversation rarely have the same beliefs about the truth-conditions of the sentences involved in a linguistic interaction. More precisely, it argues for Variance, the thesis that nearly every utterance is such that there is no proposition which more than one language user believes to be that utterance’s truth-conditional content. If Variance is true, we must reject the standard picture of communication. Towards the end of the paper I identify three ways in which ordinary conversations can be communication-like despite the truth of Variance and argue that the most natural amendments to the standard picture fail to explain them. (shrink)

Indirect speech reports can be true even if they attribute to the speaker the saying of something weaker than what she in fact expressed, yet not all weakenings of what the speaker expressed yield true reports. For example, if Anna utters ‘Bob and Carla passed the exam’, we can accurately report her as having said that Carla passed the exam, but we can not accurately report her as having said that either it rains or it does not, or that either (...) Carla passed the exam or pandas are cute. This paper offers an analysis of speech reports that distinguishes weakenings of what the speaker expressed that yield true reports from weakenings that do not. According to this analysis, speech reports are not only sensitive to the informational content of what the speaker expressed, but also to the possibilities a speaker raises in making an utterance. As I argue, this analysis has significant advantages over its most promising competitors, including views based on work by Barwise and Perry : 668–691, 1981), views appealing to recent work on the notion of content parthood by Fine :199–226, 2016) and Yablo, and Richard’s : 605–616, 1998) proposal appealing to structured propositions. (shrink)

The study aims to identify the efficiency of the university education performance from the perspective of postgraduate and undergraduate students in international and Palestinian universities. The analytical descriptive approach was used for this purpose and the questionnaire was used as a main tool for data collection. The study community consists of: post graduate students, (23850) graduate students and (146355) undergraduate students. The sample of the study was 378 graduate students and 383 undergraduate students. The random stratified sample was used. The (...) Statistical Package of Social Sciences (SPSS) was also used for data analysis. The study reached a number of results, the most important of which are: The level of efficiency of educational performance in Palestinian and international universities from the point of view of postgraduate and undergraduate students was high. And that there are significant differences between the average views of the sample of the study on the efficiency of educational performance in Palestinian and international universities attributed to the University and to the benefit of international universities. The study concluded many recommendations, the most important of which is the necessity of continuing to develop e-learning strategies that affect the efficiency of educational performance and research commensurate with the university's position in the local and international community, which puts it on the best classification between local and international universities through e-learning. (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)

Artificial intelligence (AI) is an area of computer science that emphasizes the creation of intelligent machines or software that work and react like humans. Some of the activities computers with artificial intelligence are designed for include, Speech, recognition, Learning, Planning and Problem solving. Deep learning is a collection of algorithms used in machine learning, It is part of a broad family of methods used for machine learning that are based on learning representations of data. Deep learning is a technique used (...) to produce Pneumonia detection and classification models using x-ray imaging for rapid and easy detection and identification of pneumonia. In this thesis, we review ways and mechanisms to use deep learning techniques to produce a model for Pneumonia detection. The goal is find a good and effective way to detect pneumonia based on X-rays to help the chest doctor in decision-making easily and accuracy and speed. The model will be designed and implemented, including both Dataset of image and Pneumonia detection through the use of Deep learning algorithms based on neural networks. The test and evaluation will be applied to a range of chest x-ray images and the results will be presented in detail and discussed. This thesis uses deep learning to detect pneumonia and its classification. (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.

Abstract: Smoke detectors are critical devices for early fire detection and life-saving interventions. This research paper explores the application of Artificial Neural Networks (ANNs) in smoke detection systems. The study aims to develop a robust and accurate smoke detection model using ANNs. Surprisingly, the results indicate a 100% accuracy rate, suggesting promising potential for ANNs in enhancing smoke detection technology. However, this paper acknowledges the need for a comprehensive evaluation beyond accuracy. It discusses potential challenges, such as overfitting, dataset size, (...) and class imbalance, and presents strategies employed to address these issues. Additionally, the paper emphasizes the importance of alternative evaluation metrics, including precision, recall, and F1-score, to assess the model's performance comprehensively. Detailed information regarding the model architecture, data preprocessing, and hyperparameter tuning is provided to enhance the reproducibility of the research. The study also discusses ethical considerations and the implications of false positives and false negatives in smoke detection applications. While achieving 100% accuracy is a notable accomplishment, this paper calls for cautious interpretation and further validation in real-world settings. It concludes by highlighting areas for future research and improvement in smoke detection technology, emphasizing the need for practical deployment and the reduction of false alarms. (shrink)

I argue that an individual has aspects numerically identical with it and each other that nonetheless qualitatively differ from it and each other. This discernibility of identicals does not violate Leibniz's Law, however, which concerns only individuals and is silent about their aspects. They are not in its domain of quantification. To argue that there are aspects I will appeal to the internal conflicts of conscious beings. I do not mean to imply that aspects are confined to such cases, but (...) the best way to start is to recognize them experientially. We can feel the conflicts within ourselves. In doing so we can feel some of our aspects. I will try to enhance our understanding of the concept of aspect by listing and formalizing some principles for its use. After that I will argue that all sorts of individual things have aspects, not just people who are conflicted. (shrink)

Many say that ontological disputes are defective because they are unimportant or without substance. In this paper, we defend ontological disputes from the charge, with a special focus on disputes over the existence of composite objects. Disputes over the existence of composite objects, we argue, have a number of substantive implications across a variety of topics in metaphysics, science, philosophical theology, philosophy of mind, and ethics. Since the disputes over the existence of composite objects have these substantive implications, they are (...) themselves substantive. (shrink)

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)

There is more than one way to say that composition is identity. Yi has distinguished the Weak Composition thesis from the Strong Composition thesis and attributed the former to David Lewis while noting that Lewis associates something like the latter with me. Weak Composition is the thesis that the relation between the parts collectively and their whole is closely analogous to identity. Strong Composition is the thesis that the relation between the parts collectively and their whole is identity. Yi is (...) right that Strong Composition does not fully reflect my view. We must recognize further what, borrowing Lewis's characterization, could be called the "stronger, and stranger" Composition thesis, or what I'll call the Stronger Composition thesis for short. On Strong Composition, it is only collectively that the parts are identical with the whole. On Stronger Composition, they are individually identical with it as well. I will explain and motivate this thesis. (shrink)

Is capitalism inherently predatory? Must there be winners and losers? Is public interest outdated and free-riding rational? Is consumer choice the same as self-determination? Must bargainers abandon the no-harm principle? Prisoners of Reason recalls that classical liberal capitalism exalted the no-harm principle. Although imperfect and exclusionary, modern liberalism recognized individual human dignity alongside individuals' responsibility to respect others. Neoliberalism, by contrast, views life as ceaseless struggle. Agents vie for scarce resources in antagonistic competition in which every individual seeks dominance. This (...) political theory is codified in non-cooperative game theory; the neoliberal citizen and consumer is the strategic rational actor. Rational choice justifies ends irrespective of means. Money becomes the medium of all value. Solidarity and good will are invalidated. Relationships are conducted on a quid pro quo basis. However, agents can freely opt out of this cynical race to the bottom by embracing a more expansive range of coherent action. (shrink)

Intelligent Tutoring Systems (ITS) has a wide influence on the exchange rate, education, health, training, and educational programs. In this paper we describe an intelligent tutoring system that helps student study computer networks. The current ITS provides intelligent presentation of educational content appropriate for students, such as the degree of knowledge, the desired level of detail, assessment, student level, and familiarity with the subject. Our Intelligent tutoring system was developed using ITSB authoring tool for building ITS. A preliminary evaluation of (...) the ITS was done by a group of students and teachers. The results were acceptable. (shrink)

How is it possible for David Hume to be both withering skeptic and constructive theorist? I recommend an answer like the Pyrrhonian answer to the question how it is possible to suspend all judgment yet engage in active daily life. Sextus Empiricus distinguishes two kinds of assent: one suspended across the board and one involved with daily living. The first is an act of will based on appreciation of reasons; the second is a causal effect of appearances. Hume makes the (...) same distinction, only he extends the sort of assent involved in daily life to theoretical matters as well. He is a skeptic both in finding no reason to grant the first sort of assent and in being subject to the second. (shrink)

Abstract: Artificial Intelligence (AI) is transforming the agricultural sector, enhancing both productivity and sustainability. This paper delves into the impact of AI technologies on agriculture, emphasizing their application in precision farming, predictive analytics, and automation. AI-driven tools facilitate more efficient crop and resource management, leading to higher yields and a reduced environmental footprint. The paper explores key AI technologies, such as machine learning algorithms for crop monitoring, robotics for automated planting and harvesting, and data analytics for optimizing resource use. Additionally, (...) it discusses challenges like data privacy, barriers to technology adoption, and the ethical implications of AI in farming. Integrating AI into agricultural practices holds the promise of greater efficiency and sustainability, paving the way for future innovations. (shrink)

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.

ABSTRACT According to David Lewis, alteration is "qualitative difference between temporal parts of something." It follows that moments, since they are simple and lack temporal parts, cannot alter from future to present to past. Here then is another way to put McTaggart's paradox about change in tense. I will appeal to my theory of Aspects to rebut the thought behind this rendition of McTaggart. On my theory, it is possible that qualitatively differing things be numerically identical. I call these differing, (...) numerically identical things "aspects." I will argue that alteration can be a qualitative difference between temporal aspects of something that lacks temporal parts. So a moment can alter in tense. By rejecting Lewis's assumption my theory can solve this version of McTaggart's paradox. (shrink)

Confucius gave counsel that is notoriously hard to follow: "What you do not wish for yourself, do not impose on others" (Huang 1997: 15.24). People tend to be concerned with themselves and to be indifferent to most others. We are distinct from others so our self-concern does not include them, or so it seems. Were we to realize this distinctness is merely apparent--that our true self includes others--Confucius's counsel would be easier to follow. Concern for our true self would extend (...) concern beyond the narrow selves we appear to be. The neo-Confucians held just such a view. They espoused an identity with the universe and everything in it, arguing that this identity explains a natural concern for everyone and everything, not just for our narrow selves. However, many things in the universe differ from each other, that is, some have qualities others lack. If they are all one and the same thing then that one thing differs from itself. I will suggest that the objection can be answered with some metaphysical innovation. I will address the objection by sketching a theory--call it the theory of aspects--that explains how numerically identical things can differ qualitatively. (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.

In this article I propose an original view of the nature of shared intention. In contrast to psychological views (Bratman, Searle, Tuomela) and normative views (Gilbert), I argue that both functional roles played by attitudes of individual participants and interpersonal obligations are factors of central and independent significance for explaining what shared intention is. It is widely agreed that shared intention (I) normally motivates participants to act, and (II) normally creates obligations between them. I argue that the view I propose (...) can explain why it is not a mere accident that both (I) and (II) are true of shared intention, while psychological and normative views cannot. The basic idea is that shared intention involves a structure of attitudes of individuals –including, most importantly, attitudes of reliance – which normally plays the relevant motivating roles and creates the relevant obligations. (shrink)

In this article, we describe what cryptocurrency is, how it works, and how it relates to familiar conceptions of and questions about money. We then show how normative questions about monetary policy find new expression in Bitcoin and other cryptocurrencies. These questions can play a role in addressing not just what money is, but what it should be. A guiding theme in our discussion is that progress here requires a mixed approach that integrates philosophical tools with the purely technical results (...) of disciplines like computer science and economics. Note: this article is the first entry within a two-part sequence on the Philosophy, Politics, and Economics of Cryptocurrency. (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)

We often appeal to the notion of an agent’s commitment to action to characterize, e.g., an agent’s faithfulness to a promise she has given to another, her robust disposition to pursue a goal she values or cares about, and her determination to stick to that goal. In the philosophy of action, that notion is often associated with the idea of an agent’s intention to act. In ethics, it is associated primarily with the idea of an agent’s commitment to, or endorsement (...) of, a certain norm. This essay argues that both these ideas, of intention and of normative endorsement, are central to the –or, at least, an—ordinary notion of an agent’s (psychological) commitment to action. In so doing, the essay also sheds light on important features of intention. -/- Keywords: commitment – intention – normative endorsement – stability across contexts – coordination. (shrink)

Philosophers of action of different persuasions have suggested that there is a tight connection between the phenomenon of intending and the phenomena of “being settled on” and of “settling” a course of action. For many, this connection supports an important constraint on intention: one may only intend what one takes one’s so intending as settling. Traditionally, this has been understood as a doxastic constraint on intention: what one takes one’s intention as settling is what one believes one’s so intending as (...) settling. This paper proposes an alternative conception of such a constraint. The idea is to conceive of it in terms of the attitude of reliance, rather than of belief. The aim of the paper is three-fold: to clarify the connection between intending to act and the phenomena of being settled on and of settling a course of action, to provide support for the reliance conception of the cited constraint, and to show that this conception drives a wedge in the familiar dispute, between doxastic and conative accounts of intention, as to whether intending to act necessarily involves the belief that one will so act. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

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

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)

This paper explores how the Leviathan that projects power through nuclear arms exercises a unique nuclearized sovereignty. In the case of nuclear superpowers, this sovereignty extends to wielding the power to destroy human civilization as we know it across the globe. Nuclearized sovereignty depends on a hybrid form of power encompassing human decision-makers in a hierarchical chain of command, and all of the technical and computerized functions necessary to maintain command and control at every moment of the sovereign's existence: this (...) sovereign power cannot sleep. This article analyzes how the form of rationality that informs this hybrid exercise of power historically developed to be computable. By definition, computable rationality must be able to function without any intelligible grasp of the context or the comprehensive significance of decision-making outcomes. Thus, maintaining nuclearized sovereignty necessarily must be able to execute momentous life and death decisions without the type of sentience we usually associate with ethical individual and collective decisions. (shrink)

An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.

As inductive decision-making procedures, the inferences made by machine learning programs are subject to underdetermination by evidence and bear inductive risk. One strategy for overcoming these challenges is guided by a presumption in philosophy of science that inductive inferences can and should be value-free. Applied to machine learning programs, the strategy assumes that the influence of values is restricted to data and decision outcomes, thereby omitting internal value-laden design choice points. In this paper, I apply arguments from feminist philosophy of (...) science to machine learning programs to make the case that the resources required to respond to these inductive challenges render critical aspects of their design constitutively value-laden. I demonstrate these points specifically in the case of recidivism algorithms, arguing that contemporary debates concerning fairness in criminal justice risk-assessment programs are best understood as iterations of traditional arguments from inductive risk and demarcation, and thereby establish the value-laden nature of automated decision-making programs. Finally, in light of these points, I address opportunities for relocating the value-free ideal in machine learning and the limitations that accompany them. (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)

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)

To the question whether Hume believed in mind-independent physical objects (or as he would put it, bodies), the answer is Yes and No. It is Yes when Hume writes “We may well ask, What causes induce us to believe in the existence of body? but ’tis in vain to ask, Whether there be body or not? That is a point, which we must take for granted in all our reasonings.” However the answer is No after inquiring into the causes of (...) that belief, when he writes, “What then can we look for from this confusion of groundless and extraordinary opinions but error and falsehood? And how can we justify to ourselves any belief we repose in them?” My view is that Hume’s Yes and No answers can best be accounted for by seeing him as a Pyrrhonian skeptic in the tradition of Sextus Empiricus. This interpretation, while finding considerable truth in the various positions canvassed, is closest to those of Norton, Fogelin, and especially Popkin. (shrink)

This is a survey article on reductive views of shared intention.

One of the advantages of my account in the essay “Instantiation as Partial Identity” was capturing the contingency of instantiation—something David Armstrong gave up in his experiment with a similar view. What made the contingency possible for me was my own non-standard account of identity, complete with the apparatus of counts and aspects. The need remains to lift some obscurity from the account in order to display its virtues to greater advantage. To that end, I propose to respond to those (...) who have grappled with it in print. There are various criticisms by commentators: that it is rendered absurd by the transitivity of identity, that it makes instantiation necessary instead of contingent, that it is unclear what counts are, that aspects are simply tropes, that my view does not capture multiple location, that I make an unclear reference to a theory of composition as identity, that the account suffers from problems with polyadicity, and that it is not a realist account of universals after all. I give responses to these objections. (shrink)

The genetic modification of pigs as a source of transplantable organs is one of several possible solutions to the chronic organ shortage. This paper describes existing ethical tensions in xenotransplantation (XTx) that argue against pursuing it. Recommendations for lifelong infectious disease surveillance and notification of close contacts of recipients are in tension with the rights of human research subjects. Parental/guardian consent for pediatric xenograft recipients is in tension with a child’s right to an open future. Individual consent to transplant is (...) in tension with public health threats that include zoonotic diseases. XTx amplifies concerns about justice in organ transplantation and could exacerbate existing inequities. The prevention of infectious disease in source animals is in tension with the best practices of animal care and animal welfare, requiring isolation, ethologically inappropriate housing, and invasive reproductive procedures that would severely impact the well-being of intelligent social creatures like pigs. (shrink)

The moral justification of intellectual property is often called into question when placed in the context of pharmaceutical patents and global health concerns. The theoretical accounts of both John Rawls and Robert Nozick provide an excellent ethical framework from which such questions can be clarified. While Nozick upholds an individuals right to intellectual property, based upon its conformation with Lockean notions of property and Nozicks ideas of just acquisition and transfer, Rawls emphasizes the importance of basic liberties, such as an (...) individuals right to health, superceding such secondary rights as intellectual property rights. From a policy perspective, patent protection for pharmaceutical products necessarily entails the balancing of corporate intellectual property interests and public interests in healthcare. The moral dilemma that occurs when these two interests clash is not easily resolved. Aside from corporate and public interests, the state maintains an interest in creating and preserving policies that regulate the moral dilemma itself. This paper analyzes the economic and ethical factors surrounding the production and distribution of the anti-HIV medication, AZT. Potential policy implications and recommendations are also discussed. (shrink)

Doxasticism is the thesis that intention is or involves belief in the forthcoming action (Velleman, Harman). Supporters claim that it is only by accepting that thesis that we can explain a wide array of important phenomena, including the special knowledge we have of intentional action, the roles intention plays in facilitating coordination, and the norms of rationality for intention. Others argue that the thesis is subject to counterexample (Davidson, Bratman). Yet some others contend that the thesis can be reformulated in (...) a way that avoids such counterexamples and preserves its explanatory significance (Pears, Setiya). Their suggestion is that we view intention as involving partial –rather than full—belief. I argue that while the move from full to partial doxasticism helps to accommodate such counterexamples, it does so in a way that undermines the ability of the resulting view to explain the coordinating roles of and rationality norms for intention. (shrink)

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...) for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)

Is a social complex identical to many united people or is it a group entity in addition to the people? For specificity, I will assume that a social complex is a plural subject in Margaret Gilbert’s sense. By appeal to my theory of Aspects, according to which there can be qualitative difference without numerical difference, I give an answer that is a middle way between metaphysical individualism and metaphysical holism. This answer will enable answers to two additional metaphysical questions: (i) (...) how can two social complexes have all the same members and (ii) how can there be a social complex of social complexes? (shrink)

Waiting time is widely used in health and social policy to make resource allocation decisions, yet no general account of the moral significance of waiting time exists. We provide such an account. We argue that waiting time is not intrinsically morally significant, and that the first person in a queue for a resource does not ipso facto have a right to receive that resource first. However, waiting time can and sometimes should play a role in justifying allocation decisions. First, there (...) is a duty of fairness prohibiting line-cutting where a sufficiently just queue exists. Second, waiting time has several morally attractive features that can justify its incorporation into allocation schemes. Where candidates are in relevantly similar circumstances, allocating by waiting time is relatively efficient, maximizes distribution equality relative to other Pareto efficient distributions, and treats candidates fairly. The claim that allocation using waiting time is fair is controversial. Some have claimed that formal lotteries are a fairer way to select among equal beneficiaries. We argue that lotteries are no fairer than allocation based on waiting time when it is equiprobable how a prospective queue will be ordered. In practice, lotteries share many of the disadvantages of queues; which is fairer will depend on contingent features of the allocation scenario. The upshot is that first-come, first-served is in fact a just way to allocate resources in many of the cases where it seems pre-theoretically compelling, and waiting time has unique normative properties which frequently justify its incorporation into resource allocation schemes. (shrink)

David Lewis presented Convention as an alternative to the conventionalism characteristic of early-twentieth-century analytic philosophy. Rudolf Carnap is well known for suggesting the arbitrariness of any particular linguistic convention for engaging in scientific inquiry. Analytic truths are self-consistent, and are not checked against empirical facts to ascertain their veracity. In keeping with the logical positivists before him, Lewis concludes that linguistic communication is conventional. However, despite his firm allegiance to conventions underlying not just languages but also social customs, he pioneered (...) the view that convening need not require any active agreement to participate. Lewis proposed that conventions arise from “an exchange of manifestations of a propensity to conform to a regularity” (87–8). In reasserting the conventional quality of languages and other practices resting on mutual expectations, Lewis comfortably works within the analytic tradition. Yet he also deviates from his predecessors because his conventionalist approach is comprehensively grounded in instrumentalism. Lewis adopts an extension of David Hume's desire-belief psychology articulated in rational choice theory. He develops his philosophy of convention relying on the highly formal mid-twentieth-century expected utility and game theories. This attempt to account for language and social customs wholly in terms of instrumental rationality has the implication of reducing normativity to preference satisfaction. Lewis’ approach continues in the trend of undermining normative political philosophy because institutions and practices arise spontaneously, without the deliberate involvement of agents. Perhaps Lewis’ Convention is best seen as a resurgent form of analytic philosophy, characterized by “a style of argument, hostility to [ambitious] metaphysics, focus on language, and the dominance of logic and formalization” that solves the dilemma of “combining the analytic inheritance…with normative concerns” by reducing normativity to individuals’ preference fulfillment consistent with the axioms of rational choice. (shrink)

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...) of supraclassical consequence. (shrink)

Oliver's and Rodriguez-Pereyra's important interpretation of the problem of universals as one concerning truthmakers neglects something crucial: that there is a numerical identity between numerically distinct particulars. The problem of universals is rather how to resolve the apparent contradiction that the same things are both numerically distinct and numerically identical. Baxter's account of instantiation as partial identity resolves the apparent contradiction. A seeming objection to this account is that it appears to make instantiation symmetric, since partial identity is symmetric. Armstrong's (...) standard reply is that the difference between a particular and a universal is what makes instantiation asymmetric. Brown suggests, though, that the instantiation of a universal by a universal is sometimes symmetric. However, the examples on which he relies are not universals. (shrink)

On how medieval philosophy is not (only) theology.