Livro-texto de introdução à lógica, com (mais do que) pitadas de filosofia da lógica, produzido como uma versão revista e ampliada do livro Forallx: Calgary. Trata-se da versão de 13 de outubro de 2022. Comentários, críticas, correções e sugestões são muito bem-vindos.

Parece um fato bastante trivial que quando uma teoria científica se torna obsoleta, por ter sido substituída por outra, isto não tem nenhuma consequência para os objetos técnicos compatíveis com a teoria antiga. Pretendo, neste ensaio, responder à questão bem menos óbvia de por que isto se dá. Como subproduto, apresento uma defesa da teoria da ciência de Thomas Kuhn. Para tanto, inicio mostrando como a teoria de Kuhn foi motivada por considerações sobre a história da ciência. Em seguida, defendo (...) um pressuposto sobre como se dá a relação entre ciência e tecnologia. Continuo, apresentando uma distinção entre conteúdo factual e conceitual na ciência. E. (shrink)

Analyzing the position of two philosophers whose views are recognizably divergent, W. O. Quine and M. Dummett, we intend to support a striking point of agreement between them: the idea that our logical principles constitute our principles about what there is, and therefore, that logic is metaphysics.

Conditional independence tests have received special attention lately in machine learning and computational intelligence related literature as an important indicator of the relationship among the variables used by their models. In the field of probabilistic graphical models, which includes Bayesian network models, conditional independence tests are especially important for the task of learning the probabilistic graphical model structure from data. In this paper, we propose the full Bayesian significance test for tests of conditional independence for discrete datasets. The full Bayesian (...) significance test is a powerful Bayesian test for precise hypothesis, as an alternative to the frequentist’s significance tests (characterized by the calculation of the p-value). (shrink)

Disagreement over what exists is so fundamental that it tends to hinder or even to block dialogue among disputants. The various controversies between believers and atheists, or realists and nominalists, are only two kinds of examples. Interested in contributing to the intelligibility of the debate on ontology, in 1939 Willard van Orman Quine began a series of works which introduces the notion of ontological commitment and proposes an allegedly objective criterion to identify the exact conditions under which a theoretical discourse (...) signals an assumption of existence. I intend to present the concept of ontological commitment and the Quinean criterion, to expose and evaluate some of the many criticisms to which the criterion has subject and to situate it in the context of Quine’s philosophy. As a product of such analyses, I hope to contribute to the discussion on the application and relevance of the notion of ontological commitment. (shrink)

Este artigo propõe a adoção do método da análise de conceitos conforme apresentada por John Wilson, como metodologia pedagógica e principal conteúdo para a disciplina de filosofia no ensino médio.

The purpose of this article is to support the logical incompatibility of the opposing views as a criterion for characterizing disagreements as genuinely metaphysical. That is, I intend to argue that a specific dispute is a metaphysical disagreement only when the conflicting views are governed by different logics. If correct, this criterion would not only help to separate merely verbal from genuine metaphysical debates, but it also would ground an argument against deflationism, guaranteeing the substantiality and relevance of metaphysics. I (...) intend to clarify the criterion, to present its basic foundations and commitments, to give some logical and metaphysical motivations for its adoption and some examples of its application. (shrink)

É bem conhecida a divergência entre as posições de Gottlob Frege e Bertrand Russell com relação ao tratamento semântico dado a sentenças contendo termos singulares indefinidos, ou seja, termos singulares sem referência ou com referência ambígua, tais como ‘Papai Noel’ ou ‘o atual rei da França’ ou ‘1/0 ’ ou ‘√4’ ou ‘o autor de Principia Mathematica’. Para Frege, as sentenças da linguagem natural que contêm termos indefinidos não formam declarações e portanto não são nem verdadeiras nem falsas. Já para (...) as sentenças da matemática, Frege defende que elas precisam ser corrigidas através da convenção forçada de uma referência não ambígua. Russell, por outro lado, aceita os termos indefinidos e propõe, através de sua teoria das descrições definidas, uma maneira de avaliar as sentenças em que eles ocorrem; e Quine amplia a teoria de Russell para abranger também os nomes com problemas de referência. Na prática da matemática são comuns os termos singulares indefinidos, sem referência, tais como ‘1/0 ’, ou com referência ambígua, tais como ‘√4’. Apesar de não haver uma sistematização rigorosa desta situação entre os matemáticos, há, no entanto, um conjunto de regras convencionais que tradicionalmente costumam ser aplicadas no tratamento matemático dos termos indefinidos. Nossa proposta é tomar a convenção matemática como inspiração e modelo para apresentar uma interpretação semântica formal para as descrições definidas e os nomes e utilizá-la como um argumento que favorece a abordagem de Russell relativamente à de Frege. (shrink)

