If the transcendence tree to which our world belongs has a root, and that root is a mind, then what can be known about that mind? It seems there are two sources of knowledge, theology (that mind may have revealed itself to us) and philosophy (we may be able to reason about it from first principles). Here we shall look into that latter aspect.

This paper is about the meaning and function of identity statements involving proper names. There are two prominent views on this topic, according to which identity statements ascribe a relation: the object-view, on which identity statements ascribe a relation borne by all objects to themselves, and the name-view, on which an identity statement 'a is b' says that the names 'a' and 'b' codesignate. The object- and name-views may seem to exhaust the field. I make a case (...) for treating identity statements as sui generis instead of attempting to explain them by means of the idea that they ascribe a relation. My contention is that once we do this, no analysis is required. -/- I do not wish to insist that we stop saying that identity statements ascribe a relation. The point is that there is a fundamental disanalogy between identity statements and other two-termed statements which we overlook to our peril. This will be seen to parallel the more recognized disanalogy between existence statements and other one-termed statements. One way of registering the fundamental disanalogy is to say that identity statements are not relational, but this is not essential. Following my negative arguments in section 2, I employ some simple diagrammatical models in section 3 to exhibit the fundamental disanalogy. In a final section I respond to some possible objections which may be raised against this kind of approach. (shrink)

Many believe that, if true, reason-statements of the form ‘that X is F is a reason to φ’ describe a ‘favouring-relation’ between the fact that X is F and the act of φing. This favouring-relation has been assumed to share many features of other, more concrete relations. This combination of views leads to immediate problems. Firstly, unlike statements about many other relations, reason-statements can be true even when the relata do not exist, i.e., when the relevant facts (...) do not obtain and the relevant acts are not done. Secondly, the previous combination of views also makes it very difficult to draw the distinction between agent-relative and agent-neutral reasons. I argue that we should think that the predicate ‘is a reason to’ creates non-extensional contexts in the statements in which it is used. This would both solve the previous problems and avoid the awkward consequences of the so-called slingshot argument. (shrink)

Popper's well-known demarcation criterion has often been understood to distinguish statements of empirical science according to their logical form. Implicit in this interpretation of Popper's philosophy is the belief that when the universe of discourse of the empirical scientist is infinite, empirical universal sentences are falsifiable but not verifiable, whereas the converse holds for existential sentences. A remarkable elaboration of this belief is to be found in Watkins's early work on the statements he calls “all-and-some,” such as: “For (...) every metal there is a melting point.” All-and-some statements are both universally and existentially quantified in that order. Watkins argued that AS should be regarded as both nonfalsifiable and nonverifiable, for they partake in the logical fate of both universal and existential statements. This claim is subject to the proviso that the bound variables are “uncircumscribed” ; i.e., that the universe of discourse is infinite. (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)

Epistemologists take themselves to disagree about whether there are situations where it is rational for one to believe that p and rational for one to believe that one’s evidence does not support p (rational akrasia). The embedded sentence ‘one’s evidence does not support p’ can be interpreted in two ways, however, depending on what the semantic contribution of ‘one’s evidence’ is taken to be. ‘One’s evidence’ might be seen as a sheer indexical or as a descriptive singular term. The first (...) interpretation makes the relevant kind of rational akrasia impossible, whereas the second one makes it possible. But the proposition that is taken to be expressed by ‘one’s evidence does not support p’ by each of these interpretations is not the same. We thus have a rational reconstruction of views that are labeled as being for and against the possibility of rational akrasia according to which they do not really contradict each other. (shrink)

The five English words—sentence, proposition, judgment, statement, and fact—are central to coherent discussion in logic. However, each is ambiguous in that logicians use each with multiple normal meanings. Several of their meanings are vague in the sense of admitting borderline cases. In the course of displaying and describing the phenomena discussed using these words, this paper juxtaposes, distinguishes, and analyzes several senses of these and related words, focusing on a constellation of recommended senses. One of the purposes of this paper (...) is to demonstrate that ordinary English properly used has the resources for intricate and philosophically sound investigation of rather deep issues in logic and philosophy of language. No mathematical, logical, or linguistic symbols are used. Meanings need to be identified and clarified before being expressed in symbols. We hope to establish that clarity is served by deferring the extensive use of formalized or logically perfect languages until a solid “informal” foundation has been established. Questions of “ontological status”—e.g., whether propositions or sentences, or for that matter characters, numbers, truth-values, or instants, are “real entities”, are “idealizations”, or are “theoretical constructs”—plays no role in this paper. As is suggested by the title, this paper is written to be read aloud. -/- I hope that reading this aloud in groups will unite people in the enjoyment of the humanistic spirit of analytic philosophy. (shrink)

