Logic and humour tend to be mutually exclusive topics. Humour plays off ambiguity, while classical logic falters over it. Formalizing puns is therefore impossible, since puns have ambiguous meanings for their components. However, I will use Independence-Friendly logic to formally encode the multiple meanings within a pun. This will show a general strategy of how to logically represent ambiguity and reveals humour as an untapped source of novel logical structure.

It is argued that the goal of Hilbert's program was to prove the model-theoretical consistency of different axiom systems. This Hilbert proposed to do by proving the deductive consistency of the relevant systems. In the extended independence-friendly logic there is a complete proof method for the contradictory negations of independence-friendly sentences, so the existence of a single proposition that is not disprovable from arithmetic axioms can be shown formally in the extended independence-friendly (...) class='Hi'>logic. It can also be proved by means of independence-friendly logic that proof-theoretical consistency of a sentence S implies the existence of a model in which S is not false. Hence the consistency of the axioms of arithmetic in the sense of being not-false in a model can be proved. (shrink)

This dissertation examines several of the problems that Hilbert discovered in the foundations of mathematics, from a metalogical perspective. The problems manifest themselves in four different aspects of Hilbert’s views: (i) Hilbert’s axiomatic approach to the foundations of mathematics; (ii) His response to criticisms of set theory; (iii) His response to intuitionist criticisms of classical mathematics; (iv) Hilbert’s contribution to the specification of the role of logical inference in mathematical reasoning. This dissertation argues that Hilbert’s axiomatic approach was guided primarily (...) by model theoretical concerns. Accordingly, the ultimate aim of his consistency program was to prove the model-theoretical consistency of mathematical theories. It turns out that for the purpose of carrying out such consistency proofs, a suitable modification of the ordinary first-order logic is needed. To effect this modification, independence-friendly logic is needed as the appropriate conceptual framework. It is then shown how the model theoretical consistency of arithmetic can be proved by using IF logic as its basic logic. Hilbert’s other problems, manifesting themselves as aspects (ii), (iii), and (iv)—most notably the problem of the status of the axiom of choice, the problem of the role of the law of excluded middle, and the problem of giving an elementary account of quantification—can likewise be approached by using the resources of IF logic. It is shown that by means of IF logic one can carry out Hilbertian solutions to all these problems. The two major results concerning aspects (ii), (iii) and (iv) are the following: (a) The axiom of choice is a logical principle; (b) The law of excluded middle divides metamathematical methods into elementary and non-elementary ones. It is argued that these results show that IF logic helps to vindicate Hilbert’s nominalist philosophy of mathematics. On the basis of an elementary approach to logic, which enriches the expressive resources of ordinary first-order logic, this dissertation shows how the different problems that Hilbert discovered in the foundations of mathematics can be solved. (shrink)

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established (...) to be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. -/- Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. -/- However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. -/- The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion. (shrink)

This paper considers non-standard analysis and a recently introduced computational methodology based on the notion of ①. The latter approach was developed with the intention to allow one to work with infinities and infinitesimals numerically in a unique computational framework and in all the situations requiring these notions. Non-standard analysis is a classical purely symbolic technique that works with ultrafilters, external and internal sets, standard and non-standard numbers, etc. In its turn, the ①-based methodology does not use any of these (...) notions and proposes a more physical treatment of mathematical objects separating the objects from tools used to study them. It both offers a possibility to create new numerical methods using infinities and infinitesimals in floating-point computations and allows one to study certain mathematical objects dealing with infinity more accurately than it is done traditionally. In these notes, we explain that even though both methodologies deal with infinities and infinitesimals, they are independent and represent two different philosophies of Mathematics that are not in a conflict. It is proved that texts :539–555, 2017; Gutman and Kutateladze in Sib Math J 49:835–841, 2008; Kutateladze in J Appl Ind Math 5:73–75, 2011) asserting that the ①-based methodology is a part of non-standard analysis unfortunately contain several logical fallacies. Their attempt to show that the ①-based methodology can be formalized within non-standard analysis is similar to trying to show that constructivism can be reduced to the traditional Mathematics. (shrink)

Radical skepticism about the external world is founded on two assumptions: one is that the mind and the external world are logically independent; the other is that all our evidence for the nature of that world consists of facts about our minds. In this paper, I explore the option of denying the epistemic, rather than the logical assumption. I argue that one can do so only by embracing externalism about justification, or, after all, by rejecting the logical independence assumption. (...) Since (I argue) externalism is not a solution to the problem of skepticism, this means that skepticism is false only if the mind and the world are not logically independent. (shrink)

Often ‘nationalism’ and ‘having a state proper to the nation’ are considered as inseparable. Relatedly, when these thoughts are applied to the reality of sub-state nations, such as Flanders, Catalonia Basque Country and Québec, sub-state nationalism (SSN) and separatism seem to be conceptually entangled in their aim for an independent state. This chapter considers sub-state nationalism and sub-state separatism as conceptually distinct, and aims at examining the relationship between sub-state separatist political parties and immigration policies. This requires, on the one (...) hand focusing on the integration policies, given that often immigration policies with regard to admission and removal lies beyond the competence of sub-state nations. On the other hand, it focuses on the two major Flemish pro-independence parties, namely the Nieuwe Vlaamse Alliantie (N-VA), and Vlaams Belang (VB). While sub-state separatist movements appear to be particularly opposed to increasing immigration, they operate under a particular ‘legitimacy dilemma’ with its paradoxical tendencies to both exclude and include immigrants. The chapter will show contextually that even the relatively more inclusive political party positions, such as the ones taken by the N-VA, are not sufficiently inclusive, when the normative distinction between ‘cultural assimilation’ and ‘cultural integration’ is taken seriously. Theoretically, it will engage with a renowned articulation of the legitimacy dilemma offered by Will Kymlicka, to argue that it is not sufficient to account for the normative necessity to respect the ‘autonomy of immigrants’. As I will demonstrate, this has to do with the inability of the dilemma to distinguish sufficiently ‘cultural assimilation’ from ‘cultural integration’. In other words, on the one hand the chapter contributes to the apparent absence of strong defenses for ‘moral autonomy of immigrants, by describing what such an autonomy might imply for designing of integration policies. On the other hand, it critically assesses Flemish pro-independence parties’ concrete policies with respect to integration. By offering a contextual political theory on these issues, it offers an example of how a moral principle might be implemented, and serve as a critical focal point to evaluate public policies. (shrink)

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

