It seems plausible that successfully communicating with our peers requires entertaining the same thoughts as they do. We argue that this view is incompatible with other, independently plausible principles of thought individuation. Our argument is based on a puzzle inspired by the Kripkean story of Peter and Paderewski: having developed several variations of the original story, we conclude that understanding and communication cannot be modeled as a process of thought transfer between speaker and hearer. While we are not the first (...) to reach this conclusion, the significance of our argument lies in the fact that it only relies on widely accepted premises, without depending on any especially controversial theory of mental and linguistic content. We conclude by drawing out the implications of that conclusion: if communication and understanding do not require thought identity, then one important motivation for the postulation of inter-personally shared thoughts is undercut. (shrink)

I discuss a criterion for successful communication between a speaker and a hearer put forward by Buchanan according to which there is communicative success only if the hearer entertains, as a result of interpreting the speaker's utterance, a thought that has the same truth conditions as the thought asserted by the speaker and, furthermore, does so in virtue of recognizing the speaker's communicative intentions. I argue, against Buchanan, that the data on which it is based are compatible with a view (...) involving Fregean modes of presentation. In the second part of the article I critically discuss Unnsteinsson's claim that communicative success depends on the absence of contextually salient false distinctness beliefs about the subject matter of the conversation. I argue that this thesis leads to clearly counterintuitive consequences and that no fundamental role must be given to the presence or absence of false distinctness beliefs in one's account of successful communication. The upshot is that we should stick with Buchanan's criterion. I conclude by employing Strawson and Recanati's concepts of linking and merging to show how the criterion I favour is compatible with the fact that, when subjects hold no relevant false distinctness beliefs, communicative success does not seem to be disrupted by the hearer seemingly failing to recognize the speaker's intentions. (shrink)

In this paper, I assess whether indexical attitudes, e.g. beliefs and desires, have any special properties or present any special challenge to theories of propositional attitudes. I being by investigating the claim that allegedly problematic indexical cases are just instances of the familiar phenomenon of referential opacity. Regardless of endorsing that claim, I provide an argument to the effect that indexical attitudes do have a special property. My argument relies on the fact that one cannot account for what is it (...) to share someone else’s indexical attitudes without rejecting some plausible thesis about propositional attitudes. In the end, I assess Herman Cappelen and Josh Dever’s considerations on intentional action and extract an argument from them that could – if successful – neutralize my own. I finish by arguing that their argument has an important flaw, thus failing to convince us that indexical attitudes are just as ordinary as any other. (shrink)

I suggest a solution to a conflict between semantic internalism – according to which the concepts one expresses are determined by one's use of representations – and publicity – according to which, if two subjects successfully communicate or are in genuine agreement, then they entertain thoughts constituted by the same concepts. My solution rests on the thesis that there can be successful communication and genuine agreement between thinkers employing distinct concepts as long as there is a certain relation (of conceptually (...) guaranteed sameness of extension) between them. In section 2, I motivate semantic internalism and show how it conflicts with publicity. In section 3, I carve the logical space of possible solutions to the conflict into liberal and conservative solutions. Section 4 assesses Wikforss's conservative solution to Burge's arthritis thought‐experiment and concludes that it fails for more than one reason. Section 5 introduces a new case study involving a deferential concept. This case serves as the backdrop for my positive account offered in section 6. The conclusion of the article is preceded by a comparison of my view with another recently proposed by Recanati (section 7) and some replies to possible objections (section 8). (shrink)

We advance a theory of the representational role of Euclidean diagrams according to which they are samples of co-exact features. We contrast our theory with two other conceptions, the instantial conception and Macbeth’s iconic view, with respect to how well they accommodate three fundamental constraints on theories of the Euclidean diagrammatic practice— that Euclidean diagrams are used in proofs whose results are wholly general, that Euclidean diagrams indicate the co-exact features that the geometer is allowed to infer from them and (...) that Euclidean diagrams play the same role in both direct proofs and indirect proofs by reductio—and argue that our view is the one best suited to account for them. We conclude by illustrating the virtues of our conception of Euclidean diagrams as samples by means of an analysis of Saccheri’s quadrilateral. (shrink)

Mechanisms play a crucial role in scientific research across various disciplines, and philosophers of science have devoted significant effort into understanding their ontology and epistemology. This paper examines the relationship between mechanisms and phenomena, highlighting the inherent dependence of mechanistic delineation on the characterization of phenomena. By acknowledging that characterizing phenomena is influenced by pragmatic considerations and research interests, the paper argues that mechanistic inquiry is inherently shaped by researchers’ perspectives. This dependence raises concerns about the possibility of a realist (...) view of mechanisms. To address these concerns, the paper explores how top-down constraints, rooted in researchers’ interests and pragmatic concerns, can be balanced by bottom-up constraints derived from empirical considerations. In conclusion, I argue that the interplay between these constraints forms an empirical and realist counterweight to the perspectival nature of top-down constraints. (shrink)

