I argue that the empirical literature on priming effects does not warrant nor suggest the conclusion, drawn by prominent psychologists such as J. A. Bargh, that we have no free will or less free will than we might think. I focus on a particular experiment by Bargh – the ‘elderly’ stereotype case in which subjects that have been primed with words that remind them of the stereotype of the elderly walk on average slower out of the experiment’s room than (...) control subjects – and I show that we cannot say that subjects cannot help walking slower or that they are not free in doing do. I then illustrate how these cases can be reconciled and normalized within a Davidsonian theory of action to show that, in walking slower, subjects are acting intentionally. My argument applies across various experiments, including those of goal priming. In the final section I argue that the only cases in which priming effects are efficacious are so-called Buridan cases. (shrink)

It is often assumed that believing that p for a normative reason consists in nothing more than (i) believing that p for a reason and (ii) that reason’s corresponding to a normative reason to believe that p, where (i) and (ii) are independent factors. This is the Composite View. In this paper, we argue against the Composite View on extensional and theoretical grounds. We advocate an alternative that we call the Prime View. On this view, believing for a normative reason (...) is a distinctive achievement that isn’t exhausted by the mere conjunction of (i) and (ii). Its being an achievement entails that (i) and (ii) are not independent when one believes for a normative reason: minimally, (i) must hold because (ii) holds. Apart from its intrinsic interest, our discussion has important upshots for central issues in epistemology, including the analysis of doxastic justification, the epistemology of perception, and the place of competence in epistemology. (shrink)

Moeser suggested participants default to linear ordering elements but they can be primed to impose either linear or partial ordering. This study seems problematic insofar as ‘greater than’ might be understood to incline participants to favor linear orderings. Recent follow-up studies strongly suggest participants do not default to linear ordering. It seems plausible, moreover, that the observed priming effect is far more pervasive than Moeser countenanced. The present work explores the extent to which priming for linear or partial (...) orders conflicts with the construction of linear or partial ordering lists. Our two experiments suggest friction between priming and task, and also show once the priming tasks are cleared of potentially confounding semantic content, participants perform equally with respect to constructing linear or partial orders under similar priming conditions. (shrink)

Whether some condition is equivalent to a conjunction of some conditions has been a major issue in analytic philosophy. Examples include: knowledge, acting freely, causation, and justice. Philosophers have striven to offer analyses of these, and other concepts, by showing them equivalent to such a conjunction. Timothy Williamson offers a number of arguments for the idea that knowledge is ‘prime’, hence not equivalent to or composed by some such conjunction. I focus on one of his arguments: the requirement that such (...) conjuncts must be freely recombinable. Although there has been a great deal of discussion of Williamson's arguments, the flaw I describe has gone unnoticed. Williamson's argument is expressed in terms of conditions, and cases of the condition. Does the condition include specific information, or is the specific information only part of the case? His argument equivocates between more and less general specifications of the conditions. Once this distinction is clarified, his argument can be seen to be vitiated by this conflation. Neither option yields a sound argument for Williamson's desired conclusion. (shrink)

According to the target article authors, initial experience with a circumstance primes a relation that can subsequently be applied to a different circumstance to draw an analogy. While I broadly agree with their claim about the role of relational priming in early analogical reasoning, I put forward a few concerns that may be worthy of further reflection.

Two very different forms of externalism about mental states appear prima facie unrelated: Williamson’s (1995, 2000) claim that knowledge is a mental state, and Clark & Chalmers’ (1998) extended mind hypothesis. I demonstrate, however, that the two approaches justify their radically externalist by appealing to the same argument from explanatory generality. I argue that if one accepts either Williamson’s claims or Clark & Chalmers’ claims on considerations of explanatory generality then, ceteris paribus, one should accept the other. This conclusion has (...) implications for philosophy of mind, epistemology, and cognitive science. (shrink)

Sri Guru Granth Sahib, the holy scripture of the Sikhs, contains numerous references to the worship of the divine in Nature. The Sikh scripture declares that human beings' purpose is to achieve a blissful state and be in harmony with the Earth and all creation. Millions of Sikhs recite Gurbani daily wherein the divine is remembered using the symbolism from Nature, esp. air, water, sun, moon, trees, animals, and the Earth. The human mind loses communion with Nature and ultimately with (...) God by being self-conceited. It causes misery all around, is a repeated assertion of Sikhism. The contemporary environmental crisis is an outcome of the actions of such a self-conceited human mind. By affirming God's immanence and His presence in the creation, the Sikh religion imparts the spirit of self-righteousness to the entire subject of Nature. Sikhism is a remarkable religious and cultural phenomenon; several important themes emerge within its universe of beliefs. On the ecological front, the theology of Sikhism suggests that humans must live in harmony with Nature. The Sikh Gurus exemplified many of these teachings, and their examples continue to inspire contemporary social, religious, and environmental leaders in their efforts to protect the planet. In this presentation, the prime environmental teachings of Sikhism are shared with the community. (shrink)

