In this paper, we introduce a quasi-set theory without atoms. The quasi-sets (qsets) can have as elements completely indiscernible things which do not turn out to be the very same thing as it would be implied if its underlying logic was classical logic. A quasi-set can have a cardinal, called its quasi-cardinal, but this is made so that, at least for the finite case, the quasi-cardinal is not an ordinal, and hence the indistinguishable elements of a quasi-set cannot be ordered. (...) In the last sections, we show how the theory can be used to ground a quantum metaphysics of properties, which sees the quantum entities as bundles of properties, and we also introduce a new approach for the use of quantifiers in quantum physics. (shrink)

Existential a prioris are fundamental elements of the a priori structure of one's being-in-the-world. They relate to Heidegger's existentials, although in psychiatry the analysis is mainly at the ontic level of concrete existence. The English term "existential" does not discriminate between the German "existenziell" and "existenzial". Here we mean with "existential" what in German is called "existenziell". In this paper schizophrenic delusions and hallucinations are considered secondary phenomena, being founded in a primary alteration of the existential a prioris. In schizophrenia (...) the alteration of the existential a prioris is recognized as a certain mode of being, different from ours, which is evident in the alteration of spatialization and temporalization, being-with others and bodily being. This is discussed by the so-called technical delusions and hallucinations, which are psychotic symptoms experienced as being infl uenced by means of technical instruments. The recognition of the alteration of these basic pre-objective structures is very important for the understanding and therapy of people with schizophrenia. (shrink)

En este artículo argumentamos que la naturaleza pública o privada de la educación tiene una incidencia directa en las instituciones que conforman la realidad social. Para sustentar lo anterior, en primer lugar discutimos cómo, según Searle, habitamos un mundo de instituciones gobernadas por reglas y poderes deónticos, ontológicamente irreductibles. Luego, postulamos que la intencionalidad colectiva requiere de la confianza para mantenerse, y esta aumenta cuando gobiernan reglas y poderes deónticos en circunstancias normales. Finalmente, planteamos que la educación pública es una (...) institución que, a diferencia de la privada, privilegia el espacio de lo común. Sócrates es un ejemplo de esto, al proponer una filosofía que no solo busca la verdad, sino que además privilegia el reconocimiento de la ley por sobre la satisfacción inmediata de deseos e inclinaciones personales. De todo esto se explica el círculo virtuoso: la educación pública, al ser inclusiva y beneficiar a todos, potencia las instituciones sociales que tutelan ese interés y, dentro de ellas, el servicio público. (shrink)

According to John Searle, default positions, i.e., those intelligibility and action presuppositions, are some departing points from which pre-reflective and pragmatic assumptions are made. Postulating such points helps us deal with certain perennial philosophical issues, by leaving them aside. These problems are the existence of the external world, truth and facts, “direct” perception, the meaning of words, and causality. In this article, we argue that those default positions described by Searle constitute a default humanity, and their absence would dehumanize us. (...) This is particularly relevant in a default position: cooperation, which is the basis of collective intentionality and the milestone of human civilization. (shrink)

The purpose of the article is generalization of features of expediency of the creation of innovative parks in Ukraine. Practical output of the results consists in the discovered success factors of the activity of innovative parks in Ukraine in order to create new opportunities of innovation development of the country. Current organizational and functional system of innovative entrepreneurship of Ukraine is an imperfect, complex and by all indications, is in the process of formation. It is assumed that infrastructure of international (...) educational innovative hub can structurally corrected according to the area which operates a hub that is: stimulate the dialogue between academics, businessmen and government officials; provide an interactive exchange of explicit and implicit knowledge; generate shared vision on adaptation measures of dynamic environment. Evaluation of the results of scientific and pedagogical activities of working group of innovative hub should be made for following indicators: development of skills of teaching and research work; introducing of innovative approaches for practical individual activity; formation of innovative approaches for collective practical activity; working on the chosen scientific and methodological theme. Main advantage of proposed university innovative hubs is that laid all necessary foundations in order to high school could be as soon as effectively integrate the results of university, academic and sectoral sciences of Ukraine, well as advanced research results of scientific world community in the development and implementation of innovative projects and development innovation. (shrink)

When does opinion formation within an interacting group lead to consensus, polarization or fragmentation? The article investigates various models for the dynamics of continuous opinions by analytical methods as well as by computer simulations. Section 2 develops within a unified framework the classical model of consensus formation, the variant of this model due to Friedkin and Johnsen, a time-dependent version and a nonlinear version with bounded confidence of the agents. Section 3 presents for all these models major analytical results. Section (...) 4 gives an extensive exploration of the nonlinear model with bounded confidence by a series of computer simulations. An appendix supplies needed mathematical definitions, tools, and theorems. (shrink)