Este artigo visa compreender o estado da arte do naturalismo contemporâneo a partir da discussão com posições não naturalistas, em especial as de Moore e Rawls. Parte-se da análise do argumento central destas abordagens no contexto formal da metaética contemporânea, buscando aferir a validade da falácia naturalista no contexto atual, bem como de seus limites na aplicação contra o naturalismo moral. Apresenta-se a discussão entre o naturalismo e o não-naturalismo moral como, respectivamente, estandartes das perspectivas descritivas e prescritivas da moralidade. (...) O objetivo com esta comparação é apresentar algumas posições em metaética a fim de melhor entender a situação contemporânea do debate moral no que tange à naturalização da ética, contrastando teorias da ação e do valor quanto ao tema da motivação e da normatividade morais. (shrink)

We present an approach in which ancient Greek mathematical proofs by Hippocrates of Chios and Euclid are addressed as a form of (guided) intentional reasoning. Schematically, in a proof, we start with a sentence that works as a premise; this sentence is followed by another, the conclusion of what we might take to be an inferential step. That goes on until the last conclusion is reached. Guided by the text, we go through small inferential steps; in each one, we go (...) through an autonomous reasoning process linking the premise to the conclusion. The reasoning process is accompanied by a metareasoning process. Metareasoning gives rise to a feeling-knowing of correctness. In each step/cycle of the proof, we have a feeling-knowing of correctness. Overall, we reach a feeling of correctness for the whole proof. We suggest that this approach allows us to address the issues of how a proof functions, for us, as an enabler to ascertain the correctness of its argument and how we ascertain this correctness. (shrink)

Given both the phenomenological and cognitive similarities between episodic memory and imagination, it’s difficult to say how we can reliably distinguish them at their moment of retrieval. Several memory markers have thus been proposed, which are characteristics that would reliably indicate to the subject that her mental state is an instance of memory. While the question of what exactly constitutes these memory markers is still an issue to be settled, there is also the more general question of whether they can (...) be reliable at all. In the present paper, I have identified two theses about the latter issue (the reliability and unreliability theses) and have argued that the main cause of disagreement between them lies on their different assumptions on how beliefs about our own mental states are formed, i.e. what are the underlying metacognitive mechanisms responsible for self-attribution of mental states. These different views on metacognition were then further investigated with regards to their use of metarepresentations and their general agreement with recent cognitive psychology research. These analyses corroborate the reliability of certain kinds of memory markers in distinguishing between memory and imagination. (shrink)

The aim of the present paper is to show that presentism cannot answer the truthmaker objection in a satisfactory manner. For such, two main categories of presentist solutions were studied: the first kind states that truthmakers can’t provide any objection to presentism, while the second type tries to ground past truths by postulating new ontological categories, which were rejected, mainly because of their use of ad hoc ontologies. Also, I showed how the presentist should adopt antirealism about the past in (...) case she wants to maintain a simple ontology. Being that said, I conclude that presentism cannot offer satisfactory truthmakers to past truths. (shrink)

The cognitive basis of geometry is still poorly understood, even the ‘simpler’ issue of what kind of representation of geometric objects we have. In this work, we set forward a tentative model of the neural representation of geometric objects for the case of the pure geometry of Euclid. To arrive at a coherent model, we found it necessary to consider earlier forms of geometry. We start by developing models of the neural representation of the geometric figures of ancient Greek practical (...) geometry. Then, we propose a related model for the earliest form of pure geometry – that of Hippocrates of Chios. Finally, we develop the model of the neural representation of the geometric objects of Euclidean geometry. The models are based on the hub-and-spoke theory. In our view, the existence of specific models opens the possibility of addressing the relationship between geometric figures and geometric objects, in a novel way, in terms of their neural representation. (shrink)

Focusing on Deleuze´s concept of becoming and on the way it embraces difference in the genesis of literary writing, we intend to put in dialogue the concept and the philosopher with the post-colonial criticism and its re-articulation of the subaltern´s issue, to make a reinterpretation of the becoming and its variations – becoming-woman, becoming-minor – for cultural and literary analysis.