A lean hylomorphism stands as a metaphysical holy grail. An embarrassing feature of traditional hylomorphic ontologies is prime matter. Prime matter is both so basic that it cannot be examined (in principle) and its engagement with the other hylomorphic elements is far from clear. One particular problem posed by prime matter is how it is to be understood both as a principle of individuation for material substances and as pure potency. I present Thomas Aquinas’s way of squeezing some intelligibility out (...) of prime matter by modeling it on the idea of logical genus. Such a modeling provides insight into understanding prime matter as substratum, as maximally indeterminate, and as ontologically vague. One of the unusual but exciting things that fall out from this analysis of prime matter is the Entirety Thesis: “For any substance x, if x has prime matter then the prime matter of x is the same* as x,” where ‘same*’ is understood as “indeterminately identical.”. (shrink)

I argue that the prime matter that Leibniz posits in every created monad is understood by him to be a mere defect or negation, and not something real and positive. Further, I argue that Leibniz’s talk of prime matter in every created monad is inspired by the thirteenth-century doctrine of spiritual matter, but that such talk is simply one way in which Leibniz frames a point that he frequently makes elsewhere—namely, that each creaturely essence incorporates a limitation that is the (...) ultimate source of an original imperfection that affects the creature from the first moment of its existence. (shrink)

The 16th and 17th centuries witnessed a philosophical shift that would help pave the way for modern science, a shift from metaphysical theories of material objects to other views embracing only the empirically-accessible parts of material things. One much-debated topic in the course of this shift was regarding prime matter. The late scholastic Jacobus Zabarella (1533-1589) arrived upon his views about prime matter via his version of the regressus method, a program for a sort of scientific reasoning. In his De (...) rebus naturalibus, Zabarella defends the position that prime matter is extended. However, it is less clear how he accounts for its extension. There is an important text where he apparently suggests that prime matter is extended in and of itself. However, there are two other texts apparently stating that matter is extended in virtue of a distinct accident in the category of quantity. I argue that a decisive reading based solely upon any particular texts is not available. Nevertheless, examining Zabarella’s writing on the topic as a whole, the trajectory of his overall argument is remarkably sympathetic to Averroes, who famously took the accidentally quantified position. Thus, from this systematic feature, the accidentally quantified reading is more reasonable. (shrink)

This paper aims to show that Selim Berker’s widely discussed prime number case is merely an instance of the well-known generality problem for process reliabilism and thus arguably not as interesting a case as one might have thought. Initially, Berker’s case is introduced and interpreted. Then the most recent response to the case from the literature is presented. Eventually, it is argued that Berker’s case is nothing but a straightforward consequence of the generality problem, i.e., the problematic aspect of the (...) case for process reliabilism (if any) is already captured by the generality problem. (shrink)

In a recent book and article, James Sterba has argued that there is no free will defense. It is the purpose of this article to show that, in the most technical sense, he is wrong. There is a version of the free will defense that can solve what Sterba (rightly) takes to be the most interesting and severe version of the logical problem of moral evil. However, I will also argue that, in effect (or, we might say, in practice), Sterba (...) is correct. The only working version of the free will defense requires embracing a view that entails consequences theists traditionally have not and cannot accept. Consequently, the one and only free will solution is not viable. Unless some other solution can be found (Sterba argues there is none), the logical problem of evil, as Sterba understands it, either commits one to atheism, or a version of theism that practically all theists would regard as a heresy. (shrink)

The present study aimed to explore the effect of subliminal priming on team trust and the mechanism through the mediating role of perceived trustworthiness. A total of 144 participants were asked to complete a lexical decision task that was embedded with the “trust” or “suspicion” Chinese words as the subliminal stimuli. Then, they played a public good game and evaluated the perceived trustworthiness of the team. The results of the study showed that subliminal stimuli had a significant effect on (...) team trust [β = –0.99, 95% CI = (−1.64, −0.33)]. Perceived trustworthiness was found to have a significant mediating effect between the priming condition and team trust [β = −0.35, 95% CI = (−0.72, −0.02)]. The current study revealed the underlying mechanism through which subliminal priming techniques influence team trust and informed efforts by altering perceived trustworthiness. (shrink)

An excerpt of "The SignalGlyph Project and Prime Numbers" (a chapter of the book THE IMAGE OF LANGUAGE) that attempts to illustrate how dimensional limitations of mathematical language have obscured recognition of the system of patterning in the distribution of prime numbers.

Strategies for effectively communicating scientific findings to the public are an important and growing area of study. Recognizing that some complex subjects require recipients of information to take a more active role in constructing an understanding, we sought to determine whether it was possible to increase subjects’ intellectual effort via “priming” methodologies. In particular, we asked whether subconsciously priming “intellectual virtues”, such as curiosity, perseverance, patience, and diligence might improve participants’ effort and performance on various cognitive tasks. In (...) the first experiment, we found no significant differences in either effort or understanding between IV-primed and neutrally-primed individuals across two different priming techniques. The second experiment measured the effect of IV-priming on intellectual effort in simpler, shorter-duration puzzles and exploration activities; here, we observed an effect, but given its low strength and short duration, we do not believe that priming of IVs is a promising strategy for science communication. (shrink)