In previous works, an ontology of properties for quantum mechanics has been proposed, according to which quantum systems are bundles of properties with no principle of individuality. The aim of the present article is to show that, since quasi-set theory is particularly suited for dealing with aggregates of items that do not belong to the traditional category of individual, it supplies an adequate meta-language to speak of the proposed ontology of properties and its structure.

Taking seriously the task of sustaining the democratic project requires debunking pessimism, thinking critically about what constitutes the distinctive character of democracy, and taking a future-oriented perspective on democratic transformations.

El artículo analiza el rol que cumple la confianza en la construcción de la realidad social, argumentando que constituye uno de sus componentes esenciales. Lo es porque hace posible el nacimiento, permanencia y reconocimiento colectivo de las instituciones, así como su iteración y organización en subsistemas.

This chapter argues that the general philosophy of science should learn metaphilosophical lessons from the case of metaphysical underdetermination, as it occurs in non-relativistic quantum mechanics. Section presents the traditional discussion of metaphysical underdetermination regarding the individuality and non-individuality of quantum particles. Section discusses three reactions to it found in the literature: eliminativism about individuality; conservatism about individuality; eliminativism about objects. Section wraps it all up with metametaphysical considerations regarding the epistemology of metaphysics of science.

This paper introduces the theory QST of quasets as a formal basis for the Nmatrices. The main aim is to construct a system of Nmatrices by substituting standard sets by quasets. Since QST is a conservative extension of ZFA (the Zermelo-Fraenkel set theory with Atoms), it is possible to obtain generalized Nmatrices (Q-Nmatrices). Since the original formulation of QST is not completely adequate for the developments we advance here, some possible amendments to the theory are also considered. One of the (...) most interesting traits of such an extension is the existence of complementary quasets which admit elements with undetermined membership. Such elements can be interpreted as quantum systems in superposed states. We also present a relationship of QST with the theory of Rough Sets RST, which grants the existence of models for SQT formed by rough sets. Some consequences of the given formalism for the relation of logical consequence are also analysed. (shrink)

It is well known that in quantum mechanics we cannot always define consistently properties that are context independent. Many approaches exist to describe contextual properties, such as Contextuality by Default, sheaf theory, topos theory, and non-standard or signed probabilities. In this paper we propose a treatment of contextual properties that is specific to quantum mechanics, as it relies on the relationship between contextuality and indistinguishability. In particular, we propose that if we assume the ontological thesis that quantum particles or properties (...) can be indistinguishable yet different, no contradiction arising from a Kochen-Specker-type argument appears: when we repeat an experiment, we are in reality performing an experiment measuring a property that is indistinguishable from the first, but not the same. We will discuss how the consequences of this move may help us understand quantum contextuality. (shrink)

In this work, we discuss a formal way of dealing with the properties of contextual systems. Our approach is to assume that properties describing the same physical quantity, but belonging to different measurement contexts, are indistinguishable in a strong sense. To construct the formal theoretical structure, we develop a description using quasi-set theory, which is a set-theoretical framework built to describe collections of elements that violate Leibnitz's principle of identity of indiscernibles. This framework allows us to consider a new ontology (...) in order to study the properties of quantum systems. (shrink)

Impresionante. En el otro lado del mundo, en un país que fue comunista durante un par de décadas y que aun pretende serlo, aunque su economía sea más abierta y de mercado que la argentina, sus académicos también parecen tener más claro dónde buscar teorías económicas para entender el fenómeno empresarial que allí ocurre.

En este trabajo examinamos el tópico de la responsabilidad en el derecho penal internacional a la luz de la filosofía de John Searle, y del fallo dictado por la Corte Penal Internacional en el caso de Thomas Lubanga. En el primer acápite analizamos la declaración de responsabilidad penal en función de la teoría de actos de habla de Austin y de Searle, tratándola como un acto ilocucionario cuyo significado es dependiente de un marco institucional específico. Luego, en el segundo acápite, (...) mostramos de qué forma tal marco puede reconstruirse como un ejemplo paradigmático de la realidad social construida descrita por Searle, especialmente en virtud del nexo entre mente, lenguaje y sociedad. A nuestro juicio, los conceptos de intencionalidad colectiva, atribución de funciones de estatus y poderes deónticos son fundamentales para entender tal nexo. En efecto, tal como argumentamos en la tercera sección, los sistemas de poderes deónticos asociados al derecho internacional no solo explican la aparición de Tribunales penales internacionales, como la Corte Penal Internacional, sino además el carácter imprescriptible de los crímenes de lesa humanidad. Los acuerdos internacionales que promueven y protegen los derechos humanos, y que tratan la imprescriptibilidad de aquellos crímenes, son objeto de análisis en la sección final, en donde exponemos algunas reflexiones finales a partir del caso Lubanga. (shrink)

Otto Weininger’s Sex and Character interprets Kant’s categorical imperative in a way which takes it to imply that all human relations, including human sexual relations, are immoral; it is thus in a certain sense impossible to lead a moral life on this earth. We discuss Weininger’s ideas on man, woman, value and intellect, and describe their influence among the Central European intellectuals of his day, including Wittgenstein, and also including Karl Kraus.