Traditionally, philosophers consider the question of whether episodic memory and imagination belong to the same kind (the (dis)continuism problem) as ultimately depending on the causality question - i.e., whether remembering requires a causal connection to the past event. In this framework, if memory is a simulation process (as claimed by simulationism) and does not require a causal connection, then it is sufficiently similar to imagination and, thus, continuism follows. On the other hand, if a causal connection is necessary for memory (...) (as defended by causalism), then there are fundamental differences between memory and imagination and, thus, discontinuism follows. In contrast with this framework, I will argue that such entanglement is due to a failure of clearly delineating issues of explanation and classification. By distinguishing these matters more explicitly, I conclude that continuism is the better alternative for classification purposes, while maintaining that causalism is still necessary for explaining how memory works. (shrink)

Today’s philosophers of memory are split between continuists, who claim that episodic memory (EM) and imagination (EI) belong to the same natural kind, and discontinuists, who defend that they don’t. This abstract considers how assumptions about which mechanisms are relevant for natural kindness shape this discussion. If the argument is in the right track, the (dis)continuism debate should be characterized as a verbal dispute about the important mechanisms for EM and EI.

No presente artigo, constata-se o modo como o ensino de filosofia no Brasil, visto como educação maior, é utilizado como ferramenta da inculcação de um arbitrário cultural a partir de uma análise bourdieuana do sistema de ensino. Chegou-se à conclusão que a prioridade conferida ao texto clássico de filosofia no ensino médio é um modo de reprodução das mesmas estruturas sociais que permitem a impossibilidade de ascensão social. Com isso, é proposta uma educação menor, cuja constituição fundamental é a relação (...) entre professor e aluno, capaz de subverter as características da educação maior. Para tanto, foram analisados os textos de Sílvio Gallo (2002; 2006), os quais apontam para a valorização do capital cultural dos alunos, o incentivo à criação autônoma de conceitos e escolha de autoras e autores não canônicos como ferramentas de subversão dos mecanismos da educação maior. (shrink)

It has been argued in relation to Old Babylonian mathematical procedure texts that their validity or correctness is self-evident. One “sees” that the procedure is correct without it having, or being accompanied by, any explicit arguments for the correctness of the procedure. Even when agreeing with this view, one might still ask about how is the correctness of a procedure articulated? In this work, we present an articulation of the correctness of ancient Egyptian and Old Babylonian mathematical procedure texts – (...) mathematical texts presenting the solution of problems. We endeavor to make explicit and explain how and why the procedures are reliable over and above the fact that their correctness is intuitive. (shrink)

in this paper we return to Marshall Clagett’s view about the existence of an ancient Greek geometry of motion. It can be read in two ways. As a basic presentation of ancient Greek geometry of motion, followed by some aspects of its further development in landmark works by Galileo and Newton. Conversely, it can be read as a basic presentation of aspects of Galileo’s and Newton’s mathematics that can be considered as developments of a geometry of motion that was first (...) conceived by ancient Greek mathematicians. (shrink)

The purpose of this work is to address the relation existing between ancient Greek practical geometry and ancient Greek pure geometry. In the first part of the work, we will consider practical and pure geometry and how pure geometry can be seen, in some respects, as arising from an idealization of practical geometry. From an analysis of relevant extant texts, we will make explicit the idealizations at play in pure geometry in relation to practical geometry, some of which are basically (...) explicit in definitions, like that of segments in Euclid’s Elements. Then, we will address how in pure geometry we, so to speak, “refer back” to practical geometry. This occurs in two ways. One, in the propositions of pure geometry. The other, when applying pure geometry. In this case, geometrical objects can represent practical figures like, e.g., a practical segment. (shrink)

A perverted space-time geodesy results from the idea of variable rods and clocks, whose length and rates are taken to be affected by the gravitational field. By contrast, what we might call a concrete geodesy relies on the idea of invariable unit-measuring rods and clocks. Indeed, this is a basic assumption of general relativity. Variable rods and clocks lead to a perverted geodesy, in the sense that a curved space-time may be seen as a result of a departure from the (...) Minkowskian space-time as an effect of the gravitational field on the rate of clocks and the length of rods. In the case of a concrete geodesy, we have a curved space-time “directly”, the curvature of which can be determined using (invariable) unit-measuring rods and clocks. In this paper, we will make the case for the plausibility of the claim that Einstein’s views on geometry in relation to general relativity are permeated by a perverted geodesy. (shrink)