It is my pleasure to present you the first issue of the Argument: Biannual Philosophical Journal, published by the Department of Philosophy and Sociology, Pedagogical University of Cracow. This is a peer-reviewed journal founded to facilitate dialogue between Polish and international scholars and, on the other hand, to build bridges between professional philosophers and a wider educated public. We are open to the publishing of scholarly studies in history of philosophy as well as papers reporting the on-going debates in contemporary (...) philosophy, representing various currents in philosophical inquiry, including continental, analytic, non-Western traditions and comparative perspectives. We also publish polemical papers, responses and interviews, book reviews and notices from professional philosophers. Besides, we are open to critical and innovative suggestions concerning teaching methods and the purposes of up-to-date philosophical education. As the name itself suggests, the Argument is intended to provoke rational argument, encourage clear and precise reasoning, and enhance the essential philosophical need for justification and well-founded argument that support the presented views and clarify the accepted positions. the Argument is also intended to serve as a forum for dedicated philosophical debate, polemics and dispute implied by the plurality of the methods and possible interpretations developed within contemporary philosophy. Being aware of the variety of socio-epistemic dimensions of scholarship we also encourage critical, inter-disciplinary and creative articles on topics of traditional and emerging interest. Therefore, we welcome papers on such varied specialisations as: metaphysics, ontology, epistemology, axiology, logic, philosophy of religion, philosophy of mind, political philosophy, philosophy of science, as well as philosophical education, gender and feminist thought, bioethics, environmental philosophy, etc. Favouring methodological and thematic plurality we also want to present philosophy as a rich field of great cultural and social value. (shrink)

Speech and thought about what the law is commonly function in practical ways, to guide or assess behavior. These functions have often been seen as problematic for legal positivism in the tradition of H.L.A. Hart. One recent response is to advance an expressivist analysis of legal statements (Toh), which faces its own, familiar problems. This paper advances a rival, positivist-friendly account of legal statements which we call “quasi-expressivist”, explicitly modeled after Finlay’s metaethical theory of moral statements. This (...) consists in a descriptivist, “rule-relational” semantics combined with a pragmatic account of the expressive and practical functions of legal discourse. We argue that this approach is at least as well-equipped as expressivism to explain the motivational and prescriptive features of “internal” legal statements, as well as a fundamental kind of legal disagreement, while being better positioned to account for various “external” uses of the same language. We develop this theory in a Hartian framework, and in the final part of the paper argue (particularly against Toh’s expressivist interpretation) that Hart’s own views in The Concept of Law are best reconstructed along such quasi-expressivist lines. (shrink)

The Astronist Statement on the Situation of the Human Species, often simply referred to as The Astronist Statement, is a non-technical manifesto of the Astronist philosophy and religion, altogether referenced as the Astronist belief system. It provides a summary of the Astronist perspective on the human condition as this pertains to and is influenced by the ultimate goals of Astronism and the purposes it prescribes to human life through its doctrines on transcension, cosmocentrism, suronality and astrosis. The Astronist Statement is (...) made equivalent to other kinds of theological or ideological manifestos in that it outlines the fundamental problems that Astronism sees effecting the human species and presents solutions to these problems identified. The underlying principle of The Astronist Statement and thereby, all Astronism, is that due to the pervading cosmic limitation, human beings both individually and collectively are limited in our capacities to do and be. This means that the human species is inherently though not hopelessly limited which is pinpointed as the underlying reason for all the suffering, evil and wrongdoing in the world. It is the goal of the Astronist religion to extinguish human limitation because in humanity, Astronism sees the potential for transcension meaning that humanity may one day, via our expansion into the astronomical world, transverse the boundaries of cosmic limitation to become unlimited beings possessing total freedom and thereby having also extinguished our woes of suffering and evil. The Astronist Statement conveys this message of humanity's capacity to transverse limitation via the salvific process of transcension, an endeavour that has indeed become the central dogma of the Astronist religion and thereby the central goal and life purpose of all Astronists. (shrink)