There are striking parallels between current capability theories and the moral philosophy of Karl Christian Friedrich Krause. This article reconstructs central arguments of Krause’s ethics and correlates them with passages from the works of Martha Nussbaum, showing that such similarities extend not only to what, substantially, is being professed in either philosophy but also, procedurally, to the question of how the respective moral conclusions are reached. As Krause correlates responsibility with capability, the article begins with an examination of Krause’s idea (...) of human — as compared to animal — freedom and their respective normative implications. Next, the argument is extended to the social responsibilities of personal freedom, before widening the scope to the cosmopolitan plane. The paper then briefly examines historical links between Krause and current capability theorists, before concluding. (shrink)

The Metaphysics of Experience: Companion to Whitehead’s Process and Reality by Elizabeth M. Kraus develops very classical, Boethian, atemporal understanding of Whitehead’s God. Kraus contends that Whitehead intended “to infer that the divine actual world includes all actual worlds in unison of becoming” (p. 164). Her position is that even in his consequent nature, God coexists simultaneously and changelessly with the entire past, present, and future of every occasion in every world or cosmic epoch. Her rationale for this (...) rests upon 1. a highly questionable interpretation of one text in Process and Reality and the claims that 2. only such a view is compatible with human freedom, and 3. only such a view is compatible with human faith. This article argues that she is mistaken on all three counts. (shrink)

In a time which it is not amiss to term “the Dark Ages of logic”, Karl Christian Friedrich Krause stayed not only true to logic but actually did something for its advancement. Besides making systematic use of Venn-diagrams long before Venn, Krause — once more taking his inspiration from Leibniz — propounded what appears to be the first completely symbolic systematic representation of logical forms, strongly suggestive of the powerful symbolic languages that have become the mainstay of logic since the (...) beginning of the 20th century. However, Krause’s limits in logic are also clearly visible: Krause’s method in logic is, in the main, not axiomatic; it is combinatorial. More importantly, Krause remained entirely within the confines of traditional syllogistics, neglecting propositional logic and, of course, first-order relational terms. (shrink)

Krause’s philosophy deserves to be memorized as the first link in a chain of thinking on animal rights that is still on the way today. Though Krause was not the first to talk of animal rights in the history of animal ethics, his theory of animal rights is pathbreaking in embedding a conception of animal rights in an all-encompassing metaphysical system. The essay situates Krause’s theory of animal rights in the framework of his general theory of rights and points to (...) the challenges Krause’s theory faces by the inevitability of trade-offs between animal and human rights. (shrink)

This paper deals with the concept of religiousness and religion in the context of Krause´s panentheist metaphysics, understood as a life of union, as intimacy of and with God, particularly on the part of human beings and also in relation to the rest of the existing. An evolutionary review of this conception of religion is undertaken throughout Krause´s work, and the program of a philosophy of religion is traced, which, besides a metaphysical and anthropological substantiation, would address an understanding of (...) the history of religions and especially of Christianity, proposing a vision of reciprocal illumination between religion, knowledge, feeling and morality, as well as the possibility of an appealing notion of religious freedom, the hallmark of Krausism in its historical development. (shrink)

With this article, I seek to examine Krause’s analysis of the self in Analitische Philosophie, and in particular in Vorlesungen über die Psychische Anthropologie. But I do so through the texts that the Spanish Krausists devoted either to translating or to discussing and disseminating Krause’s ideas in dialogue with the philosophies of the time. In my exposition and examination of the doctrine of the self, I focus on its embedding in a particular existence through embodiment, and argue that these are (...) aspects with which Krausism can still illuminate the debate about human subjectivity. (shrink)

“The A2 is Light,” Schelling explains to us in the Presentation of My System of Philosophy. Is such a statement meaningful, so that its truth value can be asked? Is it an empirical statement, which can be tested and possibly confirmed through observations? Or is it a synthetic a priori judgment independent of observations? Such questions are not easy to answer, and they are related to the logical status of Schelling’s theory as a whole. That such questions became important stems (...) from the peculiarity of the philosophical systems that were developed in Jena after 1800. They were called “systems of absolute idealism,” but it is not clear what this means. These systems include not only Schelling’s but also Hegel’s and Krause’s. In the following, some commonalities, as well as specific particularities, of these systems will be examined in more detail from the standpoint of methodology. (shrink)

These comments are my contribution to the author-meets-critics session on Katharina Kraus' recently published Kant on Self-Knowledge and Self-Formation, at the APA Pacific meeting. In my comments, I challenge Kraus' characterization of my fictionalism concerning the idea of the soul, and contend for the importance of transcendental illusion in that idea's function of guiding the empirical investigation of inner appearances.