Much of the ontology made in the analytic tradition of philosophy nowadays is founded on some of Quine’s proposals. His naturalism and the binding between existence and quantification are respectively two of his very influential metaphilosophical and methodological theses. Nevertheless, many of his specific claims are quite controversial and contemporaneously have few followers. Some of them are: (a) his rejection of higher-order logic; (b) his resistance in accepting the intensionality of ontological commitments; (c) his rejection of first-order modal logic; and (...) (d) his rejection of the distinction between analytic and synthetic statements. I intend to argue that these controversial negative claims are just interconnected consequences of those much more accepted and apparently less harmful metaphilosophical and methodological theses, and that the glue linking all these consequences to its causes is the notion of extensionality. (shrink)

Artigo de divulgação científica que reflete sobre a relação entre o conhecimento científico e as teses deterministas e fatalistas.

This paper studies Lamarck's scientific method both from the point of view of his methodological discourse and according to his scientific praxis. Lamarck's methodology is compared to Condillac's as well as to that of the idéologues - a group in which Lamarck is usually included. The analysis of this paper shows that Lamarck's methodological discourse is very similar to Condillac's, but his scientific praxis does not follow this view. Instead of following an empiricist approach, Lamarck's work is grounded upon general (...) metaphysical principles concerning nature. Thus, from the ideologues's point of view, Lamarck's work should have been rejected -and that is what really happened - as being a mere metaphysical system grupo no qual se costuma incluir o próprio Lamarck. Mostra-se que o discurso metodológico de Lamarck assemelha-se ao dos ideólogos; no entanto, sua prática científica não se coaduna com esse enfoque. Em vez de seguir uma abordagem empirista, a obra de Lamarck se fundamenta em princípios metafísicos gerais sobre a natureza. Sob o ponto de vista dos ideólogos, seu trabalho deveria ser rejeitado - o que de fato ocorreu - como um mero sistema metafísico - no sentido pejorativo utilizado pelos seguidores de Condillac. No entanto, o presente artigo argumenta que esse é justamente um importante e inovador aspecto da obra de Lamarck, que permitiu a eclosão do evolucionismo moderno. (shrink)

The main objective of this PhD Thesis is to present a method of obtaining strong normalization via natural ordinal, which is applicable to natural deduction systems and typed lambda calculus. The method includes (a) the definition of a numerical assignment that associates each derivation (or lambda term) to a natural number and (b) the proof that this assignment decreases with reductions of maximal formulas (or redex). Besides, because the numerical assignment used coincide with the length of a specific sequence of (...) reduction - the worst reduction sequence - it is the lowest upper bound on the length of reduction sequences. The main commitment of the introduced method is that it is constructive and elementary, produced only through analyzing structural and combinatorial properties of derivations and lambda terms, without appeal to any sophisticated mathematical tool. Together with the exposition of the method, it is presented a comparative study of some articles in the literature that also get strong normalization by means we can identify with the natural ordinal methods. Among them we highlight Howard[1968], which performs an ordinal analysis of Godel’s Dialectica interpretation for intuitionistic first order arithmetic. We reveal a fact about this article not noted by the author himself: a syntactic proof of strong normalization theorem for the system of typified lambda calculus λ⊃ is a consequence of its results. This would be the first strong normalization proof in the literature. (written in Portuguese). (shrink)

Entrevista com Érica Danielle Silva por Alex Pereira de Araújo, em julho de 2014, na Paris 3 (Sorbonne Nouvelle). Érica Danielle Silva é doutoranda em Letras, pela Universidade Estadual de Maringá, na linha do Texto e do Discurso e integrante do Grupo de Estudos em Análise do Discurso da UEM – GEDUEM (UEM/CNPq). Entrevistada em julho de 2014, no início de seu estágio sanduíche em Paris, Érica contou um pouco de seu percurso acadêmico, sua pesquisa e as expectativas para (...) as pesquisas na França. (shrink)

