One of the most dominant approaches to semantics for relevant (and many paraconsistent) logics is the Routley-Meyer semantics involving a ternary relation on points. To some (many?), this ternary relation has seemed like a technical trick devoid of an intuitively appealing philosophical story that connects it up with conditionality in general. In this paper, we respond to this worry by providing three different philosophical accounts of the ternary relation that correspond to three conceptions of conditionality. We close by briefly discussing (...) a general conception of conditionality that may unify the three given conceptions. (shrink)

The paper reviews a number of approaches for handling restricted quantification in relevant logic, and proposes a novel one. This proceeds by introducing a novel kind of enthymematic conditional.

The main purpose of this paper is to defend traditional ethical theory (utilitarianism and deontology) for its application in business against a more recent model consisting of utility, rights, and justice. This is done in three parts: First, we provide a conceptual argument for the superiority of the traditional model; second, we demonstrate these points through an examination of three short cases; and third, we argue for the capability of the traditional model to account for universals and particulars in ethics.

We first consider the entailment logic MC, based on meaning containment, which contains neither the Law of Excluded Middle (LEM) nor the Disjunctive Syllogism (DS). We then argue that the DS may be assumed at least on a similar basis as the assumption of the LEM, which is then justified over a finite domain or for a recursive property over an infinite domain. In the latter case, use is made of Mathematical Induction. We then show that an instance of the (...) LEM is intrumental in the proof of Cantor's Theorem, and we then argue that this is based on a more general form than can be reasonably justified. We briefly consider the impact of our approach on arithmetic and naive set theory, and compare it with intuitionist mathematics and briefly with recursive mathematics. Our "Four Basic Logical Issues" paper would provide useful background, the current paper being an application of the some of the ideas in it. (shrink)

In autumn 2009, BBC television ran a natural history series, ‘Last Chance to See’, with Stephen Fry and wildlife writer and photographer, Mark Carwardine, searching out endangered species. In one episode they retraced the steps Carwardine had taken in the 1980s with Douglas Adams, when they visited Madagascar in search of the aye-aye, a nocturnal lemur. Fry and Carwardine visited an aye-aye in captivity, and upon first setting eyes on the creature they found it rather ugly. After spending an hour (...) or so in its company, Fry said he was completely ‘under its spell’. A subsequent encounter with an aye-aye in the wild supported Fry's judgment of ugliness and fascination for the creature: ‘The aye-aye is beguiling, certainly bizarre, for some even a little revolting. And I say, long may it continue being so.’. (shrink)

What's the world made of? Donuts! and Beer! -- Protagoras, Gorgias, Captain Kirk, and Denny Crane -- Socrates : The Sergeant Schultz of Ancient Greece -- Plato is the new American Idol -- Aristotle loves Lucy -- Charlie Harper's Non-Epicurean lifestyle -- St. Augustine's Highway to Heaven -- Scully shaves Mulder with Ockham's Razor -- Larry Hagman dreams of Descartes -- Locke versus Hobbes, or The Brady Bunch takes on Survivor -- Can or can't Kant like vampires? -- Reading (...) Hegel in Outer Space -- John Stuart Mill and the Utilitarian Heroism of Dexter Morgan -- Karl Marx and Adam Smith, meet Alex P. Keaton -- Dr. Gregory House and the Nietzschean Superman -- Don Draper, George Costanza and the non-meaning of life -- Jersey Shore's 'The Situation': The Randian Ideal man with a tan? -- Earl Hickey meets Karma in My name is Earl -- Lost but not least. (shrink)