The Consequence Argument is the classic argument for the incompatibility of determinism and our ability to do otherwise. Daniel C. Dennett objects that the Consequence Argument suffers from the same error as a clearly unconvincing argument that there are no mammals. In this paper, I argue that these arguments do not suffer from the same error. The argument that there are no mammals is unconvincing as it takes the form of a sorites, whereas the Consequence Argument does not. Accordingly, Dennett's (...) objection misses its mark. (shrink)

In Laws book X Plato tries to give us conclusive evidence that there are at least two gods (one good and the other bad). The reasoning depends crucially on the idea of ‘self moving motion.’ In this paper I try to show that the ‘evidence’ is not persuasive. (Nevertheless, the idea of ‘self – moving motion is interesting.).

The importance of the prime factorization problem is very well known (e.g., many security protocols are based on the impossibility of a fast factorization of integers on traditional computers). It is necessary from a number k to establish two primes a and b giving k = a · b. Usually, k is written in a positional numeral system. However, there exists a variety of numeral systems that can be used to represent numbers. Is it true that the prime factorization is (...) difficult in any numeral system? In this paper, a numeral system with partial carrying is described. It is shown that this system contains numerals allowing one to reduce the problem of prime factorization to solving [K/2] − 1 systems of equations, where K is the number of digits in k (the concept of digit in this system is more complex than the traditional one) and [u] is the integer part of u. Thus, it is shown that the difficulty of prime factorization is not in the problem itself but in the fact that the positional numeral system is used traditionally to represent numbers participating in the prime factorization. Obviously, this does not mean that P=NP since it is not known whether it is possible to re-write a number given in the traditional positional numeral system to the new one in a polynomial time. (shrink)

In this short note many conjectures on partitions of integers as summations of prime numbers are presented, which are extension of Goldbach conjecture.

In August 2002, three Indian computer scientists published a paper, ‘PRIMES is in P’, online. It presents a ‘deterministic algorithm’ which determines in ‘polynomial time’ if a given number is a prime number. The story was quickly picked up by the general press, and by this means spread through the scientific community of complexity theorists, where it was hailed as a major theoretical breakthrough. This is although scientists regarded the media reports as vulgar popularizations. When the paper was published in (...) a peer-reviewed journal only two years later, the three scientists had already received wide recognition for their accomplishment. Current sociological theory challenges the ability to clearly distinguish on independent epistemic grounds between distorted and non-distorted scientific knowledge. It views the demarcation lines between such forms of presentation as contextual and unstable. In my paper, I challenge this view. By systematically surveying the popular press coverage of the ‘PRIMES is in P’ affair, I argue--against the prevailing new orthodoxy--that distorted simplifications of scientific knowledge are distinguishable from non-distorted simplifications on independent epistemic grounds. I argue that in the ‘PRIMES is in P’ affair, the three scientists could ride on the wave of the general press-distorted coverage of their algorithm, while counting on their colleagues’ ability to distinguish genuine accounts from distorted ones. Thus, their scientific reputation was unharmed. This suggests that the possibility of the existence of independent epistemic standards must be incorporated into the new SSK model of popularization. (shrink)

Euclid's classic proof about the infinitude of prime numbers has been a standard model of reasoning in student textbooks and books of elementary number theory. It has withstood scrutiny for over 2000 years but we shall prove that despite the deceptive appearance of its analytical reasoning it is tautological in nature. We shall argue that the proof is more of an observation about the general property of a prime numbers than an expository style of natural deduction of the proof of (...) their infinitude. (shrink)

El intento de estas páginas es el de seleccionar dentro de la semántica del miedo que contribuye a organizar la imagen moderna del orden político y jurídico el elemento específico del pánico, en la hipótesis de que este último constituya una diferencia que es asimismo un recurso epistémico. Dicho de un modo directo: si el miedo se presenta como una referencia constitutiva del orden, de su constitución como de su mantenimiento, el pánico parece, en cambio, cargado de un signo contrario; (...) nos habla de la disolución de un agregado dado por supuesto y es inclusivo en el perimetrar los límites y las condiciones de posibilidad. El objetivo es aquel de repasar algunos momentos de la historia del pánico buscando argumentar que el pánico es una pasión política, en el sentido de que se refiere a aquello de lo que la político está hecha, y al mismo tiempo es expresión de un límite "pasional" de la política, en tanto que define políticamente un límite interno. Respecto a tal objetivo, esta aportación no reivindica más que los caracteres de un hilvanado necesitante de un desarrollo ulterior por lo que se refiere no solo a aquello que no se incluye (y es obviamente mucho), sino también a los nudos que de forma conscientemente provisional se indican. Además, se limita a una periodizacion histórica que es de alguna manera preliminar, deteniéndose en el umbral de la fase en la cual el pánico es una palabra de un discurso disciplinar, es parte del objeto de un saber codificado (psicología, sociología, ciencia política), incluso si no desempeña necesariamente un rol apaciguador. (shrink)

Abstract: The main purpose of this paper is to find Artin's characters table of the group (Q2n×D3)when n=p_1.p_2….p_n,and p_1,p_2,…,p_n are primes number, which is denoted by Ar(Q2n×D3) where Q2m is denoted to Quaternion group and D3 is the Dihedral group of order 6 .

