J. L. Mackie famously argued that a commitment to non-existent objective values permeates ordinary moral thought and discourse. According to a standard interpretation, Mackie construed this commitment as a universal and indeed essential feature of moral judgments. In this paper I argue that we should rather ascribe to Mackie a form of semantic pluralism, according to which not all moral judgments involve the commitment to objective values. This interpretation not only makes better sense of what Mackie actually says, but also (...) renders his error theory immune to a powerful objection. (shrink)

We show that plane hyperbolic geometry, expressed in terms of points and the ternary relation of collinearity alone, cannot be expressed by means of axioms of complexity at most ∀∃∀, but that there is an axiom system, all of whose axioms are ∀∃∀∃ sentences. This remains true for Klingenberg's generalized hyperbolic planes, with arbitrary ordered fields as coordinate fields.

We provide a quantifier-free axiom system for plane hyperbolic geometry in a language containing only absolute geometrically meaningful ternary operations (in the sense that they have the same interpretation in Euclidean geometry as well). Each axiom contains at most 4 variables. It is known that there is no axiom system for plane hyperbolic consisting of only prenex 3-variable axioms. Changing one of the axioms, one obtains an axiom system for plane Euclidean geometry, expressed in the same language, all of whose (...) axioms are also at most 4-variable universal sentences. We also provide an axiom system for plane hyperbolic geometry in Tarski's language L B which might be the simplest possible one in that language. (shrink)

Many theists regard the claim that certain fundamental constants of nature are fine-tuned for life as the best scientific argument for the existence of God since Paley’s watch. Even atheist physicists find these so-called “anthropic coincidences” difficult to explain naturally and many think they need to invoke multiple universes and the so-called “anthropic principle” to do so. Certainly if there are many universes, fine-tuning is simple. Our universe is not fine-tuned for life. Life is fine-tuned to our universe. While multiple (...) universes are expected from modern cosmological theories, theists and some scientists object that invoking the unobservable is not science. Of course, God is unobservable too, so the best theists can claim is a standoff. (shrink)

After World War II, Japanese intellectuals believed that world history was moving inexorably toward bourgeois democracy and then socialism. But who would be the agents--the active "subjects"--of that revolution in Japan? Intensely debated at the time, this question of active subjectivity influenced popular ideas about nationalism and social change that still affect Japanese political culture today. In a major contribution to modern Japanese intellectual history, J. Victor Koschmann analyzes the debate over subjectivity. He traces the arguments of intellectuals from (...) various disciplines and political viewpoints, and finds that despite their stress on individual autonomy, they all came to define subjectivity in terms of deterministic historical structures, thus ultimately deferring the possibility of radical change in Japan. Establishing a basis for historical dialogue about democratic revolution, this book will interest anyone concerned with issues of nationalism, postcolonialism, and the formation of identities. (shrink)

Reverse analyses of three proofs of the Sylvester-Gallai theorem lead to three different and incompatible axiom systems. In particular, we show that proofs respecting the purity of the method, using only notions considered to be part of the statement of the theorem to be proved, are not always the simplest, as they may require axioms which proofs using extraneous predicates do not rely upon.

Problem 2 at the 56th International Mathematical Olympiad asks for all triples of positive integers for which ab−c, bc−a, and ca−b are all powers of 2. We show that this problem requires only a primitive form of arithmetic, going back to the Pythagoreans, which is the arithmetic of the even and the odd.

We show that the first-order theory of a large class of plane geometries and the first-order theory of their groups of motions, understood both as groups with a unary predicate singling out line-reflections, and as groups acting on sets, are mutually inter-pretable.