RESUMO -/- Este estudo aborda a análise econômica e zootécnica de um sistema de criação de gado de corte implementado na Fazenda Escola Lagoa do Sino (FELS), localizada em Buri - SP. O estudo baseou-se em um extenso levantamento de dados obtidos ao longo do ciclo produtivo que se estendeu do final de 2022 até janeiro de 2024. A FELS, com uma área de aproximadamente 21 hectares de pastagens destinada a esta pesquisa, emprega um sistema de manejo composto por dois (...) funcionários. O rebanho, constituído por 14 vacas ½ Nelore e ½ Angus, juntamente com um touro registrado PO da raça taurina Senepol, é alimentado exclusivamente por pastagens de Brachiaria decumbens, complementada por suplementação mineral. A avaliação econômica foi conduzida considerando custos operacionais, resultando em um déficit significativo no primeiro ciclo produtivo, principalmente devido a investimentos iniciais como a aquisição de animais. No entanto, uma análise mais profunda indicou que a otimização dos custos operacionais, especialmente relacionados à mão de obra, poderia reduzir esse déficit para um patamar mais gerenciável, sinalizando uma trajetória de aprimoramento nos ciclos subsequentes. Os índices zootécnicos desempenharam um papel crucial na análise da viabilidade econômica, os resultados foram comparados a benchmarks nacionais e estudos anteriores, revelando pontos fortes, como a taxa de fertilidade das vacas, que superou a média nacional. No entanto, foi identificado um desvio significativo no valor da carne produzida por hectare, indicando a necessidade de uma investigação mais detalhada sobre variáveis específicas do sistema. Diante dos desafios iniciais, a pesquisa conclui que a continuidade do estudo, aliada à implementação de estratégias identificadas para aprimoramento, é essencial para consolidar um sistema eficiente e economicamente viável. A busca contínua por eficiência, revisão de insumos na alimentação, aprimoramento do manejo nutricional e estratégias de gestão de recursos humanos são destacadas como áreas-chave para aprimorar a rentabilidade nos ciclos subsequentes. Sendo assim, a pesquisa contribui não apenas para a compreensão do desempenho econômico do sistema, mas também para a identificação de estratégias práticas que podem ser implementadas para aprimorar a eficiência e a rentabilidade na produção de gado de corte. Palavras-chave: Gado de corte. Viabilidade econômica. Índices zootécnicos. Rentabilidade. Estratégias de gestão. Benchmarking. ABSTRACT This study addresses the economic and zootechnical analysis of a beef cattle farming system implemented at the Lagoa do Sino School Farm (FELS), located in Buri - SP. The study was based on an extensive data collection carried out throughout the productive cycle, spanning from late 2022 to January 2024. FELS, with an area of approximately 21 hectares of pastures dedicated to this research, employs a management system consisting of two employees. The herd, comprised of 14 ½ Nelore and ½ Angus cows, along with a registered Senepol PO breed bull, is exclusively fed on Brachiaria decumbens pastures, supplemented with mineral supplementation. The economic evaluation was conducted considering operational costs, resulting in a significant deficit in the first productive cycle, mainly due to initial investments such as the acquisition of animals. However, a deeper analysis indicated that the optimization of operational costs, especially related to labor, could reduce this deficit to a more manageable level, signaling an improvement trajectory in subsequent cycles. Zootechnical indices played a crucial role in the analysis of economic viability, and the results were compared to national benchmarks and previous studies, revealing strengths such as the fertility rate of cows, which exceeded the national average. However, a significant deviation was identified in the value of meat produced per hectare, indicating the need for a more detailed investigation into specific variables of the system. Facing initial challenges, the research concludes that the continuity of the study, coupled with the implementation of identified improvement strategies, is essential to consolidate an efficient and economically viable system. The ongoing pursuit of efficiency, the review of inputs in feed, improvement of nutritional management, and human resource management strategies are highlighted as key areas to enhance profitability in subsequent cycles. Thus, the research contributes not only to understanding the economic performance of the system but also to identifying practical strategies that can be implemented to improve efficiency and profitability in beef cattle production. Keywords: Beef cattle. Economic viability. Zootechnical indices. Profitability. Management strategies. Benchmarking. -/- REFERÊNCIAS BIBLIOGRÁFICAS -/- COSTA, Fernando Paim et al. Indicadores de desempenho na pecuária de corte: uma revisão no contexto da Plataforma+ Precoce. 2018. COSTA, João Pedro Silva. Avaliação Econômica do Uso de Suplementos Para Novilhos de Corte em Pastejo no Período da Seca. 2023. CRESPOLINI, M. Recorde de abate de novilhas: como isto pode afetar o mercado de reposição? SCOT CONSULTORIA. DA SILVA, Emanuel Isaque Cordeiro. Fertilidade em Vacas Leiteiras: Fisiologia e Manejo. 2022. DA SILVA, Emanuel Isaque Cordeiro. Fisiologia da Reprodução de Bovinos Leiteiros: Aspectos Básicos e Clínicos. Emanuel Isaque Cordeiro da Silva, 2022. DA SILVA, Emanuel Isaque Cordeiro. Manejo Reprodutivo e Índices Zootécnicos em Gado de Leite. 2023. DBO, Portal. Gerar Corte reporta taxa de prenhez média de 51,5% na última estação de monta. 2022. DE ANDRADE, C. M. S. et al. Padrões de desempenho e produtividade animal para recria-engorda de bovinos de corte no Acre. 2005. DE FREITAS, Michel Pedro Vieira; DA COSTA, Caroline Pereira. Diferencial de peso de bezerros desmamas Nelore Convencional e Senepol. Revista JRG de Estudos Acadêmicos, v. 6, n. 13, p. 2396- 2407, 2023. (shrink)