In this paper we shed new light on the Argument from Disagreement by putting it to test in a computer simulation. According to this argument widespread and persistent disagreement on ethical issues indicates that our moral opinions are not influenced by any moral facts, either because no such facts exist or because they are epistemically inaccessible or inefficacious for some other reason. Our simulation shows that if our moral opinions were influenced at least a little bit by moral facts, we (...) would quickly have reached consensus, even if our moral opinions were affected by factors such as false authorities, external political shifts, and random processes. Therefore, since no such consensus has been reached, the simulation gives us increased reason to take seriously the Argument from Disagreement. Our conclusion is however not conclusive; the simulation also indicates what assumptions one has to make in order to reject the Argument from Disagreement. The simulation algorithm we use builds on the work of Hegselmann and Krause (J Artif Soc Social Simul 5(3); 2002, J Artif Soc Social Simul 9(3), 2006). (shrink)

The German philosopher K.C.F. Krause found deep conceptual parallels between his panentheistic system and the Indian philosophy of Vedānta. This article critically examines Krause’s understanding of Vedānta and popular Hindu religion. I argue that while Krause was correct in viewing the mystical panentheistic doctrine of Vedānta as a precursor to his own philosophy, he was also frequently misled by unreliable translations and secondary texts. Krause, I suggest, was mistaken in characterizing the Hindu practice of image worship as “polytheism” and “idolatry,” (...) and I contend, from a Vedāntic standpoint, that Krause’s denial of the divinity of Jesus is inconsistent with his own panentheistic metaphysics. (shrink)

Der vorliegende Aufsatz stellt den Versuch dar, die normative Seite von Wittgensteins Frühwerk herauszuarbeiten und dabei an seinem Ansatz insofern Kritik zu üben, als gezeigt wird, wie sehr dessen Implikationen mit unseren üblichen ethischen Vorstellungen in Konflikt stehen. Die Arbeit hat aber auch einen etwas wohlwollenderen Aspekt: Sie versucht zu zeigen, wie Wittgensteins scheinbar widersinnige Ansichten so formuliert werden können, daß sie zumindest begreifbar erscheinen. Zu diesem Zweck beginnen wir mit der Untersuchung des demjenigen Wittgensteins erstaunlich ähnlichen ethischen Ansatzes, wie (...) er von einem seiner frühen väterlichen Freunde vertreten wurde, nämlich von Karl Kraus. (shrink)

In a situation of peer disagreement, peers are usually assumed to share the same evidence. However they might not share the same evidence for the epistemic system used to process the evidence. This synchronic complication of the peer disagreement debate suggested by Goldman (In Feldman R, Warfield T (eds) (2010) Disagreement. Oxford University Press, Oxford, pp 187–215) is elaborated diachronically by use of a simulation. The Hegselmann–Krause model is extended to multiple epistemic systems and used to investigate the role of (...) consensus and difference splitting in peer disagreement. I find that the very possibility of multiple epistemic systems downgrades the epistemic value of consensus and makes difference splitting a suboptimal strategy. (shrink)

This chapter contains sections titled: The Philosophical Context in Jena around 1800 A Metaphysics of Freedom Analytic and Synthetic Philosophy Metaphysics of Humanity Socioeconomic Philosophy The Natural World Harmonious Freedom Krause's Philosophy in Spain Ideal de la humanidad (the ideal of humanity) Latin American Reception Conclusion References Further Reading.

This is a Review of Tópicos em Ontologia Analítica by Décio Krause. Both the review and the book are in Portuguese.

Karl Christian Friedrich Krause and Georg Wilhelm Friedrich Hegel are two representatives of German Idealism, both of whom developed impressing category systems. At the core of both systems is the question of the relation of the Absolute to its determinations and the determinations of finite beings. Both idealists try to deduce their respective category systems from the immediacy of the Absolute. Both use combinatorial methods to get from known to new categories or constellations in the system, which then unfold in (...) the world. Krause is thereby considered the eponym of so-called panentheism, the doctrine that “Everything is in God.” Hegel is also often referred to as a panentheist. Through a comparison of the two systems of categories, in this essay the thesis will be advocated that Hegel was in no sense a panentheist. Krause is and remains the gold standard of panentheism. (shrink)

Virușii coabitează de cca. 300 milioane de ani cu oamenii. Uneori, virușii pot infecta oamenii pe scară largă. Dar, cum a fost posibilă actuala pandemie? Încălzirea globală determină fenomene meteorologice extreme care au dus la o creștere a bolilor infecțioase. Noul climat poate susține vectori epidemiologici pentru perioade mai lungi de timp, creând condiții mai favorabile replicării și apariția de noi vectori. În cazul bolilor infecțioase emergente, se consideră că există o graniță peste care s-a sărit deja. Virușii au, în (...) mod normal, o zonă nativă („rezervorul” lor), din care nu ar trebui să fie împinși afară. Se creează astfel o intimitate periculoasă, cu „puncte fierbinți” care includ locații precum piețele, care devin adevărate focare de epidemii. DOI: 10.13140/RG.2.2.16634.11202. (shrink)