Using the axiom system provided by Carsten Augat in [1], it is shown that the only 6-variable statement among the axioms of the axiom system for plane hyperbolic geometry (in Tarski's language L B =), we had provided in [3], is superfluous. The resulting axiom system is the simplest possible one, in the sense that each axiom is a statement in prenex form about at most 5 points, and there is no axiom system consisting entirely of at most 4-variable statements.

The expression of attachment to the divine in certain places among different groups has been documented by anthropologists and sociologists for decades. However, the psychological processes by which this happens are not yet fully understood. This article focuses on the concept of ‘place spirituality’ as a psychological mechanism, which allows the religious believer or non-believer to achieve an organised attachment strategy, involving the interplay of place and spiritual attachment. First, place spirituality is considered as an experience that satisfies the attachment (...) relationship criteria in that geographic places and divine entities can be perceived as ‘objects’ of attachment. Second, it is proposed that the maturational aspects of the attachment repertoire in adults make the place spirituality experience possible since adults’ cognitive abilities are much wider than those of children and can include relationships to geographical spaces and invisible divine entities. Finally, the theme of place spirituality is explored to further position the concept as a relational paradigm for understanding the relationship between place experiences and spiritual attachment. (shrink)

Hyperbolic geometry can be axiomatized using the notions of order andcongruence (as in Euclidean geometry) or using the notion of incidencealone (as in projective geometry). Although the incidence-based axiomatizationmay be considered simpler because it uses the single binary point-linerelation of incidence as a primitive notion, we show that it issyntactically more complex. The incidence-based formulation requires some axioms of the quantifier-type forallexistsforall, while the axiom system based on congruence and order can beformulated using only forallexists-axioms.

Este artigo explora a relação entre a Sociedade Brasileira de Defesa da Tradição, Família e Propriedade (TFP) e a ditadura militar brasileira de 1964. A análise revela como o anticomunismo serviu de elo unificador entre a TFP e a ditadura, destacando o papel da organização na criação de um clima favorável ao golpe civil-militar e suas subsequentes atividades de suporte ao regime. O trabalho também discute a dinâmica ambivalente entre a TFP e o governo militar, caracterizada por momentos de colaboração (...) e vigilância mútua, e a mudança do posicionamento da TFP após o fim do regime. As fontes incluem documentos da própria Sociedade, arquivos do Serviço Nacional de Informações (SNI) e publicações contemporâneas. (shrink)

Scaffolding interactions are typically portrayed optimistically within 4E frameworks of cognition. In this paper, we argue that this “dogma of harmony” has also influenced research on scaffolding interactions during development. Specifically, we show how some scaffolding interactions aimed at supporting task execution and skill acquisition in early childhood can inadvertently lead to detrimental effects on learners’ wellbeing, understood in terms of what individuals are capable of achieving rather than through the resources they possess. To characterise these effects, we propose a (...) model that highlights the manifold ways in which individual differences interact with scaffolds’ features during developmental processes. Using this model, we discuss two types of maladaptive scenarios: those where the scaffolds are efficient to various degrees depending on _inter_-individual differences, and those where scaffolds’ efficiency is tied to particular timeframes depending on _intra_-individual differences. The upshot of this discussion is that, to challenge the harmony dogma, more inclusive education policies should not only consider scaffolds’ efficiency but also determine whether individuals can adequately transform their use into valuable opportunities for their learning across contexts and timescales. (shrink)

In this paper we provide a quantifier-free, constructive axiomatization of metric-Euclidean and of rectangular planes . The languages in which the axiom systems are expressed contain three individual constants and two ternary operations. We also provide an axiom system in algorithmic logic for finite Euclidean planes, and for several minimal metric-Euclidean planes. The axiom systems proposed will be used in a sequel to this paper to provide ‘the simplest possible’ axiom systems for several fragments of plane Euclidean geometry.

What are the laws of physics? -- The stuff that kicks back -- Point-of-view invariance -- Gauging the laws of physics -- Forces and broken symmetries -- Playing dice -- After the bang -- Out of the void -- The comprehensible cosmos -- Models of reality.

We prove that, in the framework of ordered geometry, the inner form of the Pasch axiom does not imply its outer form . We also show that OP can be properly split into IP and the weak Pasch axiom.

The anthropic coincidences are widely claimed to provide evidence for intelligent creation in the universe. However, neither data northeory support this conclusion. No basis exists for assuming that a random universe would not have some kind of life. Calculations of the properties of universes having different physical constants than ours indicate that long-lived stars are not unusual, and thus most universes should have time for complex systems of some type to evolve. A multi-universe scenario is not ruled out, since no (...) known principle requires that only one universe exist. (shrink)

This paper provides a definitive answer, based on considerations derived from first-order logic, to the question regarding the status of elementary geometry, whether elementary geometry can be reduced to algebra. The answer we arrive at is negative, and is based on a series of structural questions that can be asked only inside the geometric formal theory, as well as the consideration of reverse geometry, which is the art of finding minimal axiom systems strong enough to prove certain geometrical theorems, given (...) that there are no algebraic structures that one could associate with those minimal axiom systems. (shrink)

La narración común sobre la metafísica de Francisco Suárez entre un grupo diverso de pensadores es que el jesuita presenta una ontología «indiferente» que descuida la concepción medieval tradicional de Dios como absolutamente trascendente y única. Aunque las críticas dirigidas contra Suárez son legiones e igualmente diversas como las críticas de las que derivan, tal como yo lo entiendo, hay una convicción común a todas ellas, aunque no expresada, de que el pensamiento del jesuita finalmente resulta en la secularización de (...) la metafísica. Por «secularización» me refiero a que, como se afirma con frecuencia, el análisis de Suárez sobre la naturaleza del ser ocurre por completo sin la necesidad de advertir sobre ningún marco teológico general. En este ensayo, cuestiono ese punto de vista y sostengo que la metafísica de Suárez está completamente determinada por su visión teológica y su proyecto. (shrink)

As with the development of several logical notions, it is shown that the concept of resource-consciousness, i. e. the concern over the number of times that a given sentence is used in the proof of another sentence, has its origin in the foundations of geometry, pre-dating its appearence in logical circles as BCK-logic or affine logic.

El artículo presenta el panorama entero de las ideas políticas del notorio conservador peruano Monseñor Bartolomé Herrera. Se trata por vez primera de un estudio exhaustivo de las redes conceptuales y filosóficas de su peculiar concepción del republicanismo, que se califica aquí de “reaccionario”. Luego de incluirlo en su contexto en la historia de las ideas en la polémica entre liberales y conservadores, el texto sostiene que, aparte de sus influencias neoconservadoras restauracionistas, Herrera, considerado hasta hoy un conservador liberal, habría (...) sido más bien un consumidor militante –pero encubierto- del pensamiento reaccionario del Conde De Maistre, el Vizconde de Bonald y, más particularmente, de Agustín Barruel, fuente reaccionaria descuidada por los especialistas en el pensamiento político peruano. Herrera habría sido un tipo peculiar de republicano: Un republicano reaccionario. Aunque de manera simulada y escondiendo sus fuentes, el Obispo de Arequipa, en tono análogo al Valdegamas de 1848, habría desarrollado una concepción anticontractualista y antiliberal de la república peruana desde una teología política contrarrevolucionaria. (shrink)

The paper examines Robert Filmer’s arguments in defence of the divine right of kings in Patriarcha, or The Natural Power of Kings. Filmer argues that human beings are not born free by nature and, as a result, are expected to obey the kings/monarchs absolutely with­out questioning, due to the arbitrary power and the divine right bestowed upon the kings. This position defended by Filmer is antithetical to the notion of natural freedom of mankind defended by John Locke and other social (...) contract theorists. Contrary to Filmer’s view, this paper suggests that Filmer exaggerated the power of kings. In this paper, I wish to critically examine Filmer’s arguments with which he supported his claim. The paper argues against Filmer’s divine right monarchy for the following reasons: (i) it lacks rational justification, (ii) it was founded on misinterpretation of the scriptures, and (iii) it fails to address the athe­ists’ question. In the final analysis, the paper concludes with the argument that the question of mutual exclusivity of the concepts in the discussion rests upon manifest misinterpreta­tions of divine right and the natural freedom of mankind. (shrink)

This chapter contains sections titled: Introduction The Logic of Proposition Predicate Logic Conclusion.

Стовпець О. В. Інститут інтелектуальної власності в епоху інформації й постмодерну: соціально-філософський ракурс : [монографія] / О. В. Стовпець. - Одеса : Державний заклад "Південноукраїнський національний педагогічний університет ім. К. Д. Ушинського", 2016.

Does Colour really matter to a sympathetic impartialist? In this article, I return a negative response. The article examines certain aspect of Kwasi Wiredu’s moral philosophy in Cul­tural Universals and Particulars, and how that aspect of his moral philosophy is applicable to an issue of global concern such as racism. One of the major ways by which Wiredu es­tablished his version of moral universalism is through the principle of sympathetic impar­tiality (PSI). This principle is central to his moral theory because (...) for him, the principle is not only common to all human practice of morality, but is also essential to the harmoniza­tion of human interests in the society. This article attempts to interrogate how Wiredu’s PSI could be employed to tackle the problem of racial discrimination that bedevilled the whole world. The study employs the method of textual interpretation, argumentative discourses of Wiredu’s principle of sympathetic impartiality and analysis of the concepts of racism. The paper contends that if the principle of sympathetic impartiality is universally embraced, it stands the chance of reducing the global problem of racism. (shrink)

An interdisciplinary theoretical framework is proposed for analysing justice in global working conditions. In addition to gender and race as popular criteria to identify disadvantaged groups in organizations, in multinational corporations (MNCs) local employees (i.e. host country nationals (HCNs) working in foreign subsidiaries) deserve special attention. Their working conditions are often substantially worse than those of expatriates (i.e. parent country nationals temporarily assigned to a foreign subsidiary). Although a number of reasons have been put forward to justify such inequalities—usually with (...) efficiency goals in mind—recent studies have used equity theory to question the extent to which they are perceived as fair by HCNs. However, since perceptual equity theory has limitations, this study develops an alternative and non-perceptual framework for analysing such inequalities. Employment discrimination theory and elements of Rawls’s ‘Theory of Justice’ are the theoretical pillars of this framework. This article discusses the advantages of this approach for MNCs and identifies some expatriation practices that are fair according to our non-perceptual justice standards, whilst also reasonably (if not highly) efficient. (shrink)

Sustainable development is the global agenda designed to ensure that the world’s climate is not irretrievably damaged and future generations have equal access to the world’s resources for their own development. The institutionalisation of measures to promote sustainable development has however not had unanimous cooperation. This study therefore investigated the attitude of officials at the local government level to topical issues in the sustainable development agenda in Ondo State, Nigeria, as a pointer to entrenched attitudes in the Third World. Prioritisation (...) of issues varied between localities but premium was placed on poverty alleviation more than on climate change or power generation. People were more concerned with the improvement of their general well-being including health. Respondents indicated that most of the topical issues on the sustainable development agenda could be addressed at the local level thereby lending support for the notion that local action can contribute to global action. However, inclusive measures to promote positive action need to be institutionalised. (shrink)

El presente Dossier de Euphyía sobre Ética Ambiental y Animal reflexiona sobre la urgente necesidad de revisar nuestras teorías éticas tradicionales ante la crisis ambiental actual. Los editores destacan cómo la ética ha evolucionado desde su enfoque antropocéntrico hacia una consideración más inclusiva que abarca animales, ecosistemas y el entorno inorgánico. Este cambio surge frente a los impactos negativos de la industrialización y la explotación irracional de la naturaleza. Los artículos abordan diversas perspectivas críticas. Entre ellos, se examinan las tensiones (...) entre ecologismo y animalismo, las prácticas antropocéntricas históricas en relación con los animales, y las propuestas de ética ambiental basadas en la responsabilidad hacia futuras generaciones. También se analizan los desafíos éticos y políticos que plantea el cambio climático, como el desplazamiento climático y los derechos de las comunidades afectadas. El dossier promueve una ética ampliada que reconozca la interconexión entre humanos y naturaleza, y que confronte los paradigmas especistas y antropocéntricos. Al hacerlo, busca fomentar una reflexión interdisciplinaria que inspire tanto el pensamiento filosófico como el activismo en pro de un planeta más sostenible y equitativo para todos sus habitantes. (shrink)

It is argued that Brouwer’s philosophy of mathematics makes perfect sense if viewed from an Eastern philosophical perspective, as a mathematics in what Erich Fromm called “the being mode of existence.” The difficulty Western philosophers have accepting its validity under Brouwer’s own justifications is that mathematics is one of the highest prized treasures of Western philosophy (those footnotes to Plato’s dialogues).

We provide a universal axiom system for plane hyperbolic geometry in a firstorder language with two sorts of individual variables, ‘points’ and ‘lines’ , containing three individual constants, A0, A1, A2, standing for three non-collinear points, two binary operation symbols, φ and ι, with φ = l to be interpreted as ‘[MATHEMATICAL SCRIPT SMALL L] is the line joining A and B’ , and ι = P to be interpreted as [MATHEMATICAL SCRIPT SMALL L]P is the point of intersection of (...) g and h , and two binary operation symbols, π1 and —2, with πi = g to be interpreted as ‘g is one of the two limiting paralle lines from P to [MATHEMATICAL SCRIPT SMALL L]. (shrink)

We provide the syntactic equivalent for the theorem stating that all epimorphisms of finite projective planes are isomorphisms. The definition of the inequality relation that we provide adds little to our understanding of the theorem, since its very validity can be discerned only from the validity of the model-theoretic theorem regarding epimorphisms.

In 1893, Schatunowsky showed that 30 is the largest number all of whose totatives are primes; we show that this result cannot be proved, in any form, in Chebyshev's theorem (Bertrand's postulate), even if all irreducibles are primes. Bonse's inequality is shown to be indeed weaker than Chebyshev's theorem. Schatunowsky's theorem holds in together with Bonse's inequality, the existence of the greatest prime dividing certain types of numbers, and the condition that all irreducibles be prime.

This paper continues the investigations begun in [6] and continued in [7] about quantifier-free axiomatizations of plane Euclidean geometry using ternary operations. We show that plane Euclidean geometry over Archimedean ordered Euclidean fields can be axiomatized using only two ternary operations if one allows axioms that are not first-order but universal Lw1,w sentences. The operations are: the transport of a segment on a halfline that starts at one of the endpoints of the given segment, and the operation which produces one (...) of the intersection points of a perpendicular on a diameter of a circle with that circle. MSC: 03F65, 51M05, 51M15. (shrink)