We defend Uniqueness, the claim that given a body of total evidence, there is a uniquely rational doxastic state that it is rational for one to be in. Epistemic rationality doesn't give you any leeway in forming your beliefs. To this end, we bring in two metaepistemological pictures about the roles played by rational evaluations. Rational evaluative terms serve to guide our practices of deference to the opinions of others, and also to help us formulate contingency plans about what to (...) believe in various situations. We argue that Uniqueness vindicates these two roles for rational evaluations, while Permissivism clashes with them. (shrink)

In this paper, I motivate the view that quantitative parsimony is a theoretical virtue: that is, we should be concerned not only to minimize the number of kinds of entities postulated by our theories (i. e. maximize qualitative parsimony), but we should also minimize the number of entities postulated which fall under those kinds. In order to motivate this view, I consider two cases from the history of science: the postulation of the neutrino and the proposal of Avogadro's hypothesis. I (...) also consider two issues concerning how a principle of quantitative parsimony should be framed. (shrink)

There are at least two threads in our thought and talk about rationality, both practical and theoretical. In one sense, to be rational is to respond correctly to the reasons one has. Call this substantive rationality. In another sense, to be rational is to be coherent, or to have the right structural relations hold between one’s mental states, independently of whether those attitudes are justified. Call this structural rationality. According to the standard view, structural rationality is associated with a distinctive (...) set of requirements that mandate or prohibit certain combinations of attitudes, and it’s in virtue of violating these requirements that incoherent agents are irrational. I think the standard view is mistaken. The goal of this paper is to explain why, and to motivate an alternative account: rather than corresponding to a set of law-like requirements, structural rationality should be seen as corresponding to a distinctive kind of pro tanto rational pressure—i.e. something that comes in degrees, having both magnitude and direction. Something similar is standardly assumed to be true of substantive rationality. On the resulting picture, each dimension of rational evaluation is associated with a distinct kind of rational pressure—substantive rationality with (what I call) justificatory pressure and structural rationality with attitudinal pressure. The former is generated by one’s reasons while the latter is generated by one’s attitudes. Requirements turn out to be at best a footnote in the theory of rationality. (shrink)

It’s commonly held that particular moral facts are explained by ‘natural’ or ‘descriptive’ facts, though there’s disagreement over how such explanations work. We defend the view that general moral principles also play a role in explaining particular moral facts. More specifically, we argue that this view best makes sense of some intuitive data points, including the supervenience of the moral upon the natural. We consider two alternative accounts of the nature and structure of moral principles—’the nomic view’ and ‘moral platonism’—before (...) considering in what sense such principles obtain of necessity. (shrink)