Tras su consagración como filósofa de referencia en cuestiones de ética, epistemología social, filosofía feminista y filosofía política, la obra cumbre de Miranda Fricker, _Injusticia epistémica, _ha sido traducida al castellano y publicada por Herder. Doctora en Filosofía por la Universidad de Oxford, Fricker ya había publicado anteriormente, junto con Jennifer Hornsby, _The Cambridge Companion to Feminism in Philosophy _, así como recientemente _The Epistemic Life of Groups: Essays in the Epistemology of Collectives _junto con Michael S. Brady. En (...) la obra que aquí nos ocupa, la autora explora dos tipos de injusticias específicamente epistémicas: la testimonial y la hermenéutica. Mientras que la primera se produce cuando los prejuicios llevan a un oyente a disminuir la credibilidad de los juicios de un emisor, no en un instante de exclusión accidental sino de forma estructural-sistemática, la segunda se corresponde con una fase anterior en la que una falta en los recursos de interpretación colectivos dificulta a un sujeto la comprensión de sus propias experiencias. (shrink)

The article introduces the pedagogical background and impact of Grue-Sørensen. Knud Grue-Sørensen came to educational science from philosophy and was infl uenced by Kantian philosopher Leonard Nelson. Grue-Sørensen became the first professor of education at the University of Copenhagen. During an era in which research in the fi eld of education became more and more infl uenced by empirical research, Grue- Sørensen held on to a theoretically and historically rooted pedagogy. Among other works he authored a threevolume account of the (...) history of education and the encyclopaedia “Almen Pædagogik”. (shrink)

Two constructions for adding an involution operator to residuated ordered monoids are investigated. One preserves integrality and the mingle axiom x 2x but fails to preserve the contraction property xx 2. The other has the opposite preservation properties. Both constructions preserve commutativity as well as existent nonempty meets and joins and self-dual order properties. Used in conjunction with either construction, a result of R.T. Brady can be seen to show that the equational theory of commutative distributive residuated lattices (without (...) involution) is decidable, settling a question implicitly posed by P. Jipsen and C. Tsinakis. The corresponding logical result is the (theorem-) decidability of the negation-free axioms and rules of the logic RW, formulated with fusion and the Ackermann constant t. This completes a result of S. Giambrone whose proof relied on the absence of t. (shrink)

_ Source: _Page Count 27 This is an explication and defense of P. F. Strawson’s naturalist theory of free will and moral responsibility. I respond to a set of criticisms of the view by free will skeptics, compatibilists, and libertarians who adopt the _core assumption_: Strawson thinks that our reactive attitudes provide the basis for a rational justification of our blaming and praising practices. My primary aim is to explain and defend Strawson’s naturalism in light of criticisms based on the (...) core assumption. Strawson’s critiques of incompatibilism and free will skepticism are not intended to provide rational justifications for either compatibilism or the claim that some persons have free will. Hence, the charge that Strawson’s “arguments” are faulty is misplaced. The core assumption resting behind such critiques is mistaken. (shrink)

In [12], P. Scowcroft and L. van den Dries proved a cell decomposition theorem for p-adically closed fields. We work here with the notion of P-minimal fields defined by D. Haskell and D. Macpherson in [6]. We prove that a P-minimal field K admits cell decomposition if and only if K has definable selection. A preprint version in French of this result appeared as a prepublication [8].

Let τ : F → N be a type of a variety V . Every partition Pof the set F determines a so-called P-compatible variety. We consider thevarieties GnP defined by so-called P-compatible identities of Abelian groupswith exponent n. Besides, we study a connection between the lattice of allpartitions of the set F and the lattice of all subvarieties of the variety definedby some kind of P-compatible identities — externally compatible identitiessatisfied in the class of all Abelian groups with exponent (...) n. (shrink)

We show that if κ is an infinite successor cardinal, and λ > κ a cardinal of cofinality less than κ satisfying certain conditions, then no ideal on Pκ is weakly λ+-saturated. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

We introduce a very weak language L M on p-adic fields K, which is just rich enough to have exactly the same definable subsets of the line K that one has using the ring language. (In our context, definable always means definable with parameters.) We prove that the only definable functions in the language L M are trivial functions. We also give a definitional expansion $L\begin{array}{*{20}{c}} ' \\ M \\ \end{array} $ of L M in which K has quantifier elimination, (...) and we obtain a cell decomposition result for L M -definable sets. Our language L M can serve as a p-adic analogue of the very weak language (<) on the real numbers, to define a notion of minimality on the field of p-adic numbers and on related valued fields. These fields are not necessarily Henselian and may have positive characteristic. (shrink)