I prove that the Boolean Prime Ideal Theorem is equivalent, under some weak set-theoretic assumptions, to what I will call the Cut-for-Formulas to Cut-for-Sets Theorem: for a set F and a binary relation |- on Power(F), if |- is finitary, monotonic, and satisfies cut for formulas, then it also satisfies cut for sets. I deduce the CF/CS Theorem from the Ultrafilter Theorem twice; each proof uses a different order-theoretic variant of the Tukey- Teichmüller Lemma. I then discuss relationships between various (...) cut-conditions in the absence of finitariness or of monotonicity. (shrink)

In Metaphysics Λ.6-7 Aristotle argues that an unmoved substance causes the outermost sphere to rotate. His argument has puzzled and divided commentators from ancient Greece to the present. I offer a novel defense of Aristotle's argument by highlighting the logic of classification that Aristotle deploys. The core of Aristotle's argument is the identification of the unmoved substance on the 'table of opposites' as simple and purely actual. With this identification in place, Aristotle argues that the outermost sphere activates its capacity (...) to relocate its body by rotating because this is how it can be a simple and actual substance. But unlike traditional attempts to rehabilitate Aristotle's argument, I argue that the sphere does not rotate in order to imitate the Prime Mover. Rather, the sphere rotates because that is good for it to do, and the Prime Mover is a metaphysically necessary source of simple and actual substantial being, which the sphere acts for the sake of. (shrink)

The aim of the paper is to analyze the expressive power of the square operator of Łukasiewicz logic: ∗x=x⊙x⁠, where ⊙ is the strong Łukasiewicz conjunction. In particular, we aim at understanding and characterizing those cases in which the square operator is enough to construct a finite MV-chain from a finite totally ordered set endowed with an involutive negation. The first of our main results shows that, indeed, the whole structure of MV-chain can be reconstructed from the involution and the (...) Łukasiewicz square operator if and only if the obtained structure has only trivial subalgebras and, equivalently, if and only if the cardinality of the starting chain is of the form n+1 where n belongs to a class of prime numbers that we fully characterize. Secondly, we axiomatize the algebraizable matrix logic whose semantics is given by the variety generated by a finite totally ordered set endowed with an involutive negation and Łukasiewicz square operator. Finally, we propose an alternative way to account for Łukasiewicz square operator on involutive Gödel chains. In this setting, we show that such an operator can be captured by a rather intuitive set of equations. (shrink)

Thomas Aquinas embraces a controversial claim about the way in which parts of a substance depend on the substance’s substantial form. On his metaphysics, a ‘substantial form’ is not merely a relation among already existing things, in virtue of which (for example) the arrangement or configuration of those things would count as a substance. The substantial form is rather responsible for the identity or nature of the parts of the substance such a form constitutes. Aquinas’ controversial claim can be roughly (...) put as the view that things are members of their kind in virtue of their substantial form. To put it simply, Aquinas’ claim results in the implication that, every time the xs come to compose a y, those xs have to undergo a change in kind membership. -/- This has been called the “homonymy principle,” and it follows from Aquinas’ view of substantial forms, and specifically from the position that substantial forms inform prime matter, rather than substance-parts. The aim of this paper will be to defend that the Thomistic claim that substantial forms account for the determinate actuality of every part of a substance is plausible and coherent. After defending the Thomistic account, I propose that approaching problems of material composition as a Thomist has a significant, oft-overlooked advantage of involving a thorough-going naturalistic methodology that resolves such problems by appeal to empirical considerations. (shrink)

In this paper, we provide an account of the ontological status of Christ’s dead body, which remained in the tomb during the three days after his crucifixion. Our account holds that Christ’s dead body – during the time between his death and resurrection – was prime matter without a substantial form. We defend this account by showing how it is metaphysically possible for prime matter to exist in actuality without substantial forms. Our argument turns on the truth of two theses: (...) God is able to produce all acts of secondary causes without those secondary causes, and Substantial forms are secondary causes of the actuality of prime matter. We argue that the metaphysical possibility of matter without form is perfectly consistent with holding both there is only one substantial form in a material substance and that prime matter is pure potentiality. Moreover, we argue that the metaphysical possibility of matter without form does little-to-no damage to our natural understanding of material substances. (shrink)

The paper considers the philosophical component of the approach to the time as an emergent phenomenon absent at the fundamental level. The anthropic principle is shown as arising from the time emergence. Consciousness is shown as an epiphenomenon in such a model, although it is more fundamental than matter in this case. An answer to the question about the prime cause is suggested.

Several metaphysical/philosophical concepts are developed as tools by which we may further understand the essence, structure, and events/symbols of “Complex” Synchronicity, and how these differ from “Chain of Events” Synchronicity. The first tool is the concept of Astronomical vs Cultural time. This tool is to be the basis of distinguishing Simple from Complex Synchronicity as Complex Synchronicities are chunks of time that have several coincidences in common with each other. We will also look at the nature of the perspective of (...) the time being quantized. The next tool is a particular case study of two movies, The Matrix and Black Swan, that may be viewed as an example of a Complex Synchronicity in the collective conscious of popular culture (as opposed to Simple Synchronicity or a single coincidence). And the final tool is the concept of “Chain of Events” synchronicity as a separate concept from Simple or Complex synchronicities. This 3rd tool is developed using a mathematical metaphor of foreshadowing (an element of storytelling) in the seemingly random pattern of prime numbers. The purpose of this paper is to distinguish and develop these concepts and to lay a foundation for the further study of the concept of Synchronicity first illuminated by Carl Jung as an acausal connecting principle between coincidences. (shrink)