Impossible fictions are valuable evidence both for a theory of fiction and for theories of meaning, mind and epistemology. This article focuses on what we can learn about fiction from reflecting on impossible fictions. First, different kinds of impossible fiction are considered, and the question of how much fiction is impossible is addressed. What impossible fiction contributes to our understanding of "truth in fiction" and the logic of fiction will be examined. Finally, our understanding of unreliable narrators and unreliable narration (...) in fiction needs to accommodate stories that, on the face of it, cannot possibly be true. (shrink)

In general, we think that when it comes to the good of another, we respect that person’s will by acting in accordance with what he wills because he wills it. I argue that this is not necessarily true. When it comes to the good of another person, it is possible to disrespect that person’s will while acting in accordance with what he wills because he wills it. Seeing how this is so, I argue, enables us to clarify the distinct roles (...) that the wills of competent and incompetent people should play in third-party deliberations about their welfare. (shrink)

This paper explores a special kind of loop of grounding: cosmic loops. A cosmic loop is a loop that intuitively requires us to go "around" the entire universe to come back to the original ground. After describing several kinds of cosmic loop scenarios, I will discuss what we can learn from these scenarios about constraints on grounding; the conceivability of cosmic loops; the possibility of cosmic loops; and the prospects for salvaging local reflexivity, asymmetry and transitivity of grounding in a (...) world containing a cosmic loop of ground. The considerations raised in this paper also bear on what we should think about relations that are meant to support grounding relations: in particular, revisions to theories of the part-whole relation are discussed. (shrink)

While epistemologists have long debated what it takes for beliefs to be justified, they've devoted much less collective attention to the question of what it takes for beliefs to be excused, and how excuses differ from justifications. This stands in contrast to the state of affairs in legal scholarship, where the contrast between justifications and excuses is a standard topic in introductory criminal law textbooks. My goal in this paper is to extract some lessons from legal theory for epistemologists seeking (...) to distinguish epistemic justifications from epistemic excuses. First, I'll provide a brief overview of appeals to the justification/excuse distinction in epistemology, focusing on the internalism/externalism debate. Then, I'll identify some choice points in legal theory for how to think about the function of the justification/excuse distinction, and will in turn correspond to analogous choice points in epistemology. Ultimately, I'll argue that depending on which way we go at some crucial junctures, we can motivate either a traditional, non‐factive, internalist conception of justification, or a purely factive one where truth is all that's required for a belief to be justified. But there's no clear path, via legal theory, to view that only beliefs that amount to knowledge are justified. (shrink)

In this paper, we present and defend a natural yet novel analysis of normative reasons. According to what we call support-explanationism, for a fact to be a normative reason to φ is for it to explain why there's normative support for φ-ing. We critically consider the two main rival forms of explanationism—ought-explanationism, on which reasons explain facts about ought, and good-explanationism, on which reasons explain facts about goodness—as well as the popular Reasons-First view, which takes the notion of a normative (...) reason to be normatively fundamental. Support-explanationism, we argue, enjoys many of the virtues of these views while avoiding their drawbacks. We conclude by exploring several further important implications: among other things, we argue that the influential metaphor of ‘weighing’ reasons is inapt, and propose a better one; that, contrary to what Berker (2019) suggests, there's no reason for non-naturalists about normativity to accept the Reasons-First view; and that, contrary to what Wodak (2020b) suggests, explanationist views can successfully accommodate what he calls ‘redundant reasons’. (shrink)

David Lewis’s arguments against magical ersatzism are notoriously puzzling. Untangling different strands in those arguments is useful for bringing out what he thought was wrong with not just one style of theory about possible worlds, but with much of the contemporary metaphysics of abstract objects. After setting out what I take Lewis’s arguments to be and how best to resist them, I consider the application of those arguments to general theories of properties and relations. The constraints Lewis motivates turn out (...) to yield an argument for concretism about possible individuals that is quite different from the better-known Lewisian arguments for that position. The discussion also touches on the puzzling question of whether things are the way they are because of the properties they have, or are the properties and relations the way they are because of the things that have them. (shrink)