We, the proponents of the Philosophy of Ethical Empirical Rationalism, have reviewed Heather Cox Richardson’s Democracy Awakening: Notes on the State of America and find it a case study in how modern academic work has become far too entangled with media-driven narratives, ultimately sacrificing rigor in favor of ideological amplification. While Richardson’s historical analysis provides some value, it is clear that her failure to apply empirical methods to contemporary issues, coupled with her recent appearance on a popular media platform, reveals (...) a troubling trend in academic scholarship today. (shrink)

Quine's views on semantic holism and observation statements appear to be incompatible. My paper is an attempt to alleviate this tension.

While the volume of material inspired by Rawls’s reinvigoration of the discipline back in 1971 has still not begun to subside, its significance has been in serious decline for quite some time. New and important work is appearing less and less frequently, while the scope of the work that is appearing is getting smaller and more internal and its practical applications more difficult to discern. The discipline has reached a point of intellectual stagnation, even as real-world events suggest that the (...) need for what political philosophy can provide could not be more critical. What follows then is a set of statements about how I believe that we, as political philosophers, should approach what we do. It contains my view as to what political philosophy should be about, how political philosophy should be done, and how courses in political philosophy should be taught, interlaced with commentary on the current state of the profession. (shrink)

[English abstract] In his last metaethical statement, Parfit revisits his earlier arguments for non-metaphysical normative non-naturalism , and points to the possibility of convergence between his view and Railton's non-analytical normative naturalism. I examine the basis of this convergence claim and find it unpersuasive, mainly because if their views converge on the same position, Parfit's non-natural norms exist only as predicates. In order to avoid this consequence, he needs to present a reason for believing in the existence of normative properties (...) . There is an indispensability argument implicit in his text, with concepts of sui generis normative ground and necessity at its centre. I discuss their main features and present problems besetting these concepts. (shrink)

In this paper I explore Karl Popper’s ‘critical rationalism’, focusing on its presuppositions and implications as a form of realism regarding the nature of scientific truth. I reveal an underlying tension in Popper’s thought pertaining to his account of basic statements and the related question of whether the falsification of a universal theory can ever justifiably be regarded as final or conclusive. I conclude that Popper’s account of basic statements is implicitly conventionalist, and that it should, in consistency, (...) have forced him in the direction of Quinean holism. (shrink)

The aim of this paper is to apply inductive logic to the field that, presumably, Carnap never expected: legal causation. Legal causation is expressible in the form of singular causal statements; but it is distinguished from the customary concept of scientific causation, because it is subjective. We try to express this subjectivity within the system of inductive logic. Further, by semantic complement, we compensate a defect found in our application, to be concrete, the impossibility of two-place predicates (for causal (...) relationship) in inductive logic. (shrink)

What is the relationship between Russell's conception of philosophy and that of the author of the Tractatus, Ludwig Wittgenstein? My paper is an attempt to show that Russell and the early Wittgenstein do not share the same conception of philosophy and that the fault lines of their divergent views can be located in The Problems of Philosophy i,e, before the traditionally cited Theory of Knowledge manuscript.

Confirming Robinson’s Statement? A Lakatosian Analysis of Keynes and his Immediate Orthodoxy Jesús Muñoz Abstract Was the Keynesian message alive during the second half of the XXth Century, or was it betrayed by his followers? This article in the fields of the history of economic thought and methodology contrasts the Scientific Research Programmes (SRPs), a Lakatosian concept, of Keynes in The General Theory of Employment, Interest and Money (TGT) with those of its immediate orthodox schools: Monetarism (MS), Neoclassical Synthesis (NS), (...) New Classical Macroeconomics – rational expectations – (RE) and General Disequilibrium (GD). The objective is to to assess the immediate impact of Keynes’s vision in economics. It can be concluded according to this comparison that Keynes’s bequeath was alive during the period between 1950 and 1980, but that it was accepted under different names. Many economists deny this statement. However it is hereby argued with the help of Lakatosian methodology that in both economic and philosophical terms the MS, NS, RE and GD SRPs are degenerative variants of Keynes's SRP. The Keynesian reasoning chain -a non self-regulated system, non neutrality on the part of money, organicism, non-ergodicity, historical time and uncertainty- is misunderstood and hence misapplied on the part of these deviant schools, or transformed into “bastard Keynesianism”, to quote Joan Robinson (Joan Robinson, 1975[1973], 125). In other words, Keynes’s economics is different from Keynesian economics as was firstly proposed by Axel Leijonhuvfud (Leijonhuvfud, 1968). The internal history of macroeconomics in those periods is undertaken, since it is is the rational reconstruction of the meaning of a SRP. Section 1 is an introduction to basic concepts related to philosophy of science and methodology, especially Lakatosian methodology, which can be skipped by the specialized reader. Section 2 is an analysis of Keynes’s hard core in his SRP, also being an introduction to the problem as it outlines Keynes’s thinking, Section 3 describes initial Post Keynesianism, which was faithful to the original message. Sections 4, 5, 6 and 7 outline the hard cores of Monetarists, Neoclassical Synthesis, New Classical Macroeconomics and General Disequilibrium, respectively. Section 8 is a comprehensive analysis of the differences between the mentioned paradigms, and hence concludes. References are listed at the end of the article. (shrink)