After an initial premise of historical contextualization, the article presents Suárez’s theory of matter, contained above all in the Disputatio metaphysica XIII, as a renewal and conceptual and terminological improvement of the Scotist theory of prime matter exposed in Lectura II, d. 12. Based on the Scotist idea of matter as aliquid (something) endowed with a positive entitas in so far as founded on the theological notion of creation, Suárez elaborates a new ontological statute of matter, of a non-Aristotelian nature, (...) on new theoretical bases: the hipostatization of the prime matter, the immediate inhesion of the quantity on matter, the loss of unity of the material substance (and the appeal of the mode of substantial union to remedy it) and the distinction between entitative extension and quantitative extension. (shrink)

Let f(1)=2, f(2)=4, and let f(n+1)=f(n)! for every integer n≥2. Edmund Landau's conjecture states that the set P(n^2+1) of primes of the form n^2+1 is infinite. Landau's conjecture implies the following unproven statement Φ: card(P(n^2+1))<ω ⇒ P(n^2+1)⊆[2,f(7)]. Let B denote the system of equations: {x_j!=x_k: i,k∈{1,...,9}}∪{x_i⋅x_j=x_k: i,j,k∈{1,...,9}}. The system of equations {x_1!=x_1, x_1 \cdot x_1=x_2, x_2!=x_3, x_3!=x_4, x_4!=x_5, x_5!=x_6, x_6!=x_7, x_7!=x_8, x_8!=x_9} has exactly two solutions in positive integers x_1,...,x_9, namely (1,...,1) and (f(1),...,f(9)). No known system S⊆B with a finite (...) number of solutions in positive integers x_1,...,x_9 has a solution (x_1,...,x_9)∈(N\{0})^9 satisfying max(x_1,...,x_9)>f(9). For every known system S⊆B, if the finiteness/infiniteness of the set {(x_1,...,x_9)∈(N\{0})^9: (x_1,...,x_9) solves S} is unknown, then the statement ∃ x_1,...,x_9∈N\{0} ((x_1,...,x_9) solves S)∧(max(x_1,...,x_9)>f(9)) remains unproven. Let Λ denote the statement: if the system of equations {x_2!=x_3, x_3!=x_4, x_5!=x_6, x_8!=x_9, x_1 \cdot x_1=x_2, x_3 \cdot x_5=x_6, x_4 \cdot x_8=x_9, x_5 \cdot x_7=x_8} has at most finitely many solutions in positive integers x_1,...,x_9, then each such solution (x_1,...,x_9) satisfies x_1,...,x_9≤f(9). The statement Λ is equivalent to the statement Φ. It heuristically justifies the statement Φ . This justification does not yield the finiteness/infiniteness of P(n^2+1). We present a new heuristic argument for the infiniteness of P(n^2+1), which is not based on the statement Φ. Algorithms always terminate. We explain the distinction between existing algorithms (i.e. algorithms whose existence is provable in ZFC) and known algorithms (i.e. algorithms whose definition is constructive and currently known). Assuming that the infiniteness of a set X⊆N is false or unproven, we define which elements of X are classified as known. No known set X⊆N satisfies Conditions (1)-(4) and is widely known in number theory or naturally defined, where this term has only informal meaning. *** (1) A known algorithm with no input returns an integer n satisfying card(X)<ω ⇒ X⊆(-∞,n]. (2) A known algorithm for every k∈N decides whether or not k∈X. (3) No known algorithm with no input returns the logical value of the statement card(X)=ω. (4) There are many elements of X and it is conjectured, though so far unproven, that X is infinite. (5) X is naturally defined. The infiniteness of X is false or unproven. X has the simplest definition among known sets Y⊆N with the same set of known elements. *** Conditions (2)-(5) hold for X=P(n^2+1). The statement Φ implies Condition (1) for X=P(n^2+1). The set X={n∈N: the interval [-1,n] contains more than 29.5+\frac{11!}{3n+1}⋅sin(n) primes of the form k!+1} satisfies Conditions (1)-(5) except the requirement that X is naturally defined. 501893∈X. Condition (1) holds with n=501893. card(X∩[0,501893])=159827. X∩[501894,∞)= {n∈N: the interval [-1,n] contains at least 30 primes of the form k!+1}. We present a table that shows satisfiable conjunctions of the form #(Condition 1) ∧ (Condition 2) ∧ #(Condition 3) ∧ (Condition 4) ∧ #(Condition 5), where # denotes the negation ¬ or the absence of any symbol. No set X⊆N will satisfy Conditions (1)-(4) forever, if for every algorithm with no input, at some future day, a computer will be able to execute this algorithm in 1 second or less. The physical limits of computation disprove this assumption. (shrink)

