The first complete English translation of a groundbreaking work. An ambitious account of the relation of mathematics to logic. Includes a foreword by Crispin Wright, translators' Introduction, and an appendix on Frege's logic by Roy T. Cook. The German philosopher and mathematician Gottlob Frege (1848-1925) was the father of analytic philosophy and to all intents and purposes the inventor of modern logic. Basic Laws of Arithmetic, originally published in German in two volumes (1893, 1903), is Freges magnum (...) opus. It was to be the pinnacle of Freges lifes work. It represents the final stage of his logicist project the idea that arithmetic and analysis are reducible to logic and contains his mature philosophy of mathematics and logic. The aim of Basic Laws of Arithmetic is to demonstrate the logical nature of mathematical theorems by providing gapless proofs in Frege's formal system using only basic laws of logic, logical inference, and explicit definitions. The work contains a philosophical foreword, an introduction to Frege's logic, a derivation of arithmetic from this logic, a critique of contemporary approaches to the real numbers, and the beginnings of a logicist treatment of real analysis. As is well-known, a letter received from Bertrand Russell shortly before the publication of the second volume made Frege realise that his basic law V, governing the identity of value-ranges, leads into inconsistency. Frege discusses a revision to basic law V written in response to Russells letter in an afterword to volume II. The continuing importance of Basic Laws of Arithmetic lies not only in its bearing on issues in the foundations of mathematics and logic but in its model of philosophical inquiry. Frege's ability to locate the essential questions, his integration of logical and philosophical analysis, and his rigorous approach to criticism and argument in general are vividly in evidence in this, his most ambitious work. Philip Ebert and Marcus Rossberg present the first full English translation of both volumes of Freges major work preserving the original formalism and pagination. The edition contains a foreword by Crispin Wright and an extensive appendix providing an introduction to Frege's formal system by Roy T. Cook. Readership: Scholars and advanced students in philosophy of logic, philosophy of mathematics, and early analytic philosophy. (shrink)

Frege's essay "Der Gedanke.Eine logische Untersuchung" was first published in the Beitrage zur Philosophie des Deutschen Idealismus for 1918-1919 and is one of three related logical studies published as a complete work by Gunther Patzig entitled Logische Untersuchungen in Gottingen, 1966 .

The Fodorian central objections to Inferential Role Semantics can be taken to include an ‘Analyticity Challenge’ and a ‘Circularity Challenge’, which are ultimately challenges to IRS explanations of concept possession. In this paper I present inferential role theories, critically examine these challenges and point out two misunderstandings to which they are exposed. I then state in detail a rationalist version of IRS and argue that this version meets head on the Fodorian challenges. If sound, these considerations show that there is (...) no problem of principle in the consideration of IRS as a good candidate for a theory of concepts. (shrink)

Frege’s project has been characterized as an attempt to formulate a complete system of logic adequate to characterize mathematical theories such as arithmetic and set theory. As such, it was seen to fail by Gödel’s incompleteness theorem of 1931. It is argued, however, that this is to impose a later interpretation on the word ‘complete’ it is clear from Dedekind’s writings that at least as good as interpretation of completeness is categoricity. Whereas few interesting first-order mathematical theories (...) are categorical or complete, there are logical extensions of these theories into second-order and by the addition of generalized quantifiers which are categorical. Frege’s project really found success through Gödel’s completeness theorem of 1930 and the subsequent development of first- and higher-order model theory. (shrink)

It is widely taken that the first-order part of Frege's Begriffsschrift is complete. However, there does not seem to have been a formal verification of this received claim. The general concern is that Frege's system is one axiom short in the first-order predicate calculus comparing to, by now, the standard first-order theory. Yet Frege has one extra inference rule in his system. Then the question is whether Frege's first-order calculus is still deductively sufficient as far (...) as the first-order completeness is concerned. In this short note we confirm that the missing axiom is derivable from his stated axioms and inference rules, and hence the logic system in the Begriffsschrift is indeed first-order complete. (shrink)