Justice Across Ages offers an attractive account of justice between the young and the old that brings together three notable principles of age-group justice: complete-lives equality, relational equality, and prudence. Yet, the book says little about the fact that many of us live longer than others, and the little it does say casts doubt on whether lifespan inequality threatens justice as construed by the three principles. This essay argues, instead, that theories of justice between the young and the old should (...) not dispense with a conception of justice between different longevity groups. It concludes that we must be sensitive to lifespan variations when designing policies to promote justice across age groups. (shrink)

Brogaard and Salerno (2008) argued that counter-examples to contraposition, strengthening the antecedent, and hypothetical syllogism involving subjunctive conditionals only seem to work because they involve a contextual fallacy where the context assumed in the premise(s) is illicitly shifted in the conclusion. To avoid such counter-examples they have proposed that the context must remain fixed when evaluating an argument for validity. That is the Brogaard-Salerno Stricture. Tristan Haze (2016), however, has recently objected that intuitively valid argumentative forms such as conjunction introduction (...) do not satisfy this constraint. This paper has two goals. First, it argues that the Brogaard-Salerno Stricture is not violated in Haze’s putative counter-example. Second, it argues that since this stricture blocks the usual counter-examples to instances of classical argumentative forms that involve indicative or subjunctive conditionals, it is reasonable to infer that indicative and subjunctive conditionals are material. (shrink)

ICTs, personal data, digital rights, the GDPR, data privacy, online security… these terms, and the concepts behind them, are increasingly common in our lives. Some of us may be familiar with them, but others are less aware of the growing role of ICTs and data in our lives - and the potential risks this creates. These risks are even more pronounced for vulnerable groups in society. People can be vulnerable in different, often overlapping, ways, which place them at a disadvantage (...) to the majority of citizens; Table 3 in this guide presents some of the many forms and causes of vulnerability. As a result, vulnerable people need greater support to navigate the digital world, and to ensure that they are able to exercise their rights. This guide explains where such support can be found, and also answers the following questions: - What are the main ethical and legal issues around ICTs for vulnerable citizens? - Who is vulnerable in Europe? - How do issues around ICTs affect vulnerable people in particular? This guide is a resource for members of vulnerable groups, people who work with vulnerable groups, and citizens more broadly. It is also useful for data controllers1 who collect data about vulnerable citizens. While focused on citizens in Europe, it may be of interest to people in other parts of the world. It forms part of the Citizens’ Information Pack produced by the PANELFIT project, and is available in English, French, German, Italian and Spanish. You are welcome to translate this guide into other languages. Please send us a link to online versions in other languages, so that we can add them to the project website. (shrink)

This paper aims to undertake an examination of the exposition made in the aristotelian treatise De Incessu Animalium about the directional orientations (above and below, right and left, front and behind) mostly from its extra, inter and intratextual context. These directional orientations seem to be directly related to the principles of movement, perception and growing. The treatise starts from the points of origin (archai) of these functions in the animals and, from these functions, distinguish them. Therefore, functionality is established as (...) the first value, because it is the prism through which Aristotle perceives and think the right, above and front in the animals. On that account, it is corroborated the great importance of functionality in the aristotelian philosophy. Afterwards, it will be searched if (or how) the primacy of the trinominal formed by right, above and front is related to aspects of the greek imaginary contemporaneous with the given text. (shrink)

Retirement is often viewed as a reward for a working life. While many have reason to want a work-free retirement, not everyone does. Should working retirees have to give up their retirement pension and, consequently, their status as retirees? The answer, I argue, boils down to whether we conceive of retirement as free time (need-free) or as leisure (work-free). In this article, I put forward a liberal case in favour of free time, despite whether our liberalism leans towards perfectionism or (...) neutralism, with social primary goods being a case in point. Applying this case for free time to retirement yields two significant policy implications. First, it demands “free synchronic combination” – that retirees may use their retirement pensions however they see fit, including to work. Second, it also yields “free diachronic combination” – that, within limits, individuals have discretionary control over how to combine retirement and work across time – thus challenging the idea that retirement should be available only in old age and not earlier in life. So far, the literature on free time focused only on narrow temporal units, such as hours and days, but there is much to gain by extending the concept into retirement. (shrink)

When adopting a sound logical system, reasonings made within this system are correct. The situation with reasonings expressed, at least in part, with natural language is much more ambiguous. One way to be certain of the correctness of these reasonings is to provide a logical model of them. To conclude that a reasoning process is correct we need the logical model to be faithful to the reasoning. In this case, the reasoning inherits, so to speak, the correctness of the logical (...) model. There is a weak link in this procedure, which we call the faithfulness problem: how do we decide that the logical model is faithful to the reasoning that it is supposed to model? That is an issue external to logic, and we do not have rigorous formal methods to make the decision. The purpose of this paper is to expose the faithfulness problem (not to solve it). For that purpose, we will consider two examples, one from the geometrical reasoning in Euclid’s Elements and the other from a study on deductive reasoning in the psychology of reasoning. (shrink)