This paper elaborates some of the conceptual implications of Derrida’s call for “another thinking of life” in Voyous: Deux essais sur la raison. The paper first argues that Derrida’s deconstruction of the opposition between metaphorical and literal uses of the discourse of life in La vie la mort is radicalized in Voyous when he argues that democracy’s “autoimmunitary suicide” should be the point of departure for rethinking life in general. To understand further these autoimmune-suicidal tendencies, the paper turns to Derrida’s (...) engagement with Aristotle’s conceptual figure of the prime mover in Voyous. The paper argues that Derrida turns to Aristotle because the prime mover illustrates the ways in which the concept of life remains historically and structurally informed by the philosophical value of ipseitocratic sovereignty, which is allergic to the disseminatory, proliferating, and improper qualities that the philosophical tradition has always ascribed to democracy. Autoimmunity thus provides a way for thinking of a democratic life that is not entirely determined by the teleological power of any divinely good life. (shrink)

In the given article the problems of choice as for the types and forms of debt and share financing on the developing and “frontier markets” with high interest rates have been considered, the definition of what kind of interest rates can be viewed as high and under which circumstances nominal interest rate and in which ones – the real interest rate is important for business. Also, the classification of debt and sharing financing is given and the comparative analysis of such (...) financing is made. Some close attention has been paid to the calculation of the real interest rate according to the inflation forecast. Recommendations concerning attracting of relatively cheap trade financing including international financial and credit organizations, development of operation factoring, financing from captive financial institutions of the exporters of the materials and equipment from the EU and the US have been grounded. The opportunity of relatively free of charge share financing through the mechanism of placing shares IPO/SPO is emphasized, exemplified by the results of placing shares on stock exchanges and their alternative platforms of issuing banks with businesses in Ukraine in 2005 – 2013. As a result, the conclusion concerning the necessity of thorough analysis of financial conditions on the developing and frontier markets before gaining such financing has been made. High interest rates within the average indicators even on the basis of prime rates do not necessarily mean absence of attractive conditions of financing. (shrink)

This book is written for middle and high school students, for teachers and for those with a passion for math, containing 150+1 problems (which are followed by solutions) to make it more accessible to the reader. The last problem (150+1), a very interesting one, leaves some space for comments and generalizations. The book is a collaboration between a multi-awarded student at Romania’s National Mathematics Olympiad (Carina Maria Viespescu, student in year 10 at Liceul International of Informatics Bucuresti), a teacher from (...) Colegiul National “Fratii Buzesti” din Cravoia and prof. Dr. Emeritus Florentin Smarandache from the University of New Mexico. A couple of problems are proposed by colleagues, and their names indicated in footnotes. (shrink)

Perceptual experiences justify beliefs. A perceptual experience of a dog justifies the belief that there is a dog present. But there is much evidence that perceptual states can occur without being conscious, as in experiments involving masked priming. Do unconscious perceptual states provide justification as well? The answer depends on one’s theory of justification. While most varieties of externalism seem compatible with unconscious perceptual justification, several theories have recently afforded to consciousness a special role in perceptual justification. We argue (...) that such views face a dilemma: either consciousness should be understood in functionalist terms, in which case our best current theories of consciousness do not seem to imbue consciousness with any special epistemic features, or it should not, in which case it is mysterious why only conscious states are justificatory. We conclude that unconscious perceptual justification is quite plausible. (shrink)

This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional logic with (...) implication, conjunction, disjunction, and falsity given in terms of a Hilbert-style axiomatization. As far as we know, our implementation is the first verified Henkin-style proof of completeness for intuitionistic logic following Troelstra and van Dalen's method in the literature. (shrink)

What is the state of play for science advice to the government and Parliament? After almost ten years with a prime minister’s chief science advisor, are there lessons to be learnt? How can we continue to ensure that science advice is effective, balanced, transparent and rigorous, while at the same time balancing the need for discretion and confidentiality? In this article, we suggest that the hallmarks of good science – transparency and peer review – can be balanced against the need (...) to provide confidential advice in an Aotearoa New Zealand context. To complement the advice to the prime minister, an expanded role for the Royal Society Te Apärangi would support public and parliamentary understanding of science and science issues relevant to policy. (shrink)

If the prime mover must be considered as efficient cause and not only as a final cause, then one must ask: why does God move the heavens? We hold the position that the anthropocentrism which Aristotle maintains is able to sufficiently justify the thesis that God moves the spheres so that human beings may exist. This provides an additional motive for accepting providence, which is manifestly ordered specifically towards man.

Soonya Vaada, the prime and significant contribution to Indian philosophical thought from Buddhism will be scientifically developed and presented. How this scientific understanding helped to sow seeds of origin of rationalism and its development in Buddhist thought and life will be delineated. Its role in the shaping of Buddhist and other Indian philosophical systems will be discussed. Its relevance and use in the field of cognitive science and development of theories of human consciousness and mind will be put forward. The (...) idea of absence as zero in number system, vacuum in physics and other natural sciences and state of absence of cognition in mind machine modeling will be presented. The use of significance of Soonya Vaada in philosophy, rational social life, natural sciences and technology, mathematics and cognitive science will be comprehensively discussed and a model for human cognition and communication will be arrived at. -/- . (shrink)