The paper examines the claim that significance testing violates the Principle of Total Evidence. I argue that p-values violate PTE for two-sided tests but satisfy PTE for one-sided tests invoking a sufficient test statistic independent of the preferred theory of evidence. While the focus of the paper is to evaluate a particular claim about the relationship of significance testing and PTE, I clarify the reading of this methodological principle along the way.

A brief life sketch of Dr A P J Abdul Kalam.

This paper is a detailed examination of some parts of J. P. Moreland's book on "the argument from consciousness". (There is a companion article that discusses the parts of the book not taken up in this critical notice.).

Huey P. Newton, founder of the Black Panther Party, is perhaps one of the most interesting and intriguing American intellectuals from the last half of the 20th century. Newton’s genius rested in his ability to amalgamate and synthesize others’ thinking, and then reinterpreting and making it relevant to the situation that existed in the United States in his time, particularly for African-Americans in the densely populated urban centers in the North and West. Newton saw himself continuing the Marxist-Leninist tradition and (...) one of the most important aspects of his thought was his reinterpretation of Marxist class structure. This paper presents Newton’s position that it is the urban poor—who Newton identifies with the lumpenproletariat—that act as the revolutionary class that will bring about a change in the socio-economic order. To that end, there is first a discussion of Newton’s view of the lumpenproletariat and how it differs from the traditional Marxist understanding. Then there is an explanation of the role of the vanguard and its relationship to the lumpenproletariat. The paper concludes with a comparison of Frantz Fanon’s and Newton’s understanding of the lumpenproletariat, and responds to the “problem of lumpenization” in the Black Panther Party. (shrink)

The p value is the probability under the null hypothesis of obtaining an experimental result that is at least as extreme as the one that we have actually obtained. That probability plays a crucial role in frequentist statistical inferences. But if we take the word ‘extreme’ to mean ‘improbable’, then we can show that this type of inference can be very problematic. In this paper, I argue that it is a mistake to make such an interpretation. Under minimal assumptions about (...) the alternative hypothesis, I explain why ‘extreme’ means ‘outside the most precise predicted range of experimental outcomes for a given upper bound probability of error’. Doing so, I rebut recent formulations of recurrent criticisms against the frequentist approach in statistics and underscore the importance of random variables. (shrink)

Given a regular uncountable cardinal κ and a cardinal λ > κ of cofinality ω, we show that the restriction of the non-stationary ideal on Pκ to the set of all a with equation image is not λ++-saturated . We actually prove the stronger result that there is equation image with |Q| = λ++ such that A∩B is a non-cofinal subset of Pκ for any two distinct members A, B of Q, where NGκ, λ denotes the game ideal on Pκ. (...) We also remark that for κ > ω1, adding λ+3 Cohen subsets of ω1 to equation image makes NGκ, λ λ+3-saturated. (shrink)

In this article we present a p-adic valued probabilistic logic equation image which is a complete and decidable extension of classical propositional logic. The key feature of equation image lies in ability to formally express boundaries of probability values of classical formulas in the field equation image of p-adic numbers via classical connectives and modal-like operators of the form Kr, ρ. Namely, equation image is designed in such a way that the elementary probability sentences Kr, ρα actually do have their (...) intended meaning—the probability of propositional formula α is in the equation image-ball with the center r and the radius ρ. Due to modal nature of the operators Kr, ρ, it was natural to use the probability Kripke like models as equation image-structures, provided that probability functions range over equation image instead of equation image or equation image. (shrink)

We develop a notion of cell decomposition suitable for studying weak p-adic structures definable). As an example, we consider a structure with restricted addition.