This paper starts by indicating the analysis of Hempel's conditions of adequacy for any relation of confirmation (Hempel, 1945) as presented in Huber (submitted). There I argue contra Carnap (1962, Section 87) that Hempel felt the need for two concepts of confirmation: one aiming at plausible theories and another aiming at informative theories. However, he also realized that these two concepts are conflicting, and he gave up the concept of confirmation aiming at informative theories. The main part of the paper (...) consists in working out the claim that one can have Hempel's cake and eat it too - in the sense that there is a logic of theory assessment that takes into account both of the two conflicting aspects of plausibility and informativeness. According to the semantics of this logic, a is an acceptable theory for evidence β if and only if a is both sufficiently plausible given β and sufficiently informative about β. This is spelt out in terms of ranking functions (Spohn, 1988) and shown to represent the syntactically specified notion of an assessment relation. The paper then compares these acceptability relations to explanatory and confirmatory consequence relations (Flach, 2000) as well as to nonmonotonic consequence relations (Kraus et al., 1990). It concludes by relating the plausibility-informativeness approach to Carnap's positive relevance account, thereby shedding new light on Carnap's analysis as well as solving another problem of confirmation theory. (shrink)

I am not sure who said that liberalism merely alternates between ethics and economics – was it Karl Kraus? – but at first glance the claim is plausible. In this paper I argue that there are varieties of liberalism which do not. Some depend on a nature-culture distinction and some appeal to simplicity in a way that seems aesthetic. In the appendix I introduce a problem for utilitarianism.

Introduction to volume containing essays by Simon Blackburn, John Cottingham, Frances Ferguson, Joshua Gert, Peter Goldie, Charles Guignon, Sharon Krause, Christopher Kutz, Daniel Markovits, Elijah Millgram, Martha Nussbaum, and Carol Rovane.

Is identity fundamental to formal systems? Even if a system have no the identity relation, is that concept is not assumed in any way – whether in a metalinguistic or intuitive level? In this paper we shall discuss this issue. Otávio Bueno (2014, 2016) argues against the elimination of identity, holding that this concept is fundamental and non-eliminable (even in does systems that claim to do so). Décio Arenhart Krause and Jonas (2015), by the other hand, have a number of (...) objections to Bueno’s thesis. Firstly, we look at how the concept of identity was accounted in the philosophical tradition, as well as part of its formal account. We will also examine the notion of indiscernibility that, according to the traditional approach to identity, is equivalent to the notion of identity, but (arguably) is not it logically equivalent. Thus, we shall state Krause and Arenhart’s strategy, according to, in a formal system we can eliminate identity in favor of the indiscernibility notion. Finally, we shall expose Bueno’s criticism to such strategy, and then to put forward some objections against it. (shrink)

Identity is traditionally taken to be a fundamental notion of our conceptual framework as well as a fundamental metaphysical component of entities. But as far as we make this claim we face ourselves with two problems: what is identity? And why would it be fundamental? These questions will guide us towards a discussion put forward by Bueno (2014), Krause and Arenhart (2015). Bueno holds that there are four aspects that make identity being fundamental: (1) identity is assumed in every conceptual (...) system; (2) it is required for a minimal characterisation of being an individual; (3) it cannot be defined; and (4) identity is required for quantification. On the other hand, Krause and Arenhart refuse the thesis that identity is fundamental replying to Bueno's arguments. In this dissertation we will deal with this debate. In the introduction we will deal with the first problem what is identity? , showing how this concept is traditionally understood, either for its metaphysical characteristics as for its formal account. After that we will deal with each of the four aspects defended by Bueno and challenged by Krause and Arenhart. After a critical presentation of each position we will also provide other arguments for the current debate. Finally we will outline an alternative view to those defended throughout this work. -/- . (shrink)

Coherence and correspondence are classical contenders as theories of truth. In this paper we examine them instead as interacting factors in the dynamics of belief across epistemic networks. We construct an agent-based model of network contact in which agents are characterized not in terms of single beliefs but in terms of internal belief suites. Individuals update elements of their belief suites on input from other agents in order both to maximize internal belief coherence and to incorporate ‘trickled in’ elements of (...) truth as correspondence. Results, though often intuitive, prove more complex than in simpler models (Hegselmann & Krause 2002, 2006; Grim, Singer, Reade & Fisher 2015). The optimistic finding is that pressures toward internal coherence can exploit and expand on small elements of truth as correspondence is introduced into epistemic networks. Less optimistic results show that pressures for coherence can also work directly against the incorporation of truth, particularly when coherence is established first and new data is introduced later. (shrink)