This is the full version of the Delphi Report on critical thinking and critical thinking instruction at the post-secondary level.

In epistemology and philosophy of science, there has been substantial debate about truth’s relation to understanding. “Non-factivists” hold that radical departures from the truth are not always barriers to understanding; “quasi-factivists” demur. The most discussed example concerns scientists’ use of idealizations in certain derivations of the ideal gas law from statistical mechanics. Yet, these discussions have suffered from confusions about the relevant science, as well as conceptual confusions. Addressing this example, we shall argue that the ideal gas law is best (...) interpreted as favoring non-factivism about understanding, but only after delving a bit deeper into the statistical mechanics that has informed these arguments and stating more precisely what non-factivism entails. Along the way, we indicate where earlier discussions have gone astray, and highlight how a naturalistic approach furnishes more nuanced normative theses about the interaction of rationality, understanding, and epistemic value. (shrink)

Statements about the behavior of biochemical entities (e.g., about the interaction between two proteins) abound in the literature on molecular biology and are increasingly becoming the targets of information extraction and text mining techniques. We show that an accurate analysis of the semantics of such statements reveals a number of ambiguities that have to be taken into account in the practice of biomedical ontology engineering: Such statements can not only be understood as event reporting statements, but (...) also as ascriptions of dispositions or tendencies that may or may not refer to collectives of interacting molecules or even to collectives of interaction events. (shrink)

The theorem of Royer and Case states that there exists a limit-computable function β_1:N→N which eventually dominates every computable function δ_1:N→N. We present an alternative proof of this theorem. 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 and publicly available. Any theorem of any mathematician from past or present forever belongs to K. We prove: (1) there exists a limit-computable function f:N→N of (...) unknown computability which eventually dominates every function δ:N→N with a single-fold Diophantine representation. We present both constructive and non-constructive proof of (1). Statement (1) claims that there exists a function f:N→N such that (f is computable in the limit)∧(¬K(f is computable))∧(¬K(f is uncomputable))∧(f eventually dominates every function δ:N→N with a single-fold Diophantine representation). Since Martin Davis' conjecture on single-fold Diophantine representations disproves Statement (1), Statement (1) justifies the title of the article. Let Λ denote the statement: there exists a positive integer b such that it is unknown whether or not the equation x!+b=y^2 has infinitely many solutions in positive integers x and y. We prove that Λ justifies the title of the article. (shrink)

Generic statements express generalizations about categories. Current theories suggest that people should be especially inclined to accept generics that involve threatening information. However, previous tests of this claim have focused on generics about non-human categories, which raises the question of whether this effect applies as readily to human categories. In Experiment 1, adults were more likely to accept generics involving a threatening property for artifacts, but this negativity bias did not also apply to human categories. Experiment 2 examined an (...) alternative hypothesis for this result, and Experiments 3 and 4 served as conceptual replications of the first experiment. Experiment 5 found that even preschoolers apply generics differently for humans and artifacts. Finally, Experiment 6 showed that these effects reflect differences between human and non-human categories more generally, as adults showed a negativity bias for categories of non-human animals, but not for categories of humans. These findings suggest the presence of important, early-emerging domain differences in people's judgments about generics. (shrink)

This document presents the Bonn PRINTEGER Consensus Statement: Working with Research Integrity—Guidance for research performing organisations. The aim of the statement is to complement existing instruments by focusing specifically on institutional responsibilities for strengthening integrity. It takes into account the daily challenges and organisational contexts of most researchers. The statement intends to make research integrity challenges recognisable from the work-floor perspective, providing concrete advice on organisational measures to strengthen integrity. The statement, which was concluded February 7th 2018, provides guidance on (...) the following key issues: § 1. Providing information about research integrity§ 2. Providing education, training and mentoring§ 3. Strengthening a research integrity culture§ 4. Facilitating open dialogue§ 5. Wise incentive management§ 6. Implementing quality assurance procedures§ 7. Improving the work environment and work satisfaction§ 8. Increasing transparency of misconduct cases§ 9. Opening up research§ 10. Implementing safe and effective whistle-blowing channels§ 11. Protecting the alleged perpetrators§ 12. Establishing a research integrity committee and appointing an ombudsperson§ 13. Making explicit the applicable standards for research integrity. (shrink)