In this paper we present two types of logics and \ ) where certain p-adic functions are associated to propositional formulas. Logics of the former type are p-adic valued probability logics. In each of these logics we use probability formulas K r,ρ α and D ρ α,β which enable us to make sentences of the form “the probability of α belongs to the p-adic ball with the center r and the radius ρ”, and “the p-adic distance between the probabilities of (...) α and β is less than or equal to ρ”, respectively. Logics of the later type formalize processes of thinking where information are coded by p-adic numbers. We use the same operators as above, but in this formalism K r,ρ α means “the p-adic code of the information α belongs to the p-adic ball with the center r and the radius ρ”, while D ρ α,β means “the p-adic distance between codes of α and β are less than or equal to ρ”. The corresponding strongly complete axiom systems are presented and decidability of the satisfiability problem for each logic is proved. (shrink)

In the same year, 1961, Peter D. Mitchell and Robert R.J.P. Williams both put forward hypotheses for the mechanism of oxidative phosphorylation in mitochondria and photophosphorylation in chloroplasts. Mitchell's proposal was ultimately adopted and became known as the chemiosmotic theory. Both hypotheses were based on protons and differed markedly from the then prevailing chemical theory originally proposed by E.C. Slater in 1953, which by 1961 was failing to account for a number of experimental observations. Immediately following the publication of Williams (...) 's hypothesis and before his own was published, Mitchell initiated a correspondence. Examination of the letters shows the development of a dispute based on the validity of the proposals, who should have priority and particularly whether Mitchell had drawn on Williams 's work without acknowledgement. We have concluded that Mitchell's proposals were original although it is evident that prior to the correspondence Williams had considered and rejected a proposition similar to Mitchell's theory. However, a major cause of the dispute was the difference in disciplinary backgrounds of Mitchell, a microbial biochemist and Williams, a chemist. (shrink)

When K. Grue-Sørensen became a professor of pedagogy at the University of Copenhagen in 1955, he was inline with the dominant historical-hermeneutical approach to humanities. From the late 1960s until retirementin 1974, his approach was challenged by both technical and critical alternatives. Both these alternative havesince grown steadily, while the historical-hermeneutical view has been in the defensive. But Grue-Sørensenand the tradition he represented have three signifi cant points for today’s pedagogy, whether it is technicalor critical: pedagogy can and should not (...) deliver effi ciency technology, pedagogy should as far as possible useeveryday language, and fi nally that the educational history can make us wiser. (shrink)

This article is a discussion of the political thought of Huey P. Newton, and by extension, the theory and practice of the Black Panther Party. More specifically, this article will explore a tension that exists between Newton's theory of Intercommunalism and the Black Panther Party Platform. To that end, there is, first, a discussion of the ideological development of the Black Panther Party, which culminated in Newton's theory of Intercommunalism. Second, there is a presentation of what will be broadly construed (...) as the Party Platform, which articulates the basic principles and practices of the Black Panther Party. Finally, there is a discussion of several ways in which there seems to be a conflict between Newton's ideology and his political practice. While some are only apparent contradictions, there does remain a deep conflict between the dialectical basis of Intercommunalism and the foundational basis of the Party Platform. (shrink)

We classify ultrafilters on ω with respect to sequential contours (see [4].[5]) of different ranks. In this way we obtain an ω1 sequence {Pα}1≤α≤ω1 of disjoint classes. We prove that non-emptiness of Pα for successor α ≥ 2 is equivalent to the existence of P-point. We investigate relations between P-hierarchy and ordinal ultrafilters (introduced by J. E. Baumgartner in [1]), we prove that it is relatively consistent with ZFC that the successor classes (for α ≥ 2) of P-hierarchy and ordinal (...) ultrafilters intersect but are not the same. (shrink)