Is identity fundamental to every conceptual systems? In this article I intend to present reasons against the claim that every conceptual system presupposes the notion of identity. To address this debate I analyze the positions of Bueno (2014; 2016) and Krause and Arenhart (2015). While Bueno argues that identity is necessary for all conceptual systems, Krause and Arenhart present a series of objections against such position, thus defending that identity is not fundamental. I intend to show that the main objections (...) presented by Krause and Arenhart do not affect Bueno’s theory because of a misinterpretation of his arguments. Finally, I will present some objections against Bueno that, hopefully, does not miss the target. (shrink)

RESUMO A inseminação artificial (IA) é a biotecnologia mais empregada com vantagens superiores em relação a utilização da monta natural, cuja eficácia se dá na larga escala de reprodução entre os bovinos. Associando essa biotécnica com hormônios pode-se estabelecer manipulações do sistema reprodutivo da fêmea, levando a manejos de inúmeras cabeças de gado para inseminar a um tempo fixo. Portanto, foram realizados 5 protocolos de IATF, tendo 2 categorias de animais: nulíparas e multíparas. No protocolo 1 foram submetidas 81 multíparas, (...) resultando em 47 animais prenhes; No protocolo 2 foram protocoladas 103 animais multíparas, no qual resultou em 51 prenhes; já o protocolo 5 foram submetidas 77 animais multíparas, no qual resultou em 36 animais prenhes. Cada serviço realizado foi matematicamente calculado, sendo o ponto de partida o escore corporal, bem estar animal e a técnica bem exercida. Desta forma obteve bons resultados na (IATF) , no qual destaca-se o percentual : o protocolo 1 obteve 58,02%, o protocolo 2 obteve 49,51% na taxa de prenhez, No protocolo 3 obteve 55,67% na taxa de prenhez, o protocolo 4 obteve 53,33% de prenhes, já o protocolo 5 resultou em 46,75% de prenhez. O uso das biotecnologias da reprodução, realizadas em bovinos de corte, obteve resultado dentro do descrito pela literatura consultada. A boa taxa de prenhes apresentada na IATF deveu-se ao bom controle hormonal do ciclo estral e da qualidade do sêmen utilizado. A taxa de prenhez dos animais que foram submetidos à monta natural foi baixa pelo fato de que os reprodutores não conseguiram cobrir todas as fêmeas. ABSTRACT The artificial insemination (AI) is the most used biotechnology with superior advantages in relation to the use of natural mounting, whose effectiveness is given in the large scale of reproduction among cattle. Associating this biotechnique with hormones it is possible to establish manipulations of the reproductive system of the female, leading to managements of numerous heads of cattle to inseminate at a fixed time. Therefore, 5 IATF protocols were performed, having 2 categories of animals: nulliparous and multiparous. In protocol 1, 81 multiparous animals were submitted, resulting in 47 pregnant animals; in protocol 2, 103 multiparous animals were submitted, resulting in 51 pregnancies; and in protocol 5, 77 multiparous animals were submitted, resulting in 36 pregnant animals. Each service performed was mathematically calculated, with the starting point being the body score, animal welfare and the well exercised technique. Thus obtained good results in the (IATF), which highlights the percentage: protocol 1 obtained 58.02%, protocol 2 obtained 49.51% in pregnancy rate, in protocol 3 obtained 55.67% in pregnancy rate, protocol 4 obtained 53.33% pregnant, and protocol 5 resulted in 46.75% pregnant. The use of the reproduction biotechnologies, performed in beef cattle, obtained results within the described by the consulted literature. The good pregnancy rate presented in the IATF was due to the good hormonal control of the estrous cycle and the quality of the semen used. The pregnancy rate of animals that were subjected to natural mating was low due to the fact that the sires could not cover all the females. Keywords: Hormones. Cattle Pregnancy Rate. Artificial Insemination in Cattle. Hormones in Cattle Reproduction. -/- REFERÊNCIAS BIBLIOGRÁFICAS AMBRÓSIO, P. H. et al. Ressincronização da ovulação em programas de IATF: novas estratégias. 2018. BARUSELLI, P. S.; GIMENES, L. U.; SALES, J. N. de S. Fisiologia reprodutiva de fêmeas taurinas e zebuínas. Revista Brasileira de Reprodução Animal, v. 31, n. 2, p. 205-211, 2007. BARUSELLI, P. S. et al. Evolução e perspectivas da inseminação artificial em bovinos. Revista Brasileira de Reprodução Animal, v. 43, n. 2, p. 308-314, 2019. BÓ, G. A. et al. Alternative programs for synchronizing and resynchronizing ovulation in beef cattle. Theriogenology, v. 86, n. 1, p. 388-396, 2016. BOTTINO, M. P. et al. Effects of eCG and FSH in timed artificial insemination treatment regimens on estrous expression and pregnancy rates in primiparous and multiparous Bos indicus cows. Animal Reproduction Science, v. 228, p. 106751, 2021. DA SILVA, Emanuel Isaque Cordeiro. Técnica da Inseminação Artificial em Bovinos: Manejo Passo a Passo. 2020. DA SILVA, Emanuel Isaque Cordeiro. Reprodução Animal: Inseminação Artificial. 2020. DA SILVA, Emanuel Isaque Cordeiro. Fisiologia da Reprodução Animal: Ovulação, Controle e Sincronização do Cio. 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. KRAUS, Beth M.; PARENTE, Eric J.; TULLENERS, Eric P. Laryngoplasty with ventriculectomy or ventriculocordectomy in 104 draft horses (1992–2000). Veterinary Surgery, v. 32, n. 6, p. 530-538, 2003. MONGELLI, Melissa Sanches; TAVARES, Izabel Cristina; FERRANTE, Marcos. Evolução e premissas dos protocolos hormonais de inseminação artificial em tempo fixo na pecuária. Ciência Animal, v. 31, n. 1, p. 119-133, 2021. VILELA, G. C. Protocolos de IATF em novilhas precoce e super precoce. 2021. (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)