In a letter of 1891, Frege drew a diagram to illustrate his logical ontology. We observe that it omits features that play an important role in his thought on the matter, propose an extension of the diagram to include them, and compare with a diagram of the ontology of current first-order logic.

BackgroundThe triangle completion test has been used to assess egocentric wayfinding for decades, yet there is little information on its reliability. We developed a virtual reality based test and investigated whether either test of spatial navigation was reliable.ObjectiveTo examine test-retest reliability of the real-world and VR triangle completion tests. A secondary objective was to examine the usability of the VR based test.Materials and methodsThirty healthy adults aged 18–45 years were recruited to this block randomized study. (...) Participants completed two sessions of triangle completion tests in the real-world and VR on the same day with a break between sessions.ResultsIn both test versions distance from the endpoint and angle of deviation showed poor test-retest reliability. Distance traveled had moderate reliability in both the real-world and VR tests. The VR triangle test showed poor correlation with the real-world test.ConclusionThe triangle completion test has poor test-retest reliability and demonstrates poor concurrent validity between the real-world and VR. Nevertheless, it was feasible to translate a real-world test of spatial navigation into VR. VR provides opportunities for development of clinically relevant spatial navigation tests in the future. (shrink)

We distinguish traditional cognition theories from hierarchically complex stacked neural networks that meet many of Newell's criteria. The latter are flexible and can learn anything that a person can learn, by using their mistakes and successes the same way humans do. Shortcomings are due largely to limitations of current technology.

