Edward Nieznański developed two logical systems to deal with the problem of evil and to refute religious determinism. However, when formalized in first-order modal logic, two axioms of each system contradict one another, revealing that there is an underlying minimal set of axioms enough to settle the questions. In this article, we develop this minimal system, called N3, which is based on Nieznański’s contribution. The purpose of N3 is to solve the logical problem of evil through the defeat of a (...) version of religious determinism. On the one hand, these questions are also addressed by Nieznański’s systems, but, on the other hand, they are obtained in N3 with fewer assumptions. Our approach can be considered a case of logic of religion, that is, of logic applied to religious discourse, as proposed by Józef Maria Bocheński; in this particular case, it is a discourse in theodicy, which is situated in the context of the philosophy of religion. (shrink)

Edward Nieznanski developed in 2007 and 2008 two different systems in formal logic which deal with the problem of evil. Particularly, his aim is to refute a version of the logical problem of evil associated with a form of religious determinism. In this paper, we revisit his first system to give a more suitable form to it, reformulating it in first-order modal logic. The new resulting system, called N1, has much of the original basic structure, and many axioms, definitions, and (...) theorems still remain; however, some new results are obtained. If the conclusions attained are correct and true, then N1 solves the problem of evil through the refutation of a version of religious determinism, showing that the attributes of God in Classical Theism, namely, those of omniscience, omnipotence, infallibility, and omnibenevolence, when adequately formalized, are consistent with the existence of evil in the world. We consider that N1 is a good example of how formal systems can be applied in solving interesting philosophical issues, particularly in Philosophy of Religion and Analytic Theology, establishing bridges between such disciplines. (shrink)

This record describes the occurrence of conflicts between stingless bees of an active colony of Scaptotrigona bipunctata (Lepeletier) and individuals of Melipona quadrifasciata (Lepeletier), and discusses possible hypotheses that motivated the attack. Behaviors were observed in an active colony of S. bipunctata. The active nest guards detained individuals of M. quadrifasciata who invaded the colony. The chances of misidentification of the colony entrance and error in the species possible aggregation were discarded, however, the hypothesis of the real invasion recorded in (...) this study demonstrates a behavioral strategy by M. quadrifasciata suggests that there is an energy savings if successful in looting. (shrink)