It is usually accepted that deductions are non-informative and monotonic, inductions are informative and nonmonotonic, abductions create hypotheses but are epistemically irrelevant, and both deductions and inductions can’t provide new insights. In this article, I attempt to provide a more cohesive view of the subject with the following hypotheses: (1) the paradigmatic examples of deductions, such as modus ponens and hypothetical syllogism, are not inferential forms, but coherence requirements for inferences; (2) since any reasoner aims to be coherent, any inference (...) must be deductive; (3) a coherent inference is an intuitive process where the premises should be taken as sufficient evidence for the conclusion, which on its turn should be viewed as necessary evidence for the premises in some modal range; (4) inductions, properly understood, are abductions, but there are no abductions beyond the fact that in any inference the conclusion should be regarded as necessary evidence for the premises; (5) monotonicity is not only compatible with the retraction of past inferences given new information, but it is a requirement for it; (6) this explanation of inferences holds true for discovery processes, predictions and trivial inferences. (shrink)

According to the so-called ‘standard theory’ of conditions, the conditionship relation is converse, that is, if A is a sufficient condition for B, B is a necessary condition for A. This theory faces well-known counterexamples that appeal to both causal and other asymmetric considerations. I show that these counterexamples lose their plausibility once we clarify two key components of the standard theory: that to satisfy a condition is to instantiate a property, and that what is usually called ‘conditionship relation’ is (...) an inferential relation. Throughout the paper this way of interpreting the standard theory is compared favourably over an alternative interpretation that is outlined in causal terms, since it can be applied to all counterexamples without losing its intuitive appeal. (shrink)

This paper advances the following criticisms against the received view of implicatures: (1) implicatures are relations of pragmatic implication and not attempts to convey particular speaker meanings; (2) conversational implicatures are non-cancellable; (3) generalised conversational implicatures and conventional implicatures are necessary to preserve the cooperative assumption employing a conversational maxim of conveyability; (4) implicatures should be divided into utterance implicatures and assumption implicatures, not speaker implicatures and sentence implicatures; (5) trivial implicatures are genuine implicatures; (6) Grice’s theory of conversation cannot (...) explain most of his examples of particularised conversational implicatures; (7) the apparent attempts of explicit cancellation of implicatures are apologies, not attempts to avoid misunderstandings. (shrink)

Russell’s role in the controversy about the paradoxes of material implication is usually presented as a tale of how even the greatest minds can fall prey to basic conceptual confusions. Quine accused him of making a silly mistake in Principia Mathematica. He interpreted “if- then” as a version of “implies” and called it material implication. Quine’s accusation is that this decision involved a use-mention fallacy because the antecedent and consequent of “if-then” are used instead of being mentioned as the premise (...) and the conclusion of an implication relation. It was his opinion that the criticisms and alternatives to the material implication presented by C. I. Lewis and others would never be made in the first place if Russell simply called the Philonian construction “material conditional” instead of “material implication”. Quine’s interpretation of the topic became hugely influential if not universally accepted. This paper will present the following criticisms against this interpretation: (1) the notion of material implication does not involve a use-mention fallacy, since the components of “if-then” are mentioned and not used; (2) Quine’s belief that the components of “if-then” are used was motivated by a conditional-assertion view of conditionals that is widely controversial and faces numerous difficulties; (3) if anything, it was Quine who could be accused of fallacious reasoning: he ignored that in the assertion of a conditional is the whole proposition that is asserted and not its constituents; (4) the Philonian construction remains counter-intuitive even if it is called “material conditional”; (5) the Philonian construction is more plausible when it is interpreted as a material implication. (shrink)

There is a profound, but frequently ignored relationship between logical consequence (formal implication) and material implication. The first repeats the patterns of the latter, but with a wider modal reach. It is argued that this kinship between formal and material implication simply means that they express the same kind of implication, but differ in scope. Formal implication is unrestricted material implication. This apparently innocuous observation has some significant corollaries: (1) conditionals are not connectives, but arguments; (2) the traditional examples of (...) valid argumentative forms are metalogical principles that express the properties of logical consequence; (3) formal logic is not a useful guide to detect valid arguments in the real world; (4) it is incoherent to propose alternatives to the material implication while accepting the classical properties of formal implication; (5) some of the counter-examples to classical argumentative forms and known conditional puzzles are unsound. (shrink)