In lieu of an abstract, here is a brief excerpt of the content:RUSSELL TO FREGE, 24 MAY 1903: "I BELIEVE I HAVE DISCOVERED THAT CLASSES ARE ENTIRELY SUPERFLUOUS" GREGORY LANDINI Philosophy / University of Iowa Iowa City, IA 52242, USA It was his consideration of Cantor's proof that there is no greatest cardinal, Russell recalls in My Philosophical Development, that led in the spring of 1901 to the discovery of the paradox of the class of all classes not members (...) of themselves. "Never glad confident morning again", were Whitehead's reported words (MPD, p. 58). Whitehead was, of course, wrong. Russell had many new confident mornings. One in particular apparently occurred on 19 May 1903. On 23 May Russell wrote in his journal: "Four days ago 1 solved the Contradiction -the relief of this is unspeakable" (Papm 12: 24). The "solution" was communicated to Whitehead, who responded by telegram: "Heartiest congratulations Aristoteles secundus. 1 am delighted" (Clark, p. III). But it was not long before Russell knew his proposal was inadequate. On the form he would scrawl: "A propos of solVing the Contradiction. [But the solution was wrong]" (ibid; Russell's brackets). The episode is intriguing. What was the proposal? Russell's correspondence with Frege sheds some light. On 20 October 1902 Frege had sent a letter suggesting a way to avoid the contradiction. Frege's suggestion, formulated in a great hurry so that it might appear in the Appendix of Vol. II of the Grundgesetze der Arithmetik, was to abandon his Basic Law V; zcj>z =zez. ==. (x)(x. ==. ex), and to replace it by Russell to Frege, 24 May I903 161 V' zz =zez. ==. (x)(x *zz & x* zez: ~ : x. ==. ex). The underlying idea was to accept that one concept may have the same extension as another even though the two concepts are not coextensive. Though he thought the underlying idea "probably correct",! Russell expressed reservation in a reply of 12 December:... I find it difficult to accept your solution even though it is probably correct. Do you deny, e.g., that all classes form a class? And if this is admitted, then it is possible that - ana. Moreover, the class of non-humans is a. non-human. Otherwise it must be admitted that not ail objects fall either under a or not-a; namely, if a is a range of values, then a fails neither under a nor under not-a. This contradicts the law of excluded middle, which will be inconvenient to say the least.2 (Frege I980, p. 151) Frege's response of 28 December does not mention the contradiction, and Volume II of his Grundgesetze appeared early in 1903. Russell's reservations concerning Frege's solution· continue in a letter to Frege of 20 February 1903: What you say about my contradiction is of the greatest interest to me. Do you believe that the range of values remains unchanged if some subclass of the class is assigned to it as a new member? Extension seems to fit this view better than intension. Bur I fe;el far from clear about this question. (Frege I980, p. 155) Frege replied on 21 May, explaining that in general a class does not remain unchanged when a particular subclass is added to it, but that two concepts may have the same extension (the same class) when the only difference between them is that this class falls under the first concept but not under the second (p. 157). Then on 24 May 1903 Russell excitedly wrote Frege of a solution of the paradox of classes: "I received your letter this morning, and 1 am replying to it at once, for russell: the Journal of the Berrrand Russdl Archives McMasrer University Library Press n.S.•2 (wincer 1992-93): 160-85 ISSN 0036-01631 • The same evaluation appears in Russell's Appendix to The Principles ofMathematics (p. 522). 2 Frege's '\- a II b" is Peano and Russell's "a E b". Russell should have put "~ana". 162 GREGORY LANDINI I believe I have discovered that classes are entirely superfluous. Your designation i(z) can be used for itself, and x E i(z) for (x).... this seems to me to avoid the contradiction" (p. 159). The proposal is also mentioned in a... (shrink)

Frege says, at the end of a discussion of formalism in the Foundations of Arithmetic, that his own foundational program “could be called formal” but is “completely different” from the view he has just criticized. This essay examines Frege’s relationship to Hermann Hankel, his main formalist interlocutor in the Foundations, in order to make sense of these claims. The investigation reveals a surprising result: Frege’s foundational program actually has quite a lot in common with Hankel’s. This undercuts (...) Frege’s claim that his own view is completely different from Hankel’s formalism, and motivates a closer examination of where the differences lie. On the interpretation offered here, Frege shares important parts of the formalist perspective, but differs in recognizing a kind of content for arithmetical terms which can only be made available via proof from prior postulates. (shrink)

Unfortunately, reading Chow's work is likely to leave the reader more confused than enlightened. My preferred solutions to the “controversy” about null- hypothesis testing are: (1) recognize that we really want to test the hypothesis that an effect is “small,” not null, and (2) use Bayesian methods, which are much more in keeping with the way humans naturally think than are classical statistical methods.

Gottlob Frege has exerted an enormous influence on the evolution of twentieth-century philosophy, yet the real significance of that influence is still very much a matter of debate. This book provides a completely new and systematic account of Frege's philosophy by focusing on its cornerstone: the theory of sense and reference. Two features distinguish this study from other books on Frege. First, sense and reference are placed absolutely at the core of Frege's work; the author shows (...) that no adequate account of the theory can avoid analysing the notion of thought that underpins it, or explaining how it has clarified our concept of judgement. Second, the theory is situated within the development of Frege's thought; the author reveals how the theory caused Frege to alter many of his fundamental views. In doing so the author presents a clearer picture of the problems the theory was intended to solve, and delineates more sharply the characteristic features of Frege's philosophy. (shrink)

This is the first complete English translation of Gottlob Frege's Grundgesetze der Arithmetik (1893 and 1903), with introduction and annotation. As the culmination of his ground-breaking work in the philosophy of logic and mathematics, Frege here tried to show how the fundamental laws of arithmetic could be derived from purely logical principles.

Gathered together here are the fundamental texts of the great classical period in modern logic. A complete translation of Gottlob Frege's Begriffsschrift--which opened a great epoch in the history of logic by fully presenting propositional calculus and quantification theory--begins the volume, which concludes with papers by Herbrand and by Gödel.

The dissertation seeks to gain a comprehensive understanding of Frege's watershed work of logic, the 1879 Begriffsschrift . The treatise is the first since Aristotle's instauration of the discipline to have succeeded in completely recasting logic. Very generally stated, the dissertation aims at making explicit the conceptual origins of modern logic. To do that will require that each of the achievements of Concept-script be examined from one or more vantage points: either within the perspective of Frege's larger and (...) guiding ambition, that of providing a logical justification of arithmetic; or with respect to the horizon of modernity; or in relation to later developments in logical theory and the philosophy of language, developments stimulated, albeit not exclusively, by Frege's very work. The vantage point adopted in each case will depend on the nature of the topic and the extent to which it requires to be made explicit. One perspective will have preponderance, that of Frege's relationship to his early modern ancestors, a group that includes philosophers, scientists, and mathematicians. Since modernity is constituted in a nearly constant critical, if not polemical, relationship to the Ancients, they will also at times be drawn into the discussion. The elucidation of Frege's breakthrough work will be guided by the following thesis: Frege's attempt to justify arithmetic logically and the fine work of clarification he produced in actualizing this project; his discovery of function-theoretic logic and his fashioning of a concept-script ; and his critique of natural language and the attendant semantics developed over the course of that critique constitute an unfolding and an extension of the primacy of universal method over ontology that is the signature of modern inquiry. (shrink)

The article presents Frege's distinction between Sense and Reference. After a short introduction, it explains the puzzle which gave rise to the distinction; Frege's earlier solution, and his reasons for its later repudiation. The distinction, which embodies Frege's second solution, is then discussed in two phases. The first, which is restricted to proper names, sets out its most basic features. The second discusses 'empty' names; indirect speech, and the distinction for predicates and for complete sentences. Finally, (...) two criticisms, by Russell and by Kripke, are briefly set out. (shrink)

Frege's mature writings apparently contain two different criteria of sense identity. While in "Über Sinn und Bedeutung" (1892) and in "Kurze Übersicht meiner logischen Lehren" (1906?) he seems to advocate a psychological criterion, his letter to Husserl of December 12, 1906 offers a thoroughly logical criterion of sense identity. It is argued that the latter proposal is not a "momentary aberration", but rather Frege's official criterion; his psychological criteria only serve as a way of illustrating questions of sense (...) identity by appealing to the thoughts of completely rational thinkers. (shrink)

Gottlob Frege (1848-1925) was a German logician, mathematician and philosopher who played a crucial role in the emergence of modern logic and analytic philosophy. Frege's logical works were revolutionary, and are often taken to represent the fundamental break between contemporary approaches and the older, Aristotelian tradition. He invented modern quantificational logic, and created the first fully axiomatic system for logic, which was complete in its treatment of propositional and first-order logic, and also represented the first treatment of (...) higher-order logic. In the philosophy of mathematics, he was one of the most ardent proponents of logicism, the thesis that mathematical truths are logical truths, and presented influential criticisms of rival views such as psychologism and formalism. His theory of meaning, especially his distinction between the sense and reference of linguistic expressions, was groundbreaking in semantics and the philosophy of language. He had a profound and direct influence on such thinkers as Russell, Carnap and Wittgenstein. Frege is often called the founder of modern logic, and he is sometimes even heralded as the founder of analytic philosophy. (shrink)

I show that any sentence of nth-order (pure or applied) arithmetic can be expressed with no loss of compositionality as a second-order sentence containing no arithmetical vocabulary, and use this result to prove a completeness theorem for applied arithmetic. More specifically, I set forth an enriched second-order language L, a sentence A of L (which is true on the intended interpretation of L), and a compositionally recursive transformation Tr defined on formulas of L, and show that they have the following (...) two properties: (a) in a universe with at least [HEBREW LETTER BET] $_{n-2}$ objects, any formula of nth-order (pure or applied) arithmetic can be expressed as a formula of L, and (b) for any sentence $\ulcorner \phi \urcorner$ of L, $\ulcorner \phi^{Tr} \urcorner$ is a second-order sentence containing no arithmetical vocabulary, and nth $\mathcal{A} \vdash \ulcorner \phi \longleftrightarrow \phi^{Tr} \urcorner$. (shrink)

Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought (1879), by G. Frege.--Some metamathematical results on completeness and consistency; On formally undecidable propositions of Principia mathematica and related systems I; and On completeness and consistency (1930b, 1931, and 1931a), by K. Gödel.--Bibliography (p. [111]-116).

According to Frege, neither demonstratives nor indexicals are singular terms; only a demonstrative together with ‘circumstances accompanying its utterance’ has sense and singular reference. While this view seems defensible for demonstratives, where demonstrations serve as non-verbal signs, indexicals, especially pure indexicals like ‘I’, ‘here’, and ‘now’, seem not to be in need of completion by circumstances of utterance. In this paper I argue on the basis of independent reasons that indexicals are in fact in need of completion; I identify (...) the completers as uses of circumstances of utterance by the speaker; and I show how these uses together with the utterance of indexical sentences express thoughts. The starting point of the paper is a criticism of Kripke’s and Künne’s alternative treatment of indexicals in Frege’s framework. (shrink)

In this paper, I critically discuss Frege’s philosophy of geometry with special emphasis on his position in The Foundations of Arithmetic of 1884. In Sect. 2, I argue that that what Frege calls faculty of intuition in his dissertation is probably meant to refer to a capacity of visualizing geometrical configurations structurally in a way which is essentially the same for most Western educated human beings. I further suggest that according to his Habilitationsschrift it is through spatial intuition (...) that we come to know the axioms of Euclidean geometry. In Sect. 3, I argue that Frege seems right in claiming in The Foundations, §14 that the synthetic nature of the Euclidean axioms follows from the fact that they are independent of one another and of the primitive laws of logic. If the former were dependent on the latter, they would be analytic in Frege’s sense of analyticity. But then they would not be independent of one another and due to their mutual provability would lose their status as axioms of Euclidean geometry, since according to Frege an axiom of a theory T is per definitionen unprovable in T. I further argue that only by invoking pure spatial intuition can Frege “explain” the epistemological status of the axioms of Euclidean geometry completely: their synthetic a priori nature. Finally, I argue that his view about independence in The Foundations, §14 seems to clash with his conception of independence in his mature period. In Sect. 4, I scrutinize Frege’s somewhat vague, but unduly neglected remarks in The Foundations, §26 on space, spatial intuition and the axioms of Euclidean geometry. I argue that for the sake of coherence Frege should have said unambiguously that space is objective, that it is independedent not only of our spatial intuition, but of our mental life altogether including our judgements about space, instead of encouraging the possible conjecture that in his view it contains an objective and a subjective component. I further argue that for Frege the objectivity of both space and the axioms of Euclidean geometry manifests itself in our universal and compulsory acknowledgement of the Euclidean axioms as true. I conclude Sect. 4 by arguing that there is a conflict between the subjectivity of our spatial intuitions as stressed in The Foundations, §26 and Frege’s thesis in his dissertation that the axioms of Euclidean geometry derive their validity from the nature of our faculty of intuition. To resolve this conflict, I propose that in the light of his avowed realism in The Foundations Frege could have replaced his early thesis by saying that although we come to know the axioms of Euclidean geometry through spatial intuition and are justified in acknowledging them as true on the basis of geometrical intuition, their truth is independent not only of the nature of our faculty of intuition and singular acts of intuition, but of our mental processes and activities in general, including the inner mental act of judging. In Sect. 5, I argue that Frege most likely did not adopt Kant’s method of acquiring geometrical knowledge via the ostensive construction of concepts in spatial intuition. In contrast to Kant, Frege holds that the axioms of three-dimensional Euclidean geometry express state of affairs about space obtaining independently of our spatial intuition. In Sect. 6, I conclude with a summarized assessment of Frege’s philosophy of geometry. (shrink)

Frege’s so-called “Regress Argument” is closely examined and it is argued that Dummett’s reconstruction of it is not satisfactory. Contra Dummett, the argument does not involve a regress, is not a reductio and not even a strictly deductive argument. Rather, what Frege tries to show is that any attempt to define truth fails to be epistemically fruitful and thus misses the very point of analytic definitions of concepts. The cause of this epistemic sterility is an inherent circularity, and (...) it is in view of this defect that Frege suggests that truth is very likely so simple that it cannot be defined at all. This circularity, in turn, is due to the fact that Frege takes the sense of “true” to be a constitutive part of the content of acts of thinking a complete thought. Finally, I trace Frege‘s belief in this omnipresence of the sense of the word “true” in thought to his conception of judgment and suggest that it may very well be false. (shrink)

A logically perfect language must meet following requirements: (i) it must not contain „empty“ expressions designating nothing and (ii) it must not involve phrases that are synonymous, homonymous etc. According to Frege, the meaning of a compound expression is a function of meanings of its components, i.e. the meaning of an expression consisting of a functional phrase and a name is the value of the function for the argument. However, for some arguments a function need not give values and, (...) hence, some compound phrases designate nothing in spite of the fact that every simple expression does designate something. Frege’s construction of a logically perfect language fails because it violates condition (i). According to Wittgenstein, every language is logically perfect; otherwise it cannot represent the world. Every expression, simple or compound, does designate something; the meaning of a compound expression consists of meanings of its components; the structure of a complex expression’s meaning mirrors, when completely analysed, the syntactic structure of the expression. Wittgenstein distinguishes between language and notation and we are supposed to look for a logically perfect notation that does not contain homonymy or synonymy. However, following some ideas from Tractatus, it can be shown that Wittgenstein cannot eliminate these phenomena and, hence, violates condition (ii). (shrink)

In his "Grundgesetze", Frege hints that prior to his theory that cardinal numbers are objects he had an "almost completed" manuscript on cardinals. Taking this early theory to have been an account of cardinals as second-level functions, this paper works out the significance of the fact that Frege's cardinal numbers is a theory of concept-correlates. Frege held that, where n > 2, there is a one—one correlation between each n-level function and an n—1 level function, and a (...) one—one correlation between each first-level function and an object. Applied to cardinals, the correlation offers new answers to some perplexing features of Frege's philosophy. It is shown that within Frege's concept-script, a generalized form of Hume's Principle is equivalent to Russell's Principle ofion — a principle Russell employed to demonstrate the inadequacy of definition by abstraction. Accordingly, Frege's rejection of definition of cardinal number by Hume's Principle parallels Russell's objection to definition by abstraction. Frege's correlation thesis reveals that he has a way of meeting the structuralist challenge that it is arithmetic, and not a privileged progression of objects, that matters to the finite cardinals. (shrink)

To avoid post-neurosurgical language deficits, intraoperative mapping of the language function in the brain can be complemented with preoperative mapping with functional magnetic resonance imaging. The validity of an fMRI “language localizer” paradigm crucially depends on the choice of an optimal language task and baseline condition. This study presents a new fMRI “language localizer” in Russian using overt sentence completion, a task that comprehensively engages the language function by involving both production and comprehension at the word and sentence level. The (...) paradigm was validated in 18 neurologically healthy volunteers who participated in two scanning sessions, for estimating test–retest reliability. For the first time, two baseline conditions for the sentence completion task were compared. At the group level, the paradigm significantly activated both anterior and posterior language-related regions. Individual-level analysis showed that activation was elicited most consistently in the inferior frontal regions, followed by posterior temporal regions and the angular gyrus. Test–retest reliability of activation location, as measured by Dice coefficients, was moderate and thus comparable to previous studies. Test–retest reliability was higher in the frontal than temporo-parietal region and with the most liberal statistical thresholding compared to two more conservative thresholding methods. Lateralization indices were expectedly left-hemispheric, with greater lateralization in the frontal than temporo-parietal region, and showed moderate test-retest reliability. Finally, the pseudoword baseline elicited more extensive and more reliable activation, although the syllable baseline appears more feasible for future clinical use. Overall, the study demonstrated the validity and reliability of the sentence completion task for mapping the language function in the brain. The paradigm needs further validation in a clinical sample of neurosurgical patients. Additionally, the study contributes to general evidence on test–retest reliability of fMRI. (shrink)

In his essay 'Thoughts',' Frege is to be found employing a regress-argument against the correspondence theory of truth. He seems to have felt that the argument is not only completely destructive of the correspondence theory, but that it could be deployed equally well against any attempt to provide a general definition of the notion of truth. In my view neither conclusion is warranted. But Frege's Regress can, nevertheless, be developed into an argument of the greatest significance.

It is Frege's third contribution that makes the point of departure for the present paper. Not merely did Frege show how to manipulate symbols more exactly; he also gave a searching account of what these symbols mean. Consider a philosophical problem that arises out of the simplest arithmetic. When we say that 5 = 2 + 3, what do we mean? Do we mean that 5 is identical with 2 + 3? But in some ways 5 and 2 (...) + 3 are obviously different. Or do we mean that 5 and 2 + 3 are equal but not identical, equality being a relation that falls short of complete identity? But in that case, some ordinary ways of speaking in mathematics must be false. Suppose a pupil is asked for the positive square root of 25. The phrasing of the question implies that there is one and only one. No doubt he may answer, '5'. But then it follows that the answer '2 + 3' is not allowable, since ex hypothesi 5 and 2 + 3, though equal, are not identical. Yet ordinarily the answer '2 + 3' would be regarded as strange but not as wrong. (shrink)

This paper aims to answer the question of whether or not Frege's solution limited to value-ranges and truth-values proposed to resolve the "problem of indeterminacy of reference" in section 10 of Grundgesetze is a violation of his principle of complete determination, which states that a predicate must be defined to apply for all objects in general. Closely related to this doubt is the common allegation that Frege was unable to solve a persistent version of the Caesar problem (...) for value-ranges. It is argued that, in Frege’s standards of reducing arithmetic to logic, his solution to the indeterminacy does not give rise to any sort of Caesar problem in the book. (shrink)

Frege holds the distinction between complete (saturated) and incomplete (unsaturated) things to be a basic distinction of logic. Many disagree. In this paper I will argue that one can defend Frege's distinction against criticism if one takes, inspired by Frege, a wh -question to be the paradigm incomplete expression.

Frege made a derivative of the distinction that he made between the meanings of senses (Sinn) and references (Bedeutung) on judgments, and named the judgments which he treats as hollow functions; ‘Unsaturated’ (ungesättigt) phrases and the phrases which completed an argument as, ‘Saturated’ (gesättigt) phrases. Saturated phrases consist of first and second level concepts and are considered to be meaningful expressions with an accurate value. Frege became the founder of modern symbolic logic with the language of formal logic (...) he developed in ‘Concept Writing’, and based all this formal analysis on the distinction of ‘function (Funktion) – argument (Argument)’ and ‘concept – coverage’. The philosopher, who makes sense of the judgments as their ‘thoughts’; determines the logical value accuracy of the reference on the basis of this distinction, has adopted a contradictory acceptance in terms of both considering the judgments as a condition of being able to receive a truth value and reducing them to the senses of the sentences. Then, if the thoughts were indeed the sense of the sentences, as Frege thought, then it would not be possible to speak of sentences that were meaningful but lacked truthfulness. That is why, to overcome this distress, we propose to change the definition of thought in Frege's theory and to consider it as function values, not the sense of sentences. Likewise for us, thoughts are not the senses of the sentences, nor are they references. Contrariwise, thoughts are the function value of the sentences. To put it in a different way, if a sentence lacks function value, it can be meaningful but not true or false, and if the sentence has a function value, it can be true or false. Thus, for us, thoughts are neither the expression of the sentence in the language nor the logical value of the sentence; thoughts are function values that can be true or false. (shrink)

The aim of this paper is to give a detailed reconstruction of Frege's solution to his puzzle about the cognitive function of truth, which is this: On the one hand, the concept of truth seems to play an essential role in acquiring knowledge because the transition from the mere hypothetical assumption that p to the acknowledgement of its truth is a crucial step in acquiring the knowledge that p, while, on the other hand, this concept seems to be completely (...) redundant because the sense of the word 'true' does not make any essential contribution to the senses of the sentences in which it occurs. (shrink)

Computational complexity is a discipline of computer science and mathematics which classifies computational problems depending on their inherent difficulty, i.e. categorizes algorithms according to their performance, and relates these classes to each other. P problems are a class of computational problems that can be solved in polynomial time using a deterministic Turing machine while solutions to NP problems can be verified in polynomial time, but we still do not know whether they can be solved in polynomial time as well. A (...) solution for the so-called NP-complete problems will also be a solution for any other such problems. Its artificial-intelligence analogue is the class of AI-complete problems, for which a complete mathematical formalization still does not exist. In this chapter we will focus on analysing computational classes to better understand possible formalizations of AI-complete problems, and to see whether a universal algorithm, such as a Turing test, could exist for all AI-complete problems. In order to better observe how modern computer science tries to deal with computational complexity issues, we present several different deep-learning strategies involving optimization methods to see that the inability to exactly solve a problem from a higher order computational class does not mean there is not a satisfactory solution using state-of-the-art machine-learning techniques. Such methods are compared to philosophical issues and psychological research regarding human abilities of solving analogous NP-complete problems, to fortify the claim that we do not need to have an exact and correct way of solving AI-complete problems to nevertheless possibly achieve the notion of strong AI. (shrink)

The claim defended in the paper is that the mechanistic account of explanation can easily embrace idealization in big-scale brain simulations, and that only causally relevant detail should be present in explanatory models. The claim is illustrated with two methodologically different models: Blue Brain, used for particular simulations of the cortical column in hybrid models, and Eliasmith’s SPAUN model that is both biologically realistic and able to explain eight different tasks. By drawing on the mechanistic theory of computational explanation, I (...) argue that large-scale simulations require that the explanandum phenomenon is identified; otherwise, the explanatory value of such explanations is difficult to establish, and testing the model empirically by comparing its behavior with the explanandum remains practically impossible. The completeness of the explanation, and hence of the explanatory value of the explanatory model, is to be assessed vis-à-vis the explanandum phenomenon, which is not to be conflated with raw observational data and may be idealized. I argue that idealizations, which include building models of a single phenomenon displayed by multi-functional mechanisms, lumping together multiple factors in a single causal variable, simplifying the causal structure of the mechanisms, and multi-model integration, are indispensable for complex systems such as brains; otherwise, the model may be as complex as the explanandum phenomenon, which would make it prone to so-called Bonini paradox. I conclude by enumerating dimensions of empirical validation of explanatory models according to new mechanism, which are given in a form of a “checklist” for a modeler. (shrink)

The ex ante Pareto principle has an intuitive pull, and it has been a principle of central importance since Harsanyi’s defence of utilitarianism. The principle has been used to criticize and refine a range of positions in welfare economics, including egalitarianism and prioritarianism. But this principle faces a serious problem. I have argued elsewhere :303-323 2017) that the concept of ex ante Pareto superiority is not well defined, because its application in a choice situation concerning a fixed population can depend (...) on how the members of that population are designated. I show in this paper that in almost all cases of policy choice, there will be numerous sets of rival designators for the same fixed population. I explore two ways that we might complete the definition of ex ante Pareto superiority. I call these the ‘supervaluationist’ reading and the ‘subvaluationist’ reading. I reject the subvaluationist reading as uncharitable, and argue that the supervaluationist reading is the most promising interpretation of the ex ante Pareto principle. I end by exploring some of the implications of this principle for prioritarianism and egalitarianism. (shrink)

In this article the author discusses what seems to be a puzzle for Frege’s notion of singular senses, in particular senses of definite descriptions. These senses are supposed to be complete, but they are composed of the incomplete senses of conceptual terms. The author asks how the definite article transforms an unsaturated sense into a saturated one and reviews some attempted explanations in the literature. He argues that none of them is compatible with Frege’s views in semantics. (...) Next, he discusses an alternative that Frege himself endorses and argues that it is also incompatible with his semantics. The author concludes that Frege has no coherent view on the senses of definite descriptions. If we assume that every name expresses a descriptive sense, then we must conclude that Frege has no coherent explanation for singular senses in general. (shrink)

Historians of biology have argued that much of the dynamics of experimental disciplines such as genetics or molecular biology can be understood from studying experimental systems and model organisms alone . Such accounts contrast sharply with more traditional philosophies of science which viewed scientific research essentially as a process of inventing and testing theories. I present a case from the history of biochemistry which can be viewed from both the experimental systems perspective and from the methodology of theory testing. I (...) argue that not only are the two perspectives fully compatible, but they are both necessary for a complete account of the research process. (shrink)