This paper explores various subtleties in our ordinary thought and talk about normative reasons—subtleties which, if taken seriously, have various upshots, both substantive and methodological. I focus on two subtleties in particular. The first concerns the use of reason (in its normative sense) as both a count noun and as a mass noun, and the second concerns the context-sensitivity of normative reasons-claims. The more carefully we look at the language of reasons, I argue, the clearer its limitations and liabilities become. (...) The cumulative upshot is that although talk of reasons is intelligible and useful for the purposes of communication, we should be wary of placing much weight on it when engaging in substantive normative inquiry. By way of illustration, I consider some potential pitfalls of taking our talk of reasons too seriously, explaining how careful attention to the language of reasons undermines the main argument for moral particularism, Mark Schroeder’s recent defense of Humeanism about practical reasons, and the “reasons-first” program in metanormativity. (shrink)

A lot of philosophers engage in debates about what claims are “metaphysically necessary”, and a lot more assume with little argument that some classes of claims have the status of “metaphysical necessity”. I think we can usefully replace questions about metaphysical necessity with five other questions which each capture some of what people may have had in mind when talking about metaphysical necessity. This paper explains these five other questions, and then discusses the question “how much of metaphysics is metaphysically (...) necessary?”, and each of its five replacements. (shrink)

Sumário: 1. O conceito de revolução, Amélia de Jesus Oliveira; 2. Mudanças de concepção de mundo, Artur Bezzi Günther; 3. Habilidade e causalidade: uma proposta confiabilista para casos típicos de conhecimento, Breno Ricardo Guimarães Santos; 4. El realismo interno de Putnam y sus implicaciones en la filosofía de la ciencia y para el realismo científico, Marcos Antonio da Silva; 5.O papel da observação na atividade científica segundo Peirce, Max Rogério Vicentini; 6.Fact and Value entanglement: a collapse of objective reality?, Oswaldo (...) Melo Souza Filho; 7.Realismo interno e o paradoxo de Putnam, Renato Mendes Rocha; 8.Uma informação, dois formatos, dois destinos, Cícero Antônio Cavalcante Barroso; 9.O Mentiroso e as intuições acerca da noção de verdade na perspectiva de Saul Kripke, Ederson Safra Melo; 10.A conceptual difficulty with some definitions of behavior, Filipe Lazzeri; 11.A faceta epistêmica do problema da referência, Saulo Moraes de Assis; 12.Princípios metafísicos do método newtoniano, Bruno Camilo de Oliveira; 13.A resposta aristotélica para a aporia do regresso ao infinito nas demonstrações, Daniel Lourenço; 14.O uso da doutrina da ponderação aplicado ao principialismo, Cinthia Berwanger Pereira; 15.A fenomenologia da vida interior em Hannah Arendt, Elizabete Olinda Guerra; 16.Por que achar que o direito é formado por ordens é um fracasso?, ria Alice da Silva; 17 Por que ainda há poucas mulheres na filosofia? Uma versão modificada do modelo das “vozes diferentes”, Tânia A. Kuhnen; 18.Algumas considerações sobre Substância, Forma e Matéria na Metafísica de Aristóteles, Gabriel Geller Xavier. (shrink)

This paper draws on the notion of the ‘project,’ as developed in the existential philosophy of Heidegger and Sartre, to articulate an understanding of the existential structure of engagement with virtual worlds. By this philosophical understanding, the individual’s orientation towards a project structures a mechanism of self-determination, meaning that the project is understood essentially as the project to make oneself into a certain kind of being. Drawing on existing research from an existential-philosophical perspective on subjectivity in digital game environments, the (...) notion of a ‘virtual subjectivity’ is proposed to refer to the subjective sense of being-in-the-virtual-world. The paper proposes an understanding of virtual subjectivity as standing in a nested relation to the individual’s subjectivity in the actual world, and argues that it is this relation that allows virtual world experience to gain significance in the light of the individual’s projectual existence. The arguments advanced in this paper pave the way for a comprehensive understanding of the transformative, self-transformative, and therapeutic possibilities and advantages afforded by virtual worlds. (shrink)

