Paul Horwich (1990) once suggested restricting the T-Schema to the maximally consistent set of its instances. But Vann McGee (1992) proved that there are multiple incompatible such sets, none of which, given minimal assumptions, is recursively axiomatizable. The analogous view for set theory---that Naïve Comprehension should be restricted according to consistency maxims---has recently been defended by Laurence Goldstein (2006; 2013). It can be traced back to W.V.O. Quine(1951), who held that Naïve Comprehension embodies the only really intuitive conception (...) of set and should be restricted as little as possible. The view might even have been held by Ernst Zermelo (1908), who,according to Penelope Maddy (1988), subscribed to a ‘one step back from disaster’ rule of thumb: if a natural principle leads to contra-diction, the principle should be weakened just enough to block the contradiction. We prove a generalization of McGee’s Theorem, anduse it to show that the situation for set theory is the same as that for truth: there are multiple incompatible sets of instances of Naïve Comprehension, none of which, given minimal assumptions, is recursively axiomatizable. This shows that the view adumbrated by Goldstein, Quine and perhaps Zermelo is untenable. (shrink)

Vann McGee has recently argued that Belnap’s criteria constrain the formal rules of classical natural deduction to uniquely determine the semantic values of the propositional logical connectives and quantifiers if the rules are taken to be open-ended, i.e., if they are truth-preserving within any mathematically possible extension of the original language. The main assumption of his argument is that for any class of models there is a mathematically possible language in which there is a sentence true in just (...) those models. I show that this assumption does not hold for the class of models of classical propositional logic. In particular, I show that the existence of non-normal models for negation undermines McGee’s argument. (shrink)

Tarski's Undefinability of Truth Theorem comes in two versions: that no consistent theory which interprets Robinson's Arithmetic (Q) can prove all instances of the T-Scheme and hence define truth; and that no such theory, if sound, can even express truth. In this note, I prove corresponding limitative results for validity. While Peano Arithmetic already has the resources to define a predicate expressing logical validity, as Jeff Ketland has recently pointed out (2012, Validity as a primitive. Analysis 72: 421-30), no theory (...) which interprets Q closed under the standard structural rules can define nor express validity, on pain of triviality. The results put pressure on the widespread view that there is an asymmetry between truth and validity, viz. that while the former cannot be defined within the language, the latter can. I argue that Vann McGee's and Hartry Field's arguments for the asymmetry view are problematic. (shrink)

Recently four different papers have suggested that the supervaluational solution to the Problem of the Many is flawed. Stephen Schiffer has argued that the theory cannot account for reports of speech involving vague singular terms. Vann McGee and Brian McLaughlin say that theory cannot, yet, account for vague singular beliefs. Neil McKinnon has argued that we cannot provide a plausible theory of when precisifications are acceptable, which the supervaluational theory needs. And Roy Sorensen argues that supervaluationism is inconsistent (...) with a directly referential theory of names. McGee and McLaughlin see the problem they raise as a cause for further research, but the other authors all take the problems they raise to provide sufficient reasons to jettison supervaluationism. I will argue that none of these problems provide such a reason, though the arguments are valuable critiques. In many cases, we must make some adjustments to the supervaluational theory to meet the posed challenges. The goal of this paper is to make those adjustments, and meet the challenges. (shrink)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

This paper calls for a re-appraisal of McGee's analysis of the semantics, logic and probabilities of indicative conditionals presented in his 1989 paper Conditional probabilities and compounds of conditionals. The probabilistic measures introduced by McGee are given a new axiomatisation built on the principle that the antecedent of a conditional is probabilistically independent of the conditional and a more transparent method of constructing such measures is provided. McGee's Dutch book argument is restructured to more clearly reveal that (...) it introduces a novel contribution to the epistemology of semantic indeterminacy, and shows that its more controversial implications are unavoidable if we want to maintain the Ramsey Test along with the standard laws of probability. Importantly, it is shown that the counterexamples that have been levelled at McGee's analysis|generating a rather wide consensus that it yields `unintuitive' or `wrong' probabilities for compounds |fail to strike at their intended target; for to honour the intuitions of the counterexamples one must either give up the Ramsey Test or the standard laws of probability. It will be argued that we need to give up neither if we take the counterexamples as further evidence that the indicative conditional sometimes allows for a non-epistemic `causal' interpretation alongside its usual epistemic interpretation. (shrink)