This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of (...) congregating logicians from Brazil and abroad, furthering interest in logic and its applications, stimulating cooperation, and contributing to the development of this branch of science. EBL 2011 included more than one-hundred and fifty participants, all of them belonging to prominent research institutes from Brazil and abroad, especially Latin America. The conference was sponsored by the Academia Brasileira de Ciências (ABC), the As- sociation for Symbolic Logic (ASL), Universidade Estadual de Campinas (UNICAMP), Centre for Logic, Epistemology and the History of Sciences (CLE), Laboratório Nacional de Computação o Científica (LNCC), Pontif ́ıcia Universidade Cato ́lica do Rio de Janeiro (PUC- Rio), Sociedade Brasileira de Lógica (SBL), and Universidade Federal Fluminense (UFF). Funding was provided by Conselho Nacional de Desenvolvimento Cient ́ıfico e Tecnolo ́ gico (CNPq), Fundac ̧a ̃o de Amparo `a Pesquisa do Estado de São Paulo (FAPESP), Fundação Euclides da Cunha (FEC), and Universidade Federal Fluminense (UFF). The members of the Scientific Committee were: Mário Folhadela Benevides (COPPE- UFRJ), Fa ́bio Bertato (CLE-IFCH-UNICAMP), Jean-Yves Béziau (UFRJ), Ricardo Bianconi (USP), Juliana Bueno-Soler (UFABC), Xavier Caicedo (Universidad de Los An- des), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio), Marcelo Esteban Coniglio (CLE-IFCH-UNICAMP), Newton da Costa (UFSC, President), Antonio Carlos da Rocha Costa (UFRG), Alexandre Costa-Leite (UnB), I ́tala M. Loffredo D’Ottaviano (CLE-IFCH-UNICAMP), Marcelo Finger (USP), Edward Hermann Haeusler (PUC-Rio), Décio Krause (UFSC), João Marcos (UFRN), Ana Teresa de Castro Martins (UFC), Maria da Paz Nunes de Medeiros (UFRN), Francisco Miraglia (USP), Luiz Car- los Pereira (PUC-Rio and UFRJ), Elaine Pimentel (UFMG), and Samuel Gomes da Silva (UFBA). The members of the Organizing Committee were: Anderson de Araujo (UNICAMP), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio, Co- chair), Marcelo Correa (UFF), Renata de Freitas (UFF), Edward Hermann Haeusler (PUC- RJ), Hugo Nobrega (COPPE-UFRJ), Luiz Carlos Pereira (PUC-Rio e IFCS/UFRJ), Leandro Suguitani (UNICAMP), Rafael Testa (UNICAMP), Leonardo Bruno Vana (UFF), and Petrucio Viana (UFF, Co-chair). (shrink)

A collection of papers presented at the First International Summer Institute in Cognitive Science, University at Buffalo, July 1994, including the following papers: ** Topological Foundations of Cognitive Science, Barry Smith ** The Bounds of Axiomatisation, Graham White ** Rethinking Boundaries, Wojciech Zelaniec ** Sheaf Mereology and Space Cognition, Jean Petitot ** A Mereotopological Definition of 'Point', Carola Eschenbach ** Discreteness, Finiteness, and the Structure of Topological Spaces, Christopher Habel ** Mass Reference and the Geometry of Solids, Almerindo E. Ojeda (...) ** Defining a 'Doughnut' Made Difficult, N .M. Gotts ** A Theory of Spatial Regions with Indeterminate Boundaries, A.G. Cohn and N.M. Gotts ** Mereotopological Construction of Time from Events, Fabio Pianesi and Achille C. Varzi ** Computational Mereology: A Study of Part-of Relations for Multi-media Indexing, Wlodek Zadrozny and Michelle Kim. (shrink)

Aristotle classifies opposition (ἀντικεῖσθαι) into four groups: relatives (τὰ πρός τι), contraries (τὰ ἐναντία), privation and possession (στρέσις καὶ ἓξις) and affirmation and negation (κατάφασις καὶ ἀπόφασις). (Cat. , 10, 11b15-23) His example of relatives are the double and the half. Aristotle’s description of relatives as a kind of opposition is as such: ‘Things opposed as relatives are called just what they are, of their opposites (αὐτὰ ἃπερ ἐστι τῶν ἀντικειμένων λέγεται) or in some other way in relation to them. (...) For example, the double is called just what it is double of the other (οἷον τὸ διπλάσιον, αὐτὸ ὃπερ ἐστίν, ἑτέρου διπλάσιον λέγεται). Again, knowledge and the knowable are opposed as relatives, and knowledge is called just what it is, of the knowable, and the knowable too is called just what it is, in relation to its opposite, knowledge; for the knowable is called knowable by something-by knowledge.’ (Cat., 10, 11b24-30) 2) Senses of relatives In Met., Δ, 1020b26-32 Aristotle distinguishes three senses of relatives: i) That which contains something else many times to that which is contained many times in something else, and that which exceeds to that which is exceeded. E.g. double to half ii) The active to the passive; e.g. that which can heat to that which can be heated iii) The measurable to the measure, e.g. the knowable to knowledge and the perceptible to perception. 3) Relatives and contraries Aristotle’s discussion of relatives is unbelievably ambiguous. While he enumerates relatives besides contraries, privation-possession and affirmation-negation as four types of opposition (Cat., 10, 11b15-23), not only does not he restrict relatives to oppositions but he also does not totally differentiate it from contraries. Aristotle distinguishes between two senses of relatives one of which is contraries: ‘We have distinguished elsewhere the two senses in which relatives are so called-some as contraries (ὡς ἐναντία), others as knowledge to things known, a term being called relative because what is said one to the other is said by the other to itself (τῷ λέγεσθαί τι ἄλλο πρὸς αὐτό). (Met., I, 1056b34-1057a1) It seems that this differentiation is the same as, and maybe the one he himself refers to, the differentiation between the second and the third senses of relatives in Met., Δ, 1021a27-32: ‘Relative terms which imply number or capacity, therefore, are all relative because their very essence includes in its nature a reference to something else, not because something else is related to it (πρός τι πὰντα ἐστὶ πρός τι τῷ ὃπερ ἐστὶν ἄλλου λέγεσθαι αὐτὸ ὃ ἐστιν, ἀλλὰ μὴ τῷ ἄλλο πρὸς ἐκεινο); but that which is measurable or knowable or thinkable is called relative because something else is related to it. For the thinkable implies that there is thought of it, but the thought is not relative to that of which it is the thought; for we should then have said the same thing twice.’ Although Aristotle confirms contrariety in relatives (e.g. virtue to vice and knowledge to ignorance), he denies that there is a contrary ‘to every relative’ as there can be no contrary to what is double or treble. (Cat., 7, 6b15-19) The fact that Aristotle dedicates one sense of relatives to contraries means that the fourfold division of oppositions is not such a strict division without any kind of community between them. In his example of the first sense, however, Aristotle says: ‘One and number are in a sense opposed, not as contrary, but as we have said some relative terms are opposed; for inasmuch as one is measure and the other measurable, they are opposed.’ (Met., I, 1057a4-6) Now, the question is: Is Aristotle’s first sense of relative a contrary or not? Aristotle tells us that the opposition in this sense of relatives is the opposition of measure and measurable. The second sense has two differences with the first one: i) it is not a contrary and ii) what is said by one of the relatives to the other is also said by the latter to the former. To differentiate it from the first sense, when the one is the measure of the other, the latter will be the measure of the former as well: ‘But though knowledge is similarly spoken of as related to the knowable, the relation does not work out similarly for while knowledge might be thought to be the measure, and the knowable the thing measured, the fact is that all knowledge is knowable, but not all that is knowable is knowledge, because in a sense knowledge is measured by the knowable.’ (Met., I, 1057a7-12) Aristotle’s assertion at Met., I, 1057a36-37 that ‘of relative terms, those which are not contrary have no intermediate’ ensures us that we must take the first sense as contraries. Here he mentions a criterion of differentiation between two senses: while the first sense accepts intermediates (as, for example, great and small do), the second one does not. (Met., I, 1057a37-b1) It seems, however, that it is only the second sense that is the essential sense of relatives because the first sense, Aristotle says, is an accidental sense: ‘The one is opposed then to the many in numbers as measure to things measureable; and these are opposed as relatives which are not from their very nature relatives.’ (Met., I, 1056b32-34) 4) Definition of relative Aristotle’s first definition of the category of relative (πρός τι) is as such: ‘We call relative all such things as are said to be just what they are, of or than other things, or in some other way in relation to something else (Πρός τι δὲ τὰ τοιαῦτα λέγεται, ὃσα αὐτὰ ἃπερ ἐστὶν ἓτερων εἶναι λέγεται, ἢ ὁπωσοῦν ἄλλως πρὸς ἓτερον). (Cat., 7, 6a36-37; repeated almost without any change in: Cat., 7, 6b6-8) Aristotle’s examples are larger (because it is what it is than something else (τοῦθ᾿ ὃπερ ἐστὶν ἑτέρου λέγεται) that means it is called larger than something) and double. (Cat., 7, 6a37-b1) Aristotle’s aporia regarding relative is about their relation with substances: whether no substance is spoken of as a relative, or whether this is possible with regard to some secondary substances. (Cat., 7, 8a13-15) In the case of primary substances, it seems that he is confident, at least at first, that neither themselves nor their parts are spoken of in relation to anything: neither an individual man is called someone’s individual man nor an individual hand is called someone’s individual hand (but someone’s hand). (Cat., 7, 8a15-21) Although it is obvious that most of secondary substances are not spoken of as relatives (a man is not called someone’s man) (Cat., 7, 8a21-25), there are some with them there is room for dispute: a head is someone’s head and a hand is called someone’s hand, which seem to be relatives. (Cat., 7, 8a25-28) Aristotle thinks this must be due to the previous definition’s being problematic: with that definition ‘it is either exceedingly difficult or impossible to reach the solution that no substance is spoken of as a relative.’ (Cat., 7, 8a28-32) Thus, Aristotle changes his previous definition to a new one: ‘Those things are relatives for which being is the same as being somehow related to something’ (ἔστι τὰ πρός τι οἷς τὸ εἶναι ταὐτόν ἐστι τῷ πρός τί). (Cat., 7, 8a32-34) Although the first definition does indeed apply to all relations, its problem is that it does not take ‘their own being relative’ (τῷ πρός τι αὐτοῖς εἶναι) the same as ‘their being what they are of other things’ (ἃπερ ἐστὶν ἑτέρων λέγεσθαι). (Cat., 7, 8a34-37) Although this change of definition is to exclude all substances from being relative, what Aristotle says in Topics (To., Z, 8, 146a39- ), seems to ignore this: ‘For of everything relative the substance is relative to something else, seeing that the being of every relative term is identical with being in a certain relation to something.’ 5) Necessary knowledge of the related Knowledge of that in relation to which a relative is spoken of is necessary when one knows the relative: it is impossible to know a relative and at the same time not to know that in relation to which it is spoken of. (Cat., 7, 8a37-b3) To prove this, Aristotle adheres to the definition of relatives: ‘If someone knows of a certain ‘this’ that it is a relative, and being for relatives is the same as being somehow related to something, he knows that also to which this is somehow related.’ (Cat., 7, 8a37-b3; cf. 7, 8b3-15 for Aristotle’s examples) This necessary knowledge of the related, if we call it so, dedicates Aristotle an epistemological reason, besides the ontological one mentioned in his definition, for the exclusion of substances. As we noted in our discussion of Aristotle’s definition of relatives, he changed his first definition to exclude all substances from being relatives. Therefore, it is evident that for him relatives must not include substances, either primary or secondary. Aristotle does have no problem with primary substances simply because it is evident for him that they cannot be relatives. The same can be said about most of the secondary substances as well. The problem for which he changed the definition of substances was about some secondary substances like ‘head’ or ‘hand’: the fact that it is possible to know a hand or head without necessarily knowing definitely that in relation to which it is spoken of proves that they are not relatives. (Cat., 7, 8b15-21) 6) Reciprocation Aristotle regards reciprocation (ἀντιστρέφειν) necessary in all relations: ‘All relatives are spoken of in relation to correlatives that reciprocate.’ (Cat., 7, 6b28-29; cf. Cat., 10, 12b21-24) The sense of reciprocation is clear by his own examples: ‘The slave is called slave of a master and the master is called master of a slave; the double double of a half, and the half half of a double.’ (Cat., 7, 6b29-31) Reciprocation of relatives is so necessary that if there seems that we do not have reciprocation, it must necessarily be due to a mistake and that in relation to which something is spoken of must have not been given properly. (Cat., 7, 6b36-7a1) Aristotle’s example is this: If a wing is given as of a bird, ‘bird of a wing’ does not reciprocate because it has not been given properly: a wing is of a winged and not of a bird; a wing is wing of a winged and a winged is winged with a wing. (Cat., 7, 7a1-5) Even if we do not have a proper name to have a proper reciprocation, Aristotle points, we must invent names. (Cat., 7, 7a5-15 and 7b10-14) Thus, having proper names is the condition of necessary reciprocation: ‘All relatives are spoken of in relation to correlatives that reciprocate, provided they are properly given.’ (Cat., 7, 7a22-23) This condition is also said in another way: there is no reciprocation if a relation is given as related to some chance thing or to something that is accidentally the related thing like when, for example, a slave is given as of a man or a biped instead of being given as of a master. (Cat., 7, 7a25-31) 7) Simultaneity of relatives Aristotle believes that in most cases relatives are simultaneous: double and half or master and slave must exist at the same time: when there is a half, there is a double and when there is a slave, there is a master. (Cat., 7, 7b10-14) However, this receives some exceptions like knowable, which is prior and can, thus, exist before and without knowledge. (Cat., 7, 7b22-27) What approves this non-simultaneousness for Aristotle is that the destruction of knowledge does not carry the knowable to destruction. (Cat., 7, 7b27-31) The same is said about perception and perceptible. (Cat., 7, 7b35-8a9) Aristotle attaches simultaneity to reciprocation. This reciprocation, however, is not a simple reciprocation but ‘reciprocation as to implication of existence’ (ἀντιστρέφει μὲν κατὰ τὴν τοῦ εἶναι) with the condition that neither be in any way the cause of the other’s existence. (Cat., 13, 14b27-29; the same is said also at: Cat., 13, 15a4-11) Aristotle’s examples are the double and the half because when there is a double there is a half and when there is a half there is a double but neither is the cause of the other’s existence. (Cat., 13, 14b29-32) (We have ‘reciprocation as to implication of existence’ also in relation between genus and species but it seems that this has a totally different sense there. 8) Having no independent reality That a relative cannot be a substance, either a primary or a secondary substance, is discussed in our review of both the definition of relatives and their reciprocation. The differentiation of relatives and substances are so deep for Aristotle that after questioning the possibility of any common element or principle for substances and relatives (Met., Λ, 1070a33-36), he asserts that no substance, on the one hand, is the element of relatives and none of the relatives, on the other hand, is the element of substances. (Met., Λ, 1070b3-4) Aristotle does not, however, suffice to this. For him, relatives have the least substantiality, which is, for him, almost the same as reality: ‘The relative is least of all categories a real thing (φύσις τις) or substance, and less than quality and quantity; and the relative is an affection of quantity.’ (Met., M, 1088a22-25) Aristotle believes that an evidence of this least reality (ὄν) and substantiality is that relatives have no proper generation, destruction or movement while each of substance, quality and quantity have them. (Met., M, 1088a29-35) Moreover, neither motion (Phy., E, 1) nor any kind of change is applicable to relatives so that relatives are neither themselves alterations nor the subject of alterations (Phy., Z, 3) and the process of losing and acquiring states cannot be considered as alterations because these are the result of the alterations of non-relative things of which they are states. (Phy., Z, 3) Relative is not even matter but is something different. (Met., M, 1088a24-25) The reason is that the matter is potentially of a nature but relative is neither potentially nor actually of a nature. (Met., M, 1088b1-2) To understand the status of relatives in Aristotle’s world, we have to make a tripartite classification; a classification that though Aristotle himself did not make, his assertions approve it. Based on this division, there are three kinds of being in the world: i) Independent beings: This class includes only substances. ii) Dependent beings: This class includes qualities and quantities. Although they are real, they are ‘in’ substances and cannot exist without them. iii) Super dependent beings: This class includes at least relatives. The fact that relatives must be considered in a third class different from substances, on the one hand, and qualities and quantities, on the other hand, is obvious not only from the previously mentioned texts (Met., M, 1088a22-25, 29-35 and b1-2) in which relatives’ reality is considered less than all substances, qualities and quantities and different from matters but from this text: ‘For there is nothing either great or small, many or few, or, in general, relative which is not something (τι ὄν) different (ἓτερον) [that is also] many or few or great or small’. (Met, N, 1088a27-30) Therefore, super dependent beings are those beings that must necessarily be also something else, i.e. an independent or dependent being. Ackrill (1963, 99) points that some of the words used by Aristotle to exemplify relational entities, e.g. slave, are endowed with a complete sense and do not need to be supplemented by a correlate. (Thus, the linguist criterion of incompleteness would be deficient. Some other instances of relative entities like ‘state,’ ‘knowledge’ and perception are not necessarily followed by the genitive case. 9) Extent of relatives What is the extent of relatives? What are or are not included in relatives either among categories or among other concepts? Which concepts or things Aristotle regard as relative? i) Aristotle includes state (ἓξις) and position (θέσις) among relatives. (Cat., 7, 6b2-6; Cat., 7, 6b11-14; Cat., 8, 11a20-24) ii) Although relative is not matter but is something different (Met., M, 1088a24-25), matter is ‘non-being’ only in virtue of an attribute (Phy., A, 9) and is, thus, a relative term. (Phy., B, 2, 194b9) 10) Property and relativity Aristotle draws a contrast between two types of giving a property, absolute and relative: ‘A property is given either in its own right and for always or relative to something else and for a time.’ (To., E, 1, ^128b15-18) Being a civilized man, for example, is an absolute property for man while to command is a relative property for the soul. The absolute property, however, is considered not only potential to be discussed or observed in relation to many things or periods of time, it in fact ‘belongs to its subject relatively to every single thing that there is, so that if the subject is not distinguished relatively to everything else, the property will not have been given correctly.’ (To., E, 1, 129a18-20) Therefore, an absolute property is a property that ‘is ascribed to a thing in comparison with everything else and distinguishes it from everything else.’ (To., E, 1, 128b33- ) An absolute property is, then, absolutely relative and not conditionally relative, i.e. relative to a specific thing. This is what differentiates it from a relative property, which is relative to a certain thing: ‘A property relative to something else is one which separates its subject off not from everything else but from a particular definite thing.’ (To., E, 1, 128b33- ) One important difference between absolute and relative properties is that while an accident can be a relative property, it can never be an absolute property. (To., I, 5, ^102b20-36) For example, sitting, which is an accident, is also a property relatively to those who are not sitting. (To., I, 5, ^102b20-36) 11) Platonic theories as relatives At least three of Platonic theories Aristotle attaches to relatives: i) Forms ‘It seems that a Form is always spoken of in relation to a Form-this desire itself is for the pleasure itself, and wishing itself is for the good itself.’ (To., Z, 8, 147a^10) Moreover, the theory of Forms takes the relative prior to the absolute as, for example, it takes not the dyad but the number as first. (Met., A, 990b15-17) Aristotle believes that this is against not only the necessities of the case but only the Platonists’ opinion because Forms must be substances only, if they can be shared. (Met., A, 990b27-29) There are, however, things like ‘equal’ which are only relative: they are only in relation to something else. Now the theory that ideas are supposed to be substances only should entail the substantiality of merely relatives. The reason being that Forms are not shared incidentally but each thing shares in that which is not predicated of a subject. (Met., A, 990b29-31) ii) Unequal The Platonic theory of great and small or unequal, which we know more from Aristotle and has, in Platonic philosophy, a role like that of matter in Aristotelian philosophy, is also called relative by Aristole. (Met., M, 1089b4-15) iii) Potentiality Aristotle says that Platonists take what potentially is a ‘this’ and a substance but not actually so a relative because it is ‘neither potentially the one or being, nor the contradictory of the one nor of being, but one among beings.’ (Met., N, 1089b15-20) 12) All things as relative Aristotle attaches the theory that ‘everything is true’ to relativity and thinks the consequence of believing in this theory is that everything is true: ‘He who says all things that appear are true, makes all things relative.’ (Met., Γ, 1011a17-20) 13) Genera and species of relatives There are some genera, Aristotle hints, that are relative but their species are not relative. In such cases, the genera are spoken of in relation to something, but none of the particular cases are so spoken. (Cat., 8, 11a20-36) Aristole’s examples are knowledge and grammar of which the former is a relative but the latter is a quality. The consequence of this is that there is nothing absurd for a thing to be in both genera of relative and quality. (Cat., 8, 11a37- ) However, when the species is a relative, the genera will be a relative too. (To., Δ, 4, 124b15- ) Moreover, Aristotle asserts that ‘the differentiae of relative terms are themselves relative.’ (To., Z, 6, 145a14-16) Things that are called relative are called so, Aristotle says, ‘because the classes that include them are of this sort, e.g. medicine is thought to be relative bcs its genus, knowledge, is thought to be relative,’ (Met., Δ, 1021b4-6) 14) Relatives as indefinite? Fabio Morales takes 1088a29-b1 as a textual evidence supporting the assumption that Aristotle regarded relational terms as indefinite. (shrink)

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)

The aim of this paper is to evaluate the critical success factors and investigate the benefits that might be gained once implementing Electronic Customer Relationship Management at HEI from employee perspective. The study conducted at Al Quds Open University in Palestine and data collected from (300) employee through a questionnaire which consist of four variables. A number of statistical tools were intended for hypotheses testing and data analysis, including Spearman correlation coefficient for Validity, reliability correlation using Cronbach’s alpha, and Frequency (...) and Descriptive analysis. The overall findings of the current study show that all the features were important for staff and it was critical success factors, at the same time, websites were providing all the features discussed by the theory whereas staff showed their willingness to use those features if provided. It is also discovered that implementing Electronic Customer Relationship Management can cause staff retention, were provided efficiently and needed to be improved. Research limitations: The survey findings were based on QOU employee in Palestine, UAE and KSA branches not included in the study. (shrink)

The aim of this paper is to bring recent work on metaphysical grounding to bear on the phenomenon of social construction. It is argued that grounding can be used to analyze social construction and that the grounding framework is helpful for articulating various claims and commitments of social constructionists, especially about social identities, e.g., gender and race. The paper also responds to a number of objections that have been leveled against the application of grounding to social construction from Elizabeth Barnes, (...) Mari Mikkola, and Jessica Wilson. (shrink)

Over the past fifteen years there has been a considerable amount of debate concerning what theoretical population dynamic models tell us about the nature of natural selection and drift. On the causal interpretation, these models describe the causes of population change. On the statistical interpretation, the models of population dynamics models specify statistical parameters that explain, predict, and quantify changes in population structure, without identifying the causes of those changes. Selection and drift are part of a statistical description of population (...) change; they are not discrete, apportionable causes. Our objective here is to provide a definitive statement of the statistical position, so as to allay some confusions in the current literature. We outline four commitments that are central to statisticalism. They are: 1. Natural Selection is a higher order effect; 2. Trait fitness is primitive; 3. Modern Synthesis (MS)-models are substrate neutral; 4. MS-selection and drift are model-relative. (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)

How should we choose between uncertain prospects in which different possible people might exist at different levels of wellbeing? Alex Voorhoeve and Marc Fleurbaey offer an egalitarian answer to this question. I give some reasons to reject their answer and then sketch an alternative, which I call person-affecting prioritarianism.

The paper considers contemporary models of presumption in terms of their ability to contribute to a working theory of presumption for argumentation. Beginning with the Whatelian model, we consider its contemporary developments and alternatives, as proposed by Sidgwick, Kauffeld, Cronkhite, Rescher, Walton, Freeman, Ullmann-Margalit, and Hansen. Based on these accounts, we present a picture of presumptions characterized by their nature, function, foundation and force. On our account, presumption is a modal status that is attached to a claim and has the (...) effect of shifting, in a dialogue, a burden of proof set at a local level. Presumptions can be analysed and evaluated inferentially as components of rule-based structures. Presumptions are defeasible, and the force of a presumption is a function of its normative foundation. This picture seeks to provide a framework to guide the development of specific theories of presumption. (shrink)

Conceptions of acceptability-based moral or political justification take it that authoritative acceptability constitutes, or contributes to, validity, or justification. There is no agreement as to what bar for authoritativeness such justification may employ. The paper engages the issue in relation to (i) the level of idealization that a bar for authoritativeness, ψ, imparts to a standard of acceptability-based justification, S, and (ii) the degree of discursive purchase of the discursive standing that S accords to people when it builds ψ. I (...) argue that (i) and (ii) are interdependent: high idealization values entail low discursive purchase, while high degrees of purchase require low idealization values. I then distinguish between alethic conceptions of justification that prioritize ends that commit to high idealization values, and recognitive conceptions that favour high discursive purchase. On this basis, I argue for a moderately recognitivist constraint on idealization. To render the recognitive discursive minimum available to relevant people at the site of justification, S should set ψ low enough so that it is a genuine option for actual people to reject relevant views in ways that S recognizes as authoritative. (shrink)

We consider emergence from the perspective of dynamics: states of a system evolving with time. We focus on the role of a decomposition of wholes into parts, and attempt to characterize relationships between levels without reference to whether higher-level properties are “novel” or “unexpected.” We offer a classification of different varieties of emergence, with and without new ontological elements at higher levels. -/- Submitted to a volume on Real Patterns (Tyler Milhouse, ed.), to be published by MIT Press.

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)

In a recent paper, Pruss proves the validity of the rule beta-2 relative to Lewis’s semantics for counterfactuals, which is a significant step forward in the debate about the consequence argument. Yet, we believe there remain intuitive counter-examples to beta-2 formulated with the actuality operator and rigidified descriptions. We offer a novel and two-dimensional formulation of the Lewisian semantics for counterfactuals and prove the validity of a new transfer rule according to which a new version of the consequence argument can (...) be formulated. This new transfer rule is immune to the counter-examples involving the actuality operator and rigidified descriptions. However, we show that counter-examples to this new rule can also be generated, demanding that the Lewisian semantics be generalized for higher dimensions where counter-examples can always be generated. (shrink)

In a recent article, P. Roger Turner and Justin Capes argue that no one is, or ever was, even partly morally responsible for certain world-indexed truths. Here we present our reasons for thinking that their argument is unsound: It depends on the premise that possible worlds are maximally consistent states of affairs, which is, under plausible assumptions concerning states of affairs, demonstrably false. Our argument to show this is based on Bertrand Russell’s original ‘paradox of propositions’. We should then opt (...) for a different approach to explain world-indexed truths whose upshot is that we may be morally responsible for some of them. The result to the effect that there are no maximally consistent states of affairs is independently interesting though, since this notion motivates an account of the nature of possible worlds in the metaphysics of modality. We also register in this article, independently of our response to Turner and Capes, and in the spirit of Russell’s aforementioned paradox and many other versions thereof, a proof of the claim that there is no set of all true propositions one can render false. (shrink)

This paper offers an analysis of work on human development in evolutionary anthropology from a Thomist perspective. I show that both fields view care for others as fundamental to human nature and interpret cooperative breeding as expression of the virtue of charity. I begin with an analysis of different approaches to the relationship between evolutionary anthropology and moral theory. I argue that ethical naturalism is the approach best suited to interdisciplinary dialogue, since it holds that natural facts are useful for (...) moral theory but do not encompass it. This forms the basis for a Thomist analysis of some key features of human evolution including bipedalism, higher encephalisation and extended childhood. In each case I explain how these parts of our nature contributed to the evolution of modern humans, and how each is reliant upon communal care. Finally, I offer three observations on these facts from a Thomist perspective. Firstly, that a good human life necessarily involves caring for others and being cared for ourselves. Secondly, that this is exemplified in the virtue of charity, which is the ground of all virtue. Finally, that the need for such care shows that human flourishing cannot be attained without divine aid. (shrink)

From folk tales to movies, stories possess features which naturally suit them to contribute to the growth of virtue. In this article I show that the fictional exemplars help the learner to grasp the moral importance of internal states and resolves a tension between existing kinds of exemplars discussed by virtue ethicists. Stories also increase the information conveyed by virtue terms and aid the growth of prudence. Stories can provide virtuous exemplars, inform learners as to the nature of the virtues (...) and offer practice in developing situational judgement. As such they are a significant resource for virtue ethics and moral education. (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)

Perhaps the greatest impediment to a viable libertarianism is the provision of a satisfactory explanation of how actions that are undetermined by an agent's character can still be under the control of, or ‘up to’, the agent. The ‘luck problem’ has been most assiduously examined by Robert Kane who supplies a detailed account of how this problem can be resolved. Although Kane's theory is innovative, insightful, and more resourceful than most of his critics believe, it ultimately cannot account for the (...) type of control that moral responsibility and (ultimate) agency legitimately require. (shrink)

The paper explores the methodology and goals of H. Odera Oruka’s sage philosophy project. Oruka interviewed wise persons who were mostly illiterate and from the rural areas of Kenya to show that a long tradition of critical thinking and philosophizing exists in Africa, even if there is no written record. His descriptions of the role of the academic philosopher turned interviewer varied, emphasizing their refraining from imposition of their own views (the social science model), their adding their own ideas (like (...) Plato), or their midwifery in helping others give birth to their own ideas (like Socrates). The accuracy and consistency of the various metaphors used by Oruka is the main focus of the article’s analysis. The article sums up the shortcomings of Oruka’s method as well as its strengths and concludes with Oruka’s challenge to academic philosophers to rethink their own roles in society. (shrink)

Recently, the concept of "gender identity" has enjoyed a great deal of attention in gender metaphysics. This seems to be motivated by the goal of creating trans-inclusive theory, by explaining trans people's genders. In this paper, we aim to unmotivate this project. Notions of "gender identity" serve important pragmatic purposes for trans people, such as satisfying the curiosity of non-trans people, and, relatedly, securing our access to important goods like legal rights and medical care. However, we argue that this does (...) not mean that "gender identity" is a metaphysically substantial thing that deserves extensive theoretical attention. There are reasons to be skeptical of such a concept. We trace the history of "gender identity," primarily to identify its roots in trans-antagonistic medical theory and its connections to the problematic "wrong-body" model--a legacy that has pathologized and flattened trans experience. Moreover, we argue that trans people primarily use "gender identity" to explain ourselves to non-trans people, rather than to discuss ourselves among ourselves. Thus, we urge theorists to resist the urge to substantiate gender identity. Instead, we encourage the development of new and better concepts, ones that attend to the lived realities of trans community and the flourishing gender terms and practices that are constructed there. If these lived realities are taken seriously, there is no need to “explain” trans people’s genders; we can simply see them as they are. (shrink)

Objective: There are benefits and risks of giving patients more granular control of their personal health information in electronic health record (EHR) systems. When designing EHR systems and policies, informaticists and system developers must balance these benefits and risks. Ethical considerations should be an explicit part of this balancing. Our objective was to develop a structured ethics framework to accomplish this. -/- Methods: We reviewed existing literature on the ethical and policy issues, developed an ethics framework called a “Points to (...) Consider” (P2C) document, and convened a national expert panel to review and critique the P2C. -/- Results: We developed the P2C to aid informaticists designing an advanced query tool for an electronic health record (EHR) system in Indianapolis. The P2C consists of six questions (“Points”) that frame important ethical issues, apply accepted principles of bioethics and Fair Information Practices, comment on how questions might be answered, and address implications for patient care. -/- Discussion: The P2C is intended to clarify whatis at stake when designers try to accommodate potentially competing ethical commitments and logistical realities. The P2C was developed to guide informaticists who were designing a query tool in an existing EHR that would permit patient granular control. While consideration of ethical issues is coming to the forefront of medical informatics design and development practices, more reflection is needed to facilitate optimal collaboration between designers and ethicists. This report contributes to that discussion. (shrink)

Existing institutions do not seem well-designed to address paradigmatically global, intergenerational and ecological problems, such as climate change. 1 In particular, they tend to crowd out intergenerational concern, and thereby facilitate a “tyranny of the contemporary” in which successive generations exploit the future to their own advantage in morally indefensible ways (albeit perhaps unintentionally). Overcoming such a tyranny will require both accepting responsibility for the future and meeting the institutional gap. I propose that we approach the first in terms of (...) a traditional “delegated responsibility” model of the transmission of individual responsibility to collectives, and the second with a call for a global constitutional convention focused on future generations. In this paper, I develop the delegated responsibility model by suggesting how it leads us to understand both past failures and prospective responsibility. I then briefly defend the call for a global constitutional convention. (shrink)

Several theists, including Linda Zagzebski, have claimed that theism is somehow committed to nonvacuism about counterpossibles. Even though Zagzebski herself has rejected vacuism, she has offered an argument in favour of it, which Edward Wierenga has defended as providing strong support for vacuism that is independent of the orthodox semantics for counterfactuals, mainly developed by David Lewis and Robert Stalnaker. In this paper I show that argument to be sound only relative to the orthodox semantics, which entails vacuism, and give (...) an example of a semantics for counterfactuals countenancing impossible worlds for which it fails. (shrink)

Ethics should guide the design of electronic health records (EHR), and recognized principles of bioethics can play an important role. This approach was adopted recently by a team of informaticists designing and testing a system where patients exert granular control over who views their personal health information. While this method of building ethics in from the start of the design process has significant benefits, questions remain about how useful the application of bioethics principles can be in this process, especially when (...) principles conflict. For instance, while the ethical principle of respect for autonomy supports a robust system of granular control, the principles of beneficence and non-maleficence counsel restraint due to the danger of patients being harmed by restrictions on provider access to data. Conflict between principles has long been recognized by ethicists and has even motivated attacks on approaches that state and apply principles. In this paper we show how using ethical principles can help in the design of EHRs by first, explaining how ethical principles can and should be used generally, and then by, discuss how attention to details in specific cases can show that the tension between principles is not as bad as it initially appeared. We conclude by suggesting further ways in which the application of these (and other) principles can add value to the ongoing discussion of patient involvement in their health care. This is a new approach to linking principles to informatics design that we expect will stimulate further interest. (shrink)

This essay defends the controversial and indeed counterintuitive claim that there is a good argument to be made from a Lockean perspective for government action to guarantee access to health care. The essay maintains that this argument is in some regards more robust than the well-known argument in defense of universal health care spelled out by Norman Daniels, which this essay also examines in some detail. Locke's view that government should protect people's lives, property, and freedom–where freedom is understood as (...) independence and self-determination–justifies government action to ensure access to health care, because (roughly), just as individuals cannot protect themselves from crime and foreign invasion, so individuals are unable to provide for their own health care. Defense from disease is as important as defense from crime, and–although this is arguable–government action to guarantee access to health care does not itself undermine freedom. (shrink)

This dissertation studies the way entities inhabit our world. According to my analysis, there is only one way to exist, i.e. being an arrangements of atomic entities with a five-dimensional shape. I call this thesis “pixelism”.

In this paper I discuss Kant’s theory of conscience. In particular, I explicate the following two claims that Kant makes in the Metaphysics of Morals: (1) an erring conscience is an absurdity and (2) if an agent has acted according to his/her conscience, then s/he has done all that can be required of him/her. I argue that (1) is a very specific claim that does not bear on the problem of moral knowledge. I argue that (2) rests on a strongly (...) internalist line of argument. (shrink)

In this paper I will investigate Kristeva’s conception of dance in regard to the trope of the borderline. I will begin with her explicit treatments of dance, the earliest of which occurs in Revolution in Poetic Language, in terms of (a) her analogy between poetry and dance as practices erupting on the border of chora and society, (b) her presentation of dance as a phenomenon bordering art and religion in rituals, and (c) her brief remarks on dance gesturality. I will (...) then follow this latter movement to the 1969 essay “Gesturality,” to critically examine where Kristeva situates the powers and limits of gesture (and thereby dance) in relation to language. Next, I will move to the later text, The Sense and Non-Sense of Revolt, where the image of dance figures prominently in what I will term Kristeva’s joyful re-choreographing of Freud’s text Totem and Taboo. I will also see how her treatment of dance links more directly to Kristeva’s feminist concerns, insofar as she understands the process of choreography as a kind of maternal function neglected in most psychoanalytic thought. (shrink)

This paper addresses the ontological status of the ontological categories as defended within E.J. Lowe’s four-category ontology (kinds, objects, properties/relations, and modes). I consider the arguments in Griffith (2015. “Do Ontological Categories Exist?” Metaphysica 16 (1):25–35) against Lowe’s claim that ontological categories do not exist, and argue that Griffith’s objections to Lowe do not work once we fully take advantage of ontological resources available within Lowe’s four-category ontology. I then argue that the claim that ontological categories do not exist has (...) no undesirable consequences for Lowe’s brand of realism. (shrink)

I will begin this comparative analysis with Quine, focusing on the front matter and first chapter of Word and Object (alongside From a Logical Point of View and two other short pieces), attempting to illuminate there a (1) basis of excessive, yet familiar, chaos, (2) method of improvised, dramatic distortion, and (3) consequent neo-Pragmatist metaphysics. Having elaborated this Quinian basis, method and metaphysics, I will then show that they can be productively translated into James Mercer’s poetic lyrics for The Shins, (...) with an emphasis on the first song, entitled “Caring is Creepy,” from their debut studio album, Oh, Inverted World! Finally, I will explain why Quine and Mercer are particularly suited to this translation (in contrast to other philosophically-rich pop lyricists such as Bob Dylan, and other pragmatist philosophers like Robert Brandom), in the course of which important implications will emerge for our globalized world today. (shrink)

Welfarism is the view that individual welfare is the only thing that matters. One important contribution of social choice theory has been to provide a precise formulation and axiomatic characterization of welfarism using Amartya Sen's framework of social welfare functionals. This paper is motivated by the observation that the standard formalization of welfarism is too restrictive, since a welfarist social planner need not be committed to maximizing a preference ordering or any other binary relation over alternatives. We therefore provide a (...) characterization of welfarism in a more general choice-functional setting and show that welfarism, so understood, carries no commitment to rationalizability. This characterization is compatible with welfare values having any structure whatsoever. It also sheds light on different formulations of anonymity, revealing only some of these to be fundamental requirements of impartiality. (shrink)

Poverty has traditionally been conceived of as a state of deprivation. To be poor is to lack something essential to human flourishing. How that something is understood—in terms of welfare, resources, or capabilities—and how it is measured—in absolute terms or relative to a social standard—has been the subject of much debate within the development literature. In this paper, I put forward an account of poverty rooted in the philosophy of action. I argue that poverty essentially involves being in a context (...) in which a reasonable agent’s future-directed agency is systemically undermined. Centering this dimension of poverty allows us to attend to aspects of poverty that are easily overlooked on existing accounts. (shrink)

Many scholars of organizations see social enterprise as a promising approach to advancing social justice but neglect to scrutinize the normative foundations and limitations of this optimism. This article draws on Rawlsian political philosophy to investigate whether and how social enterprises can support social justice. We propose that this perspective assigns organizations a duty to foster institutional capacity, a concept we define and elaborate. We investigate how this duty might apply specifically to social enterprises, given their characteristic features. We theorize (...) six different mechanisms through which social enterprises might successfully discharge this duty. These results affirm the value of conversation between organizational studies and political philosophy and shed new light on debates regarding social enterprise, institutional theory, and several other topics. (shrink)

The aim of this thesis is to advance a philosophically justifiable account of Artificial Moral Agency (AMA). Concerns about the moral status of Artificial Intelligence (AI) traditionally turn on questions of whether these systems are deserving of moral concern (i.e. if they are moral patients) or whether they can be sources of moral action (i.e. if they are moral agents). On the Organic View of Ethical Status, being a moral patient is a necessary condition for an entity to qualify as (...) a moral agent. This view claims that because artificial agents (AAs) lack sentience, they cannot be proper subjects of moral concern and hence cannot be considered to be moral agents. I raise conceptual and epistemic issues with regards to the sense of sentience employed on this view, and I argue that the Organic View does not succeed in showing that machines cannot be moral patients. Nevertheless, irrespective of this failure, I also argue that the entire project is misdirected in that moral patiency need not be a necessary condition for moral agency. Moreover, I claim that whereas machines may conceivably be moral patients in the future, there is a strong case to be made that they are (or will very soon be) moral agents. Whereas it is often argued that machines cannot be agents simpliciter, let alone moral agents, I claim that this argument is predicated on a conception of agency that makes unwarranted metaphysical assumptions even in the case of human agents. Once I have established the shortcomings of this “standard account”, I move to elaborate on other, more plausible, conceptions of agency, on which some machines clearly qualify as agents. Nevertheless, the argument is still often made that while some machines may be agents, they cannot be moral agents, given their ostensible lack of the requisite phenomenal states. Against this thesis, I argue that the requirement of internal states for moral agency is philosophically unsound, as it runs up against the problem of other minds. In place of such intentional accounts of moral agency, I provide a functionalist alternative, which makes conceptual room for the existence of AMAs. The implications of this thesis are that at some point in the future we may be faced with situations for which no human being is morally responsible, but a machine may be. Moreover, this responsibility holds, I claim, independently of whether the agent in question is “punishable” or not. (shrink)

In the first section of this essay, I offer a brief overview of Hegel’s dozen or so mentions of dance in his Lectures on Aesthetics, focusing on the tension between Hegel’s denigration of dance as an “imperfect art” and his characterization of dance as a potential threat to the other arts. In the second section, I turn to an insightful essay from Hans-Christian Lucas on Hegel’s “Anthropology,” focusing on his argument that the Anthropology’s crucial final sections threaten to undermine Hegel’s (...) entire philosophy. And in the final section, I offer my own reading of the Anthropology, connecting the threads of my previous two sections. More specifically, I attempt to show that Hegel has in effect quarantined dance in what he terms “the dark regions” of madness in “The Feeling Soul.” Overall, I suggest that this quarantining is ultimately as problematic for Hegel as it has been for dance. Because without dance, complete with its associations with people disempowered in their embodiment, this crucial transitional section in the Anthropology remains burdened with a corporeal remainder that problematizes the entire system. Put simply, Hegel must – by his own logic – learn to dance gracefully with those he would rather shun. (shrink)

It was an empirical discovery that Phosphorus is Hesperus. According to Kripke, this was also the discovery of a necessary fact. Now, given Kripke’s theory of direct reference one could wonder what kind of discovery this is. For we already knew Phosphorus/Hesperus, and we also knew that any entity is, necessarily, identical to itself. So what is it that was discovered? I want to show that there is more to this widely known case than what usual readings, and critics, reveal; (...) and I want to show this under the Kripkean pattern that what was discovered is the plain fact of identity that Phosphorus is, and necessarily is, Hesperus. Moreover, I will show how both Kripkean theses, the necessity of identity and the direct theory of reference, should not be kept apart to understand the kind of discovery this is. In particular, understanding the kind of discovery we made will help us see how intuition is displayed in metaphysics, and how metaphysical impossibilities, and metaphysical modality in general, can be discerned by reason and separated from other modalities. The study of this discovery will help us see, in a line, how identity belongs to the inner and most profound structure of reality and to the most profound structure of cognition and language. (shrink)

In a series of well known publications, Christine Korsgaard argues for the claim that an agent acts morally just in case s/he acts autonomously. Two of Korsgaard's signature arguments for the connection between morality and autonomy are the "argument from spontaneity" and the "regress argument." In this paper, I argue that neither the argument from spontaneity nor the regress argument is able to show that an agent would be acting wrongly even if s/he acts in a paradigmatically heteronomous fashion.

The concept of bias is pervasive in both popular discourse and empirical theorizing within philosophy, cognitive science, and artificial intelligence. This widespread application threatens to render the concept too heterogeneous and unwieldy for systematic investigation. This article explores recent philosophical literature attempting to identify a single theoretical category—termed ‘bias’—that could be unified across different contexts. To achieve this aim, the article provides a comprehensive review of theories of bias that are significant in the fields of philosophy of mind, cognitive science, (...) machine learning, and epistemology. It focuses on key examples such as perceptual bias, implicit bias, explicit bias, and algorithmic bias, scrutinizing their similarities and differences. Although these explorations may not conclusively establish the existence of a natural theoretical kind, pursuing the possibility offers valuable insights into how bias is conceptualized and deployed across diverse domains, thus deepening our understanding of its complexities across a wide range of cognitive and computational processes. (shrink)

This paper explores the Persistence Question about cities, that is, what is necessary and sufficient for two cities existing at different times to be numerically identical. We first show that we can possibly put an end to the existence of a city in a number of ways other than by physically destroying it, which reveals the metaphysics of cities to be partly different from that of ordinary objects. Then we focus in particular on the commonly perceived vulnerability of cities to (...) imaginary relocation; and we make the hypothesis that cities do have among their essential properties that of being surrounded by a specific geographical context. Finally we investigate the pos- sibility that a city can survive relocation in virtue of the capacity of its geographical context to survive it in the first place. We suggest that city contexts may not be essentially context-dependent in turn, and outline a possible description of the cri- teria for their persistence over time. (shrink)

In this paper I discuss the role of non-humans in Aquinas’ account of moral learning. I intend to show that the entire created order can play an important role in demonstrating to us the life of virtue, and argue that non-human exemplars offer important advantages to the moral learner. I begin by addressing apparent problems with this approach, founded on the observation that human virtue, for Aquinas, is unique to humans. I resolve these by showing that Aquinas’ approach to exemplars (...) is fundamentally analogical, meaning that exemplars point beyond themselves and need not necessarily live the good life to which they direct learners. I show that this means that Aquinas can use non-humans as moral exemplars and offer examples of him doing just that. Finally, I offer an assessment of the benefits of this approach. Among other things, it offers ethicists new ways to focus on particular virtues and provides a plausible way to include non-humans in the moral realm. (shrink)

Numerous societal issues, from climate change to pandemics, require public engagement with scientific research. Such engagement reveals challenges that can arise when experts communicate with laypeople. One of the most common frameworks for framing these communicative interactions is the deficit model of science communication, which holds that laypeople lack scientific knowledge and/or positive attitudes towards science, and that imparting knowledge will fill knowledge gaps, lead to desirable attitude/behavior changes, and increase trust in science. §1 introduces the deficit model in more (...) detail and shows that adhering to this model often fails to achieve its aims, which motivates the main question of this chapter: how can Ludwik Fleck’s theory of thinking collectives address the persistent problem of deficit approaches in science communication? I suggest that it can do so by exposing the deficit model’s implicit assumption of an expert-lay divide. Accordingly, §2 lays out Fleck’s theory and §3 contrasts it with contemporary debates about science communication. Following this descriptive work, §4 draws on Fleck’s ideas to make four concrete suggestions for further questioning the expert-lay divide. (shrink)