The material account proposes that indicative conditionals are material, but it is widely believed that this account cannot be applied to subjunctive conditionals. There are three reasons for this consensus: (1) the concern that most subjunctive conditionals would be vacuously true if they were material, which seems implausible; (2) the inconsistency with Adams pair, which suggests that indicative and subjunctive conditionals have different truth conditions; and (3) the belief that the possible world theories are a superior alternative to the material (...) account. In this paper, I will argue against (1) by showing that the counterintuitive aspects of vacuously true conditionals can be explained away in a consistent manner, regardless of whether they are indicative or subjunctive. I will support this argument by demonstrating that the positive arguments for the material account of indicatives also apply to subjunctives. I will counter (2) by explaining the Adams pair as logically equivalent conditionals that may be appropriate at different times, depending on the speaker’s epistemic situation. Finally, I will challenge (3) by arguing that the possible world account faces insurmountable issues and that a comprehensive material account of both indicatives and subjunctives is ultimately a more elegant solution. (shrink)

The material account of indicative conditionals faces a legion of counterexamples that are the bread and butter in any entry about the subject. For this reason, the material account is widely unpopular among conditional experts. I will argue that this consensus was not built on solid foundations, since these counterexamples are contextual fallacies. They ignore a basic tenet of semantics according to which when evaluating arguments for validity we need to maintain the context constant, otherwise any argumentative form can be (...) rendered invalid. If we maintain the context fixed, the counterexamples to the material account are disarmed. Throughout the paper I also consider the ramifications of this defence, make suggestions to prevent contextual fallacies, and anticipate some possible misunderstandings and objections. (shrink)

It is commonly accepted that unconditional statements are clearer and less problematic than conditional ones. This article challenges this belief by proposing that all unconditional statements can be reduced to conditional ones since epistemic justification is inherently conditional in nature. The distinction between unconditional and conditional statements is similar to the distinction between assumptions and premises, which is an idealization that results from our attempts to limit epistemic complexity. This has perplexing consequences: (1) since any ordinary statement can be viewed (...) as a disguised conditional, this sets off a chain of epistemic regress that results in a larger conditional that encompasses our entire belief systems; (2) this monster conditional can’t never be justified since it always expands in the process of justification; (3) since there is no such thing as unconditional statements, conditionals themselves become meaningless, which implies that arguments and even entire belief systems become meaningless as well; (4) the only way to avoid these disastrous results is to admit that the meaning of conditionals and, ultimately, of our belief systems is a matter of convention. (shrink)

The prevailing viewpoint concerning conditionals asserts two claims: (1) conditionals featuring non-assertive acts in their consequents, such as commands and promises, cannot plausibly be construed as assertions of material implication; (2) the most promising hypothesis for such sentences is conditional-assertion theory, which defines a conditional as a conditional speech act, i.e., the performance of a speech act given the assumption of the antecedent. This hypothesis carries significant and far-reaching implications, as conditional speech acts are not synonymous with a proposition possessing (...) truth conditions. This paper opposes such a view in two steps. Firstly, it presents a battery of objections against conditional-assertion theory. Secondly, it advances the argument that such examples can indeed be convincingly construed as assertions of material implication. (shrink)

Different logic systems are motivated by attempts to fix the counter-intuitive instances of classical argumentative forms, e.g., strengthening of the antecedent, contraposition and conditional negation. These counter-examples are regarded as evidence that classical logic should be rejected in favour of a new logic system in which these argumentative forms are considered invalid. It is argued that these logical revisions are ad hoc, because those controversial argumentative forms are implied by other argumentative forms we want to keep. It is impossible to (...) remove an argumentative form from a logical system without getting entangled in an intricate logical web, since these revisions imply the removal of other parts of a system we want to maintain. Consequently, these revisions are incoherent and unwarranted. At the very least, the usual approach in the analysis of counter-examples of argumentative forms must be seriously reconsidered. (shrink)

There is almost a consensus among conditional experts that indicative conditionals are not material. Their thought hinges on the idea that if indicative conditionals were material, A → B could be vacuously true when A is false, even if B would be false in a context where A is true. But since this consequence is implausible, the material account is usually regarded as false. It is argued that this point of view is motivated by the grammatical form of conditional sentences (...) and the symbols used to represent their logical form, which misleadingly suggest a one-way inferential direction from A to B. That conditional sentences mislead us into a directionality bias is a phenomenon that is well-documented in the literature about conditional reasoning. It is argued that this directional appearance is deceptive and does not reflect the underlying truth conditions of conditional sentences. This directional bias is responsible for both the unpopularity of the material account of conditionals and some of the main alternative principles and themes in conditional theory, including the Ramsey’s test, the Equation, Adams’ thesis, conditional-assertion and possible world theories. The directional mindset forgets a hard- earned lesson that made classical logic possible in the first place, namely, that grammatical form of sentences can mislead us about its truth conditions. There is a case to be made for a material account of indicative conditionals when we break the domination of words over the human mind. (shrink)