This document presents the Bonn PRINTEGER Consensus Statement: Working with Research Integrity—Guidance for research performing organisations. The aim of the statement is to complement existing instruments by focusing specifically on institutional responsibilities for strengthening integrity. It takes into account the daily challenges and organisational contexts of most researchers. The statement intends to make research integrity challenges recognisable from the work-floor perspective, providing concrete advice on organisational measures to strengthen integrity. The statement, which was concluded February 7th 2018, provides guidance on (...) the following key issues: § 1.Providing information about research integrity § 2.Providing education, training and mentoring § 3.Strengthening a research integrity culture § 4.Facilitating open dialogue § 5.Wise incentive management § 6.Implementing quality assurance procedures § 7.Improving the work environment and work satisfaction § 8.Increasing transparency of misconduct cases § 9.Opening up research § 10.Implementing safe and effective whistle-blowing channels § 11.Protecting the alleged perpetrators § 12.Establishing a research integrity committee and appointing an ombudsperson § 13.Making explicit the applicable standards for research integrity. (shrink)

Classical Trinitarians claim that Jesus—the Son of God—is truly God and that there is only one God and the Father is God, the Spirit is God, and the Father, Son, and Spirit are distinct. However, if the identity statement that ‘the Son is God’ is understood in the sense of numerical identity, logical incoherence seems immanent. Yet, if the identity statement is understood according to an ‘is’ of predication then it lacks accuracy and permits polytheism. Therefore, we argue that there (...) is another sense of ‘is’ needed in trinitarian discourse that will allow the Christian to avoid logical incoherence while still fully affirming all that is meant to be affirmed in the confession ‘Jesus is God.’ We suggest a sense of ‘is’ that meets this need. (shrink)

The paper argues, as against Thau and Caplan, that the traditional interpretation that Frege abandoned his earlier views about identity and identity--statements is correct.

I take issue with Glezakos’s explanation of why Frege’s puzzle is un-puzzling. On her view, Frege’s statement – how can sentences of the form a=a and a=b, if true, differ in cognitive value if they express the same semantic content/are made true by the same object’s self-identity? – should not be considered any puzzling either because it is on the whole circular, or because, neutrally stated, it cannot even be set up. I argue against this that if, as she takes (...) it, Frege’s statement is “problematic” it is not for the reasons she gives, but because it rests upon a couple of questionable assumptions: i) there is no ambiguity as to which aspect of the sign (in its relation to the referent) is relevant to a neutral statement of the puzzle ii) it is of the (sentence) forms themselves one may sensibly say they differ in cognitive value. (shrink)

The present first part about the eventual completeness of mathematics (called “Hilbert mathematics”) is concentrated on the Gödel incompleteness (1931) statement: if it is an axiom rather than a theorem inferable from the axioms of (Peano) arithmetic, (ZFC) set theory, and propositional logic, this would pioneer the pathway to Hilbert mathematics. One of the main arguments that it is an axiom consists in the direct contradiction of the axiom of induction in arithmetic and the axiom of infinity in set theory. (...) Thus, the pair of arithmetic and set are to be similar to Euclidean and non-Euclidean geometries distinguishably only by the Fifth postulate now, i.e. after replacing it and its negation correspondingly by the axiom of finiteness (induction) versus that of finiteness being idempotent negations to each other. Indeed, the axiom of choice, as far as it is equivalent to the well-ordering “theorem”, transforms any set in a well-ordering either necessarily finite according to the axiom of induction or also optionally infinite according to the axiom of infinity. So, the Gödel incompleteness statement relies on the logical contradiction of the axiom of induction and the axiom of infinity in the final analysis. Nonetheless, both can be considered as two idempotent versions of the same axiom (analogically to the Fifth postulate) and then unified after logicism and its inherent intensionality since the opposition of finiteness and infinity can be only extensional (i.e., relevant to the elements of any set rather than to the set by itself or its characteristic property being a proposition). So, the pathway for interpreting the Gödel incompleteness statement as an axiom and the originating from that assumption for “Hilbert mathematics” accepting its negation is pioneered. A much wider context relevant to realizing the Gödel incompleteness statement as a metamathematical axiom is consistently built step by step. The horizon of Hilbert mathematics is the proper subject in the third part of the paper, and a reinterpretation of Gödel’s papers (1930; 1931) as an apology of logicism as the only consistent foundations of mathematics is the topic of the next second part. (shrink)