One increasingly popular technique in philosophy might be called the "platitudes analysis": a set of widely accepted claims about a given subject matter are collected, adjustments are made to the body of claims, and this is taken to specify a “role” for the phenomenon in question. (Perhaps the best-known example is analytic functionalism about mental states, where platitudes about belief, desire, intention etc. are together taken to give us a "role" for states to fill if they are to count as (...) mental states.) We then look to our best theory of the world to see where this role is satisfied, if at all. Unfortunately, the platitudes analysis, so characterised, does not seem to help when we are doing fundamental metaphysics—when we want to know what, at base, our world is like (and not merely where things like e.g. the mental would be found in an already-specified ontology). Nevertheless, I will argue that the platitudes analysis, properly understood, does have the materials to help us answer questions in fundamental metaphysics as well. I will explore three different ways it can do so. (shrink)

Decision-making capacity (DMC) plays an important role in clinical practice—determining, on the basis of a patient’s decisional abilities, whether they are entitled to make their own medical decisions or whether a surrogate must be secured to participate in decisions on their behalf. As a result, it’s critical that we get things right—that our conceptual framework be well-suited to the task of helping practitioners systematically sort through the relevant ethical considerations in a way that reliably and transparently delivers correct verdicts about (...) who should and should not have the authority to make their own medical decisions. Unfortunately, however, the standard approach to DMC does not get things right. It is of virtually no help in identifying and clarifying the relevant ethical considerations. And, embedded in the prevailing anti-paternalist paradigm, DMC assessments obfuscate and distort the underlying ethical justification for granting or withholding decisional authority. Here, we describe the core commitments of the standard approach to DMC and then highlight three problems with it. We then argue that these problems are significant enough that they call for more than merely tinkering and fine tuning—variations of the standard approach cannot adequately address them. Instead, we should ditch DMC. (shrink)

A standing challenge in the theory of counterfactuals is to solve the “deviation problem”. Consider ordinary counterfactuals involving an antecedent concerning a difference from the actual course of events at a particular time, and a consequent concerning, at least in part, what happens at a later time. In the possible worlds framework, the problem is often put in terms of which are the relevant antecedent worlds. Desiderata for the solution include that the relevant antecedent worlds be governed by the actual (...) laws of nature with no miracles; that the past in those worlds before the antecedent time matches the actual past; that the account is compatible with determinism, and that many of our ordinary counterfactual judgments are correct, and would be correct even given determinism. Many theorists have compromised on one or more of these desiderata, but this paper presents an account employing impossible worlds that satisfies them all. (shrink)

Curry's paradox for "if.. then.." concerns the paradoxical features of sentences of the form "If this very sentence is true, then 2+2=5". Standard inference principles lead us to the conclusion that such conditionals have true consequents: so, for example, 2+2=5 after all. There has been a lot of technical work done on formal options for blocking Curry paradoxes while only compromising a little on the various central principles of logic and meaning that are under threat. -/- Once we have a (...) sense of the technical options, though, a philosophical choice remains. When dealing with puzzles in the logic of conditionals, a natural place to turn is independently motivated semantic theories of the behaviour of "if... then...". This paper argues that the closest-worlds approach outlined in Nolan 1997 offers a philosophically satisfying reason to deny conditional proof and so block the paradoxical Curry reasoning, and can give the verdict that standard Curry conditionals are false, along with related "contraction conditionals". (shrink)

What is the connection between valid inference and true conditionals? Many conditional logics require that when A is a logical consequence of B, "if B then A" is true. Taking counterlogical conditionals seriously leads to systems that permit counterexamples to that general rule. However, this leaves those of us who endorse non-trivial accounts of counterpossible conditionals to explain what the connection between conditionals and consequence is. The explanation of the connection also answers a common line of objection to non-trivial counterpossibles, (...) which is based on a transition from valid arguments to the corresponding conditionals. It also contributes to the wider project of illuminating the connections between contexts of utterance, on the one hand, and the truth-conditions of conditionals uttered in those contexts, on the other. (shrink)

Creationism about fictional entities requires a principle connecting what fictions say exist with which fictional entities really exist. The most natural way of spelling out such a principle yields inconsistent verdicts about how many fictional entities are generated by certain inconsistent fictions. Avoiding inconsistency without compromising the attractions of creationism will not be easy.

There’s an argument around from so-called “linguistic theories of vagueness”, plus some relatively uncontroversial considerations, to powerful metaphysical conclusions. David Lewis employs this argument to support the mereological principle of unrestricted composition, and Theodore Sider employs a similar argument not just for unrestricted composition but also for the doctrine of temporal parts. This sort of argument could be generalised, to produce a lot of other less palatable metaphysical conclusions. However, arguments to Lewis’s and Sider’s conclusions on the basis of considerations (...) about vagueness are uncompelling, even if we accept the crucial premises about vagueness. And a good thing too, since the generalised form of the argument would prove far too much. (shrink)