Critical review of Glenn McGee, ed., Pragmatic Bioethics.

McGee argued that modus ponens was invalid for the natural language conditional ‘If…then…’. Many subsequent responses have argued that, while McGee’s examples show that modus ponens fails to preserve truth, they do not show that modus ponens fails to preserve rational full acceptance, and thus modus ponens may still be valid in the latter informational sense. I show that when we turn our attention from indicative conditionals to subjunctive conditionals, we find that modus ponens does not preserve either (...) truth or rational full acceptance, and thus is not valid in either sense. In concluding I briefly consider how we can account for these facts. (shrink)

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

This paper gives a definition of self-reference on the basis of the dependence relation given by Leitgeb (2005), and the dependence digraph by Beringer & Schindler (2015). Unlike the usual discussion about self-reference of paradoxes centering around Yablo's paradox and its variants, I focus on the paradoxes of finitary characteristic, which are given again by use of Leitgeb's dependence relation. They are called 'locally finite paradoxes', satisfying that any sentence in these paradoxes can depend on finitely many sentences. I prove (...) that all locally finite paradoxes are self-referential in the sense that there is a directed cycle in their dependence digraphs. This paper also studies the 'circularity dependence' of paradoxes, which was introduced by Hsiung (2014). I prove that the locally finite paradoxes have circularity dependence in the sense that they are paradoxical only in the digraph containing a proper cycle. The proofs of the two results are based directly on König's infinity lemma. In contrast, this paper also shows that Yablo's paradox and its nested variant are non-self-referential, and neither McGee's paradox nor the omega-cycle liar paradox has circularity dependence. (shrink)

Chancy modus ponens is the following inference scheme: ‘probably φ’, ‘if φ, then ψ’, therefore, ‘probably ψ’. I argue that Chancy modus ponens is invalid in general. I further argue that the invalidity of Chancy modus ponens sheds new light on the alleged counterexample to modus ponens presented by McGee. I close by observing that, although Chancy modus ponens is invalid in general, we can recover a restricted sense in which this scheme of inference is valid.

This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent ‘internal’ renditions of the famous categoricity arguments for arithmetic and set theory.

In a recent pair of publications, Richard Bradley has offered two novel no-go theorems involving the principle of Preservation for conditionals, which guarantees that one’s prior conditional beliefs will exhibit a certain degree of inertia in the face of a change in one’s non-conditional beliefs. We first note that Bradley’s original discussions of these results—in which he finds motivation for rejecting Preservation, first in a principle of Commutativity, then in a doxastic analogue of the rule of modus ponens —are problematic (...) in a significant number of respects. We then turn to a recent U-turn on his part, in which he winds up rescinding his commitment to modus ponens, on the grounds of a tension with the rule of Import-Export for conditionals. Here we offer an important positive contribution to the literature, settling the following crucial question that Bradley leaves unanswered: assuming that one gives up on full-blown modus ponens on the grounds of its incompatibility with Import-Export, what weakened version of the principle should one be settling for instead? Our discussion of the issue turns out to unearth an interesting connection between epistemic undermining and the apparent failures of modus ponens in McGee’s famous counterexamples. (shrink)

In his article, Vsevolod Ladov poses an important question – might paradoxes admit of a uniform solution? As an answer, I propose looking at an approach in which it is argued that we must recognize the truth predicate as merely analogous to a vague predicate. The proponents of this approach (V. McGee, J. Tappenden, H. Field, G. Priest and D. Hyde) insist that there is a structural relation between sorites paradoxes and self-reference paradoxes and that they should have a (...) unified solution. (shrink)