The dominant route to nondescriptivist views of normative and evaluative language is through the expressivist idea that normative terms have distinctive expressive roles in conveying our attitudes. This paper explores an alternative route based on two ideas. First, a core normative term ‘ought’ is a modal operator; and second, modal operators play a distinctive nonrepresentational role in generating meanings for the statements in which they figure. I argue that this provides for an attractive alternative to expressivist forms of nondescriptivism (...) about normative language. In the final section of the paper, I explore ways it might be extended to evaluative language. (shrink)

It is argued that rather than a well defined F-Twist, Milton Friedman’s “Methodology of positive economics” offers an F-Mix: a pool of ambiguous and inconsistent ingredients that can be used for putting together a number of different methodological positions. This concerns issues such as the very concept of being unrealistic, the goal of predictive tests, the as-if formulation of theories, explanatory unification, social construction, and more. Both friends and foes of Friedman’s essay have ignored its open-ended unclarities. Their removal may (...) help create new common ground for more focused debate in economics. Here I show how F53 can be reread/rewritten as a socially constructivist fallibilist, and realist statement – in contrast to the received instrumentalist interpretation. (shrink)

This paper advances a novel hybrid theory addressing a fundamental puzzle in legal philosophy: how legal statements can simultaneously have both cognitive and practical features. Drawing on contemporary developments in metaethics and philosophy of language, we argue that legal statements express both beliefs and desire-like attitudes. My analysis yields three key findings. First, I demonstrate that within any given legal system, the descriptive content of legal statements remains invariant across different contexts of use and assessment – a (...) feature that explains persistent patterns of legal disagreement, retraction and attribution of responsibility for content. Second, I show that the desire-like states expressed by legal statements are uniformly directed at the general property picked out by “It is the law that…” rather than at particular legal norms, regardless of the speaker – thereby preserving their inference-licensing property and evidential function. Third, I identify generalized conversational implicature as the mechanism through which legal statements convey desire-like states explaining their distinctive practical features. This theoretical framework offers a novel solution to the puzzle of legal motivation: rather than positing a necessary conceptual link between legal judgment and motivation, it explains their characteristic connection through the general action-guiding purpose of legal discourse and Gricean conversational principles. (shrink)

Statements about the behavior of biological entities, e.g. about the interaction between two proteins, abound in the literature on molecular biology and are increasingly becoming the targets of information extraction and text mining techniques. We show that an accurate analysis of the semantics of such statements reveals a number of ambiguities that is necessary to take into account in the practice of biomedical ontology engineering. Several concurring formalizations are proposed. Emphasis is laid on the discussion of biological dispositions.

Karl Popper rightly contests the possibility of a verification of basic statements. At the same time he strictly believes in the possibility of growth of empirical knowledge. Knowledge growth, however, is only possible if empirical theories can be falsified. This raises the question, how theories can be falsified, if a verification of those statements that falsify theories – i.e. basic statements – is not possible. This problem is often referred to as the “basic problem” or “problem of (...) the empirical basis”. In this paper I show that – from a logical point of view – a falsification of theories is possible without a verification of basic state-ments. Furthermore I show that knowledge growth in the empirical sciences will be possible if two assumptions are valid. These assumptions can neither be proven nor falsified. However, they have to be postulated by everybody in eve-ryday life. (shrink)

In this paper, I tested a KNN algorithm that could recognise a paraphrased version of a statement entered in the Essay Helper GitHub Repository, which recognises reused statements while questioning the user to write a humanities-style essay.