It seems that the most common strategy to solve the liar paradox is to argue that liar sentences are meaningless and, consequently, truth-valueless. The other main option that has grown in recent years is the dialetheist view that treats liar sentences as meaningful, truth-apt and true. In this paper I will offer a new approach that does not belong in either camp. I hope to show that liar sentences can be interpreted as meaningful, truth-apt and false, but without engendering any (...) contradiction. This seemingly impossible task can be accomplished once the semantic structure of the liar sentence is unpacked by a quantified analysis. The paper will be divided in two sections. In the first section, I present the independent reasons that motivate the quantificational strategy and how it works in the liar sentence. In the second section, I explain how this quantificational analysis allows us to explain the truth teller sentence and a counter-example advanced against truthmaker maximalism, and deal with some potential objections. (shrink)

Intensional evidence is any reason to accept a proposition that is not the truth values of the proposition accepted or, if it is a complex proposition, is not the truth values of its propositional contents. Extensional evidence is non-intensional evidence. Someone can accept a complex proposition, but deny its logical consequences when her acceptance is based on intensional evidence, while the logical consequences of the proposition presuppose the acceptance of extensional evidence, e.g., she can refuse the logical consequence of a (...) proposition she accepts because she doesn’t know what are the truth-values of its propositional contents. This tension motivates counterexamples to the negation of conditionals, the propositional analysis of conditionals, hypothetical syllogism, contraposition and or-to-if. It is argued that these counterexamples are non-starters because they rely on a mix of intensionally based premises and extensionally based conclusions. Instead, a genuine counterexample to classical argumentative forms should present circumstances where an intuitively true and extensionally based premise leads to an intuitively false conclusion that is also extensionally based. The other point is that evidentiary concerns about intensionally based beliefs should be constrained by the truth conditions of propositions presented by classical logic, which are nothing more than requirements of coherence in distributions of truth value. It is argued that this restriction also dissolves some known puzzles such as conditional stand-offs, the Adams pair, the opt-out property and the burglar’s puzzle. (shrink)

Adam Rieger (2013) has carried out a survey of arguments in favour of the material account of indicative conditionals. These arguments involve simple and direct demonstrations of the material account. I extend the survey with new arguments and clarify the logical connections among them. I also show that the main counter-examples against these arguments are not successful either because their premises are just as counter-intuitive as the conclusions, or because they depend on contextual fallacies. The conclusion is that the unpopularity (...) of the material account is unjustified and that a more systematic approach in the analysis of arguments is long overdue in our attempts to understand the nature of conditionals. (shrink)

The purpose of this work is to address what notion of geometrical object and geometrical figure we have in different kinds of geometry: practical, pure, and applied. Also, we address the relation between geometrical objects and figures when this is possible, which is the case of pure and applied geometry. In practical geometry it turns out that there is no conception of geometrical object.

Four intuitions are recurrent and influential in theories about conditionals: the Ramsey’s test, the Adams’ Thesis, the Equation, and the robustness requirement. For simplicity’s sake, I call these intuitions ‘the big four’. My aim is to show that: (1) the big four are interdependent; (2) they express our inferential dispositions to employ a conditional on a modus ponens; (3) the disposition to employ conditionals on a modus ponens doesn’t have the epistemic significance that is usually attributed to it, since the (...) acceptability or truth conditions of a conditional is not necessarily associated with its employability on a modus ponens. (shrink)

The Equation (TE) states that the probability of A → B is the probability of B given A. Lewis (1976) has shown that the acceptance of TE implies that the probability of A → B is the probability of B, which is implausible: the probability of a conditional cannot plausibly be the same as the probability of its consequent, e.g., the probability that the match will light given that is struck is not intuitively the same as the probability that it (...) will light. Here I want to counter Lewis’ claim. My aim is to argue that: (1) TE express the coherence requirements implicit in the probability distributions of a modus ponens inference (MP); (2) the triviality result is not implausible because it is a result from these requirements; (3) these coherence requirements measure MP employability, so TE significance is tied to it; (4) MP employability doesn’t provide either the acceptability or the truth conditions of conditionals, since MP employability depends on previous independent reasons to accept the conditional and some acceptable conditionals are not MP friendly. Consequently, TE doesn’t have the logical significance that is usually attributed to it. (shrink)