This paper presents a uniform semantic treatment of nonmonotonic inference operations that allow for inferences from infinite sets of premises. The semantics is formulated in terms of selection functions and is a generalization of the preferential semantics of Shoham (1987), (1988), Kraus, Lehman, and Magidor (1990) and Makinson (1989), (1993). A selection function picks out from a given set of possible states (worlds, situations, models) a subset consisting of those states that are, in some sense, the most preferred ones. (...) A proposition α is a nonmonotonic consequence of a set of propositions Γ iff α holds in all the most preferred Γ-states. In the literature on revealed preference theory, there are a number of well-known theorems concerning the representability of selection functions, satisfying certain properties, in terms of underlying preference relations. Such theorems are utilized here to give corresponding representation theorems for nonmonotonic inference operations. At the end of the paper, the connection between nonmonotonic inference and belief revision, in the sense of Alchourrón, Gärdenfors, and Makinson, is explored. In this connection, infinitary belief revision operations that allow for the revision of a theory with a possibly infinite set of propositions are introduced and characterized axiomatically. (shrink)

‘Judgment’ is Brentano’s terms for any mental state liable to be true or false. This includes not only the products of conceptual thought, such as belief, but also perceptual experiences, such as seeing that the window was left open. ‘Every perception counts as a judgment,’ writes Brentano (1874: II, 50/1973a: 209). Accordingly, his theory of judgment is not exactly a theory of the same phenomenon we call today ‘judgment,’ but of a larger class of phenomena one (perhaps the main) species (...) of which is what we call judgment. Even if we keep this in mind, though, the profound heterodoxy of Brentano’s theory of judgment is still striking. Brentano develops this heterodox theory in some detail already in the Psychology from Empirical Standpoint (Brentano 1874/1973a). But he continued to work out its details, and various aspects of it, until his death. Many of the relevant articles, notes, and fragments of relevance have been collected by Oskar Kraus in 1930 and published under the title Truth and Evidence (Brentano 1930/1966b). Kraus prefaces this volume with an elaborate reconstruction, of dubious plausibility, according to which Brentano’s accounts of judgment and truth have gone through four distinct stages. In reality, there is a unified underlying conviction underwriting Brentano’s work both on judgment and on truth (see CHAP. 20 on the latter). Here I present this unified core of this highly original theory of judgment, which can be captured in terms of three main theses. The first is that contrary to appearances, all judgments are existential judgments (§1). The second is that the existential force of judgment is indeed a force, or mode, or attitude – it does not come from the judgment’s content (§2). The third is that judgment is not a propositional attitude but an ‘objectual’ attitude (§3). (shrink)

A Inseparabilidade entre Lógica e a Ética. Philósophos. 18 (2013) 245–259. Portuguese translation by Décio Krause and Pedro Merlussi: The Inseparability of Logic and Ethics, Free Inquiry, Spring 1989, 37–40. This essay takes logic and ethics in broad senses: logic as the science of evidence; ethics as the science of justice. One of its main conclusions is that neither science can be fruitfully pursued without the virtues fostered by the other: logic is pointless without fairness and compassion; ethics is pointless (...) without rigor and objectivity. The logician’s advice to be dispassionate is in resonance and harmony with the ethicist’s advice to be compassionate. (shrink)