According to many criteria, agency, intentionality, responsibility and freedom of decision, require conscious decisions. Freud already assumed that many of our decisions are influenced by dynamically unconscious motives or that we even perform unconscious actions based on completely unconscious considerations. Such actions might not be intentional, and perhaps not even actions in the narrow sense, we would not be responsible for them and freedom of decision would be missing. Recent psychological and neurophysiological research has added to this a number of (...) phenomena (the "new unconscious") in which behavior is completely unconscious or in which the decision or its execution is influenced by unconscious factors: priming, automatic behavior, habitualized behavior, actions based on plain unconscious deliberations, intrusion of information from the dorsal pathway, etc. However, since this makes up the largest part of the behavior which is generally regarded as action, intentionality, yet agency, responsibility and even compatibilist freedom of decision for the largest part of our behavior may be threatened. Such considerations have led to a lively debate, which, however, suffers from generalizations that lump all these unconscious phenomena together. In contrast, the aim of this article is to discuss individual unconscious influences on our behavior separately with respect to what extent they require changes in traditional conceptualizations. The first part (2-4) of the article outlines the "traditions" and their elaborations: the intentional causalist concept of action, an associated empirical theory of action and standard concepts of responsibility and compatibilist freedom of decision, as well as the challenges for them. In the second part (5-9), the aforementioned unconscious influences on our actions (except for automated and habitualized actions, which I discuss elsewhere) are examined: 1. unconscious priming, 2. dynamically unconscious motives, 3. dorsal pathway information influencing conscious decisions, 4. unconsciously altered execution of conscious intentions, 5. unconscious deliberations and decisions. To what extent do these phenomena C1. require a change in the concept of action, C2. curtail intentionality or agency, C3. responsibility and C4. freedom? The result is: The curtailments prove to be far less dramatic than they initially appear; they require more watchfulness but no conceptual change. (shrink)

Maria Gołaszewska (1926–2015), a Polish philosopher, was associated throughout her life with Poland’s oldest academic institution, the Jagiellonian University in Cracow. She was a student of the phenomenologist Roman Ingarden, himself a student of Edmund Husserl. During the postwar and communist years in Poland, Gołaszewska conducted research focusing on issues related to art and aesthetics. She created her own conception of empirically and anthropologically oriented aesthetics, which I believe is a prime example of a theory that accounts for the perspective (...) of gender, and in this sense should be acknowledged as an important contribution to contemporary gender-sensitive/feminist philosophy. In the article, I present Gołaszewska’s life, academic career, and philosophy as a cognitively valuable response to feminist philosophy’s search for a suitable description of women’s experiences related to art and aesthetic perception. (shrink)

Duties constitute an integral part of the constitutional scheme of values. The nature and influence of duties is of great interest to practitioners and scholars. The literature on the subject is primarily concerned with the exactness of duties as operational values within constitutions. In general, Bauer and Bolsinger attribute three functions to constitutional values. Namely, they regulate by directing human action at the desired target, enabling legitimation and justification of actions, and simplifying decision-making. While debating whether duties have a functional (...) quality, several questions gain prime importance. To name a few- do constitutional duties enable positive action? Is there a universal binding framework on duties? How are duties related to other constitutional values within constitutions? Are duties within constitutions interpreted in light of international standards? Are there unenumerated or un-written duties? etc. (shrink)

In the light of a study of the di erence between political actors and ordinary citizens as language users, and based on three moral arguments (consequence-based, recognition-based, and complicity-based), we propose that democratic representatives have an imperfect duty to use gender-fair-language in their public communication. In the case of members of the executive, such as ministries, prime ministries, and presidents, such an imperfect duty could also be justi ed on democratic grounds. Their choice of using a gender-unfair language, we argue, (...) can cast doubts on the fundamental democratic commitment to respect the agency of all present and future citizens as potential participants in the law-making process. (shrink)

The tragedy of the commons is a primary contributing factor in ensuring that humanity makes no serious inroads in averting climate change. As a recent Canadian politician pointed out, we could shut down the Canadian economy tomorrow, and it would make no measurable difference in global greenhouse gas emissions. When coordinated effort is required, it would seem that doing the “right thing” alone is irrational: it will harm oneself with no positive consequences as a result. Such is the tragedy. And (...) that is the challenge that we take up here. Though Garrett Hardin suggests that the solution is a governmental process that rules over all contenders, since a world government seems unlikely before the planet hits the tippy point, we suggest an educational initiative instead: one that holds a mirror up to the behaviour of individuals, rather than to the behaviour of individuals in groups. Such an educational initiative would be focused on priming individuals to keep constant track of what they do as individuals as opposed to focusing on the behaviour of humanity in general. Such an educational initiative would focus on tackling the “problem solvers” rather than just “the problem”. (shrink)