‘Feminist logic’ may sound like an impossible, incoherent, or irrelevant project, but it is none of these. We begin by delineating three categories into which projects in feminist logic might fall: philosophical logic, philosophy of logic, and pedagogy. We then defuse two distinct objections to the very idea of feminist logic: the irrelevance argument and the independence argument. Having done so, we turn to a particular kind of project in feminist philosophy of logic: (...) Valerie Plumwood's feminist argument for a relevance logic. Plumwood's work serves as our primary case study as we turn to the project of considering three different ways we might understand her argument and revisionist arguments like it: as a priori theorizing, as ameliorative conceptual engineering, or as instances of anti-exceptionalist approaches to logic. After arguing that the anti-exceptionalist approach seems to provide the most promising means of understanding the kind of project undertaken in a feminist challenge to classical logic, we briefly address the consequences that this might have for logic instruction. Here, we argue for the perhaps unexpected conclusion that feminist programs ought to offer more, not less, instruction in logic for those who take interest. (shrink)

In the latter half of the twentieth century, philosophers of science have argued (implicitly and explicitly) that epistemically rational individuals might compose epistemically irrational groups and that, conversely, epistemically rational groups might be composed of epistemically irrational individuals. We call the conjunction of these two claims the Independence Thesis, as they together imply that methodological prescriptions for scientific communities and those for individual scientists might be logically independent of one another. We develop a formal model of scientific inquiry, define (...) four criteria for individual and group epistemic rationality, and then prove that the four definitions diverge, in the sense that individuals will be judged rational when groups are not and vice versa. We conclude by explaining implications of the inconsistency thesis for (i) descriptive history and sociology of science and (ii) normative prescriptions for scientific communities. (shrink)

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...) with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is `blind' to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non-classical---indeed quite exotic---kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis-a-vis its open class terms and employs a deductive system that is basically classical. (shrink)

In spite of its everyday connotations, the term independence as republicans understand it is not a celebration of individualism or self-reliance but embodies an acknowledgement of the importance of personal and social relationships in people’s lives. It reflects our connectedness rather than separateness and is in this regard a relational ideal. Properly understood, independence is a useful concept in addressing a fundamental problem in social philosophy that has preoccupied theorists of relational autonomy, namely how to reconcile the idea (...) of individual human agency with the inevitable and necessary influence of other people, both directly and indirectly. I derive my account from the work of Mary Wollstonecraft and Catharine Macaulay, whose contributions have remained largely overlooked by current republican theorists. I have three purposes in this chapter. First, I set out the relational character of independence. Secondly, I outline a republican approach to the problem of structural social threats to agency. Finally, I hope to establish the basis for a fruitful dialogue between republicans and relational autonomy theorists on the requirements and dynamics of individual agency and freedom in oppressive social situations. I identify three distinctive features of the internal logic of freedom as independence that give it a relational character: it always locates the person within a community; there is a mediating role played by the notion of arbitrariness in connecting individual and collective perspectives; a causal relationship exists linking each person’s freedom as independence such that that the dependence of one class of persons jeopardizes the independence of the whole community. (shrink)

Review of Karel Lambert, Meinong and the Principle of Independence: Its Place in Meinong's Theory of Objects and Its Significance in Contemporary Philosophical Logic.

One logic or many? I say—many. Or rather, I say there is one logic for each way of specifying the class of all possible circumstances, or models, i.e., all ways of interpreting a given language. But because there is no unique way of doing this, I say there is no unique logic except in a relative sense. Indeed, given any two competing logical theories T1 and T2 (in the same language) one could always consider their common core, (...) T, and settle on that theory. So, given any language L, one could settle on the minimal logic T0 corresponding to the common core shared by all competitors. That would be a way of resisting relativism, as long as one is willing to redraw the bounds of logic accordingly. However, such a minimal theory T0 may be empty if the syntax of L contains no special ingredients the interpretation of which is independent of the specification of the relevant L-models. And generally—I argue—this is indeed the case. (shrink)

In a recent paper, Zukowski and Markiewicz showed that Wigner’s Friend (and, by extension, Schrodinger’s Cat) can be eliminated as physical possibilities on purely logical grounds. I validate this result and demonstrate the source of the contradiction in a simple experiment in which a scientist S attempts to measure the position of object |O⟩ = |A⟩S +|B⟩S by using measuring device M chosen so that |A⟩M ≈ |A⟩S and |B⟩M ≈ |B⟩S. I assume that the measurement occurs by quantum amplification (...) without collapse, in which M can entangle with O in a way that remains reversible by S for some nonzero time period. This assumption implies that during this “reversible” time period, |A⟩M ̸= |A⟩S and |B⟩M ̸= |B⟩S – i.e., the macroscopic pointer state to which M evolves is uncorrelated to the position of O relative to S. When the scientist finally observes the measuring device, its macroscopic pointer state is uncorrelated to the object in position |A⟩S or |B⟩S, rendering the notion of “reversible measurement” a logical contradiction. (shrink)

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth‐conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the ‘logicality of language’, accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter‐examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...) with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is ‘blind’ to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non‐classical—indeed quite exotic—kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis‐á‐vis its open class terms and employs a deductive system that is basically classical. (shrink)

Much recent philosophical work on social freedom focuses on whether freedom should be understood as non-interference, in the liberal tradition associated with Isaiah Berlin, or as non-domination, in the republican tradition revived by Philip Pettit and Quentin Skinner. We defend a conception of freedom that lies between these two alternatives: freedom as independence. Like republican freedom, it demands the robust absence of relevant constraints on action. Unlike republican, and like liberal freedom, it is not moralized. We show that freedom (...) as independence retains the virtues of its liberal and republican counterparts while shedding their vices. Our aim is to put this conception of freedom more firmly on the map and to offer a novel perspective on the logical space in which different conceptions of freedom are located. (shrink)

Logical realism is a view about the metaphysical status of logic. Common to most if not all the views captured by the label ‘logical realism’ is that logical facts are mind- and language-independent. But that does not tell us anything about the nature of logical facts or about our epistemic access to them. The goal of this paper is to outline and systematize the different ways that logical realism could be entertained and to examine some of the challenges that (...) these views face. It will be suggested that logical realism is best understood as a metaphysical view about the logical structure of the world, but this raises an important question: does logical realism collapse into standard metaphysical realism? It will be argued that this result can be accommodated, even if it cannot be altogether avoided. (shrink)

In explaining the notion of a fundamental property or relation, metaphysicians will often draw an analogy with languages. The fundamental properties and relations stand to reality as the primitive predicates and relations stand to a language: the smallest set of vocabulary God would need in order to write the “book of the world.” This paper attempts to make good on this metaphor. To that end, a modality is introduced that, put informally, stands to propositions as logical truth stands to sentences. (...) The resulting theory, formulated in higher-order logic, also vindicates the Humean idea that fundamental properties and relations are freely recombinable and a variant of the structural idea that propositions can be decomposed into their fundamental constituents via logical operations. Indeed, it is seen that, although these ideas are seemingly distinct, they are not independent, and fall out of a natural and general theory about the granularity of reality. (shrink)

It is natural to think that our ordinary practices in giving explanations for our actions, for what we do, commit us to claiming that content properties are causally relevant to physical events such as the movements of our limbs and bodies, and events which these in turn cause. If you want to know why my body ambulates across the street, or why my arm went up before I set out, we suppose I have given you an answer when I say (...) that I wanted to greet a friend on the other side of the street, and thought that my arm's going up would be interpreted by him as a signal to stop for a moment. This widely held view might be disputed, but I shall not argue for it in this paper. I want to start with the view that our beliefs and desires and other propositional attitudes are causally relevant, in virtue of their modes and particular contents, to our movements, in order to investigate the consequences for analyses of thought content. For this purpose, I argue, in sec. II, for three necessary conditions on causal relevance: (a) a nomic sufficiency condition, (b) a logical independence condition, and (c) a screening-off condition. In sec. III, I apply these conditions to relational and functional theories of thought content, arguing that these theories cannot accommodate the causal relevance of content properties to our behaviour. I argue further that, on two plausible assumptions, one about the dependence of the mental on the physical, and the other about the availability in principle of causal explanations of our movements in terms of our non-relational physical properties, content properties can be causally relevant only if they are nomically type-correlated, relative to certain circumstances, with non-relational physical properties of our bodies. In sec. IV, I respond to a number of objections that might be advanced against this conclusion. (shrink)

J. N. (Jitendra Nath) Mohanty (1928–2023). -/- Professor J. N. Mohanty has characterized his life and philosophy as being both “inside” and “outside” East and West, i.e., inside and outside traditions of India and those of the West, living in both India and United States: geographically, culturally, and philosophically; while also traveling the world: Melbourne to Moscow. Most of his academic time was spent teaching at the University of Oklahoma, The New School Graduate Faculty, and finally Temple University. Yet his (...) preeminent work in Husserlian phenomenology developed alongside his eminent work in Indian philosophy: describing his interests as “a fusion of disparate horizons.” -/- J. N. Mohanty was born September 26, 1928, in Cuttack (Odisha, East India). After graduating from high school, he went on to study both Indian and Western philosophy in Calcutta, earning bachelor’s and master’s degrees. There he read Whitehead and Kant’s First Critique; although he wanted to include mathematics in his curriculum, he was led instead to include Indian philosophy and Sanskrit. On the shelves of his teacher, Ras Vihar Das, he came upon a copy of the English translation (Ideas I, 1931) of Edmund Husserl’s classic Ideen I (1913), which presented Husserl’s ground-breaking conception of phenomenology. In 1952–1954 he left India for the first time, reaching Göttingen to study mathematics and philosophy, which earned him a doctorate in mathematics and “philosophy of mathematical sciences” (in his own words). In Göttingen, Mohanty found the powerful mathematical world that Husserl himself had earlier interacted with, where several Husserl students had formed the Göttingen school of phenomenology. During these years Mohanty studied primarily mathematics, alongside Kant and also Vedic Sanskrit. From his friend Günter Patzig, interpreter of Aristotle and Frege, Mohanty was drawn to Frege in relation to mathematical logic. He attended lectures of Heidegger, intrigued by his ontological thinking. Yet, despite the Husserlian legacy, Mohanty was completely self-taught in his studies of Husserl (as he has reported). With a doctorate in mathematics, and ideas from Kant and Frege in his philosophical background, Mohanty set about crafting his own conception of philosophy grounded in phenomenology, drawing on Husserl’s extensive work, critically sifting through Husserl’s texts and their emerging concepts of intentionality, meaning, subject, intersubjectivity, and world. In between he wrote his first book-length study: on phenomenological insights in Nicolai Hartmann and A. N. Whitehead (1958). -/- Over many decades Mohanty formulated and argued, in analytical detail, for a conception of phenomenology and its place in philosophy, later presented in a clear and concise book titled Transcendental Phenomenology: An Analytic Account (1989). Over these very decades the same scholar explored classical and recent Indian philosophy, thinking through kindred ideas of consciousness, self, and knowledge drawn from the Indian philosophical contexts. While writing on Nyāya theory of truth, he also pondered whether the world and finite individual are illusory or real, and whether Marx, Arendt, Gandhi (whom he heard speak in Calcutta), or Vinoba Bhave (with whom he marched across India for the land-grant movement) could best navigate post-Independent India’s social and svarāj or self-rule reforms. The two Mohantys, thinking through a vision of self and world, turned out to be “non-different” or “non-dual” as they each practiced critical phenomenology from both inside and outside the respective philosophical and cultural traditions. Numerous students, fellows, and colleagues or collaborators have benefited immensely from this infusion and unified approach to diversity in philosophical thought. In the 2000s, moving into retirement, Mohanty wrote two long books devoted to his understanding of Husserl and phenomenology and the calling of philosophy itself. This two-volume study shows Mohanty himself thinking through Husserl, critically, in The Philosophy of Edmund Husserl: A Historical Introduction (2008), and Edmund Husserl’s Freiburg Years: 1916–1938. As Mohanty worked on Husserl, he carefully indicated where he agreed and where he rejected or changed ideas, all part of his practice in phenomenology of “description and interpretation.” It was the same pattern he used in addressing the thought of Husserl vis-à-vis Kant or Frege or even Quine. -/- As Mohanty developed his understanding of phenomenology over the years, he wrote books on theory of meaning and the concept of intentionality, developing a model of ideal meaning and its foundation in intentionality, drawing on Husserl’s results. He followed these with the book Husserl and Frege (1982), linking the thought of those foundational figures for the “continental” and “analytic” traditions, respectively, in twentieth-century Western philosophy. Over his long career Mohanty addressed both traditions in his clear and accessible writing style. While developing his views on phenomenology, Mohanty regularly looked to “Husserl and his others,” evaluating views in Heidegger, Sartre, Merleau-Ponty, Ricoeur, and then Derrida and others in the wake of Husserl. With his background in Kant, Mohanty also looked toward Heidegger and Hegel in relation to Husserl’s later work in the Crisis (1935–38). Similarly, he looked to contemporary analytic philosophers, adjudicating his own, oft-wise Husserlian views in relation to Frege, Nagel, and others. Amid his active scholarly career, Mohanty co-founded the journal Husserl Studies, and was editorial advisor to Philosophy & Phenomenological Research, Philosophy East & West, Journal of Indian Philosophy, Sophia, among others. -/- Yet all this while Mohanty was also thinking and writing about Indian philosophy and its relation to phenomenology. In his own retrospective, Indian philosophy is “the permanent background” of his Husserlian thinking, while Kant is the recurrent Western background of his Husserlian phenomenology. Mohanty’s form of “transcendental phenomenology” evolved, in his own perspective, against the background of his studies of Navya-Nyāya on logic and Vedānta on consciousness, in Indian philosophy, and against the background of Kant’s First Critique on the transcendental, in Western philosophy. Accordingly, Mohanty’s study of logical form and of the intentionality of consciousness seeks a fusion of East and West in the conception of transcendental phenomenology. (Cf. Mohanty’s apt response to critics in The Empirical and the Transcendental (2000).) Even in the context of North American Husserl scholarship, Mohanty has exercised an earnest fusion of East and West. For the so-called East Coast and West Coast interpretations of Husserl’s crucial notion of noema both find a sympathetic spirit in J. N. Mohanty’s careful and nuanced interpretation of Husserlian transcendental phenomenology. With Mohanty the two faces of the noema are the logical (Fregean) and the phenomenal (Kantian), and these views of intentional structure join in consciousness—in a way resonant with Indian thought. -/- - David Woodruff Smith (UC Irvine) and Purushottama Bilimoria (SFSU, San Francisco; University of Melbourne) -/- For photo of Prof Mohanty visit APA online memorial_minutes2023 Courtesy of APA Memorial Minutes (& Proceedings) 2023 . (shrink)

A first-order theory T has the Independence Property provided deduction of a statement of type (quantifiers) (P -> (P1 or P2 or .. or Pn)) in T implies that (quantifiers) (P -> Pi) can be deduced in T for some i, 1 <= i <= n). Variants of this property have been noticed for some time in logic programming and in linear programming. We show that a first-order theory has the Independence Property for the class of basic (...) formulas provided it can be axiomatized with Horn sentences. The existence of free models is a useful intermediate result. The independence Property is also a tool to decide that a sentence cannot be deduced. We illustrate this with the case of the classical Caratheodory theorem for Pasch-Peano geometries. (shrink)

I argue against abductivism about logic, which is the view that rational theory choice in logic happens by abduction. Abduction cannot serve as a neutral arbiter in many foundational disputes in logic because, in order to use abduction, one must first identify the relevant data. Which data one deems relevant depends on what I call one's conception of logic. One's conception of logic is, however, not independent of one's views regarding many of the foundational disputes (...) that one may hope to solve by abduction. (shrink)

The paper proposes two logical analyses of (the norms of) justification. In a first, realist-minded case, truth is logically independent from justification and leads to a pragmatic logic LP including two epistemic and pragmatic operators, namely, assertion and hypothesis. In a second, antirealist-minded case, truth is not logically independent from justification and results in two logical systems of information and justification: AR4 and AR4¢, respectively, provided with a question-answer semantics. The latter proposes many more epistemic agents, each corresponding to (...) a wide variety of epistemic norms. After comparing the different norms of justification involved in these logical systems, two hexagons expressing Aristotelian relations of opposition will be gathered in order to clarify how (a fragment of) pragmatic formulas can be interpreted in a fuzzy-based question-answer semantics. (shrink)

As we understand them, dispositions are relatively uncontroversial 'predicatory' properties had by objects disposed in certain ways. By contrast, powers are hypothetical 'ontic' properties posited in order to explain dispositional behaviour. Chapter 1 outlines this distinction in more detail. Chapter 2 offers a summary of the issues surrounding analysis of dispositions and various strategies in contemporary literature to address them, including one of our own. Chapter 3 describes some of the important questions facing the metaphysics of powers including why they're (...) worth positing, and how they might metaphysically explain laws of nature and modality. (shrink)

Two parallelism hypotheses have been adopted and the third one on their relationship has been put forward. The illocutionary logic hypothesis states that the logic of linguistic commitments runs parallel to the logic of intentionality. The normative pragmatics hypothesis states that the logic of utterances runs parallel to the logic of linguistic commitments. According to the third stance or the logic projection hypothesis, the logic of utterances is the origin of all other logics (...) used in describing psychological and social realities. Consequently, the imperative logic or logic of utterances constitutes an independent but not self-sufficient research topic. The logic of utterances manifests itself in its meaning effects such as deontic and bouletic ones. It can be studied only in relation to deontic logics of the hearer’s obligation and the speaker’s linguistic commitments and in relation to logics of intentionality of the speaker’s expression and the hearer’s impression. Therefore, research in logic of imperative and other utterances must include investigation of relations between logics. (shrink)

This paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. The logic is characterized by a class of relational structures defined according to ideas of epistemic two-dimensional semantics, and can therefore be seen as formalizing the relations between necessity, actuality and apriority according to epistemic two-dimensional semantics. We can ask whether this logic is correct, in the sense that its theorems are all and only the informally valid formulas. This paper gives (...) outlines of two arguments that jointly show that this is the case. The first is intended to show that the logic is informally sound, in the sense that all of its theorems are informally valid. The second is intended to show that it is informally complete, in the sense that all informal validities are among its theorems. In order to give these arguments, a number of independently interesting results concerning the logic are proven. In particular, the soundness and completeness of two proof systems with respect to the semantics is proven (Theorems 2.11 and 2.15), as well as a normal form theorem (Theorem 3.2), an elimination theorem for the actuality operator (Corollary 3.6), and the decidability of the logic (Corollary 3.7). It turns out that the logic invalidates a plausible principle concerning the interaction of apriority and necessity; consequently, a variant semantics is briefly explored on which this principle is valid. The paper concludes by assessing the implications of these results for epistemic two-dimensional semantics. (shrink)

We are much better equipped to let the facts reveal themselves to us instead of blinding ourselves to them or stubbornly trying to force them into preconceived molds. We no longer embarrass ourselves in front of our students, for example, by insisting that “Some Xs are Y” means the same as “Some X is Y”, and lamely adding “for purposes of logic” whenever there is pushback. Logic teaching in this century can exploit the new spirit of objectivity, humility, (...) clarity, observationalism, contextualism, and pluralism. Besides the new spirit there have been quiet developments in logic and its history and philosophy that could radically improve logic teaching. One rather conspicuous example is that the process of refining logical terminology has been productive. Future logic students will no longer be burdened by obscure terminology and they will be able to read, think, talk, and write about logic in a more careful and more rewarding manner. Closely related is increased use and study of variable-enhanced natural language as in “Every proposition x that implies some proposition y that is false also implies some proposition z that is true”. Another welcome development is the culmination of the slow demise of logicism. No longer is the teacher blocked from using examples from arithmetic and algebra fearing that the students had been indoctrinated into thinking that every mathematical truth was a tautology and that every mathematical falsehood was a contradiction. A fifth welcome development is the separation of laws of logic from so-called logical truths, i.e., tautologies. Now we can teach the logical independence of the laws of excluded middle and non-contradiction without fear that students had been indoctrinated into thinking that every logical law was a tautology and that every falsehood of logic was a contradiction. This separation permits the logic teacher to apply logic in the clarification of laws of logic. This lecture expands the above points, which apply equally well in first, second, and third courses, i.e. in “critical thinking”, “deductive logic”, and “symbolic logic”. (shrink)

Logic is the study of the quality of arguments. An argument consists of a set of premises and a conclusion. The quality of an argument depends on at least two factors: the truth of the premises, and the strength with which the premises confirm the conclusion. The truth of the premises is a contingent factor that depends on the state of the world. The strength with which the premises confirm the conclusion is supposed to be independent of the state (...) of the world. Logic is only concerned with this second, logical factor of the quality of arguments. (shrink)

It is widely taken for granted that fictions, including both literature and film,influence our attitudes toward real people, events, and situations. Philosopherswho defend claims about the cognitive value of fiction view this influence in apositive light, while others worry about the potential moral danger of fiction.Marketers hope that visual and aural references to their products in movies willhave an effect on people’s buying patterns. Psychologists study the persuasiveimpact of media. Educational books and films are created in the hopes of guidingchildren’s (...) and adult’s preferences toward socially acceptable norms.The influencesdiscussed by marketers, psychologists, educators, and philosophers tend to be bothcognitive and affective. It seems that we can be “emotionally persuaded”: ourpreferences can be changed, our feelings about particular people or events can beinfluenced, and so forth. (shrink)

This paper articulates and defends a conception of logical form as semantic form revealed by a compositional meaning theory. On this conception, the logical form of a sentence is determined by the semantic types of its primitive terms and their mode of combination as it relates to determining under what conditions it is true. We develop this idea in the framework of truth-theoretic semantics. We argue that the semantic form of a declarative sentence in a language L is revealed by (...) a (canonical) proof of its T- sentence in an interpretive truth theory for L. We give a precise characterization of sameness of logical form between any two declarative sentences in any two languages in terms of the notion of corresponding proofs in interpretive truth theories for the languages. We illustrate the utility of this approach with a number of examples. We then extend the characterization to non-declaratives in a generalization of truth-theoretic semantics that appeals to fulfillment conditions, of which truth conditions are one variety. On this approach, logical forms are not reified, and the notion of sameness of logical form is treated as conceptually basic. We discuss the relation of this conception of logical form to the project of identifying logical constants, reviewing two approaches, one of which takes topic neutrality as central, the other recursion. We argue that the project of identifying logical constants for the purposes of classifying together valid arguments is largely independent of that identifying logical form of sentences, and urge an ecumenical approach to extending talk of logical constants beyond where it is currently well-grounded. (shrink)

This paper presents the unification of all knowledge and the framework of all sciences, so it goes the theory of consciousness, the method to measure consciousness, and the three keys of the Strong AI. “Logicality and non-absoluteness” is found out to be the intrinsicality of nature, so the “Fundamental Law of Nature” is discovered. Then, the “general methodology of research” and the “model system of nature” are developed to explain everything, especially consciousness. The Coupling Theory of Consciousness tells that nature (...) has the MFEs (More Fundamental Element) that couple to show as material and consciousness, and the brain has a CNS (central nervous system)-independent consciousness system that couples to give off the consciousness signals, with their three excitation levels to show as memory, sub-consciousness, and subjective consciousness. As consciousness is not from neurons, the method to measure consciousness via NCC (neural correlates of consciousness) is to find out participants with the same kinds of consciousness systems. And make them to produce paralleled “conscious information processes” to filtrate out the “noise” neural activities, to obtain the “real” NCC data. Examining the property of consciousness may advance not only neuroscience and physics, but also cognitive science and AI technology. First, the “conscious information processing” model has shown that the Strong AI should process the beyond-domain concepts with a self-controlled intention, second, as the “general methodology of research” is just the other name of the “principle of cognition”, we have already known the running style of the Strong AI. Hopefully, we could develop the Strong AI technology to upgrade human civilization very soon. (shrink)

Intense or industrial animal husbandry is morally bad. This consensus in animal ethics led to the emergence of veganism which is recently in decline in favour of ‘conscientious carnivorism’ which advocates eating animal products from animal-friendly animal husbandry in response to the moral problems of industrial farming. Advocates of animal-friendly husbandry justify rearing and killing ‘happy animals’ by highlighting that the animals live pleasant lives and would not have existed if not reared for human consumption. In this paper, (...) I tackle this ‘logic of the larder’ by showing that it serves as a purification strategy to conceal the harm that animals experience in this alleged animal-friendly type of farming. Defenders of ‘happy meat’ claim that animal-friendly animal husbandry is in the animals’ best interests and that it is in effect a ‘win-win situation’ for humans and farm animals alike. Departing from two critics of animal-friendly animal husbandry, I will show that the problem of this logic is that it evades the fact that moral residuals, which is the experienced harm by the animals, remain by engaging in this practice. Even if there may be strong reasons for the consumption of meat and derivatives of ‘happy animals’, the experienced harm for the animals will not be extinguished. I will denote the detachment that derives from the strategy of rendering the animals’ experienced harm in animal-friendly animal husbandry invisible as guilt. I will conclude that instead of purifying eating animals the ‘good way’, we should face the responsibility we have when killing ‘happy animals’ for ‘happy meat’. (shrink)

The Fregean tradition promotes a conception of logic as being independent from all psychological acts of the knowing subject. Without questioning logic's status as a paradigm of objectivity the present essay rejects this conception, both on logical grounds and in light of the scholastic theory of intentionality. Finding fault with two key doctrines of the analytic movement, the linguistic turn and anti-psychologism, it reinterprets them to exclude only psychological acts that engender subjective interpretive variability. It then describes (...) class='Hi'>logic's dependence on non-interpretive psychological acts that ensue as a natural result of objects being apprehended by the intellect. These acts, which Hervaeus Natalis and the scholastic tradition thematize as the imposition of second intentional relations of reason, dictate the logically coherent parameters of logical objectivity. (shrink)

A general framework for translating various logical systems is presented, including a set of partial unary operators of affirmation and negation. Despite its usual reading, affirmation is not redundant in any domain of values and whenever it does not behave like a full mapping. After depicting the process of partial functions, a number of logics are translated through a variety of affirmations and a unique pair of negations. This relies upon two preconditions: a deconstruction of truth-values as ordered and structured (...) objects, unlike its mainstream presentation as a simple object; a redefinition of the Principle of Bivalence as a set of four independent properties, such that its definition does not equate with normality. (shrink)

My paper will analyze Cassirer’s logic of the cultural sciences as it developed in close engagement with work on logic, psychology, biology, and linguistics in the nineteenth and early twentieth centuries. The paper focuses on Chajim Steinthal, who sees the “expressive form” of language as a natural function of human engagement with the environment, developing independently of logic. When read in the context of his engagement with Steinthal, the biologist Uexküll, and the neuroscientist Kurt Goldstein, The Philosophy (...) of Symbolic Forms reimagines the role of logic and language in the construction of the cultural world. This provides a reading of what Cassirer means by the logic of the cultural sciences, and what he means by culture itself. My reading highlights the tension, which I argue stems from Steinthal’s earlier work, between the assertion that phenomena including linguistic expression, living beings, and consciousness develop independently of a unifying logic, and Cassirer’s assertion that we live in a common, objective human world. (shrink)

The notion of logical construction was used by Bertrand Russell in the early 20th century, which originally comes from A. N. Whitehead. Russell said that matter as a mind-independent thing can only be known by description. He also argued that matter is a logical construction of sense-data. However, this leads to an incoherent view of the direct or indirect connection between a mind and the external world. The problem examining is whether a collapsing house is a logical construction of the (...) sense-data of rumbling sounds and collapsing shapes. Using Russell's writings between 1911 and 1918, I will analyze how Russell characterized logical constructions. Finally, I will show Russell’s view about the relation of logical constructions to matter and sense-data. A careful interpretation of Russell's thoughts shows that the contents of the statements of the physical world are not constructions being equivalent to the contents of the sense-datum statements. (shrink)

Abstract: There are two traditionally rival views about the nature of time: substantivalism that takes time to be a substance that exists independently of events located in it, and relationism that takes time to be constructed out of events. In this paper, first, I want to make some progress with respect to the debate between these two views, and I do this mainly by examining the strategies they use to face the possibilities of ‘empty time’ and ‘time without change’. As (...) we shall see, the two allegedly very different rival views are much less different than has been thought: their structure is extremely similar, their strategies are extremely similar, and they can both face the possibilities of ‘empty time’ and ‘time without change’ in the same way. Thus, I argue in favour of a certain kind of equivalence between the two views; I discuss a Strong and a Weak version of this claim; and I provide reasons for endorsing the former. I also discuss the parallel between this pair of views about the nature of time and another analogous pair of views: the bundle theory and the substratum theory about the nature of material objects, with respect to the problem with Identity of Indiscernibles. (shrink)

It is argued that the distinction between the mental and the nonmental is at bottom logical. The paper begins by sketching and defending a theory of intensional logic in which the notion of logically and metaphysically basic relations (called connections) can be defined. This notion is then employed in an analysis of intentionality: a connection is intentional iff it can contingently connect some individual to some proposition or concept independently of whether it connects the individual to some necessarily equivalent (...) proposition or concept. After potential counterexamples have been explained away, the paper then extends the analysis to a general analysis of mentality. Finally, a "transcendental" argument is given for the thesis that at least some mental relations must be logically and metaphysically basic. (shrink)

Objective Our study sought to (1) describe the practices and preferences of Colombian adolescents in accessing sexual and reproductive health services: accompanied versus alone; (2) compare actual practices with stated preferences; and (3) determine age and gender differences regarding the practice and these stated preferences. -/- Methods 812 participants aged 11–24 years old answered a survey in two Profamilia clinics in the cities of Medellin and Cali in Colombia. A cross-sectional analysis was performed to compare participants’ answers based on the (...) variables of gender and age. -/- Results A quarter of participants visited the clinic alone (25.4%). Females were more likely to go alone in comparison to males (26.3% vs 14.1%; p = 0.031), and older participants went alone more often than younger participants (p < 0.001). Most participants – 72.7% (95 %CI: 69.3–75.9) – expressed a preference in being accompanied to the clinic, and more than 90% had their preferences met. The preferences of older participants were, however, less likely to be met than those of younger participants (p < 0.001), notably, because they predominantly wanted to be accompanied. -/- Conclusion Contemporary public health and bioethics literature advocates in favor of developing health services that better meet the preferences of adolescents. The present research highlights an apparent blind spot related to the role that others (e.g., parents, friends, partners) can or should play in accompanying adolescent patients when they access sexual and reproductive health services. Respecting adolescents’ preferences, and hence their autonomy, is not simply a matter of ensuring freedom from constraints (e.g., their right and ability to go alone). Rather, it should also consider the liberty to choose whether to be accompanied when accessing SHRS and by whom. (shrink)

Information-based epistemology maintains that ‘being informed’ is an independent cognitive state that cannot be reduced to knowledge or to belief, and the modal logic KTB has been proposed as a model. But what distinguishes the KTB analysis of ‘being informed’, the Brouwersche schema (B), is precisely its downfall, for no logic of information should include (B) and, more generally, no epistemic logic should include (B), either.

The author defines the sum of thinking as the soul. Historically, despite the many times that humans have liberated themselves, they are still enslaved. Humans mistakenly treats the body as a necessary part of themselves; thus, they seldom pursue the independence of souls. They are usually voluntarily exploited by the body through the nervous system. The author compares the body exploiting the soul with the slaveholder exploiting the slave and demonstrates that the soul should seek its own liberation. Even (...) if the souls can never be successfully liberated, humans should at least reduce the influence of the body. Future humans should shift the goal of life from as comfortable as possible to as logical as possible, from satisfying several fixed sense organs to experiencing various sense organs. This would also mark the beginning of humans choosing the direction of evolution rationally and actively, establishing eternal and universal ethics, and replacing fallacious empirical ethical codes with purely logical codes. (shrink)

P.F. Strawson contributed to many philosophical domains, including the philosophy of language, the history of philosophy, metaphysics, moral philosophy and philosophical methodology. Most of his contributions in these areas have influenced contemporary debates, either because his views are still defended or because they are still considered worthy of detailed responses. His views on the philosophy of logic have been only rarely discussed, however. My aim in this paper is threefold. First, I provide a systematic account of Strawson’s philosophy of (...) logic. I argue that Strawson is an important predecessor of logical expressivism, a contemporary position in the philosophy of logic most notably defended by Robert Brandom. My main focus is on Strawson’s largely-neglected 1982 paper ‘Logical Form and Logical Constants’, which contains his most mature ideas on the topic. Second, while Strawson’s position is of historical and independent philosophical interest, I argue that he leaves many points unclear. Finally, I propose several clarifications of Strawson’s position. (shrink)

Since the time of Aristotle's students, interpreters have considered Prior Analytics to be a treatise about deductive reasoning, more generally, about methods of determining the validity and invalidity of premise-conclusion arguments. People studied Prior Analytics in order to learn more about deductive reasoning and to improve their own reasoning skills. These interpreters understood Aristotle to be focusing on two epistemic processes: first, the process of establishing knowledge that a conclusion follows necessarily from a set of premises (that is, on the (...) epistemic process of extracting information implicit in explicitly given information) and, second, the process of establishing knowledge that a conclusion does not follow. Despite the overwhelming tendency to interpret the syllogistic as formal epistemology, it was not until the early 1970s that it occurred to anyone to think that Aristotle may have developed a theory of deductive reasoning with a well worked-out system of deductions comparable in rigor and precision with systems such as propositional logic or equational logic familiar from mathematical logic. When modern logicians in the 1920s and 1930s first turned their attention to the problem of understanding Aristotle's contribution to logic in modern terms, they were guided both by the Frege-Russell conception of logic as formal ontology and at the same time by a desire to protect Aristotle from possible charges of psychologism. They thought they saw Aristotle applying the informal axiomatic method to formal ontology, not as making the first steps into formal epistemology. They did not notice Aristotle's description of deductive reasoning. Ironically, the formal axiomatic method (in which one explicitly presents not merely the substantive axioms but also the deductive processes used to derive theorems from the axioms) is incipient in Aristotle's presentation. Partly in opposition to the axiomatic, ontically-oriented approach to Aristotle's logic and partly as a result of attempting to increase the degree of fit between interpretation and text, logicians in the 1970s working independently came to remarkably similar conclusions to the effect that Aristotle indeed had produced the first system of formal deductions. They concluded that Aristotle had analyzed the process of deduction and that his achievement included a semantically complete system of natural deductions including both direct and indirect deductions. Where the interpretations of the 1920s and 1930s attribute to Aristotle a system of propositions organized deductively, the interpretations of the 1970s attribute to Aristotle a system of deductions, or extended deductive discourses, organized epistemically. The logicians of the 1920s and 1930s take Aristotle to be deducing laws of logic from axiomatic origins; the logicians of the 1970s take Aristotle to be describing the process of deduction and in particular to be describing deductions themselves, both those deductions that are proofs based on axiomatic premises and those deductions that, though deductively cogent, do not establish the truth of the conclusion but only that the conclusion is implied by the premise-set. Thus, two very different and opposed interpretations had emerged, interestingly both products of modern logicians equipped with the theoretical apparatus of mathematical logic. The issue at stake between these two interpretations is the historical question of Aristotle's place in the history of logic and of his orientation in philosophy of logic. This paper affirms Aristotle's place as the founder of logic taken as formal epistemology, including the study of deductive reasoning. A by-product of this study of Aristotle's accomplishments in logic is a clarification of a distinction implicit in discourses among logicians--that between logic as formal ontology and logic as formal epistemology. (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)

While vitally critical, the relationship between conscious system and the central nervous system (CNS) is least interested to the scientific community, and often regarded as abstractly conceptual in philosophy or religion. We argue that the existence of consciousness system is parallel to, and independent of, CNS. First and foremost, all sciences are based on logic, not any existing theories, so does neuroscience. So, neuroscience shall start from some theory-independent logic, not some neural or molecular hypotheses, or count on (...) modern physics which is neither completed nor physically deep enough. It shall hypothesize the brain has a CNS (central nervous system) independent consciousness system. Then, we have explained why this hypothesis is theory-independent from the view of methodology, philosophy and physics; what a strong experimental logic this hypothesis can produce; how the logic can measure consciousness. In short, sciences are based on logic, and it is serious for neuroscience to hypothesize there is a CNS-independent consciousness system. -/- . (shrink)

Karl Popper, in "The Logic of Scientific Discovery" Section *vii, argues that if you find that some objecta a,b, c ... have a specific property P, then this discovery by itself does not increase the probability that some other object also has P. He concludes that there can be no effective principle of induction. My paper disproves Popper's claim, using very elementary considerations..

The Frege point to the effect that e.g. the clauses of conditionals are not asserted and therefore cannot be assertions is often taken to establish a dichotomy between the content of a speech act, which is propositional and belongs to logic and semantics, and its force, which belongs to pragmatics. Recently this dichotomy has been questioned by philosophers such as Peter Hanks and Francois Recanati, who propose act-theoretic accounts of propositions, argue that we can’t account for propositional unity independently (...) of the forceful acts of speakers, and respond to the Frege point by appealing to a notion of force cancellation. I argue that the notion of force cancellation is faced with a dilemma and offer an alternative response to the Frege point, which extends the act-theoretic account to logical acts such as conditionalizing or disjoining. Such higher-level acts allow us to present forceful acts while suspending commitment to them. In connecting them, a subject rather commits to an affirmation function of such acts. In contrast, the Frege point confuses a lack of commitment to what is put forward with a lack of commitment or force in what is put forward. (shrink)

According to a theorem recently proved in the theory of logical aggregation, any nonconstant social judgment function that satisfies independence of irrelevant alternatives (IIA) is dictatorial. We show that the strong and not very plausible IIA condition can be replaced with a minimal independence assumption plus a Pareto-like condition. This new version of the impossibility theorem likens it to Arrow’s and arguably enhances its paradoxical value.

The theory of imperatives is philosophically relevant since in building it — some of the long standing problems need to be addressed, and presumably some new ones are waiting to be discovered. The relevance of the theory of imperatives for philosophical research is remarkable, but usually recognized only within the field of practical philosophy. Nevertheless, the emphasis can be put on problems of theoretical philosophy. Proper understanding of imperatives is likely to raise doubts about some of our deeply entrenched and (...) tacit presumptions. In philosophy of language it is the presumption that declaratives provide the paradigm for sentence form; in philosophy of science it is the belief that theory construction is independent from the language practice, in logic it is the conviction that logical meaning relations are constituted out of logical terminology, in ontology it is the view that language use is free from ontological commitments. The list is not exhaustive; it includes only those presumptions that this paper concerns. (shrink)