А necessary and sllmcient condilion that а given proposition (о Ье provable in such а theory that allows (о Ье assigned to the proposition а Gödеl пunbег fог containing Реanо arithmetic is that Gödеl number itself. This is tlle sense о[ Martin LöЬ's theorem (1955). Now wе сan рut several philosophpllical questions. Is the Gödеl numbег of а propositional formula necessarily finite or onthe contrary? What would the Gödel number of а theorem be containing Реanо arithmetic itself? (...) That is the case of the so-called first incolnpleteness theorem (Gбdеl 1931). What would the Gödеl питЬег of а self-referential statement be? What w'ould the Gödеl пumbег оГ such а proposition Ье (its Реanо arithmetic expression after encoding contains itself as ап operand)? What is the Gödеl numbег оГ Gödеl's proposition [R(q); q] that states its ргоper imргоvаbility? It is the key statement for his proving of the first incompleteness theorem. Is Реапо arithmetic available in it (ог in the ones similar to it) as а single symbol, Ьу which actual infinity would bе introduced, ог as а constructively infinite set of primary signs? Jn fact, the Gödel number оГ the first incompleteness theorem should Ье infinite in that last case. If the Gödеl number of а statement is infinite, then сап it bе accepted as а theorem? What would the Gбdеl numbeг of its negation bе? Is the infinite Gбdеl numbeг of а statement equivalent to its irresolvability? Respectively, is Ihe following statement valid: irresolvable pгopositions with finite Gбdеl numbers (еуеп in anу encoding) do поl exist? (shrink)

The paper addresses Leon Hen.kin's proposition as a " lighthouse", which can elucidate a vast territory of knowledge uniformly: logic, set theory, information theory, and quantum mechanics: Two strategies to infinity are equally relevant for it is as universal and t hus complete as open and thus incomplete. Henkin's, Godel's, Robert Jeroslow's, and Hartley Rogers' proposition are reformulated so that both completeness and incompleteness to be unified and thus reduced as a joint property of infinity and of (...) all infinite sets. However, only Henkin's proposition equivalent to an internal position to infinity is consistent . This can be retraced back to set theory and its axioms, where that of choice is a key. Quantum mechanics is forced to introduce infinity implicitly by Hilbert space, on which is founded its formalism. One can demonstrate that some essential properties of quantum information, entanglement, and quantum computer originate directly from infinity once it is involved in quantum mechanics. Thus, these phenomena can be elucidated as both complete and incomplete, after which choice is the border between them. A special kind of invariance to the axiom of choice shared by quantum mechanics is discussed to be involved that border between the completeness and incompleteness of infinity in a consistent way. The so-called paradox of Albert Einstein, Boris Podolsky, and Nathan Rosen is interpreted entirely in the same terms only of set theory. Quantum computer can demonstrate especially clearly the privilege of the internal position, or " observer'' , or "user" to infinity implied by Henkin's proposition as the only consistent ones as to infinity. An essential area of contemporary knowledge may be synthesized from a single viewpoint. (shrink)

Despite the recent backlash against epistemic consequentialism, an explicit systematic alternative has yet to emerge. This paper articulates and defends a novel alternative, Epistemic Kantianism, which rests on a requirement of respect for the truth. §1 tackles some preliminaries concerning the proper formulation of the epistemic consequentialism / non-consequentialism divide, explains where Epistemic Kantianism falls in the dialectical landscape, and shows how it can capture what seems attractive about epistemic consequentialism while yielding predictions that are harder for the latter to (...) secure in a principled way. §2 presents Epistemic Kantianism. §3 argues that it is uniquely poised to satisfy the desiderata set out in §1 on an ideal theory of epistemic justification. §4 gives three further arguments, suggesting that it (i) best explains the objective normative significance of the subject's perspective in epistemology, (ii) follows from the kind of axiology needed to solve the swamping problem together with modest assumptions about the relation between the evaluative and the deontic, and (iii) illuminates certain asymmetries in epistemic value and obligation. §5 takes stock and reassesses the score in the debate. (shrink)

Kant holds that whenever we fail to act from duty, we are driven by self-love. In this paper, we argue that there are a variety of different ways in which people go wrong, and we show why it is unsatisfying to reduce all of these to self-love. In doing so, we present Kant with five cases of wrongdoing that are difficult to account for in terms of self-love. We end by suggesting a possible fix for Kant, arguing that he should (...) either accept a pluralistic account of self-love, or move beyond the duty/self-love dichotomy entirely. (shrink)

The idea behind this special theme journal issue was to continue the work we have started with the INBIOSA initiative (www.inbiosa.eu) and our small inter-disciplinary scientific community. The result of this EU funded project was a white paper (Simeonov et al., 2012a) defining a new direction for future research in theoretical biology we called Integral Biomathics and a volume (Simeonov et al., 2012b) with contributions from two workshops and our first international conference in this field in 2011. The initial impulse (...) for this effort was given a year earlier by a publication of one of the guest editors of this issue (Simeonov, 2010) in this journal. This time we wish to provide a broader forum and more space to elaborate in detail some of the most interesting concepts we have encountered in our discussions, as well as to invite some new contributions of particular interest in the field. Another goal we had in mind was to collect and review as many provocative perspectives as possible on the same key topic we are interested before making a decision to follow a more focused notion that would lead to a funded research program. Therefore we welcomed the generous suggestion of Professor Denis Noble, FRS, who is also editor of this journal to prepare a special theme issue entitled: “Can biology create a profoundly new mathematics and computation?” It has taken a while to invite and collect the contributions. Most of them had a couple of revision cycles and adjustments after having been thoroughly discussed with colleagues, incl. the editors of this issue. We think that the result we have obtained at the end is a satisfactory one, since we succeeded to integrate a diversity of original, but sometimes controversial and mutually excluding concepts organized within chapters of a self-contained volume. The task of compiling all this was not easy at all. Despite our efforts to position the articles of different authors and themes in a way allowing their easy comprehension and relation to each other within the individual chapters, some of them still require a sort of introduction to dissolve possible ambiguities. This is what we are going to do in the following few paragraphs with the hope that the reader (and some of the authors) would excuse our failures. (shrink)

Known as the Darwin of the twenty-first century, the German biologist Ernst Walter Mayr (1904-2005) studied a great variety of subjects such as Ornithology, Genetics, Evolution, Classification, History, and Philosophy of Biology. This scientist was a giant of the previous century and an icon of Evolutionary Biology. He became famous for his Biological Species Concept and his conclusion that allopatry is the main cause for the origin of species. He provided a decisive contribution to the New Systematics and was the (...) pioneer of the punctuated equilibrium idea. Mayr was one of the main architects of the evolutionary synthesis as also of the Neo-Darwinian wave. Evaluated together, all of his works reveal several elements of his ambition – to organize a philosophical conception inherent for Biology. An assiduous defender of autonomous Biology, Mayr asserted that four sets of factors in Biology differ from those in the Exact Sciences: (I) refutation of essentialism, mechanism, vitalism, and teleology; (II) some physical principles cannot be applied to Biology; (III) absence of general laws in Biology; and (IV) basic principles of biology and their specific character cannot be applied to the inanimate world. The present study took as an axis a minor or even invisible theme from the Ernst Mayr literature and aims to analyze critically the theoretical and epistemological basis that subsidizes – or not– the affirmation that Biology is an autonomous Science. - O biólogo alemão Ernst Walter Mayr (1904-2005), conhecido como o Darwin do século XXI, trabalhou com uma grande variedade de temas: Ornitologia, Genética, Evolução, Classificação, História e Filosofia da Biologia. Esse cientista foi um dos gigantes do século XX e um ícone para a Biologia Evolutiva. Ficou famoso com o seu Conceito Biológico de Espécie e sua conclusão de que a alopatria era a principal causa da origem das espécies. Forneceu uma contribuição decisiva à Nova Sistemática, foi precursor da ideia de equilíbrio pontuado e um dos principais arquitetos da síntese evolutiva, bem como do movimento Neodarwinista. Quando avaliados em conjunto, seus trabalhos revelam os diversos elementos de sua ambição – organizar um corpo de concepções filosóficas próprias da Biologia. Defensor assíduo de uma Biologia autônoma, Mayr afirmou que há quatro conjuntos de fatores que diferenciam a Biologia do conjunto das Ciências Exatas: (I) refutação do essencialismo, do mecanicismo, do vitalismo e da teleologia; (II) convicção de que certos princípios da Física não podem ser aplicados à Biologia; (III) ausência de leis naturais universais em Biologia; e (IV) percepção do caráter único de certos princípios básicos da Biologia não aplicáveis ao mundo inanimado. O presente artigo tomou por eixo um tema aparentemente menor ou mesmo invisível na obra de Ernst Mayr e pretende realizar uma análise crítica acerca de suas bases teóricas e epistemológicas que subsidiaram – ou não – a afirmação da Biologia como uma Ciência autônoma. (shrink)

This book explores a question central to philosophy--namely, what does it take for a belief to be justified or rational? According to a widespread view, whether one has justification for believing a proposition is determined by how probable that proposition is, given one's evidence. In this book this view is rejected and replaced with another: in order for one to have justification for believing a proposition, one's evidence must normically support it--roughly, one's evidence must make the falsity (...) of that proposition abnormal in the sense of calling for special, independent explanation. This conception of justification bears upon a range of topics in epistemology and beyond. Ultimately, this way of looking at justification guides us to a new, unfamiliar picture of how we should respond to our evidence and manage our own fallibility. This picture is developed here. (shrink)

Computational Functionalism is a subfield of philosophy of mind most relevant to the subject of cognitive science as well as to artificial intelligence (AI). The analysis of this paper focuses on Hilary Putnam’s and Gualtiero Piccinini’s standpoints regarding the molecular understanding of computation. Finally, Putnam’s argument of the functionalism in notion of the mental states is based on the positive definition of those states by their functions, while Piccinini, and on the other hand suggest that an understanding of the mechanism (...) of computation will go a long way to explaining cognition. This research also points out shortcomings of functionalism in their theories especially in regards to connectivity with physicality of AI structures. Therefore, the paper identifies the following gaps: The first gap holds that although both theorists have important insights, the two approaches put forward by the respective theorists are flawed and a better proposal is required, then a new proposal is suggested In identifying these gaps, the paper seeks to contribute to the literature by arguing for the need to develop a composite of the two theorists. The results show that the big ideas are important in present-day AI debate and analysis, which helps to explain the mind as computation. (shrink)

The purpose of this study is to examine the statements of Ibn al-ʿArabî regarding religions and beliefs through the perspectives of William Chittick and Reza Shah-Kazemi comparatively. Even though his expressions are occasionally elaborated in the light of the theory of the religious pluralism based on Western-Christian thought, by considering the universal message of the Qur’ān Chittick and Shah-Kazemi identify these expressions with “universalism.” This universalist approach bases on the distinction between “ontological will” and “religious will,” and “submission” which is (...) the substance of the term “islam.” While Chittick and Shah-Kazemi agree on issues mostly, it is possible to see that in some sense they differ from each other in their departure points and results. From this perspective, it is going to be seen that Ibn al-ʿArabî’s expressions encompass both the divine religions and other religions which do not have a revelation. To examine Ibn al-ʿArabî’s expressions by taking into account the propositions of the religious pluralism will be helpful to comprehend his outlook on the Qur’ān and the Prophet Muhammad. (shrink)

Motivated by H. Curry’s well-known objection and by a proposal of L. Henkin, this article introduces the positive tableaux, a form of tableau calculus without refutation based upon the idea of implicational triviality. The completeness of the method is proven, which establishes a new decision procedure for the (classical) positive propositional logic. We also introduce the concept of paratriviality in order to contribute to the question of paradoxes and limitations imposed by the behavior of classical implication.

Metaphysical rationalism, the doctrine which affirms the Principle of Sufficient Reason (the PSR), is out of favor today. The best argument against it is that it appears to lead to necessitarianism, the claim that all truths are necessarily true. Whatever the intuitive appeal of the PSR, the intuitive appeal of the claim that things could have been otherwise is greater. This problem did not go unnoticed by the great metaphysical rationalists Spinoza and Leibniz. Spinoza’s response was to embrace necessitarianism. Leibniz’s (...) response was to argue that, despite appearances, rationalism does not lead to necessitarianism. This paper examines the debate between these two rationalists and concludes that Leibniz has persuasive grounds for his opinion. This has significant implications both for the plausibility of the PSR and for our understanding of modality. (shrink)

It is not always obvious for even well-trained researchers to appreciate their peer’s scientific pursuits. In many cases, research results obtained from strenuous work processes could even be regarded as “useless knowledge”. -/- Only in very few places on this planet had the notion of useless knowledge been respected and sought after. That’s the famous IAS of Princeton University powered by the conception of the usefulness of useless knowledge of Abraham Flexner. That’s why brilliant scientists such as Albert Einstein, (...) class='Hi'>Kurt Godel, and John von Neumann were among its first recruited members. -/- Our team has for many years now gone through various research problems. Still, it is difficult for even experienced and highly accomplished researchers to identify the type of IAS “useless knowledge” problems. But we never stopped trying. -/- Our latest try has led to the informational entropy-based definition of value. At first, it sounded weird for one to ponder the long-existing notion of value, which is used on a daily basis by everybody on Earth. In short, kind of... useless. But gradually, we have come to an understanding that the very familiarity of the word “value” has long obscured our question of its nature. -/- So, a bit about this newly minted definition is here for your perusal. (shrink)

In this paper I will compare two competing accounts of assertion: the knowledge account and the justified belief account. When it comes to the evidence that is typically used to assess accounts of assertion – including the evidence from lottery propositions, the evidence from Moore’s paradoxical propositions and the evidence from conversational patterns – I will argue that the justified belief account has at least as much explanatory power as its rival. I will argue, finally, that a close look at (...) the ways in which assertions can be challenged and retracted reveals a certain advantage for the justified belief account. The paper will touch upon a number of further topics along the way, including the logical interaction between knowledge and justified belief, the nature of defeat, and the hypothesis that knowledge and justified belief are normatively coincident goals. (shrink)

_ Source: _Volume 6, Issue 2-3, pp 120 - 142 This paper aims to contribute to the debate over epistemic versus non-epistemic readings of the ‘hinges’ in Wittgenstein’s _On Certainty_. I follow Marie McGinn’s and Daniele Moyal-Sharrock’s lead in developing an analogy between mathematical sentences and certainties, and using the former as a model for the latter. However, I disagree with McGinn’s and Moyal-Sharrock’s interpretations concerning Wittgenstein’s views of both relata. I argue that mathematical sentences as well as certainties are (...) true and are propositions; that some of them can be epistemically justified; that in some senses they are not prior to empirical knowledge; that they are not ineffable; and that their primary function is epistemic as much as it is semantic. (shrink)

The standard of proof applied in civil trials is the preponderance of evidence, often said to be met when a proposition is shown to be more than 50% likely to be true. A number of theorists have argued that this 50%+ standard is too weak – there are circumstances in which a court should find that the defendant is not liable, even though the evidence presented makes it more than 50% likely that the plaintiff’s claim is true. In this (...) paper, I will recapitulate the familiar arguments for this thesis, before defending a more radical one: The 50%+ standard is also too strong – there are circumstances in which a court should find that a defendant is liable, even though the evidence presented makes it less than 50% likely that the plaintiff’s claim is true. I will argue that the latter thesis follows naturally from the former once we accept that the parties in a civil trial are to be treated equally. I will conclude by sketching an alternative interpretation of the civil standard of proof. (shrink)

Expressivists about normative thought and discourse traditionally deny that there are nondeflationary normative propositions. However, it has recently been suggested that expressivists might avoid a number of problems by providing a theory of normative propositions compatible with expressivism. This paper explores the prospects for developing an expressivist theory of propositions within the framework of cognitive act theories of propositions. First, I argue that the only extant expressivist theory of cognitive propositions—Michael Ridge's ‘ecumenical expressivist’ theory—fails to explain identity conditions for normative (...) propositions. Second, I argue that this failure motivates a general constraint—the ‘unity requirement’—that any expressivist theory of propositions must provide a unified nonrepresentational explanation of that in virtue of which propositional attitudes have the content that they have. Third, I argue that conceptual role accounts of content provide a promising framework in which to develop an expressivist theory of cognitive propositions. (shrink)

In this paper I defend the claim that justification is closed under conjunction, and confront its most alarming consequence — that one can have justification for believing propositions that are unlikely to be true, given one's evidence.

Nel 'Godel's Way' tre eminenti scienziati discutono questioni come l'indecidibilità, l'incompletezza, la casualità, la computabilità e la paracoerenza. Affronto questi problemi dal punto di vista di Wittgensteinian che ci sono due questioni fondamentali che hanno soluzioni completamente diverse. Ci sono le questioni scientifiche o empiriche, che sono fatti sul mondo che devono essere studiati in modo osservante e filosofico su come il linguaggio può essere usato in modo intelligibilmente (che include alcune domande in matematica e logica), che devono essere decise (...) cercando un modo in cui usiamoeffettivamente le parole in particolari contesti. Quando arriviamo a sapere su quale gioco di lingua stiamo giocando, questi argomenti sono visti come domande scientifiche e matematiche ordinarie come tutti gli altri. Le intuizioni di Wittgenstein sono state raramente eguagliate e mai superate e sono pertinenti oggi come lo erano 80 anni fa, quando ha dettato i Libri Blu e Marrone. Nonostante le sue mancanze - in realtà una serie di note piuttosto che un libro finito - questa è una fonte unica del lavoro di questi tre famosi studiosi che hanno lavorato ai bordi sanguinanti della fisica, della matematica e della filosofia per oltre mezzo secolo. Da Costa e Doria sono citati da Wolpert (vedi sotto o i miei articoli su Wolpert e la mia recensione di 'I limiti esterni della ragione' di Yanofsky) dal momento che hanno scritto sul calcolo universale, e tra i suoi numerosi successi, Da Costa è un pioniere della paracoerenza. Coloro che desiderano un quadro aggiornato completo per il comportamento umano dalla moderna vista a due systems possono consultare il mio libro 'La struttura logica dellafilosofia, psicologia, Mind e il linguaggio in Ludwig Wittgenstein e John Searle' 2nd ed (2019). Coloro che sono interessati a più dei miei scritti possono vedere 'TalkingMonkeys--Filosofia, Psicologia, Scienza, Religione e Politica su un Pianeta Condannato--Articoli e Recensioni 2006-2019 3rd ed (2019) e Suicidal Utopian Delusions nel 21st Century 4th ed (2019) . (shrink)

If something changes from being in one state to being in another state, when exactly does it change? And what’s going on at that time? These questions are often discussed under the heading of the ‘moment’ or ‘instant’ of change. In this paper, I will investigate a view on which there is an intrinsically distinguished, atomic time at which something changes, and at that time it is metaphysically indeterminate what is the case. The background metaphysical picture is situationalism, a theory (...) on which reality is composed of irreducibly conflicting parts. These conflicting parts give rise to unsettledness in reality as a whole, and also at the point of change. I propose this view as a competitor for existing accounts of the time of change, and spell out a few reasons in its favour. (shrink)

In The Varieties of Reference, Gareth Evans describes the acquisition of beliefs about one’s beliefs in the following way: ‘I get myself in a position to answer the question whether I believe that p by putting into operation whatever procedure I have for answering the question whether p.’ In this paper I argue that Evans’s remark can be used to explain first person authority if it is supplemented with the following consideration: Holding on to the content of a belief and (...) ‘prefixing’ it with ‘I believe that’ is as easy as it is to hold on to the contents of one’s thoughts when making an inference. We do not, usually, have the problem, in going, for example, from ‘p’ and ‘q’ to ‘p and q’, that one of our thought contents gets corrupted. Self-ascription of belief by way of Evans’s procedure is based on the same capacity to retain and re-deploy thought contents and therefore should enjoy a similar degree of authority. However, is Evans’s description exhaustive of all authoritative self-ascription of belief? Christopher Peacocke has suggested that in addition to Evans’s procedure there are two more relevant ways of self-ascribing belief. I argue that both methods can be subsumed under Evans’s procedure. (shrink)

The views of John Dewey and Kurt Vonnegut are often criticized for opposite reasons: Dewey’s philosophy is said to be naively optimistic while Vonnegut’s work is read as cynical. The standard debates over the views of the two thinkers cause readers to overlook the similarities in the way each approaches tragic experience. This paper examines Dewey’s philosophic account of time and meaning and Vonnegut’s use of time travel in his autobiographical novel Slaughterhouse-Five to illustrate these similarities. This essay demonstrates (...) how both Dewey and Vonnegut embrace the ameliorative possibilities of art for preserving individuality and meaning in the face of tragic experience. (shrink)

In Knowledge and Lotteries, John Hawthorne offers a diagnosis of our unwillingness to believe, of a given lottery ticket, that it will lose a fair lottery – no matter how many tickets are involved. According to Hawthorne, it is natural to employ parity reasoning when thinking about lottery outcomes: Put roughly, to believe that a given ticket will lose, no matter how likely that is, is to make an arbitrary choice between alternatives that are perfectly balanced given one’s evidence. It’s (...) natural to think that parity reasoning is only applicable to situations involving lotteries dice, spinners etc. – in short, situations in which we are reasoning about the outcomes of a putatively random process. As I shall argue in this paper, however, there are reasons for thinking that parity reasoning can be applied to any proposition that is less than certain given one’s evidence. To see this, we need only remind ourselves of a kind of argument employed by John Pollock and Keith Lehrer in the 1980s. If this argument works, then believing any uncertain proposition, no matter how likely it is, involves a (covert) arbitrary or capricious choice – an idea that contains an obvious sceptical threat. (shrink)

Self-knowledge presents a challenge for naturalistic theories of mind. Peter Carruthers’s (2011) approach to this challenge is Rylean: He argues that we know our own propositional attitudes because we (unconsciously) interpret ourselves, just as we have to interpret others in order to know theirs’. An alternative approach, opposed by Carruthers, is to argue that we do have a special access to our own beliefs, but that this is a natural consequence of our reasoning capacity. This is the approach of transparency (...) theories of self-knowledge, neatly encapsulated in Byrne’s epistemic rule (BEL): If p, believe that you believe that p (Byrne 2005). In this paper, I examine an objection to Carruthers’s theory in order to see whether it opens up space for a transparency theory of self-knowledge: Is it not the case that in order to interpret someone I have to have some direct access to what I believe (cf. Friedman and Petrashek 2009)? (shrink)

What is the relation between reasoning and self-knowledge? According to Shoemaker (1988), a certain kind of reasoning requires self-knowledge: we cannot rationally revise our beliefs without knowing that we have them, in part because we cannot see that there is a problem with an inconsistent set of propositions unless we are aware of believing them. In this paper, I argue that this view is mistaken. A second account, versions of which can be found in Shoemaker (1988 and 2009) and Byrne (...) (2005), claims that we can reason our way from belief about the world to self-knowledge about such belief. While Shoemaker’s “zany argument” fails to show how such reasoning can issue in self-knowledge, Byrne’s account, which centres on the epistemic rule “If p, believe that you believe that p”, is more successful. Two interesting objections are that the epistemic rule embodies a mad inference (Boyle 2011) and that it makes us form first-order beliefs, rather than revealing them (Gertler 2011). I sketch responses to both objections. (shrink)

Chapter 1 constitutes an introduction to Gentzen calculi from two perspectives, logical and philosophical. It introduces the notion of generalisations of Gentzen sequent calculus and the discussion on properties that characterize good inferential systems. Among the variety of Gentzen-style sequent calculi, I divide them in two groups: syntactic and semantic generalisations. In the context of such a discussion, the inferentialist philosophy of the meaning of logical constants is introduced, and some potential objections – mainly concerning the choice of working with (...) semantic generalizations – are addressed. Finally, I’ll introduce the case studies that I’ll be dealing with in part II. Chapter 2 is concerned with the origins and development of Jaśkowski’s discussive logic. The main idea of this chapter is to systematize the various stages of the development of discussive logic related researches from two different angles, i.e., its connections to modal logics and its proof theory, by highlighting virtues and vices. Chapter 3 focuses on the Gentzen-style proof theory of discussive logic, by providing a characterization of it in terms of labelled sequent calculi. Chapter 4 deals with the Gentzen-style proof theory of relevant logics, again by employing the methodology of labelled sequent calculi. This time, instead of working with a single logic, I’ll deal with a whole family of them. More precisely, I’ll study in terms of proof systems those relevant logics that can be characterised, at the semantic level, by reduced Routley-Meyer models, i.e., relational structures with a ternary relation between states and a unique base element. Chapter 5 investigates the proof theory of a modal expansion of intuitionistic propositional logic obtained by adding an ‘actuality’ operator to the connectives. This logic was introduced also using Gentzen sequents. Unfortunately, the original proof system is not cut-free. This chapter shows how to solve this problem by moving to hypersequents. Chapter 6 concludes the investigations and discusses the future of the research presented throughout the dissertation. (shrink)

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

I am going to argue that it is a cost of libertarianism that it holds our status as agents hostage to theoretical physics, but that claim has met with disagreement. Some libertarians regard it as the cost of doing business, not a philosophical liability. By contrast, Peter van Inwagen has addressed the worry head on. He says that if he were to become convinced that causal determinism were true, he would not change his view that humans are free and morally (...) responsible. Rather, he would give up at least one of the formerly-thought-to-be a priori truths that are elements in his argument for the incompatibility of causal determinism and the relevant sort of freedom. Thus, according to van Inwagen, our status as free and morally responsible agents would not be held hostage to the physicists or hang on a thread I think that van Inwagen’s strategy for securing our freedom and responsibility is unattractive. Somewhat tendentiously, I have called the rejection of an a priori ingredient in the incompatibilist’s argument, contingent upon learning that causal determinism is true, ‘metaphysical fip-flopping.’ -/- And it does seem that van Inwagen’s approach is implausible insofar as he is open to such metaphysical fip-fopping. That he is open to it—that he would fip-fop if he became convinced of the truth of causal determinism—is a problem for his actual philosophical position. Or so I will argue. (shrink)

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

In this paper, we contend that the “Smith case” in Gettier’s attempt to refute the justified true belief (JTB) account of knowledge does not work. This is because the said case fails to satisfy the truth condition, and thus is not a case of JTB at all. We demonstrate this claim using the framework of Donnellan’s distinction between the referential and attributive uses of definite descriptions. Accordingly, the truth value of Smith’s proposition “The man who will get the job (...) has ten coins in his pocket” partly depends on how Smith uses the definite description “the man who will get the job” when he utters the proposition. Since, upon uttering the proposition, Smith has in mind a particular individual, namely Jones, and not just whoever will fit the attribute specified in the definite description, Smith uses the definite description referentially. And so when it turns out that it is Smith who eventually gets the job, the definite description fails to refer to Jones as intended by Smith, thereby making Smith’s proposition false. To think that Smith’s proposition is still true, in this regard, is to use the definite description attributively—that it is about whoever will fit the definite description. Apparently, when Gettier claims that Smith’s proposition is still true, to demonstrate that it is a case of JTB, he, in effect, imposes his attributive understanding of Smith’s usage of the definite description on Smith’s own epistemic situation. (shrink)

Imaginez une table de billard, sur laquelle se trouvent plusieurs boules de billard rouges. Supposons que l’une d’entre elles en percute une autre. On pourrait prétendre que la première boule de billard, la cause, est en contact direct avec la seconde, l’effet. Si nous devions généraliser cela pour toutes choses, pas seulement pour les boules de billard, nous dirions que « la chose A cause la chose B ». Comme nous le verrons, Bunge et Harman rejettent tous deux la conception (...) précédente de la causalité. Ils s’entendent pour dire que l’affirmation « la chose A cause la chose B » est fausse, parce que les choses n’entrent pas en contact causal direct ; il doit y avoir un troisième élément qui les relie. Dans le cas de Bunge, deux choses sont liées par des événements. Dans le cas d’Harman, deux objets réels sont liés par un objet sensuel. (shrink)

This paper is about a topic in the semantics of interrogatives.1 In what follows a number of assumptions figure at the background which, though intuitively appealing, have not gone unchallenged, and it seems therefore only fair to draw the reader’s attention to them at the outset. The first assumption concerns a very global intuition about the kind of semantic objects that we associate with interrogatives. The intuition is that there is an intimate relationship between interrogatives and their answers: an interrogative (...) determines what counts as an answer.2 Given a certain, independently motivated, view on what constitutes the meaning of an answer, this intuition, in return, determines what constitutes the meaning of an interrogative. For example, starting from the observation that answers are true or false in situations, we may be led to the view that answers express propositions, i.e., objects which determine a truth value in a situation. Given that much, our basic intuition says that interrogatives are to be associated with objects which determine propositions. Such objects will be referred to as ‘questions’ in what follows. Notice that all this is largely framework independent: we have made no assumptions yet about what situations, propositions, and questions are, we have only related them in a certain systematic way. In fact we will use a more or less standard, but certainly not uncontroversial, specification in what follows: situations are identified with (total) possible worlds; propositions with sets of worlds; and questions with equivalence relations on the set of worlds. The second assumption that plays a role in what follows is of a more linguistic nature. Interrogatives typically occur in two ways: as independent expressions, and as complements of certain verbs. The assumption is that these two ways of occurring are systematically related, not just syntactically but also semantically.3 Notice that the exact nature of this relationship is underdeter.. (shrink)

If pursued with serious intent, Pre-distribution has the capacity to create an exciting and radical new agenda for social democracy. But the politics of Pre-distribution cannot be innocuous or uncontroversial. -/- In its more radical forms, predistribution is a potentially radical and inspiring project for social democrats who have come to see the limitations of the old ways of doing things. It’s a project that promises a strategy to deliver abundantly on values of social justice, economic freedom, and equality of (...) opportunity. But it’s a project that involves going head-to-head with entrenched interests, breaking up existing concentrations of wealth and economic power. The politics of Pre-distribution, if taken seriously, simply cannot be a politics without enemies. Labour must decide whether its engagement with pre-distribution is to be limited to tinkering at the edges of neoliberalism, or whether it will instead fully embrace the opportunities of the present moment, decide to be radical, and realise the full promise of the politics of predistribution. -/- . (shrink)

We argue that explanationist views in epistemology continue to face persistent challenges to both their necessity and their sufficiency. This is so despite arguments offered by Kevin McCain in a paper recently published in this journal which attempt to show otherwise. We highlight ways in which McCain’s attempted solutions to problems we had previously raised go awry, while also presenting a novel challenge for all contemporary explanationist views.

The current economic/political system, neoliberalism, has touched every aspect of life globally. The doctrine of neoliberalism consists of three central propositions, that the market is real and part of the natural universal law; that unlimited economic growth is both possible and even desirable; and that human nature is coincident with market values and based solely on self-interest. All three of these propositions are seriously flawed and have caused immense human suffering and staggering environmental destruction. This paper is a reminder of (...) the failures of neoliberal policy and an appeal for change to a new institutional arrangement in which development trumps economic growth. This position is in contrast to Francis Fukuyama’s end-of-history thesis. He alleges there are no economic/political ideologies to compete with neoliberalism, the “TINA principle: There Is No Alternative”: the West has won. It is time to reintroduce Henry David Thoreau’s, and to a lesser extent, Adam Smith’s moral economies. Both have encourgaging insights, often overlooked by current academic economists, which could figure prominently in the conception of a new economy. (shrink)

J. L. Schellenberg's Philosophy of Religion argues for a specific brand of sceptical religion that takes ‘Ultimism’ – the proposition that there is a metaphysically, axiologically, and soteriologically ultimate reality – to be the object to which the sceptical religionist should assent. In this article I shall argue that Ietsism – the proposition that there is merely something transcendental worth committing ourselves to religiously – is a preferable object of assent. This is for two primary reasons. First, Ietsism (...) is far more modest than Ultimism; Ietsism, in fact, is open to the truth of Ultimism, while the converse does not hold. Second, Ietsism can fulfil the same criteria that compel Schellenberg to argue for Ultimism. (shrink)

This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional logic with (...) implication, conjunction, disjunction, and falsity given in terms of a Hilbert-style axiomatization. As far as we know, our implementation is the first verified Henkin-style proof of completeness for intuitionistic logic following Troelstra and van Dalen's method in the literature. (shrink)

Priority setting in health care is ubiquitous and health authorities are increasingly recognising the need for priority setting guidelines to ensure efficient, fair, and equitable resource allocation. While cost-effectiveness concerns seem to dominate many policies, the tension between utilitarian and deontological concerns is salient to many, and various severity criteria appear to fill this gap. Severity, then, must be subjected to rigorous ethical and philosophical analysis. Here we first give a brief history of the path to today’s severity criteria in (...) Norway and Sweden. The Scandinavian perspective on severity might be conducive to the international discussion, given its long-standing use as a priority setting criterion, despite having reached rather different conclusions so far. We then argue that severity can be viewed as a multidimensional concept, drawing on accounts of need, urgency, fairness, duty to save lives, and human dignity. Such concerns will often be relative to local mores, and the weighting placed on the various dimensions cannot be expected to be fixed. Thirdly, we present what we think are the most pertinent questions to answer about severity in order to facilitate decision making in the coming years of increased scarcity, and to further the understanding of underlying assumptions and values that go into these decisions. We conclude that severity is poorly understood, and that the topic needs substantial further inquiry; thus we hope this article may set a challenging and important research agenda. (shrink)

Failure to recognize the "realistic" motivations for Putnam's commitment to internal realism has led to a widely shared misunderstanding of Putnam's arguments against metaphysical realism. Realist critics of these arguments frequently offer rebuttals that fail to confront his arguments. Simply put, Putnam's arguments --the brains in a vat argument as well as the model-theoretic argument -- are "reductios" that are intended to show that "metaphysical realism itself is not sufficiently realistic". If that claim can be substantiated then Putnam can go (...) on to argue that his own view is, by comparison, more realistic than metaphysical realism. (shrink)

The present dissertation presents an examination of the Carrollian logic through the reconstruction of its syllogistic theory. Lewis Carroll was one of the main responsible for the dissemination of logic during the nineteenth century, but most of his logical writings remained unknown until a posthumous publication of 1977. The reconstruction of the Carrollian syllogistic theory was based on the comparison of the two books on author's logic, "The Game of Logic" and "Symbolic Logic". The analysis of the Carrollian syllogistics starts (...) from a study of the historical context of development of the logic and the developments of syllogistics previous to the contribution of the author. Situated in the historical period of algebraical logic, Carrollian syllogistics is characterized as a conservative extension of the Aristotelian syllogistics, the main innovation is the use of negative terms and the introduction of a diagrammatic method suitable for the representation of negative terms. The diagrammatic method of the Carrollian syllogistics presents advances in relation to the methods of Euler and Venn. The use of negative terms also requires a redefinition of the notion of syllogism, simplifying and expanding the amount of arguments amenable to logical treatment. Carroll does not use four, but only three categorical propositions in his syllogistic, with interpretation of existential presuppositions congruent with a syntactic-existential reading. Carrollian syllogistics uses some techniques found in the work of algebraists of logic and also made the same confusions between notions of "class" and "member" that were common in the period. Convinced of the social utility of logic and dedicated to popularize it, Carroll priorized a creation of new didactics for the teaching of logic in his works, where he can include his diagrammatic method of solving syllogisms. Carroll made only scant considerations of his conception of logic. Based on the small considerations found throughout the study and on the constant claim of the social utility of logic, it is suggested that Carroll is close to the so-called pragmatic position, which considers a logic as an instrument of regulation of discourse. (shrink)

On Kratzer’s canonical account, modal expressions (like “might” and “must”) are represented semantically as quantifiers over possibilities. Such expressions are themselves neutral; they make a single contribution to determining the propositions expressed across a wide range of uses. What modulates the modality of the proposition expressed—as bouletic, epistemic, deontic, etc.—is context.2 This ain’t the canon for nothing. Its power lies in its ability to figure in a simple and highly unified explanation of a fairly wide range of language use. (...) Recently, though, the canon’s neat story has come under attack. The challenge cases involve the epistemic use of a modal sentence for which no single resolution of the contextual parameter appears capable of accommodating all our intuitions.3 According to these revisionaries, such cases show that the canonical story needs to be amended in some way that makes multiple bodies of information relevant to the assessment of such statements. Here I show that how the right canonical, flexibly contextualist account of modals can accommodate the full range of challenge cases. The key will be to extend Kratzer’s formal semantic account with an account of how context selects values for a modal’s.. (shrink)

This paper defends David Hume's "Of Miracles" from John Earman's (2000) Bayesian attack by showing that Earman misrepresents Hume's argument against believing in miracles and misunderstands Hume's epistemology of probable belief. It argues, moreover, that Hume's account of evidence is fundamentally non-mathematical and thus cannot be properly represented in a Bayesian framework. Hume's account of probability is show to be consistent with a long and laudable tradition of evidential reasoning going back to ancient Roman law.

Each new decade brings ‘advances’ in technology that are more capable of collecting, aggregating, organizing, and deploying data about human practices. Where we go, what we buy, what we say online, and the people with whom we connect, are captured with ever more sophistication by governmental and corporate institutions. Data are increasingly being sold to schools to help them ‘manage’ teaching and administration tasks. Of course, at the same time, schools, teachers, and students are generating data that further advances the (...) goals of data aggregators. After some discussion regarding data’s philosophical dimensions, this chapter examines the benefits and drawbacks of surveillance and datafication in present educational contexts. In addition, this chapter raises ethical and pragmatic questions related to how datafication often reshapes or redefines agency, choice, personal relationships, and individuality. In response to some of the ethical qualms raised by these questions, a vision (imaginary) is proposed to help conserve some of the educational values threatened by datafication, including values related to genuine interest, sociality, and transformative, and qualitative experiences. -/- CITATION: Hildebrand, D.L. (2024). What are Data and Who Benefits?. In: Buch, A., Lindberg, Y., Cerratto Pargman, T. (eds) Framing Futures in Postdigital Education. Postdigital Science and Education . Springer, Cham. doi: 10.1007/978-3-031-58622-4_5 -/- . (shrink)

La vérité est le degré d’exactitude d’une représentation de la réalité. Nous postulons trois étapes cognitives : le psychon, produit par la perception ; le construit, produit par intellection; et l’acte de parole, produit par la communication. La vérité se trouve à la seconde étape; seuls les construits sont aléthiques. La vérité est une qualité qui vient en degrés. La certitude est le point d’aboutissement parfait et inaccessible de cette gradation ; il s’agit donc d’un concept idéal. Une thèse est (...) réputée vraie si son degré aléthique est acceptablement efficace, sinon la thèse est considérée comme fausse. En d’autres termes, nous jugeons vraie toute thèse n’ayant pas assez d’échecs pour qu’elle soit considérée fausse. (shrink)

ABSTRACT This article examines the under-researched figure A.W. Rehberg in his exchange with Kant over the relationship between theory and practice in the philosophy of right. I argue that Rehberg raises, what I call, two problems of political matter which attempt to show that Kant's overly formal approach to political theory cannot justifiably determine political practice. The first problem is the problem of positive determinations of right, rather than merely negative prohibitions. Rehberg takes this to mean that Kant cannot determine (...) us to a specific form of constitution. I argue that Kant's innovation of intelligible property functions as a response to this critique in that it provides the possibility of synthetic propositions of right a priori. Second, Rehberg insists that an a priori system of right cannot relate to already formed historical communities. Here Kant's response comes close to agreeing with Rehberg as Kant takes prudential or historical reasoning to harmonize with the demands of a priori right in order to applied to the sensible world. Kant, in this instance, comes closer to Rehberg by denying centralized enlightened monarchy and the reliance on natural and historical development for the application of right. (shrink)

Spiritual formation currently lacks a robust epistemology. Christian theology and philosophy often spend more time devoted to an epistemology of propositions rather than an epistemology of knowing persons. This paper is an attempt to move toward a more robust account of knowing persons in general and God in particular. After working through various aspects of the nature of this type of knowledge this theory is applied to specific issues germane to spiritual formation, such as the justification of understanding spiritual growth (...) on an integrative and holistic (heart and mind) model, the reality of hearing God’s voice, and knowing his activity, as well as how such a theory should change the shape of sermons, evangelism, and apologetics. (shrink)

In this paper, I look at Susan Stebbing’s articles and reviews that critically engage logical positivism. These appeared before the publication of A.J. Ayer’s Language, Truth and Logic and helped shape the early British reception of logical positivism. I highlight Stebbing’s adoption of G.E. Moore’s tripartite distinction between knowing a proposition, understanding it, and giving an analysis of it and, in light of this distinction, her focus on whether the principle of verifiability can ground a plausible account of communication. (...) Stebbing thinks not, and I reconstruct her reasons, as well as her own account of communication. In doing this, I relate her criticisms to her rejection of methodological solipsism and her dissatisfaction with the logical positivist treatment of statements about other minds and the past. I also argue that Stebbing’s work provides a bridge to later criticisms of logical positivism from ordinary language philosophers. Foregrounding Stebbing’s engagement with logical positivism, especially her focus on communication, paints a fuller picture of how the logical positivists came to be part of analytic philosophy despite having different concerns than many of the British philosophers engaging their work. (shrink)

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

Pacifists and their opponents disagree not only about moral questions, but rather often about factual questions as well—as seen when looking at the controversy surrounding the crisis in Kosovo. According to my reconstruction of pacifism, this is not surprising since the pacifist,legitimately, looks at the facts in the light of her system of value. Her opponent, in turn, looks at the facts in the light of an alternative value system, and the quarrel between the two parties about supposedly descriptive matters (...) never ceases, as there is no objective reality about the war in question that could settle the issue.In my view, the pacifist's value-laden way of looking at reality implicitly obeys three epistemic imperatives. First, the Epistemic Imperative concerning Human Nature ("Resist demonizing the other side; always try to understand the case from the other point of view"). Second, the Epistemic Imperative concerning Non-Violent Alternatives ("Always search for non-violent alternatives to military action"). Third, the Epistemic Imperative concerning Uncontrolled Escalation ("Hone your senses to the uncontrolled, irreversible side effects of military action, particularly to the danger of military escalation leading to another world war"). Objective reality has no way of telling us how far we should go in following these imperatives. Rather, we have to make the decision about how far we are going to take them ourselves. In this way, the pacifist's epistemic imperatives are comparable to Kant's regulative principles. (shrink)

I present a solution to the epistemological or characterisation problem of induction. In part I, Bayesian Confirmation Theory (BCT) is discussed as a good contender for such a solution but with a fundamental explanatory gap (along with other well discussed problems); useful assigned probabilities like priors require substantive degrees of belief about the world. I assert that one does not have such substantive information about the world. Consequently, an explanation is needed for how one can be licensed to act as (...) if one has substantive information about the world when one does not. I sketch the outlines of a solution in part I, showing how it differs from others, with full details to follow in subsequent parts. The solution is pragmatic in sentiment (though differs in specifics to arguments from, for example, William James); the conceptions we use to guide our actions are and should be at least partly determined by preferences. This is cashed out in a reformulation of decision theory motivated by a non-reductive formulation of hypotheses and logic. A distinction emerges between initial assumptions--that can be non-dogmatic--and effective assumptions that can simultaneously be substantive. An explanation is provided for the plausibility arguments used to explain assigned probabilities in BCT. -/- In subsequent parts, logic is constructed from principles independent of language and mind. In particular, propositions are defined to not have form. Probabilities are logical and uniquely determined by assumptions. The problems considered fatal to logical probabilities--Goodman's `grue' problem and the uniqueness of priors problem are dissolved due to the particular formulation of logic used. Other problems such as the zero-prior problem are also solved. -/- A universal theory of (non-linguistic) meaning is developed. Problems with counterfactual conditionals are solved by developing concepts of abstractions and corresponding pictures that make up hypotheses. Spaces of hypotheses and the version of Bayes' theorem that utilises them emerge from first principles. -/- Theoretical virtues for hypotheses emerge from the theory. Explanatory force is explicated. The significance of effective assumptions is partly determined by combinatoric factors relating to the structure of hypotheses. I conjecture that this is the origin of simplicity. (shrink)

Pacifists and their opponents disagree not only about moral questions, but most often about factual questions as well. For example, they came to divergent descriptions of the crisis in Kosovo. According to my reconstruction of pacifism, this is not a surprise because the pacifist, legitimately, looks at the facts in the light of her system of value. Her opponent, in turn, looks at the facts in the light of alternative systems of value, and the quarrel between the two parties about (...) supposedly descriptive matters does not come to an end as there is no objective reality about the war in question that could settle the issue. If I am right, the pacifist's value-laden way of looking at reality can be reconstructed as an obedience to three epistemic imperatives. First, the Epistemic Imperative concerning Human Nature ("Resist against demonizing the other side; always try to understand the case from their point of view"). Second, the Epistemic Imperative concerning Non-Violent Alternatives ("Always search for non-violent alternatives to projected military action"). Third, the Epistemic Imperative concerning Uncontrolled Escalation ("Sharpen your attention for uncontrolled, irreversible side effects of military action, particularly for the danger of escalation to another world war"). Objective reality does not decide how far one should go in following these imperatives. Rather, the decision about this is our's—similarly as in case of the scientist who decides to search for common deep structure behind the chaos of the manifold. So the pacifist's epistemic imperatives can be compared to Kant's regulative principles that are necessary for guiding the scientific scrutiny of reality. (shrink)