During the corona pandemic, politicians have been forced to make urgent decisions under pressure while balancing between challenging options: protecting citizens’ health or causing major social and economic difficulties through security measures. Part of the dilemma has been whether the chosen security measures are oversized, causing fundamental economic and social problems, or not sufficiently enough, thus putting people’s lives at risk. In illustrating our discussion with actions taken by press conferences (PCs) of the Finnish Government, we discuss how nonknowing has (...) governed political decision-making in the corona crisis and how tackling the pandemic has required politicians and experts to develop a capability of dealing with the epistemic conditions of nonknowledge. When information about the virus was constantly updated, the epistemic states of ‘not-yet-known’ or ‘partly-known’ substantially affect the rhythms in which political decisions are made in managing the spread of COVID-19. We suggest that Prime Minister Marin and her cabinet developed a policy of epistemic humility where the legitimation of decision is not based on scientific knowledge but rather on the temporality of nonknowing. The crisis created a favourable momentum for addressing issues of nonknowing in politics, which are easily kept outside of the public attention. (shrink)

K denotes both the knowledge predicate satisfied by every currently known theorem and the finite set of all currently known theorems. The set K is time-dependent, publicly available, and contains theorems both from formal and constructive mathematics. Any theorem of any mathematician from past or present forever belongs to K. Mathematical statements with known constructive proofs exist in K separately and form the set K_c⊆K. We assume that mathematical sets are atemporal entities. They exist formally in ZFC theory although their (...) properties can be time-dependent (when they depend on K) or informal. The true statement "K is non-empty" is outside K forever because K is not a formal set. Paul Cohen proved in 1963 that the equality 2^{\aleph_0}=\aleph_1 is independent of ZFC. Before 1963, the statement "There is a known constructively defined integer n⩾1 such that 2^{\aleph_0}=\aleph_n" was outside K. Since 1963, this statement is outside K forever. The true statement "There exists a set X⊆{1,...,49} such that card(X)=6 and X never occurred as the winning six numbers in the Polish Lotto lottery" refers to the current non-mathematical knowledge and is outside K forever. In Martin-Löf's terminology, every currently known theorem is actually true whereas every theorem (known or unknown) is potentially true. Actual truth is knowledge dependent and tensed. Potential truth is knowledge independent and tenseless. Algorithms always terminate. We explain the distinction between algorithms whose existence is provable in ZFC and constructively defined algorithms which are currently known. By using this distinction, we obtain non-trivially true statements on decidable sets X⊆N that belong to constructive and informal mathematics and refer to the current mathematical knowledge on X. For every such statement, its truth concerning the current mathematical knowledge is implied by a true statement of the form: (the conjunction of i conditions of the form α∈K)∧(the conjunction of j conditions of the form β∉K)∧(the conjunction of k conditions of the form γ∈K_c)∧(the conjunction of l conditions of the form δ∉K_c), where i,j,k,l∈N and α,β,γ,δ are mathematical statements. In constructive mathematics and the traditional Brouwerian intuitionism, the truth of a mathematical statement means that we know a constructive proof. Therefore, the truth of a mathematical statement depends on time, where the statement is formally stated in the classical mathematics without the predicate K. In this article, mathematical statements on decidable sets X⊆N refer to time because they refer to the current mathematical knowledge on X. They cannot be formally stated in the classical mathematics without the predicate K and their logical values may change in time. For a set X⊆N whose infiniteness is false or unproven, we define which elements of X are classified as known. No known set X⊆N satisfies Conditions (1)-(4) and is widely known in number theory or naturally defined, where this term has only informal meaning. (1) A known algorithm with no input returns an integer n satisfying card(X)<ω ⇒ X⊆(-∞,n]. (2) A known algorithm for every k∈N decides whether or not k∈X. (3) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(X)=ω" is outside K. (4) There are many elements of X and it is conjectured, though so far unproven, that X is infinite. (5) X is naturally defined. The infiniteness of X is false or unproven. X has the simplest definition among known sets Y⊆N with the same set of known elements. No set X⊆N will satisfy Conditions (1)-(4) forever, if for every algorithm with no input, at some future day, a computer will be able to execute this algorithm in 1 second or less. The physical limits of computation disprove the assumption of the above statement. We prove that the set X={n∈N: the interval [-1,n] contains more than 29.5+(11!/(3n+1))∙sin(n) primes of the form k!+1} satisfies Conditions (1)-(5) except the requirement that X is naturally defined. We present a table that shows satisfiable conjunctions of the form #(Condition1)∧(Condition 2)∧#(Condition 3)∧(Condition 4)∧#(Condition 5), where # denotes the negation ¬ or the absence of any symbol. We prove that there exists a naturally defined set C⊆N which satisfies the following conditions (6)-(11). (6) A known and simple algorithm for every k∈N decides whether or not k∈C. (7) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(C)=ω" is outside K. (8) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(N\C)=ω" is outside K. (9) It is conjectured, though so far unproven, that C is infinite. (10) For every known algorithm A with no input, the statement "A returns an integer n satisfying card(C)<ω ⇒ C⊆(-∞,n]" is outside K. (11) For every known algorithm A with no input, the statement "A returns an integer m satisfying card(N\C)<ω ⇒ N\C⊆(-∞,m]" is outside K. The set C={k∈N: 2^{2^k}+1 is composite} is naturally defined and satisfies conditions (6)-(11). (shrink)