RESUMO A alimentação é o fator que mais onera um sistema de produção animal. Assim, a utilização de diferentes estratégias de alimentação dos animais ainda é o grande desafio da nutrição animal, principalmente, levando em consideração as exigências nutricionais de diferentes categorias de ruminantes, em especial bovinos em regiões tropicais, haja vista que a sazonalidade na produção de forragens afeta diretamente a produção bovina, promovendo inadequação no atendimento das exigências nutricionais dos animais principalmente em minerais e vitaminas. Uma alimentação que (...) não atenda as exigências nutricionais dos ruminantes gera prejuízos no sistema de produção, além de, em casos mais graves, ocasionar a perda do animal. Estudos que abordam o efeito e a importância de vitaminas e minerais na nutrição bovina são escassos e necessários. Recentemente a National Research Council (NRC) apresentou novos registros das exigências nutricionais das vitaminas e minerais. Essas alterações proporcionam um impacto econômico significativo em relação à nutrição animal. Nesse sentido, objetivou-se com esta revisão trazer informações acerca de vitaminas e minerais na nutrição de bovinos em pastejo. -/- Palavras-chave: Alimentação animal; forragem; pastagem; requerimentos nutricionais; ruminantes; vitaminas lipossolúveis (Source: AGROVOC). -/- ABSTRACT Animal feed is the factor that most burdens a production system. Thus, the use of different animal feeding strategies is still the great challenge of animal nutrition, taking into account the nutritional requirements of different categories of ruminants, especially cattle in tropical regions, given that seasonality in forage production directly affects cattle production, promoting inadequacy in meeting the nutritional requirements of animals, mainly in minerals and vitamins. A diet that does not meet the nutritional requirements of ruminants generates losses in the production system, in addition to, in more serious cases, causing the loss of the animal. Studies that address the effect and importance of vitamins and minerals in bovine nutrition are scarce and necessary. Recently the National Research Council (NRC) presented new records of the nutritional requirements of vitamins and minerals. These changes provide a significant economic impact on animal nutrition. In this sense, the objective of this review was to bring information about vitamins and minerals in the nutrition of grazing cattle. -/- Keywords: Animal feeding; fat soluble vitamins; forage; nutritional requirements; pasture feeding; ruminants (Source: AGROVOC). -/- REFERÊNCIAS BIBLIOGRÁFICAS -/- 1. Cavalcanti CPL, Silva e Macedo TJ, Gois GC, Menezes VG, Monte APO, Silva AD, Silva DJM, Silva EO, Araújo GGL, Rodrigues RTS, Wischral A, Matos MHT, Queiroz MAA. Licuri oil improves feedlot performance and modifies ruminal fauna of Santa Inês ewes. Liv Sci. 2022; 265:e105093. 2. Busato KC, Chizzotti ML, Rodrigues RTS, Silva TS, Silva IF, Queiroz MAA, Silva KT, Borges JC, Gois GC. Ingestive behavior and growth performance of boer crossbred and indigenous goat kids under different feeding levels in Semiarid Region in Brazil. Trop Agric Res. 2022; 33:299-309. 3. Patton J, Dineen M, Keady TWJ, McGee M, Waters S. Developments in nutrition for pasture-based cattle and sheep systems in Ireland. Irish J Agric Food Res. 2022; 61(1):12-37. 4. McAllister TA, Stanford K, Chaves AV, Evans PR, Figueiredo, EES, Ribeiro G. Nutrition, feeding and management of beef cattle in intensive and extensive production systems. Chapter 5. In: Bazer FW, Lamb GC, Wu G, editors. Animal Agriculture. Sustainability, Challenges and Innovations. 1st ed. Elsevier Inc.: Academic Press; 2020. 5. Byrne L, Murphy RA. Relative bioavailability of trace minerals in production animal nutrition: A review. Anim. 2022; 12:e1981. 6. Arthington JD, Ranches J. Trace mineral nutrition of grazing beef cattle. Anim. 2021; 11:e2767. 7. Silva NCD, Martins TLT, Borges I. Efeito dos microminerais na alimentação de ruminantes. Ci Anim. 2017; 27:75-98. 8. Tufarelli V, Ragni M, Laudadio V. Feeding forage in poultry: A promising alternative for the future of production systems. Agric. 2018; 8:1-10. 9. Elgersma A, Søegaard K, Jensen SK. Fatty acids, α-tocopherol, β-carotene, and lutein contents in forage legumes, forbs, and a grass–clover mixture. J Agric Food Chem. 2013; 61:11913–11920. 10. Collet SG, Demeda MA, Taffarel GV, Taffarel L, Girardini LK, Nesi CNH, et al. Efeito de um suplemento mineral traço e vitaminas A e E injetáveis sobre a produção e composição de leite em vacas Holandesas. Rev Ci Agrovet. 2017; 16:463-472. 11. Silva NCD, Martins TLT, Borges I. Macrominerais: Deficiências E Interações Com A Produção E Nutrição De Ruminantes. Scient Agr Paranaensis. 2018; 17:263-271. 12. Danieli B, Schogor ALB. Uso de aditivos na nutrição de ruminantes: revisão. Vet Zootec. 2020; 27:1-13. 13. Goff JP. Invited review: Mineral absorption mechanisms, mineral interactions that affect acid–base and antioxidant status, and diet considerations to improve mineral status. J Dairy Sci. 2018; 101:2763–2813. 14. NRC. National Research Council. Nutrient requirements of beef cattle. 8th ed.Washington, DC.: The National Academy Press; 2016. 15. Silva LFC, Valadares Filho SC, Engle TE, Rotta PP, Marcondes MI, Silva FAZ, et al. Macrominerals and trace element requirements for beef cattle. Plus One. 2015; 10:e0144464. 16. Miranda MMF, Ferrarezi Junior E, Cavichioli FA. Boas práticas agropecuárias: Os benefícios da suplementação alimentar em ruminantes. Int Tec. 2021; 18:455-465. 17. Bhanderi BM, Goswami A, Garg MR, Samanta S. Study on minerals status of dairy cows and their supplementation through área specific mineral mixture in the state of Jharkhand. J Anim Sci Techn. 2016; 58:1-8. 18. Rezende FV, Silva NCD, Florentino LA, Rezende AV. Minerais: fatores que interferem na biodisponibilidade de macro e microminerais para fêmeas ruminantes durante o período de gestação. Nucleus Anim. 2019; 11:123-136. 19. NRC. National Research Council. Nutrient requeriments of dairy cattle. 7th rev.ed. Washinton, DC.: The National Academy Press; 2001. 20. Marku A, Galli A, Marciani P, Dule N, Perego C, Castagna M. Iron metabolism in pancreatic beta-cell function and dysfunction. Cells. 2021; 10:e2841. 21. DA SILVA, Emanuel Isaque Cordeiro. Nutrição e Suplementação Mineral de Bovinos de Corte. Emanuel Isaque Cordeiro da Silva, 2021. 22. Suganya A, Saravanan A, Manivannan N. Role of zinc nutrition for increasing zinc availability, uptake, yield, and quality of maize (Zea mays L.) grains: An overview. Commun Soil Sci Plant An. 2020; 51:2001-2021. 23. Byrne L, Murphy RA. Relative bioavailability of trace minerals in production animal nutrition: A review. Anim. 2022. 12:e1981. 24. Valentim JK, Mendes JP, Przybulinski BB, Serpa FC, Barbosa DK, Castilho VAR, et al. Fatores nutricionais aplicados à reprodução de ruminantes. Rev Uniciên. 2019; 23:77-82. 25. Martins KPF, Fonseca TRS, Silva ES, Munhoz TCP, Dias, GHS, Glauco JN, et al. Bócio em bovino. Pesq Vet Bras. 2018; 38:1030-1037. 26. González-Montaña JR, Escalera-Valente F, Alonso AJ, Lomillos JM, Robles R, Alonso ME. Relationship between vitamin B12 and cobalt metabolism in domestic ruminant: An update. Anim. 2020; 10:e1855; 27. Ventura RA, Cuzzuol GD, Silva TB, Malegoni ACS, Roque LZ, OLiveira SFC, et al. Deficiência de cobalto em bovinos: Revisão. Pubvet. 2021; 15:1-4. 28. Lopes HOS. Suplementação de Baixo Custo para Bovinos Mineral e Alimentar. 1st ed. Brasília, DF: Embrapa Cerrados; 1998. 29. Paul SH, Usman AA, Gana IN, Manase A, Adeniyi OD, Olutoye MA. Comparative study of mineral and nutritional composition of a multifunctional flora composite formulated from seven medicinal plants and their applications to human health. Eng Techn Open Access J. 2018; 1:137-150. 30. Zhou J, Zhang J, Xue B, Yue S, Yang C, Xue B. Effects of premating calcium and phosphorus supplementation on reproduction efficiency of grazing yak heifers. Anim. 2021; 11:1-9. 31. Harder H, Khol-Parisini A, Metzler-Zebeli BU, Klevenhusen F, Zebeli Q. Treatment of grain with organic acids at 2 different dietary phosphorus levels modulates ruminal microbial community structure and fermentation patterns in vitro. J Dairy Sci. 2015; 98:8107–8120. 32. Jain RK, Mudgal V. Phosphorus deficiency influences rumen microbial activity: Review. Int J Zoo Anim Biol. 2021; 4:1-9. 33. Barreto JC, Branco AF, Santos GT, Magalhães VJA, Coneglian SMC, Teixeira S. Avaliação dos efeitos de fontes de fósforo na dieta sobre parâmetros do meio ruminal e eficiência de síntese microbiana, digestibilidade dos nutrientes e fósforo plasmático em bovinos. Rev Bras Zootec. 2009; 38:760-769. 34. Yamada S, Inaba M. Potassium metabolism and management in patients with CKD. Nutr. 2021; 13:1-19. 35. Martinsen TC, Fossmark R, Waldum HL. The phylogeny and biological function of gastric juice—Microbiological consequences of removing gastric acid. Int J Mol Sci. 2019; 20:1-22. 36. González FHD, Silva SC. Minerais e vitaminas no metabolismo animal. 1st ed. Porto Alegre: Universidade Federal do Rio Grande do Sul; 2019. 37. Melo RR, Gonçalves SLS, Baccarin FJB, Vasconcelos WA, Miranda SC. Influência de altas dosagens de cloreto de potássio no desenvolvimento de espécies em cultivo hidropônico. Pubvet. 2020; 14:1-9. 38. Araújo WAG, Rostagno HS, Albino LFT, Carvalho TA, Ribeiro Neto AC. Potássio na nutrição animal. Rev Eletr Nutr. 2010; 7:1280-1291. 39. NRC. National Research Council. Nutrient requeriments of dairy cattle. 8th ed. Washinton, DC.: The National Academy Press; 2021. 40. Palomares RA. Trace Minerals Supplementation with Great Impact on Beef Cattle Immunity and Health. Anim. 2022; 12:e2839. 41. Tariq M, Abbas G, Ahmad S, Mustafa R, Sultan H, Abdullah M, Hussain I, Arshad M, Cheema UB, Hassan SU. Effect of supplementation of minerals on the productive and reproductive performance of lactating cattle and buffalo. Pakistan J Sci. 2022; 74:e425. 42. Pagno KCA Barbosa JD, Salvarani FM, Bomjardim HA, Faial KCF, Souza RS, Gava A, Perotta JH, Barros Filho IR. Micromineral concentrations (copper, cobalt, iron, molybdenum and zinc) in the liver of dairy cows from Campos Gerais Region, Paraná state, Brazil. Pesq Vet Bras. 2023; 43:e07137. 43. Jeong H, Vacanti NM. Systemic vitamin intake impacting tissue proteomes. Nut Met. 2020; 17:1-16. 44. Spears JW, Weiss WP. Invited Review: Mineral and vitamin nutrition in ruminants. Appl Anim Sci. 2014; 30:180-191. 45. Erickson PS, Kalscheur KF. Nutrition and feeding of dairy cattle. Chapter 9. (pp. 157-180). In: Bazer FW, Lamb GC, Wu G, editors. Animal Agriculture. Sustainability, Challenges and Innovations. 1st ed. Elsevier Inc.: Academic Press; 2020. 46. Kareem MM, Jabir MS. Vitamins. Chapter 3. In: Imran M, Imran A, editors. Malnutrition. 1st ed. London, UK.: IntechOpen; 2020. 47. Akram M, Munir N, Daniyal M, Egbuna C, Găman MA, Onyekere PF, et al. Vitamins and minerals: Types, sources and their functions. Chapter 9. (pp 149–172). In: Egbuna C, Tupas GD, editors. Functional foods and nutraceuticals. Switzerland, AG.: Springer, Cham; 2020. 48. Marino CT, Medeiros SR. Minerais e vitaminas na nutrição de bovinos de corte. Chapter 6. (pp. 79-93). In. Medeiros SR, Gomes RC, Bungenstab DJ, editors. Nutrição de bovinos de corte: fundamentos e aplicações. Brasília, DF: Embrapa; 2015. 49. Hodnik JJ, Ježek J, Starič J. A review of vitamin D and its importance to the health of dairy cattle. J Dairy Res. 2020; 87:84–87. 50. Alves EM, Pedreira MS, Santana CA, Silva FF. Nutrição vitamínica de vacas leiteiras. Pubvet. 2008; 2:1-17. 51. Jiang Q, Lin L, Xie F, Jin W, Zhu W, Wang M, et al. Metagenomic insights into the microbe-mediated B and K2 vitamin biosynthesis in the gastrointestinal microbiome of ruminants. Microb. 2022; 10:1-16. 52. Magan JB, O’Callaghan TF, Zheng J, Zhang L, Mandal R, Hennessy D, et al. Effect of diet on the vitamin B profile of bovine milk-based protein ingredients. Foods. 2020; 9:1-17. 53. Pinedo LA, Berenchtein B, Selem ASMA. Estudo dos processos bioquímicos da fermentação, degradação e absorção de nutrientes dos alimentos em ruminantes. Pubvet. 2008; 2:1-10. 54. DA SILVA, Emanuel Isaque Cordeiro. Formulação e Avaliação de Suplemento Mineral Para Caprinos. Instrução Técnica Para o Produtor Rural de Pernambuco, v. 3, n. 1, p. 1-4, 2023. 55. DA SILVA, Emanuel Isaque Cordeiro. Nutrição Sobre a Reprodução e Fertilidade dos Bovinos. Emanuel Isaque Cordeiro da Silva, 2021. 56. DA SILVA, Emanuel Isaque Cordeiro. Suplementação e formulação de sal mineral e mistura múltipla para bovinos. Revista Universitária Brasileira, v. 2, n. 1, 2024. (shrink)