How to understand Brentano’s account of truth is a question of some controversy. A number of different views have been put forward as positions that Brentano held at some stage in his career. The received view has it that the early Brentano subscribed to a form of correspondence theory which he later rejected in favor of a definition of truth in terms of correct judging, where the correctness of a judgment is defined in terms of the notion of self-evidence (see (...) Kraus 1966, Szrednicki 1965, Stegmüller 1969, Kamitz 1983, Chrudzimski 2001). This fundamental shift in Brentano’s view is regarded as a change from an ontological to a “gnoseological”, i.e. epistemic, theory of truth (see Kastil 1934). Brentano’s mature view is sometimes said to resemble a neo-Kantian conception of truth or related views (see Kraus 1966, van der Schaar 1999, 2003), it has been compared with a coherence theory of truth (see Krantz 1990/91), and it is regarded as embracing a form of alethic anti-realism that places a substantial epistemic constraint on the concept of truth (see Künne 2003). More recently, Charles Parsons suggested that the early Brentano may also be regarded as a precursor of a deflationist theory of truth (see Parsons 2004). Following up on this proposal, the received view has been challenged by a new interpretation that ascribes to Brentano a deflationist position that he held throughout his career in combination with the view that truth pertains primarily to self-evident judgment (see Brandl forthcoming). Section 1 first summarizes the received view and then indicates two problems raised by this interpretation. Section 2 explains in which sense Brentano may have been a deflationist and how this interpretation avoids the problems of the received view. (shrink)

The purpose of this article is to suggest a theoretical approach to modern democracy and its implicit contradiction between the idea of public sovereignty and the model of political representation. The apparent practical problem arising from this contradiction is the lack of legitimacy in democratically elected officials and parliament in general. The article argues that the issue with democratic representation cannot be explained sociologically, but must include a theoretical analysis of the normative contradiction between the egalitarian principle of sovereignty of (...) the people and the hierarchical model of political representation. -/- The article develops its argument from the conceptual framework laid down in the political theory of Montesquieu. Montesquieu’s thoughts on political regimes offer important insights about modern representative democracy, highlighting the structural relationship between what he called the “nature of democracy” (the rule of the people) and the “generating principle of democracy” (love for equality). Three contemporary interpretations of Montesquieu’s theory (by Fred Dallmayr, Michael Mosher and Sharon Krause) are introduced and critically evaluated. -/- The article concludes that: -/- Representative democracy suffers from a structural tension between the democratic idea of the rule of the people and its practical implementation through the model of representation, which was inherited from predemocratic monarchic regimes. The problem is not sociological but structural. -/- Montesquieu’s theory offers a conceptual framework for analyzing the inner tension of representative democracy between the ideas of egalitarianism and political hierarchy. Contemporary authors suggest different interpretations of Montesquieu’s thought and offer several strategies for the possible improvement of democratic rule, such as (1) redrawing the notion of representation, (2) creating a more empowered civic society and (3) introducing a meritocratic educational system for individuals. Yet, they all miss the original idea posed by the Enlightenment philosopher regarding the balance between the democratic principle (passion for equality) and its natural claim to represent the people with “intermediary institutions” that mitigate the adverse tendencies of the democratic form of government. -/- Philosophical discussions about democratic legitimacy should consider one Montesquieu’s statement that is rarely theoretically acknowledged: that democratic political representation needs non-egalitarian social ideas. This means that democracy must tolerate certain non-democratic social ideas (such as honor) for its own benefit, because they provide the necessary balancing institutions. Such an idea would benefit the ongoing debates about democracy by providing a more structural outlook on the fundamental source of the problem (which is a structural collision of contradictory ideas: “equality” vs. “hierarchy”) than those offered by the sociological strategies of democratization or civic empowerment. (shrink)

Besides his philosophical essays, Emil Cioran also maintained a vast correspondence. He sent and received numerous letters; from his parents and his brother Aurel, as well as from various personalities, friends and romantic interests. These represent a part of the philosopher’s personality which deserves to be organically integrated in the corpus of Cioran’s work and writings. Most of Cioran’s letters are inevitably literary; they preserve a productive ambiguity and express attitudes and feelings belonging to both the organic man and the (...) thinker who brushed against life. The letters thus appear as notes the philosopher sent from the underground of his being. The present text analyses two fragments of correspondence: with Alina Diaconu (1985–1989), a journalist and writer of Romanian origin settled in Argentina; and (in German) with the editor and philosopher Wolfgang Kraus (1971–1990). (shrink)

This article examines the special features of the atmosphere in Habsburg’s Vienna, which led to the formation of such a direction in philosophical thought as a critique of language (Sprachkritik) and the influence its representatives such as Karl Kraus and Fritz Mauthner on the later Ludwig Wittgenstein’s views on language. I argue that Sprachkritik was inextricably connected with Sprachkrise (crisis of language), Sprachkrise was a strongly Austrian phenomenon due to special socio-cultural-political reasons and which led to the consideration of (...) the very phenomenon of language from a new point of view. Here I claim that Ludwig Wittgenstein, a ‘product’ of Habsburg’s Vienna, was strongly influenced by the intellectual atmosphere of the critique of language reigning in it. In Roberto Poli’s (1997: 16), scholar in sociology and philosophy, words, the “language-world relationship was a central element of the intellectual debate of those years: suffice it to mention Rainer Maria Rilke and Hugo von Hofmannsthal among writers, and Fritz Mauthner and Ludwig Wittgenstein among philosophers.” . (shrink)