We contest the unsubstantiated assumption of both materialists and non-materialist that the ontological status they propose applies to all humans and that the competing claim is false for all - ie we reject both the claim of non-materialists that all humans share the same fundamental aspect of having a "non-material consciousness" (nmc), as well as the contrasting claim of materialists that none do (being fully material as according to eliminative materialists/reductive physicalists etc). Instead, the basic proposition of this paper, our (...) ‘ontological conecture’ (OC) - an updated version of our 1998 website article “Mindless Materialists” - is that the central tenets of proponents on both sides are true, but only regarding themselves. A signature feature of nmc is that brains associated to it are capable of knowing of its existence directly, and as a corollary we would propose that if a sophisticated brain does not know it is associated to nmc then most likely this is because it is in fact not so associated. Thus, in accordance with our OC we will consider a brain’s statements on this issue (that it does or does not possess nmc) as not merely its ‘philosophical position’ but as an authoritative statement, a reflection of an ontological fact. Furthermore, we propose that only those who possess nmc are capable of understanding what it is, so that although they are well-qualified to know directly that they themselves possess it, in contrast those who lack nmc and possess only material consciousness (mc) cannot even comprehend what non-materiality means - they will understandably tend to consider it a non-existent absurdity, which contention would be quite correct in a purely-material reality, such as they effectively inhabit. -/- Terminology reflecting ontological status: Since according to our OC those brains which categorize themselves as non-materialists are presumed to indeed be associated to nmc, for usefulness in phraseology we’ll refer to people whose brain is so associated as being nmc’s (not merely “espousing nmc”). Materialists say they are conscious but that theirs is a material consciousness (abbrev: “mc”) , and since according to our OC we accept this self-determination we will refer to them as being “mc’s” or being materialist (not merely “espousing materialism”). -/- Are materialists mindless or are non-materialists delusional? Notoriously, it is impossible to prove that one possesses nmc (which is a sort of corollary to the fact that it is directly self-known) - being non-material, nmc cannot be detected via the scientific method. However just as those with nmc cannot prove they possess it so too one cannot prove or determine via measurement that materialists do not possess it. Nevertheless we feel that our OC is the simplest solution to the conundrum of how there are materialists if a brain can directly sense its associated nmc. In sum, although of course it is impossible to prove that any particular person possesses or lacks nmc, given all the above our OC considers - as stated by the title of this paper - a brain’s self-identification as "materialist" or “non-materialist” (dualist, panpsychist, idealist etc) as reflecting the absence or presence of an associated real non-material awareness/consciousness, rather than merely as a statement of a philosophical stance. An alternative solution is implicit in the above - that all humans possess nmc just that materialists are those whose brains lack the awareness of theirs, or that the brain-aspect which communicates to others has no access to it. -/- Towards developing more constructive dialogue between mc’s/nmc’s, and greater self-confidence and independence among nmc’s in the face of materialist dominance of the intellectual-climate: A large part of the overall paper is devoted to not just pointing out the futility of communication of the sort usually engaged in - ie based on the erroneous underlying assumption that both sides of the debate are ontologically the same - but also suggesting ways to make the debate less frustrating by a recognition of the OC. Greater clarity in discussions can be achieved partly via a deeper understanding of the different meanings the same term might have to nmc’s/mc’s and suggestions relevant the construction of a sort of translation algorithm to utilize in discussions (as a simple example, substituting ‘higher-level cognitive material brain-processes’ for ‘mind’ when that term is used by an mc); by the frank statement by nmc’s engaged in dialogue with mc’s that the existence of nmc is not up for discussion; by learning how the existence of our nmc colors the meaning we give to certain terms in ways we were not aware of, meanings which are absent for mc’s; and in general via the recognition by the nmc that the dialogue is with a person lacking nmc. -/- Perhaps materialists are right: In the interest of ‘reciprocity’, the paper also offers an alternative/opposing view to the central proposition, to the effect that the materialist claim is correct, and it is a defect of brain wiring or structure which is the source of an active illusion of "self-awareness" underlying the philosophical claims of non-materialists. A prospective source of this illusion is offered - an analog of the sense of presence experienced during ‘sleep paralysis’. (shrink)

This study focuses on undergraduate students' ability to unpack informally written mathematical statements into the language of predicate calculus. Data were collected between 1989 and 1993 from 61students in six small sections of a “bridge" course designed to introduce proofs and mathematical reasoning. We discuss this data from a perspective that extends the notion of concept image to that of statement image and introduces the notion of proof framework to indicate the top-level logical structure of a proof. For simplified (...) informal calculus statements, just 8.5% of unpacking attempts were successful; for actual statements from calculus texts, this dropped to 5%. We infer that these students would be unable to reliably relate informally stated theorems with the top-level logical structure of their proofs and hence could not be expected to construct proofs or evaluate their validity. (shrink)