*This work is no longer under development* Two major themes in the literature on indicative conditionals are that the content of indicative conditionals typically depends on what is known;1 that conditionals are intimately related to conditional probabilities.2 In possible world semantics for counterfactual conditionals, a standard assumption is that conditionals whose antecedents are metaphysically impossible are vacuously true.3 This aspect has recently been brought to the fore, and defended by Tim Williamson, who uses it in to characterize alethic necessity by (...) exploiting such equivalences as: A⇔¬A A. One might wish to postulate an analogous connection for indicative conditionals, with indicatives whose antecedents are epistemically impossible being vacuously true: and indeed, the modal account of indicative conditionals of Brian Weatherson has exactly this feature.4 This allows one to characterize an epistemic modal by the equivalence A⇔¬A→A. For simplicity, in what follows we write A as KA and think of it as expressing that subject S knows that A.5 The connection to probability has received much attention. Stalnaker suggested, as a way of articulating the ‘Ramsey Test’, the following very general schema for indicative conditionals relative to some probability function P: P = P 1For example, Nolan ; Weatherson ; Gillies. 2For example Stalnaker ; McGee ; Adams. 3Lewis. See Nolan for criticism. 4‘epistemically possible’ here means incompatible with what is known. 5This idea was suggested to me in conversation by John Hawthorne. I do not know of it being explored in print. The plausibility of this characterization will depend on the exact sense of ‘epistemically possible’ in play—if it is compatibility with what a single subject knows, then can be read ‘the relevant subject knows that p’. If it is more delicately formulated, we might be able to read as the epistemic modal ‘must’. (shrink)

happyness porsued by a robot, realization of futuristic and transcendent dreams of man.