In this article we develop and defend what we call the “Trust View” of promissory obligation, according to which making a promise involves inviting another individual to trust one to do something. In inviting her trust, and having the invitation accepted (or at least not rejected), one incurs an obligation to her not to betray the trust that one has invited. The distinctive wrong involved in breaking a promise is a matter of violating this obligation. We begin by explicating the (...) core notion of “inviting someone to trust one to do something”, suggesting that it involves signaling to the other individual one's recognition of the importance the relevant action has for her, and one’s willingness to license her to have faith or optimism in one's character with regard to the performance of that action. We then turn to a defense of the Trust View, arguing that it has considerable appeal in its own right, that it is distinct from and superior to three similar accounts (T.M. Scanlon's Assurance View, Judith Jarvis Thomson's Reliance View and David Owens' Authority View), and that several objections to it can be answered. (shrink)

Unified theories of de se attitudes and de dicto attitudes, along the lines of David Lewis’s proposal, face a problem. Whether or not they are adequate for representing beliefs, they can misrepresent the content of many of our desires, which rank possible outcomes in which the agent with the desire does not exist. These desires are shown to play a role in the rational explanation of action, and recognising them is important in our understanding of ourselves. Lewis’s account of attitudes (...) de dicto and de se is shown to be unsatisfactory, and the lessons learned are applied more broadly. (shrink)

Scientific disagreements are an important catalyst for scientific progress. But what happens when scientists disagree amidst times of crisis, when we need quick yet reliable policy guidance? In this paper we provide a normative account for how scientists facing disagreement in the context of ‘fast science’ should respond, and how policy makers should evaluate such disagreement. Starting from an argumentative, pragma-dialectic account of scientific controversies, we argue for the importance of ‘higher-order evidence’ (HOE) and we specify desiderata for scientifically relevant (...) HOE. We use our account to analyze the controversy about the aerosol transmission of COVID-19. (shrink)

Williamson proposes that a "suppositional procedure" is a central heuristic we use to evaluate the truth of conditionals, though he also argues that this method often leads us astray. An alternative approach to the link between supposition and conditionals is to claim that we are guided by our antecedent conditional judgements in our supposing, and in particular in our determining which things follow from an initial supposition. This alternative explanation of the close link between conditionals and supposition is developed and (...) compared to Williamson's proposal. (shrink)

I argue that Graham Priest's story 'Sylvan's Box' has an attractive consistent reading. Priest's hope that this story can be used as an example of a non-trivial 'essentially inconsistent' story is thus threatened. I then make some observations about the role 'Sylvan's Box' might play in a theory of unreliable narrators.

Lewis is famous as a contemporary philosophical system-builder. The most obvious way his philosophy exhibited a system was in its content: Lewis’s metaphysics, for example, provided answers to many metaphysical puzzles in an integrated way, and there are illuminating connections to be drawn between his general metaphysical views and, for example, his various views about the mind and its place in nature.

This paper argues that all of the standard theories about the divisions of space and time can benefit from, and may need to rely on, parsimony considerations. More specifically, whether spacetime is discrete, gunky or pointy, there are wildly unparsimonious rivals to standard accounts that need to be resisted by proponents of those accounts, and only parsimony considerations offer a natural way of doing that resisting. Furthermore, quantitative parsimony considerations appear to be needed in many of these cases.

the virtues which are desirable for scientific theories to possess. In this paper I discuss the several species of theoretical virtues called 'fertility', and argue in each case that the desirability of 'fertility' can be explicated in terms of other, more fundamental theoretical virtues.

This paper takes a closer look at ordinary thought and talk about motivating reasons, in an effort to better understand how it works. This is an important first step in understanding whether—and if so, how—such thought and talk should inform or constrain our substantive theorizing. One of the upshots is that ordinary judgments about motivating reasons are at best a partial and defeasible guide to what really matters, and that so-called factualists, propositionalists, and statists are all partly right, as well (...) as partly wrong, when it comes to the question of what motivating reasons “are”. (shrink)