Einstein's gravitational redshift derivation in his famous 1916 paper on general relativity seems to be problematic, being mired in what looks like conceptual difficulties or at least contradictions or gaps in his exposition. Was this derivation a blunder? To answer this question, we will consider Einstein’s redshift derivations from his first one in 1907 to the 1921 derivation made in his Princeton lectures on relativity. This will enable to see the unfolding of an interdependent network of concepts and heuristic derivations (...) in which previous ideas inform and condition later developments. The resulting derivations and views on coordinates and clocks are in fact not without inconsistencies. However, we can see these difficulties as an aspect of an evolving network understood as a “work in progress”. (shrink)

In this work, we consider the views of three exponents of major areas of linguistics – Levelt (psycholinguistics), Jackendoff (theoretical linguistics), and Gil (field linguistics) – regarding the issue of the universality or not of the conceptual structure of languages. In Levelt’s view, during language production, the conceptual structure of the preverbal message is language-specific. In Jackendoff’s theoretical approach to language – his parallel architecture –, there is a universal conceptual structure shared by all languages, in contradiction to Levelt’s view. (...) In Gil’s work on Riau Indonesian, he proposes a conceptual structure that is quite different from that of English, adopted by Jackendoff as universal. We find no reason to disagree with Gil’s view. In this way, we take Gil’s work as vindicating Levelt’s view that during language production preverbal messages are encoded with different conceptual structures for different languages. (shrink)

Philosophy of Physics has emerged recently as a scholarly important subfield of philosophy of science. However outside the small community of experts it is not a well-known field. It is not clear even to experts the exact nature of the field: how much philosophical is it? What is its relation to physics? In this work it is presented an overview of philosophy of physics that tries to answer these and other questions.

This article aims to understand the views of three prominent figures in existential literature and philosophy: Albert Camus, Søren Kierkegaard, and Fyodor Dostoevsky. The analysis focuses on exploring and explaining fundamental concepts of their philosophies, such as morality, the meaning of life, and the relationship with the divine, in order to establish a dialogue among these three authors. The underlying thread connecting these thinkers is the Socratic figure of speech, irony. Through the examination of contradictions and ironic elements present in (...) their works, the article highlights the significance of irony as a central core in their ideas, encompassing both academic discourse and the realms of literature and symbolism. The comparative method employed goes beyond contrasts, also emphasizing points of contact between the ideas expressed through the stages of existence and the personalities of the protagonists in their novels. The initial sections for each author introduce the basic concepts for general understanding. Subsequently, the main ideas are explored through analysis of their masterpieces, leading to a comparative dialogue among them. Contrasts involve the perspectives embodied by characters like Alyosha Karamazov, Meursault, and Zosima, showcasing the authors' opinions, reflecting the zeitgeist, and highlighting their divergences, ultimately providing a comprehensive view of how they influenced and criticized each other within the philosophical tradition. (shrink)

A re-evaluation of the notion of vacuum in quantum electrodynamics is presented, focusing on the vacuum of the quantized electromagnetic field. In contrast to the ‘nothingness’ associated to the idea of classical vacuum, subtle aspects are found in relation to the vacuum of the quantized electromagnetic field both at theoretical and experimental levels. These are not the usually called vacuum effects. The view defended here is that the so-called vacuum effects are not due to the ground state of the quantized (...) electromagnetic field. Nevertheless it is possible to maintain an empirically demonstrable notion of vacuum state that is consistent with the interpretation of the formalism of the theory. (shrink)

In this paper, we will make explicit the relationship that exists between geometric objects and geometric figures in planar Euclidean geometry. That will enable us to determine basic features regarding the role of geometric figures and diagrams when used in the context of pure and applied planar Euclidean geometry, arising due to this relationship. By taking into account pure geometry, as developed in Euclid’s Elements, and practical geometry, we will establish a relation between geometric objects and figures. Geometric objects are (...) defined in terms of idealizations of the corresponding figures of practical geometry. We name the relationship between them as a relation of idealization. This relation, existing between objects and figures, is what enables figures to have a role in pure and applied geometry. That is, we can use a figure or diagram as a representation of geometric objects or composite geometric objects because the relation of idealization corresponds to a resemblance-like relationship between objects and figures. Moving beyond pure geometry, we will defend that there are two other ‘layers’ of representation at play in applied geometry. To show that, we will consider Euclid’s Optics. (shrink)