Societal pressures on high tech organizations to define and disseminate their ethical stances are increasing as the influences of the technologies involved expand. Many Internet-based businesses have emerged in the past decades; growing numbers of them have developed some kind of moral declaration in the form of mottos or ethical statements. For example, the corporate motto “don’t be evil” (often linked with Google/ Alphabet) has generated considerable controversy about social and cultural impacts of search engines. After addressing the origins (...) of these mottos and statements, this chapter projects the future of such ethical manifestations in the context of critically-important privacy, security, and economic concerns. The chapter analyzes potential influences of the ethical expressions on corporate social responsibility (CSR) initiatives. The chapter analyzes issues of whether “large-grained” corporate mottos can indeed serve to supply social and ethical guidance for organizations as opposed to more complex, detailed codes of ethics or comparable attempts at moral clarification. (shrink)

A possible person’s conditional expected well-being is what the quality of their prospects would be if they were to come into existence. This paper examines the role that this form of expected well-being should play in distributing benefits among prospective people and in deciding who to bring into existence. It argues for a novel egalitarian view on which it is important to ensure equality in people’s life prospects, not merely between actual individuals, but also between all individuals who, given our (...) choices, have a chance of coming into existence. The paper argues that such egalitarianism for prospective people springs from equal concern for each person and has plausible implications. It further shows that it has a rationale in respect for both the unity of the individual and the separateness of persons. Finally, it defends this view against a key objection and shows it is superior to a rival view. (shrink)

Societal pressures on high tech organizations to define and disseminate their ethical stances are increasing as the influences of the technologies involved expand. Many Internet-based businesses have emerged in the past decades; growing numbers of them have developed some kind of moral declaration in the form of mottos or ethical statements. For example, the corporate motto “don’t be evil” (often linked with Google/Alphabet) has generated considerable controversy about social and cultural impacts of search engines. After addressing the origins of (...) these mottos and statements, this chapter projects the future of such ethical manifestations in the context of critically-important privacy, security, and economic concerns. The chapter analyzes potential influences of the ethical expressions on corporate social responsibility (CSR) initiatives. The chapter analyzes issues of whether “large-grained” corporate mottos can indeed serve to supply social and ethical guidance for organizations as opposed to more complex, detailed codes of ethics or comparable attempts at moral clarification. (shrink)

Control interventions (often called “sham,” “placebo,” or “attention controls”) are essential for studying the efficacy or mechanism of physical, psychological, and self-management interventions in clinical trials. This article presents core recommendations for designing, conducting, and reporting control interventions to establish a quality standard in nonpharmacological intervention research. A framework of additional considerations supports researchers’ decision making in this context. We also provide a reporting checklist for control interventions to enhance research transparency, usefulness, and rigour.

The style and style of expression of the Qur'an is not chronological and detailed, especially in short stories and historical events. This is the fact that some people, places and community names are not mentioned in the Qur'an. The identification of these ambiguities is possible with narrations. For this reason, the ambiguities in the Qur'an have been clarified with the help of the narrations in the commentaries and in the works on the subject. This article deals with how to interpret (...) whether narrations in quotations are taken into account when interpreting ambiguities in the Qur'an. (shrink)

Epistemic contextualism is one of the most hotly debated topics in contemporary epistemology. Contextualists claim that ‘know’ is a context-sensitive verb associated with different evidential standards in different contexts. Contextualists motivate their view based on a set of behavioural claims. In this paper, I show that several of these behavioural claims are false. I also show that contextualist test cases suffer from a critical confound, which derives from people's tendency to defer to speakers’ statements about their own mental states. (...) My evidence consists in results from several behavioural experiments. I conclude that contextualism is an idle hypothesis and I propose some general methodological lessons. (shrink)

On Kratzer’s canonical account, modal expressions (like “might” and “must”) are represented semantically as quantifiers over possibilities. Such expressions are themselves neutral; they make a single contribution to determining the propositions expressed across a wide range of uses. What modulates the modality of the proposition expressed—as bouletic, epistemic, deontic, etc.—is context.2 This ain’t the canon for nothing. Its power lies in its ability to figure in a simple and highly unified explanation of a fairly wide range of language use. Recently, (...) though, the canon’s neat story has come under attack. The challenge cases involve the epistemic use of a modal sentence for which no single resolution of the contextual parameter appears capable of accommodating all our intuitions.3 According to these revisionaries, such cases show that the canonical story needs to be amended in some way that makes multiple bodies of information relevant to the assessment of such statements. Here I show that how the right canonical, flexibly contextualist account of modals can accommodate the full range of challenge cases. The key will be to extend Kratzer’s formal semantic account with an account of how context selects values for a modal’s.. (shrink)