In the face of continuing assumptions by many scientists and journal editors that p-values provide a gold standard for inference, counter warnings are published periodically. But the core problem is not with p-values, per se. A finding that “p-value is less than α” could merely signal that a critical value has been exceeded. The question is why, when estimating a parameter, we provide a range (a confidence interval), but when testing a hypothesis about a parameter (e.g. µ = x) we (...) proceed as if “=” entails exact equality of the parameter with x. That standard is hard to meet, and is not a standard expected for power calculations, where we are satisfied to reject a null hypothesis H0 if the result is merely “detectably” different from (exact) H0. This paper explores, with resampling (simulation) methods, the impacts on p-values, and alternatives, if the null hypothesis is defined as a thick or thin range of values. It also examines, empirically, the extent to which the p-value may or may not be a good predictor of the probability that H0 is true, given the distribution of the data. (shrink)

The philosophical situation at Copenhagen University in the 1960’s was dominated by two positivists. Th elogical positivist Jørgen Jørgensen – who had written the history of the “movement” – and the legal positivistAlf Ross. There were also two “outsiders”: Peter Zinkernagel, who did more analytical philosophy of language in the British style, and K. Grue Sørensen who was working in the traditions of neo-Kantianism. In 1955 Grue-Sørensen was hired as the first professor in education – after a long controversy about (...) the scientific status ofeducation as a discipline – but with a focus on the history of education. He had received a doctoral degree in philosophy in 1950 with a dissertation on refl exivity as a philosophical concept and a thesis about the reflexivity of consciousness. He was also an objectivist in ethics, and had been critical of the prevalent moral relativism and subjectivism found in recent philosophy. Jørgensen and Ross had done important work on moral argumentation with more technical work on the logic of imperatives and norms. Moral objectivism was not only wrong but in a way also “immoral” because it undermined their belief in democracy. Especially Jørgensen also thought that the idea of reflexivity was wrong when applied to consciousness. Neither statements nor consciousness could be reflexive – that is refer to themselves/itself. The reflexivity of consciousness is – according to Jørgensen – simply not an empirical psychological fact. Grue-Sørensen tried to establish the foundation of a theory of education based both on conceptions of consciousness and of the relation between scientific knowledge – facts – and moral values – in a neo-Kantian fashion. For him the interplay between ethics and knowledge was a central part of a theory of education – a belief due to which he never became a professor of philosophy – having tried many times. These debates in philosophy and in education were superseded in the 1970’s by the rise in influence of the German inspiration from Critical Theory and the demise of logical positivism. (shrink)

Given a regular cardinal κ > ω 1 and a cardinal λ with κ ≤ cf (λ) < λ, we show that NS κ,λ | T is not λ+-saturated, where T is the set of all ${a\in P_\kappa (\lambda)}$ such that ${| a | = | a \cap \kappa|}$ and ${{\rm cf} \big( {\rm sup} (a\cap\kappa)\big) = {\rm cf} \big({\rm sup} (a)\big) = \omega}$.

We investigate the partition property of ${\mathcal{P}_{\kappa}\lambda}$ . Main results of this paper are as follows: (1) If λ is the least cardinal greater than κ such that ${\mathcal{P}_{\kappa}\lambda}$ carries a (λ κ , 2)-distributive normal ideal without the partition property, then λ is ${\Pi^1_n}$ -indescribable for all n < ω but not ${\Pi^2_1}$ -indescribable. (2) If cf(λ) ≥ κ, then every ineffable subset of ${\mathcal{P}_{\kappa}\lambda}$ has the partition property. (3) If cf(λ) ≥ κ, then the completely ineffable ideal over (...) ${\mathcal{P}_{\kappa}\lambda}$ has the partition property. (shrink)

This is a study of the Ugandan poet and cultural critic Okot p'Bitek. In his poems and critical essays, Okot engages with the oral traditions of his people—the songs, dances, funeral dirges, and so forth—seeing them as manifestations of the people's philosophy of life. Imbo's book aims to make explicit the philosophical questions raised in Okot's work, placing them within the wider picture of contemporary African philosophy as a whole.