text:
Gottlob Frege (1848—1925)
Gottlob Frege 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.
Table of Contents
- Life and Works
- Contributions to Logic
- Contributions to the Philosophy of Mathematics
- The Theory of Sense and Reference
- References and Further Reading
1. Life and Works
Frege was born on November 8, 1848 in the coastal city of Wismar in Northern Germany. His full christened name was Friedrich Ludwig Gottlob Frege. Little is known about his youth. His father, Karl Alexander Frege, and his mother, Auguste (Bialloblotzsky) Frege, both worked at a girl's private school founded in part by Karl. Both were also principals of the school at various points: Karl held the position until his death 1866, when Auguste took over until her death in 1878. The German writer Arnold Frege, born in Wismar in 1852, may have been Frege's younger brother, but this has not been confirmed. Frege probably lived in Wismar until 1869; in the years from 1864-1869 he is known to have studied at the Gymnasium in Wismar.
In Spring 1869, Frege began studies at the University of Jena. There, he studied chemistry, philosophy and mathematics, and must have solidly impressed Ernst Abbe in mathematics, who later become of Frege's benefactors. After four semesters, Frege transferred to the University of Göttingen, where he studied mathematics and physics, as well as philosophy of religion under Hermann Lotze. (Lotze is sometimes thought to have had a profound impact on Frege's philosophical views.) In late 1873, Frege finished his doctoral dissertation, under the guidance of Ernst Schering, entitled Über eine geometrische Darstellung der imaginären Gebilde in der Ebene ("On a Geometrical Representation of Imaginary Figures in a Plane"), and received his Ph.D.
In 1874, with the recommendation of Ernst Abbe, Frege received a lectureship at the University of Jena, where he stayed the rest of his intellectual life. His position was unsalaried during his first five years, and he was supported by his mother. Frege's Habilitationsschrift, entitled Rechnungsmethoden, die auf eine Erweiterung des Grössenbegriffes gründen ("Methods of Calculation Based upon An Amplification of the Concept of Magnitude,"), was included with the material submitted to obtain the position. It involves the theory of complex mathematical functions, and contains seeds of Frege's advances in logic and the philosophy of mathematics.
Frege had a heavy teaching load during his first few years at Jena. However, he still had time to work on his first major work in logic, which was published in 1879 under the title Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens ("Concept-Script: A Formula Language for Pure Thought Modeled on That of Arithmetic"). Therein, Frege presented for the first time his invention of a new method for the construction of a logical language. Upon the publication of the Begriffsschrift, he was promoted to ausserordentlicher Professor, his first salaried position. However, the book was not well-reviewed by Frege's contemporaries, who apparently found its two-dimensional logical notation difficult to comprehend, and failed to see its advantages over previous approaches, such as that of Boole.
Sometime after the publication of the Begriffsschrift, Frege was married to Margaret Lieseburg (1856-1905). They had at least two children, who unfortunately died young. Years later they adopted a son, Alfred. However, little else is known about Frege's family life.
Frege had aimed to use the logical language of the Begriffsschrift to carry out his logicist program of attempting to show that all of the basic truths of arithmetic could be derived from purely logical axioms. However, on the advice of Carl Stumpf, and given the poor reception of the Begriffsschrift, Frege decided to write a work in which he would describe his logicist views informally in ordinary language, and argue against rival views. The result was his Die Grundlagen der Arithmetik ("The Foundations of Arithmetic"), published in 1884. However, this work seems to have been virtually ignored by most of Frege's contemporaries.
Soon thereafter, Frege began working on his attempt to derive the basic laws of arithmetic within his logical language. However, his work was interrupted by changes to his views. In the late 1880s and early 1890s Frege developed new and interesting theories regarding the nature of language, functions and concepts, and philosophical logic, including a novel theory of meaning based on the distinction between sense and reference. These views were published in influential articles such as "Funktion und Begriff" ("Function and Concept", 1891), "Über Sinn und Bedeutung" ("On Sense and Reference", 1892) and "Über Begriff und Gegenstand" ("On Concept and Object", 1892). This maturation of Frege's semantic and philosophical views lead to changes in his logical language, forcing him to abandon an almost completed draft of his work in logic and the foundations of mathematics. However, in 1893, Frege finally finished a revised volume, employing a slightly revised logical system. This was his magnum opus, Grundgesetze der Arithmetik ("Basic Laws of Arithmetic"), volume I. In the first volume, Frege presented his new logical language, and proceeded to use it to define the natural numbers and their properties. His aim was to make this the first of a three volume work; in the second and third, he would move on to the definition of real numbers, and the demonstration of their properties.
Again, however, Frege's work was unfavorably reviewed by his contemporaries. Nevertheless, he was promoted once again in 1894, now to the position of Honorary Ordinary Professor. It is likely that Frege was offered a position as full Professor, but turned it down to avoid taking on additional administrative duties. His new position was unsalaried, but he was able to support himself and his family with a stipend from the Carl Zeiss Stiftung, a foundation that gave money to the University of Jena, and with which Ernst Abbe was intimately involved.
Because of the unfavorable reception of his earlier works, Frege was forced to arrange to have volume II of the Grundgesetze published at his own expense. It was not until 1902 that Frege was able to make such arrangements. However, while the volume was already in the publication process, Frege received a letter from Bertrand Russell, informing him that it was possible to prove a contradiction in the logical system of the first volume of the Grundgesetze, which included a naive calculus for classes. For more information, see the article on "Russell's Paradox". Frege was, in his own words, "thunderstruck". He was forced to quickly prepare an appendix in response. For the next couple years, he continued to do important work. A series of articles entitled "Über die Grundlagen der Geometrie," ("On the Foundations of Geometry") was published between 1903 and 1906, representing Frege's side of a debate with David Hilbert over the nature of geometry and the proper construction and understanding of axiomatic systems within mathematics.
However, around 1906, probably due to some combination of poor health, the early loss of his wife in 1905, frustration with his failure to find an adequate solution to Russell's paradox, and disappointment over the continued poor reception of his work, Frege seems to have lost his intellectual steam. He produced very little work between 1906 and his retirement in 1918. However, he continued to influence others during this period. Russell had included an appendix on Frege in his 1903 Principles of Mathematics. It is from this that Frege came be to be a bit wider known, including to an Austrian student studying engineering in Manchester, England, named Ludwig Wittgenstein. Wittgenstein studied the work of Frege and Russell closely, and in 1911, he wrote to both of them concerning his own solution to Russell's paradox. Frege invited him to Jena to discuss his views. Wittgenstein did so in late 1911. The two engaged in a philosophical debate, and while Wittgenstein reported that Frege "wiped the floor" with him, Frege was sufficiently impressed with Wittgenstein that he suggested that he go to Cambridge to study with Russell--a suggestion that had profound importance for the history of philosophy. Moreover, Rudolf Carnap was one of Frege's students from 1910 to 1913, and doubtlessly Frege had significant influence on Carnap's interest in logic and semantics and his subsequent intellectual development and successes.
After his retirement in 1918, Frege moved to Bad Kleinen, near Wismar, and managed to publish a number of important articles, "Der Gedanke" ("The Thought", 1918), "Der Verneinung" ("Negation", 1918), and "Gedankengefüge" ("Compound Thoughts", 1923). However, these were not wholly new works, but later drafts of works he had initiated in the 1890s. In 1924, a year before his death, Frege finally returned to the attempt to understand the foundations of arithmetic. However, by this time, he had completely given up on his logicism, concluding that the paradoxes of class or set theory made it impossible. He instead attempted to develop a new theory of the nature of arithmetic based on Kantian pure intuitions of space. However, he was not able to write much or publish anything about his new theory. Frege died on July 26, 1925 at the age of 76.
At the time of his death, Frege's own works were still not very widely known. He did not live to see the profound impact he would have on the emergence of analytic philosophy, nor to see his brand of logic--due to the championship of Russell--virtually wholly supersede earlier forms of logic. However, in bequeathing his unpublished work to his adopted son, Alfred, he wrote prophetically, "I believe there are things here which will one day be prized much more highly than they are now. Take care that nothing gets lost." Alfred later gave Frege's papers to Heinrich Scholz of the University of Münster for safekeeping. Unfortunately, however, they were destroyed in an Allied bombing raid on March 25, 1945. Although Scholz had made copies of some of the more important pieces, a good portion of Frege's unpublished works were lost.
Although he was a fierce, sometimes even satirical, polemicist, Frege himself was a quiet, reserved man. He was right-wing in his political views, and like many conservatives of his generation in Germany, he is known to have been distrustful of foreigners and rather anti-semitic. Himself Lutheran, Frege seems to have wanted to see all Jews expelled from Germany, or at least deprived of certain political rights. This distasteful feature of Frege's personality has gravely disappointed some of Frege's intellectual progeny.
2. Contributions to Logic
Trained as a mathematician, Frege's interests in logic grew out of his interests in the foundations of arithmetic. Early in his career, Frege became convinced that the truths of arithmetic are logical, analytic truths, agreeing with Leibniz, and disagreeing with Kant, who thought that arithmetical knowledge was grounded in "pure intuition", as well as more empiricist thinkers such as J. S. Mill, who thought that arithmetic was grounded in observation. In other words, Frege subscribed to logicism. His logicism was modest in one sense, but very ambitious in others. Frege's logicism was limited to arithmetic; unlike other important historical logicists, such as Russell, Frege did not think that geometry was a branch of logic. However, Frege's logicism was very ambitious in another regard, as he believed that one could prove all of the truths of arithmetic deductively from a limited number of logical axioms. Indeed, Frege himself set out to demonstrate all of the basic laws of arithmetic within his own system of logic.
Frege concurred with Leibniz that natural language was unsuited to such a task. Thus, Frege sought to create a language that would combine the tasks of what Leibniz called a "calculus ratiocinator" and "lingua characterica", that is, a logically perspicuous language in which logical relations and possible inferences would be clear and unambiguous. Frege's own term for such a language, "Begriffsschrift" was likely borrowed from a paper on Leibniz's ideas written by Adolf Trendelenburg. Although there had been attempts to fashion at least the core of such a language made by Boole and others working in the Leibnizian tradition, Frege found their work unsuitable for a number of reasons. Boole's logic used some of the same signs used in mathematics, except with different logical meanings. Frege found this unacceptable for a language which was to be used to demonstrate mathematical truths, because the signs would be ambiguous. Boole's logic, though innovative in some respects, was weak in others. It was divided into a "primary logic" and "secondary logic", bifurcating its propositional and categorical elements, and could not deal adequately with multiple generalities. It analyzed propositions in terms of subject and predicate concepts, which Frege found to be imprecise and antiquated.
Frege saw the formulae of mathematics as the paradigm of clear, unambiguous writing. Frege's brand of logical language was modeled upon the international language of arithmetic, and it replaced the subject/predicate style of logical analysis with the notions of function and argument. In mathematics, an equation such as "f(x) = x2 + 1" states that f is a function that takes x as argument and yields as value the result of multiplying x by itself and adding one. In order to make his logical language suitable for purposes other than arithmetic, Frege expanded the notion of function to allow arguments and values other than numbers. He defined a concept (Begriff) as a function that has a truth-value, either of the abstract objects the True or the False, as its value for any object as argument. See below for more on Frege's understanding of concepts, functions and objects. The concept being human is understood as a function that has the True as value for any argument that is human, and the False as value for anything else. Suppose that "H( )" stands for this concept, and "a" is a constant for Aristotle, and "b" is a constant for the city of Boston. Then "H(a)" stands for the True, while "H(b)" stands for the False. In Frege's terminology, an object for which a concept has the True as value is said to "fall under" the concept.
The values of such concepts could then be used as arguments to other functions. In his own logical systems, Frege introduced signs standing for the negation and conditional functions. His own logical notation was two-dimensional. However, let us instead replace Frege's own notation with more contemporary notation. For Frege, the conditional function, "→" is understood as a function the value of which is the False if its first argument is the True and the second argument is anything other than the True, and is the True otherwise. Therefore, "H(b) → H(a)" stands for the True, while "H(a) → H(b)" stands for the False. The negation sign "~" stands for a function whose value is the True for every argument except the True, for which its value is the False. Conjunction and disjunction signs could then be defined from the negation and conditional signs. Frege also introduced an identity sign, standing for a function whose value is the True if the two arguments are the same object, and the False otherwise, and a sign, which he called "the horizontal," namely "—", that stands for a function that has the True as value for the True as argument, and has the False as value for any other argument.
Variables and quantifiers are used to express generalities. Frege understands quantifiers as "second-level concepts". The distinction between levels of functions involves what kind of arguments the functions take. In Frege's view, unlike objects, all functions are "unsaturated" insofar as they require arguments to yield values. But different sorts of functions require different sorts of arguments. Functions that take objects as argument, such as those referred to by "( ) + ( )" or "H( )", are called first-level functions. Functions that take first-level functions as argument are called second-level functions. The quantifier, "∀x(...x...)", is understood as standing for a function that takes a first-level function as argument, and yields the True as value if the argument-function has the True as value for all values of x, and has the False as value otherwise. Thus, "∀xH(x)" stands for the False, since the concept H( ) does not have the True as value for all arguments. However, "∀x[H(x) → H(x)]" stands for True, since the complex concept H( ) → H( ) does have the True as value for all arguments. The existential quantifier, now written "∃x(...x...)" is defined as "~∀x~(...x...)".
Those familiar with modern predicate logic will recognize the parallels between it and Frege's logic. Frege is often credited with having founded predicate logic. However, Frege's logic is in some ways different from modern predicate logic. As we have seen, a sign such as "H( )" is a sign for a function in the strictest sense, as are the conditional and negation connectives. Frege's conditional is not, like the modern connective, something that flanks statements to form a statement. Rather, it flanks terms for truth-values to form a term for a truth-value. Frege's "H(b) → H(a)" is simply a name for the True, by itself it does not assert anything. Therefore, Frege introduces a sign he called the "judgment stroke", ⊢, used to assert that what follows it stands for the True. Thus, while "H(b) → H(a)" is simply a term for a truth-value, "⊢ H(b) → H(a)" asserts that this truth-value is the True, or in this case, that if Boston is human, then Aristotle is human. Moreover, Frege's logical system was second-order. In addition to quantifiers ranging over objects, it also contained quantifiers ranging over first-level functions. Thus, "⊢∀x∃F[F(x)]" asserts that every object falls under at least one concept.
Frege's logic took the form of an axiomatic system. In fact, Frege was the first to take a fully axiomatic approach to logic, and the first even to suggest that inference rules ought to be explicitly formulated and distinguished from axioms. He began with a limited number of fixed axioms, introduced explicit inference rules, and aimed to derive all other logical truths (including, for him, the truths of arithmetic) from them. Frege's first logical system, that of the 1879 Begriffsschrift, had nine axioms (one of which was not independent), one explicit inference rule, and also employed a second and third inference rule implicitly. It represented the first axiomatization of logic, and was complete in its treatment of both propositional logic and first-order quantified logic. Unlike Frege's later system, the system of the Begriffsschrift was fully consistent. (It has since been proven impossible to devise a system for higher-order logic with a finite number of axioms that is both complete and consistent.)
In order to make deduction easier, in the 1893 logical system of the Grundgesetze, Frege used fewer axioms and more inference rules: seven and twelve, respectively, this time leaving nothing implicit. The Grundgesetze also expanded upon the system of the Begriffsschrift by adding axioms governing what Frege called the "value-ranges" (Werthverlaüfe) of functions, understood as objects corresponding to the complete argument-value mappings generated by functions. In the case of concepts, their value-ranges were identified with their extensions. While Frege did sometimes also refer to the extensions of concepts as "classes", he did not conceive of such classes as aggregates or collections. They were simply understood as objects corresponding to the complete argument-value mappings generated by concepts considered as functions. Frege then introduced two axioms dealing with these value-ranges. Most infamous was his Basic Law V, which asserts that the truth-value of the value-range of function F being identical to the value-range of function G is the same as the truth-value of F and G having the same value for every argument. If one conceives of value-ranges as argument-value mappings, then this certainly seems to be a plausible hypothesis. However, from it, it is possible to prove a strong theorem of class membership: that for any object x, that object is in the extension of concept F if and only if the value of F for x as argument is the True. Given that value-ranges themselves are taken to be objects, if the concept in question is that of being a extension of a concept not included in itself, one can conclude that the extension of this concept is in itself just in case it is not. Therefore, the logical system of the Grundgesetze was inconsistent due to Russell's Paradox. See the entry on Russell's Paradox for more details. However, the core of the system of the Grundgesetze, that is, the system minus the axioms governing value-ranges, is consistent and, like the system of the Begriffsschrift, is complete in its treatment of propositional logic and first-order predicate logic.
Given the extent to which it is taken granted today, it can be difficult to fully appreciate the truly innovative and radical approach Frege took to logic. Frege was the first to attempt to transcribe the old statements of categorical logic in a language employing variables, quantifiers and truth-functions. Frege was the first to understand a statement such as "all students are hardworking" as saying roughly the same as, "for all values of x, if x is a student, then x is hardworking". This made it possible to capture the logical connection between statements such as "either all students are hardworking or all students are intelligent" and "all students are either hardworking or intelligent" (for example, that the first implies the second). In earlier logical systems such as that of Boole, in which the propositional and quantificational elements were bifurcated, the connection was wholly lost. Moreover, Frege's logical system was the first to be able to capture statements of multiple generality, such as "every person loves some city" by using multiple quantifiers in the same logical formula. This too was impossible in all earlier logical systems. Indeed, Frege's "firsts" in logic are almost too numerous to list. We have seen here that he invented modern quantification theory, presented the first complete axiomatization of propositional and first-order "predicate" logic (the latter of which he invented outright), attempted the first formulation of higher-order logic, presented the first coherent and full analysis of variables and functions, first showed it possible to reduce all truth-functions to negation and the conditional, and made the first clear distinction between axioms and inference rules in a formal system. As we shall see, he also made advances in the logic of mathematics. It is small wonder that he is often heralded as the founder of modern logic.
On Frege's "philosophy of logic", logic is made true by a realm of logical entities. Logical functions, value-ranges, and the truth-values the True and the False, are thought to be objectively real entities, existing apart from the material and mental worlds. (As we shall see below, Frege was also committed to other logical entities such as senses and thoughts.) Logical axioms are true because they express true thoughts about these entities. Thus, Frege denied the popular view that logic is without content and without metaphysical commitment. Frege was also a harsh critic of psychologism in logic: the view that logical truths are truths about psychology. While Frege believed that logic might prescribe laws about how people should think, logic is not the science of how people do think. Logical truths would remain true even if no one believed them nor used them in their reasoning. If humans were genetically designed to use regularly the so-called "inference rule" of affirming the consequent, etc., this would not make it logically valid. What is true or false, valid of invalid, does not depend on anyone's psychology or anyone's beliefs. To think otherwise is to confuse something's being true with something's being-taken-to-be-true.
3. Contributions to the Philosophy of Mathematics
Frege was an ardent proponent of logicism, the view that the truths of arithmetic are logical truths. Perhaps his most important contributions to the philosophy of mathematics were his arguments for this view. He also presented significant criticisms against rival views. We have seen that Frege was a harsh critic of psychologism in logic. He thought similarly about psychologism in mathematics. Numbers cannot be equated with anyone's mental images, nor truths of mathematics with psychological truths. Mathematical truths are objective, not subjective. Frege was also a critic of Mill's view that arithmetical truths are empirical truths, based on observation. Frege pointed out that it is not just observable things that can be counted, and that mathematical truths seem to apply also to these things. On Mill's view, numbers must be taken to be conglomerations of objects. Frege rejects this view for a number of reasons. Firstly, is one conglomeration of two things the same as a different conglomeration of two things, and if not, in what sense are they equal? Secondly, a conglomeration can be seen as made up of a different number of things, depending on how the parts are counted. One deck of cards contains fifty two cards, but each card consists of a multitude of atoms. There is no one uniquely determined "number" of the whole conglomeration. He also reiterated the arguments of others: that mathematical truths seem apodictic and knowable a priori. He also argued against the Kantian view that arithmetic truths are based on the pure intuition of the succession of time. His main argument against this view, however, was simply his own work in which he showed that truths about the nature of succession and sequence can be proven purely from the axioms of logic.
Frege was also an opponent of formalism, the view that arithmetic can be understood as the study of uninterpreted formal systems. While Frege's logical language represented a kind of formal system, he insisted that his formal system was important only because of what its signs represent and its propositions mean. The signs themselves, independently of what they mean, are unimportant. To suggest that mathematics is the study simply of the formal system, is, in Frege's eyes, to confuse the sign and thing signified. To suggest that arithmetic is the study of formal systems also suggests, absurdly, that the formula "5 + 7 = 12", written in Arabic numerals, is not the same truth as the formula, "V + VII = XII", written in Roman numerals. Frege suggests also that this confusion would have the absurd result that numbers simply are the numerals, the signs on the page, and that we should be able to study their properties with a microscope.
Frege suggests that rival views are often the result of attempting to understand the meaning of number terms in the wrong way, for example, in attempting to understand their meaning independently of the contexts in which they appear in sentences. If we are simply asked to consider what "two" means independently of the context of a sentence, we are likely to simply imagine the numeral "2", or perhaps some conglomeration of two things. Thus, in the Grundlagen, Frege espouses his famous context principle, to "never ask for the meaning of a word in isolation, but only in the context of a proposition." The Grundlagen is an earlier work, written before Frege had made the distinction between sense and reference (see below). It is an active matter of debate and discussion to what extent and how this principle coheres with Frege's later theory of meaning, but what is clear is that it plays an important role in his own philosophy of mathematics as described in the Grundlagen.
According to Frege, if we look at the contexts in which number words usually occur in a proposition, they appear as part of a sentence about a concept, specifically, as part of an expression that tells us how many times a certain concept is instantiated. Consider, for example, "I have six cards in my hand" or "There are 11 members of congress from Wisconsin." These propositions seem to tell us how many times the concepts of being a card in my hand and being a member of congress from Wisconsin are instantiated. Thus, Frege concludes that statements about numbers are statements about concepts. This insight was very important for Frege's case for logicism, as Frege was able to show that it is possible to define what it means for a concept to be instantiated a certain number of times purely logically by making use of quantifiers and identity. To say that the concept F is instantiated zero times is to say that there are no objects that instantiate F, or, equivalently, that everything does not instantiate F. To say that F is instantiated one time is to say there is an object x that instantiates F, and that for all objects y, either y does not instantiate F or y is x. To say that F is instantiated twice is to say that there are two objects, x and y, each of which instantiates F, but which are not the same as each other, and for all z, either z does not instantiate F, or z is x or z is y. One could then consider numbers as "second-level concepts", or concepts of concepts, which can be defined in purely logical terms. (For more on the distinction of levels of concepts, see above.)
Frege, however, does not leave his analysis of numbers there. Understanding number-claims as involving second-level concepts does give us some insight into the nature of numbers, but it cannot be left at this. Mathematics requires that numbers be treated as objects, and that we be able to provide a definition of the number "two" simpliciter, without having to speak of two Fs. For this purpose, Frege appeals to his theory of the value-ranges of concepts. On the notion of a value-range, see above. We saw above that we can gain some understanding of number claims as involving second-level concepts, or concepts of concepts. In order to find a definition of numbers as objects, Frege treats them instead as value-ranges of value-ranges. Exactly, however, are they to be understood?
Frege notes that we have an understanding of what it means to say that there are the same number of Fs as there are Gs. It is to say that there is a one-one mapping between the objects that instantiate F and the objects instantiating G, i.e. that there is some function f from entities that instantiate F onto entities that instantiate G such that there is a different F for every G, and a different G for every F, with none left over. (In this, Frege's views on the nature of cardinality were in part anticipated by Georg Cantor.) However, we must bear in mind that the propositions:
(1) There are equally many Fs as there are Gs.
(2) The number of Fs = the number of Gs
must obviously have the same truth-value, as they seem to express the same fact. We must, therefore, look for a way of understanding the phrase "the number of Fs" that occurs in (2) that makes clear how and why the whole proposition will be true or false for the same reason as (1) is true or false. Frege's suggestion is that "the number of Fs" means the same as "the value-range of the concept being a value-range of a concept instantiated equally many times as F." This means that the number of Fs is a certain value-range, containing value-ranges, and in particular, all those value-ranges that have as many members as there are Fs. Then (2) is understood as saying the same as "the value-range of the concept being a value-range of a concept instantiated equally many times as F = the value-range of the concept being a value-range of a concept instantiated equally many times as G", which will be true if and only if there are equally many Fs as Gs, i.e. if every value-range of a concept instantiated equally many times as F is also a value-range of a concept instantiated equally many times as G.
To give some examples, if there are zero Fs, then the number of Fs, i.e. zero, is the value-range consisting of all value-ranges with no members. Recall that for Frege, classes are identified with value-ranges of concepts. (See above.) To rephrase the same point in terms of classes, zero is the class of all classes with no members. Since there is only one such class, zero is the class containing only the empty class. If there is one F, then the number of Fs, i.e. one, is the class consisting of all classes with one member (the extensions of concepts instantiated once). Here we can see the connection with the understanding of number expressions as being statements about concepts. Rather than understanding zero as the concept a concept has just in case it is not instantiated, zero is understood as the value-range consisting of value-ranges of concepts that are not instantiated. Rather than understanding one as the concept a concept has just in case it is instantiated by a unique object, it is understood as the value-range consisting of value-ranges of concepts instantiated by unique objects. This allows us to understand numbers as abstract objects, and provide a clear definition of the meaning of number signs in arithmetic such as "1", "2", "3", etc.
Some of Frege's most brilliant work came in providing definitions of the natural numbers in his logical language, and in proving some of their properties therein. After laying out the basic laws of logic, and defining axioms governing the truth-functions and value-ranges, etc., Frege begins by defining a relation that holds between two value-ranges just in case they are the value-ranges of concepts instantiated equally many times. This relation holds between value-ranges just in case they are the same size, i.e. just in case there is one-one correspondence between the entities that fall under their concepts. Using this, he then defines a function that takes a value-range as argument and yields as value the value-range consisting of all value-ranges the same size as it. The number zero is then defined as the value-range consisting of all value-ranges the same size as the value-range of the concept being non-self-identical. Since this concept is not instantiated, zero is defined as the value-range of all value-ranges with no members, as described above. There is only one such number zero. Since this is true, then the concept of being identical to zero is instantiated once. Frege then uses this to define one. One is defined as the value-range of all value-ranges equal in size to the value-range of the concept being identical to zero. Having defined one is this way, Frege is able to define two. He has already defined one and zero; they are each unique, but different from each other. Therefore, two can be defined as the value-range of all value-ranges equal in size to the value-range of the concept being identical to zero or identical to one. Frege is able to define all natural numbers in this way, and indeed, prove that there are infinitely many of them. Each natural number can be defined in terms of the previous one: for each natural number n, its successor (n + 1) can be defined as the value-range of all value-ranges equal in size to the value-range of the concept of being identical to one of the numbers between zero and n.
In the Begriffsschrift, Frege had already been able to prove certain results regarding series and sequences, and was able to define the ancestral of a relation. To understand the ancestral of a relation, consider the example of the relation of being the child of. A person x bears this relation to y just in case x is y's child. However, x falls in the ancestral of this relation with respect to y just in case x is the child of y, or is the child of y's child, or is the child of y's child's child, etc. Frege was able to define the ancestral of relations logically even in his early work. He put this to use in the Grundgesetze to define the natural numbers. We have seen how the notion of successorship can be defined for Frege, i.e. the relation n + 1 bears to n. The natural numbers can be defined as the value-range of all value-ranges that fall under the ancestral of the successor relation with respect to zero. The natural numbers then consist of zero, the successor of zero (one), the successor of the successor of zero (two), and so on ad infinitum. Frege was then able to use this definition of the natural numbers to provide a logical analysis of mathematical induction, and prove that mathematical induction can be used validly to demonstrate the properties of the natural numbers, an extremely important result for making good on his logicist ambitions. Frege could then use mathematical induction to prove some of the basic laws of the natural numbers. Frege next turned his logicist method to an analysis of integers (including negative numbers) and then to the real numbers, defining them using the natural numbers and certain relations holding between them. We need not dwell on the details of this work here.
Frege's approach to providing a logical analysis of cardinality, the natural numbers, infinity and mathematical induction were groundbreaking, and have had a lasting importance within mathematical logic. Indeed, prior to 1902, it must have seemed to him that he had been completely successful in showing that the basic laws of arithmetic could be understood purely as logical truths. However, as we have seen, Frege's definition of numbers heavily involves the notion of classes or value-ranges, but his logical treatment of them is shown to be impossible due to Russell's paradox. This presents a serious problem for Frege's logicist approach. Another heavy blow came after Frege's death. In 1931, Kurt Gödel discovered his famous incompleteness proof to the effect that there can be no consistent formal system with a finite number of axioms in which it is possible to derive all of the truths of arithmetic. This presents a serious blow to more ambitious forms of logicism, such as Frege's, which aimed to provide precisely the sort of system Gödel showed impossible. Nevertheless, it cannot be denied that Frege's work in the philosophy of mathematics was important and insightful.
4. The Theory of Sense and Reference
Frege's influential theory of meaning, the theory of sense (Sinn) and reference (Bedeutung) was first outlined, albeit briefly, in his article, "Funktion und Begriff" of 1891, and was expanded and explained in greater detail in perhaps his most famous work, "Über Sinn und Bedeutung" of 1892. In "Funktion und Begriff", the distinction between the sense and reference of signs in language is first made in regard to mathematical equations. During Frege's time, there was a widespread dispute among mathematicians as to how the sign, "=", should be understood. If we consider an equation such as, "4 x 2 = 11 - 3", a number of Frege's contemporaries, for a variety of reasons, were wary of viewing this as an expression of an identity, or, in this case, as the claim that 4 x 2 and 11 - 3 are one and the same thing. Instead, they posited some weaker form of "equality" such that the numbers 4 x 2 and 11 - 3 would be said to be equal in number or equal in magnitude without thereby constituting one and the same thing. In opposition to the view that "=" signifies identity, such thinkers would point out that 4 x 2 and 11 - 3 cannot in all ways be thought to be the same. The former is a product, the latter a difference, etc.
In his mature period, however, Frege was an ardent opponent of this view, and argued in favor of understanding "=" as identity proper, accusing rival views of confusing form and content. He argues instead that expressions such as "4 x 2" and "11 - 3" can be understood as standing for one and the same thing, the number eight, but that this single entity is determined or presented differently by the two expressions. Thus, he makes a distinction between the actual number a mathematical expression such as "4 x 2" stands for, and the way in which that number is determined or picked out. The former he called the reference (Bedeutung) of the expression, and the latter was called the sense (Sinn) of the expression. In Fregean terminology, an expression is said to express its sense, and denote or refer to its reference.
The distinction between reference and sense was expanded, primarily in "Über Sinn und Bedeutung" as holding not only for mathematical expressions, but for all linguistic expressions (whether the language in question is natural language or a formal language). One of his primary examples therein involves the expressions "the morning star" and "the evening star". Both of these expressions refer to the planet Venus, yet they obviously denote Venus in virtue of different properties that it has. Thus, Frege claims that these two expressions have the same reference but different senses. The reference of an expression is the actual thing corresponding to it, in the case of "the morning star", the reference is the planet Venus itself. The sense of an expression, however, is the "mode of presentation" or cognitive content associated with the expression in virtue of which the reference is picked out.
Frege puts the distinction to work in solving a puzzle concerning identity claims. If we consider the two claims:
(1) the morning star = the morning star
(2) the morning star = the evening star
The first appears to be a trivial case of the law of self-identity, knowable a priori, while the second seems to be something that was discovered a posteriori by astronomers. However, if "the morning star" means the same thing as "the evening star", then the two statements themselves would also seem to have the same meaning, both involving a thing's relation of identity to itself. However, it then becomes to difficult to explain why (2) seems informative while (1) does not. Frege's response to this puzzle, given the distinction between sense and reference, should be apparent. Because the reference of "the evening star" and "the morning star" is the same, both statements are true in virtue of the same object's relation of identity to itself. However, because the senses of these expressions are different--in (1) the object is presented the same way twice, and in (2) it is presented in two different ways--it is informative to learn of (2). While the truth of an identity statement involves only the references of the component expressions, the informativity of such statements involves additionally the way in which those references are determined, i.e. the senses of the component expressions.
So far we have only considered the distinction as it applies to expressions that name some object (including abstract objects, such as numbers). For Frege, the distinction applies also to other sorts of expressions and even whole sentences or propositions. If the sense/reference distinction can be applied to whole propositions, it stands to reason that the reference of the whole proposition depends on the references of the parts and the sense of the proposition depends of the senses of the parts. (At some points, Frege even suggests that the sense of a whole proposition is composed of the senses of the component expressions.) In the example considered in the previous paragraph, it was seen that the truth-value of the identity claim depends on the references of the component expressions, while the informativity of what was understood by the identity claim depends on the senses. For this and other reasons, Frege concluded that the reference of an entire proposition is its truth-value, either the True or the False. The sense of a complete proposition is what it is we understand when we understand a proposition, which Frege calls "a thought" (Gedanke). Just as the sense of a name of an object determines how that object is presented, the sense of a proposition determines a method of determination for a truth-value. The propositions, "2 + 4 = 6" and "the Earth rotates", both have the True as their references, though this is in virtue of very different conditions holding in the two cases, just as "the morning star" and "the evening star" refer to Venus in virtue of different properties.
In "Über Sinn und Bedeutung", Frege limits his discussion of the sense/reference distinction to "complete expressions" such as names purporting to pick out some object and whole propositions. However, in other works, Frege makes it quite clear that the distinction can also be applied to "incomplete expressions", which include functional expressions and grammatical predicates. These expressions are incomplete in the sense that they contain an "empty space", which, when filled, yields either a complex name referring to an object, or a complete proposition. Thus, the incomplete expression "the square root of ( )" contains a blank spot, which, when completed by an expression referring to a number, yields a complex expression also referring to a number, e.g., "the square root of sixteen". The incomplete expression, "( ) is a planet" contains an empty place, which, when filled with a name, yields a complete proposition. According to Frege, the references of these incomplete expressions are not objects but functions. Objects (Gegenstände), in Frege's terminology, are self-standing, complete entities, while functions are essentially incomplete, or as Frege says, "unsaturated" (ungesättigt) in that they must take something else as argument in order to yield a value. The reference of the expression "square root of ( )" is thus a function, which takes numbers as arguments and yields numbers as values. The situation may appear somewhat different in the case of grammatical predicates. However, because Frege holds that complete propositions, like names, have objects as their references, and in particular, the truth-values the True or the False, he is able to treat predicates also as having functions as their references. In particular, they are functions mapping objects onto truth-values. The expression, "( ) is a planet" has as its reference a function that yields as value the True when saturated by an object such as Saturn or Venus, but the False when saturated by a person or the number three. Frege calls such a function of one argument place that yields the True or False for every possible argument a "concept" (Begriff), and calls similar functions of more than one argument place (such as that denoted by "( ) > ( )", which is doubly in need of saturation), "relations".
It is clear that functions are to be understood as the references of incomplete expressions, but what of the senses of such expressions? Here, Frege tells us relatively little save that they exist. There is some amount of controversy among interpreters of Frege as to how they should be understood. It suffices here to note that just as the same object (e.g. the planet Venus), can be presented in different ways, so also can a function be presented in different ways. While "identity", as Frege uses the term, is a relation holding only between objects, Frege believes that there is a relation similar to identity that holds between functions just in case they always share the same value for every argument. Since all and only those things that have hearts have kidneys, strictly speaking, the concepts denoted by the expressions "( ) has a heart", and "( ) has a kidney" are one and the same. Clearly, however, these expressions do not present that concept in the same way. For Frege, these expressions would have different senses but the same reference. Frege also tells us that it is the incomplete nature of these senses that provides the "glue" holding together the thoughts of which they form a part.
Frege also uses the distinction to solve what appears to be a difficulty with Leibniz's law with regard to identity. This law was stated by Leibniz as, "those things are the same of which one can be substituted for another without loss of truth," a sentiment with which Frege was in full agreement. As Frege understands this, it means that if two expressions have the same reference, they should be able to replace each other within any proposition without changing the truth-value of that proposition. Normally, this poses no problem. The inference from:
(3) The morning star is a planet.
to the conclusion:
(4) The evening star is a planet.
in virtue of (2) above and Leibniz's law is unproblematically valid. However, there seem to be some serious counterexamples to this principle. We know for example that "the morning star" and "the evening star" have the same customary reference. However, it is not always true that they can replace one another without changing the truth of a sentence. For example, if we consider the propositions:
(5) Gottlob believes that the morning star is a planet.
(6) Gottlob believes that the evening star is a planet.
If we assume that Gottlob does not know that the morning star is the same heavenly body as the evening star, (5) may be true while (6) false or vice versa.
Frege meets this challenge to Leibniz's law by making a distinction between what he calls the primary and secondary references of expressions. Frege suggests that when expressions appear in certain unusual contexts, they have as their references what is customarily their senses. In such cases, the expressions are said to have their secondary references. Typically, such cases involve what Frege calls "indirect speech" or "oratio obliqua", as in the case of statements of beliefs, thoughts, desires and other so-called "propositional attitudes", such as the examples of (5) and (6). However, expressions also have their secondary references (for reasons which should already be apparent) in contexts such as "it is informative that..." or "... is analytically true".
Let us consider the examples of (5) and (6) more closely. To Frege's mind, these statements do not deal directly with the morning star and the evening star itself. Rather, they involve a relation between a believer and a thought believed. Thoughts, as we have seen, are the senses of complete propositions. Beliefs depend for their make-up on how certain objects and concepts are presented, not only on the objects and concepts themselves. The truth of belief claims, therefore, will depend not on the customary references of the component expressions of the stated belief, but their senses. Since the truth-value of the whole belief claim is the reference of that belief claim, and the reference of any proposition, for Frege, depends on the references of its component expressions, we are lead to the conclusion that the typical senses of expressions that appear in oratio obliqua are in fact the references of those expressions when they appear in that context. Such contexts can be referred to as "oblique contexts", contexts in which the reference of an expression is shifted from its customary reference to its customary sense.
In this way, Frege is able to actually retain his commitment in Leibniz's law. The expressions "the morning star" and "the evening star" have the same primary reference, and in any non-oblique context, they can replace each other without changing the truth-value of the proposition. However, since the senses of these expressions are not the same, they cannot replace each other in oblique contexts, because in such contexts, their references are non-identical.
Frege ascribes to senses and thoughts objective existence. In his mind, they are objects every bit as real as tables and chairs. Their existence is not dependent on language or the mind. Instead, they are said to exist in a timeless "third realm" of sense, existing apart from both the mental and the physical. Frege concludes this because, although senses are obviously not physical entities, their existence likewise does not depend on any one person's psychology. A thought, for example, has a truth-value regardless of whether or not anyone believes it and even whether or not anyone has grasped it at all. Moreover, senses are interpersonal. Different people are able to grasp the same senses and same thoughts and communicate them, and it is even possible for expressions in different languages to express the same sense or thought. Frege concludes that they are abstract objects, incapable of full causal interaction with the physical world. They are actual only in the very limited sense that they can have an effect on those who grasp them, but are themselves incapable of being changed or acted upon. They are neither created by our uses of language or acts of thinking, nor destroyed by their cessation.
Unfortunately, Frege does not tell us very much about exactly how these abstract objects pick out or present their references. Exactly what is it that makes a sense a "way of determining" or "mode of presenting" a reference? In the wake of Russell's theory of descriptions, a Fregean sense is often interpreted as a set of descriptive information or criteria that picks out its reference in virtue of the reference alone satisfying or fitting that descriptive information. In giving examples, Frege implies that a person might attach to the name "Aristotle" the sense the pupil of Plato and teacher of Alexander the Great. This sense picks out Aristotle the person because he alone matches this description. Here, care must be taken to avoid misunderstanding. The sense of the name "Aristotle" is not the words "the pupil of Plato and teacher of Alexander the Great"; to repeat, senses are not linguistic items. It is rather that the sense consists in some set of descriptive information, and this information is best described by a descriptive phrase of this form. The property of being the pupil of Plato and teacher of Alexander is unique to Aristotle, and thus, it may be in virtue of associating this information with the name "Aristotle" that this name may be used to refer to Aristotle. As certain commentators have noted, it is not even necessary that the sense of the name be expressible by some descriptive phrase, because the descriptive information or properties in virtue of which the reference is determined may not be directly nameable in any natural language.
From this standpoint, it is easy to understand how there might be senses that do not pick out any reference. Names such as "Romulus" or "Odysseus", and phrases such as "the least rapidly converging series" or "the present King of France" express senses, insofar as they lay out criteria that things would have to satisfy if they were to be the references of these expressions. However, there are no things which do in fact satisfy these criteria. Therefore, these expressions are meaningful, but do not have references. Because the sense of a whole proposition is determined by the senses of the parts, and the reference of a whole proposition is determined by the parts, Frege claims that propositions in which such expressions appear are able to express thoughts, but are neither true nor false, because no references are determined for them.
This interpretation of the nature of senses makes Frege a forerunner to what has since been come to be known as the "descriptivist" theory of meaning and reference in the philosophy of language. The view that the sense of a proper name such as "Aristotle" could be descriptive information as simple as the pupil of Plato and teacher of Alexander the Great, however, has been harshly criticized by many philosophers, and perhaps most notably by Saul Kripke. Kripke points out that this would make a claim such as "Aristotle taught Alexander" seem to be a necessary and analytic truth, which it does not appear to be. Moreover, he claims that many of us seem to be able to use a name to refer to an individual even if we are unaware of any properties uniquely held by that individual. For example, many of us don't know enough about the physicist Richard Feynman to be able to identify a property differentiating him from other prominent physicists such as Murray Gell-Mann, but we still seem to be able to refer to Feynman with the name "Feynman". John Searle, Michael Dummett and others, however, have proposed ways of expanding or altering Frege's notion of a sense to circumvent Kripke's worries. This has lead to a very important debate in the philosophy of language, which, unfortunately, we cannot fully discuss here.
5. References and Further Reading
a. Frege's Own Works
- "Antwort auf die Ferienplauderei des Herrn Thomae." Jahresbericht der Deutschen Mathematiker-Vereinigung 15 (1906): 586-90. Translated as "Reply to Thomae's Holiday Causerie." In Collected Papers on Mathematics, Logic and Philosophy [CP], 341-5. Translated by M. Black, V. Dudman, P. Geach, H. Kaal, E.-H. W. Kluge, B. McGuinness and R. H. Stoothoff. New York: Basil Blackwell, 1984.
- "Über Begriff und Gegenstand." Vierteljahrsschrift für wissenschaftliche Philosophie 16 (1892): 192-205. Translated as "On Concept and Object." In >CP 182-94. Also in The Frege Reader [FR], 181-93. Edited by Michael Beaney. Oxford: Blackwell, 1997. And In Translations from the Philosophical Writings of Gottlob Frege [TPW], 42-55. 3d ed. Edited by Peter Geach and Max Black. Oxford: Blackwell, 1980.
- Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: L. Nebert, 1879. Translated as Begriffsschrift, a Formula Language, Modeled upon that of Arithmetic, for Pure Thought. In From Frege to Gödel, edited by Jean van Heijenoort. Cambridge, MA: Harvard University Press, 1967. Also as Conceptual Notation and Related Articles. Edited and translated by Terrell W. Bynum. London: Oxford University Press, 1972.
- "Über die Begriffsschrift des Herrn Peano und meine eigene." Verhandlungen der Königlich Sächsischen Gesellschaft der Wissenschaften zu Leipzig 48 (1897): 362-8. Translated as "On Mr. Peano's Conceptual Notation and My Own." In CP 234-48.
- "Über formale Theorien der Arithmetik." Sitzungsberichte der Jenaischen Gesellschaft für Medizin und Naturwissenschaft 19 (1885): 94-104. Translated as "On Formal Theories of Arithmetic." In CP 112-21.
- Funktion und Begriff. Jena: Hermann Pohle, 1891. Translated as "Function and Concept." In CP 137-56, TPW 21-41 and FR 130-48.
- "Der Gedanke." Beträge zur Philosophie des deutschen Idealismus 1 (1918-9): 58-77. Translated as "Thoughts." In CP 351-72. Also as part I of Logical Investigations [LI], edited by P. T. Geach. Oxford: Blackwell, 1977. And as "Thought." In FR 325-45.
- "Gedankengefüge." Beträge zur Philosophie des deutschen Idealismus 3 (1923): 36-51. Translated as "Compound Thoughts." In CP 390-406, and as part III of LI.
- Über eine geometrische Darstellung der imaginären Gebilde in der Ebene. Ph. D. Dissertation: University of Göttingen, 1873. Translated as "On a Geometrical Representation of Imaginary Forms in the Plane." In CP 1-55.
- Grundgesetze der Arithmetik. 2 vols. Jena: Hermann Pohle, 1893-1903. Translated in part as The Basic Laws of Arithmetic: Exposition of the System. Edited and translated by Montgomery Furth. Berkeley: University of California Press, 1964.
- "Über die Grundlagen der Geometrie." Jahresbericht der Deutschen Mathematiker-Vereinigung 12 (1903): 319-24, 368-75, 15 (1906): 293-309, 377-403, 423-30. Translated as "On the Foundations of Geometry." In CP 273-340. Also as On the Foundations of Geometry and Formal Theories of Arithmetic. Translated by Eike-Henner W. Kluge. New York: Yale University Press, 1971.
- Die Grundlagen der Arithmetik, eine logisch mathematische Untersuchung über den Begriff der Zahl. Breslau: W. Koebner, 1884. Translated as The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number. 2d ed. Translated by J. L. Austin. Oxford: Blackwell, 1953.
- "Kritische Beleuchtung einiger Punkte in E. Schröders Vorlesungen über die Algebra der Logik." Archiv für systematsche Philosophie 1 (1895): 433-56. Translated as "A Critical Elucidation of Some Points in E. Schröder, Vorlesungen über die Algebra der Logik." In CP 210-28, and TPW 86-106.
- Nachgelassene Schriften. Hamburg: Felix Meiner, 1969. Translated as Posthumous Writings. Translated by Peter Long and Roger White. Chicago: University of Chicago Press, 1979.
- "Le nombre entier." Revue de Métaphysique et de Morale 3 (1895): 73-8. Translated as "Whole Numbers." In CP 229-33.
- Rechnungsmethoden, die auf eine Erweiterung des Grössenbegriffes gründen. Habilitationsschrift: University of Jena, 1874. Translated as "Methods of Calculation based on an Extension of the Concept of Quantity." In CP 56-92.
- Review of Zur Lehre vom Transfiniten, by Georg Cantor. Zeitschrift für Philosophie und philosophische Kritik 100 (1892): 269-72. Translated in CP 178-181.
- Review of Philosophie der Arithmetik, by Edmund Husserl. Zeitschrift für Philosophie und philosophische Kritik 103 (1894): 313-32. Translated in CP 195-209.
- "Über Sinn und Bedeutung." Zeitschrift für Philosophie und philosophische Kritik 100 (1892): 25-50. Translated as "On Sense and Meaning." In CP 157-77. As "On Sinn and Bedeutung." In FR 151-71. And as "On Sense and Reference." In TPW 56-78.
- "Über das Trägheitsgesetz." Zeitschrift für Philosophie und philosophische Kritik 98 (1891): 145-61. Translated as "On the Law of Inertia." In CP 123-36.
- "Die Unmöglichkeit der Thomaeschen formalen Arithmetik aus Neue nachgewiesen." Jahresbericht der Deutschen Mathematiker-Vereinigung 17 (1908): 52-5. Translated as "Renewed Proof of the Impossibility of Mr. Thomae's Formal Arithmetic." In CP 346-50.
- "Der Verneinung." Beträge zur Philosophie des deutschen Idealismus 1 (1918-9): 143-57. Translated as "Negation." In CP 373-89, part II of LI, and FR 346-61.
- "Was ist ein Funktion?" In Festschrift Ludwig Boltzmann gewidmet zum sechzigsten Geburtstage, 656-66. Leipzig: Amrosius Barth, 1904. Translated as "What is a Function?" In CP 285-92, and TPW 285-92.
- Wissenschaftlicher Briefwechsel. Hamburg: Felix Meiner, 1976. Translated as Philosophical and Mathematical Correspondence. Translated by Hans Kaal. Chicago: University of Chicago Press, 1980.
- Über die Zahlen des Herrn H. Schubert. Jena: Hermann Pohle, 1899. Translated as "On Mr. H. Schubert's Numbers." In CP 249-72.
b. Important Secondary Works
- Angelelli, Ignacio. Studies on Gottlob Frege and Traditional Philosophy. Dordrecht: D. Reidel, 1967.
- Baker, G. P. and P. M. S. Hacker. Frege: Logical Excavations. New York: Oxford University Press, 1984.
- Beaney, Michael. Frege: Making Sense. London: Duckworth, 1996.
- Beaney, Michael. Introduction to The Frege Reader, by Gottlob Frege. Oxford: Blackwell, 1997.
- Bell, David. Frege's Theory of Judgment. New York: Oxford University Press, 1979.
- Bynum, Terrell W. "On the Life and Work of Gottlob Frege. " Introduction to Conceptual Notation and Related Articles, by Gottlob Frege. London: Oxford University Press, 1972.
- Carl, Wolfgang. Frege's Theory of Sense and Reference. Cambridge: Cambridge University Press, 1994.
- Carnap, Rudolph. Meaning and Necessity. 2d ed. Chicago: University of Chicago Press, 1956.
- Church, Alonzo. "A Formulation of the Logic of Sense and Denotation." In Structure, Method and Meaning: Essays in Honor of Henry M. Sheffer, edited by P. Henle, H. Kallen and S. Langer, 3- 24. New York: Liberal Arts Press, 1951.
- Currie, Gregory. Frege: An Introduction to His Philosophy. Totowa, NJ: Barnes and Noble, 1982.
- Dummett, Michael. Frege: Philosophy of Language. 2d ed. Cambridge, MA: Harvard University Press, 1981.
- Dummett, Michael. Frege: Philosophy of Mathematics. Cambridge, MA: Harvard University Press, 1991.
- Dummett, Michael. Frege and Other Philosophers. Oxford: Oxford University Press, 1991.
- Dummett, Michael. The Interpretation of Frege's Philosophy. Cambridge, MA: Harvard University Press, 1981.
- Geach, Peter T. "Frege." In Three Philosophers, edited by G. E. M. Anscombe and P. T. Geach, 127-62. Oxford: Oxford University Press, 1961.
- Gödel, Kurt. "On Formally Undecidable Propositions of Principia Mathematica and Related Systems I." In From Frege to Gödel, edited by Jan van Heijenoort, 596-616. Cambridge, MA: Harvard University Press, 1967. Originally published as "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I." Monatshefte für Mathematik und Physik 38 (1931): 173-98.
- Grossmann, Reinhardt. Reflections on Frege's Philosophy. Evanston: Northwestern University Press, 1969.
- Haaparanta, Leila and Jaakko Hintikka, eds. Frege Synthesized. Boston: D. Reidel, 1986.
- Kaplan, David. "Quantifying In." Synthese 19 (1968): 178-214.
- Klemke, E. D., ed. Essays on Frege. Urbana: University of Illinois Press, 1968.
- Kluge, Eike-Henner W. The Metaphysics of Gottlob Frege. Boston: Martinus Nijhoff, Boston, 1980.
- Kneale, William and Martha Kneale. The Development of Logic. London: Oxford University Press, 1962.
- Kripke, Saul. Naming and Necessity. Cambridge, MA: Harvard University Press, 1980. First published in Semantics of Natural Languages. Edited by Donald Davidson and Gilbert Harman. Dordrecht: D. Reidel, 1972.
- Linsky, Leonard. Oblique Contexts. Chicago: University of Chicago Press, 1983.
- Resnik, Michael D. Frege and the Philosophy of Mathematics. Ithaca: Cornell University Press, 1980.
- Ricketts, Thomas G., ed. The Cambridge Companion to Frege. Cambridge: Cambridge University Press, forthcoming.
- Russell, Bertrand. "The Logical and Arithmetical Doctrines of Frege." In The Principles of Mathematics, Appendix A. 1903. 2d. ed. Reprint, New York: W. W. Norton & Company, 1996.
- Russell, Bertrand. "On Denoting." Mind 14 (1905): 479-93.
- Salmon, Nathan. Frege's Puzzle. Cambridge: MIT Press, 1986.
- Schirn. Matthias, ed. Logik und Mathematik: Frege Kolloquium 1993. Hawthorne: de Gruyter, 1995.
- Schirn. Matthias, ed. Studien zu Frege. 3 vols. Stuttgart-Bad Cannstatt: Verlag-Holzboog, 1976.
- Searle, John R. Intentionality: An Essay in the Philosophy of Mind. Cambridge: Cambridge University Press, 1983.
- Sluga, Hans. "Frege and the Rise of Analytic Philosophy." Inquiry 18 (1975): 471-87.
- Sluga, Hans. Gottlob Frege. Boston: Routledge & Kegan Paul, 1980.
- Sluga, Hans. The Philosophy of Frege. 4 vols. New York: Garland Publishing, 1993.
- Sternfeld, Robert. Frege's Logical Theory. Carbondale: Southern Illinois University Press, 1966.
- Thiel, Christian. Sense and Reference in Frege's Logic. Translated by T. J. Blakeley. Dordrecht: D. Reidel, 1968.
- Tichý, Pavel. The Foundations of Frege's Logic. New York: Walter de Gruyter, 1988.
- Walker, Jeremy D. B. A Study of Frege. London: Oxford University Press, 1965.
- Weiner, Joan. Frege in Perspective. Ithaca: Cornell University Press, 1990.
- Wright, Crispin. Frege's Conception of Numbers as Objects. Aberdeen: Aberdeen University Press, 1983.
- Wright, Crispin. Frege: Tradition and Influence. Oxford: Blackwell, 1984.
Author Information
Kevin C. Klement
Email: email@example.com
University of Massachusetts, Amherst


text:
Bored with Europe? Try the 'new Europe'
When helmet-haired 18th-century diarist Samuel Johnson was asked if he could ever become bored with Britain's bustling capital, his conclusion was grim:
"When a man is tired of London, he is tired of life," he said.
Johnson, of course, lived in a charmingly compact version of the metropolis we know today.
Had he experienced modern London's snarled transport network, its costly restaurants and its ironically mustachioed youths, he might have bailed a lot sooner.
But to where?
It takes a lot to best such great cities as London. But often the search for a replacement -- the new Paris, Barcelona or Berlin -- reminds us of what we loved about the originals.
The new London: Bristol
Where? Vibrant southwest English port city overlooking the mouth of the mighty Severn River.
Why? Bristol rivals London's contribution to Britain's development as a cultural and industrial powerhouse.
It boasts landmarks, such as Clifton Suspension Bridge, by top-hatted engineering genius Isambard Kingdom Brunel, and a modern arts and music scene that has given us the likes of Banksy, Massive Attack and Portishead.
Its urban center contrasts with the surrounding cider orchards of Somerset, where Bristol's creamy dialect churns into pleasingly buttery tones.
Visit: The Fleece (12 St Thomas St.; +44 0 117 945 0996), great venue hosting the city's next big musical names.
But: Sometimes insular small town vibe lacks London's expansive world city feel.
More information at Visitbristol.co.uk.
The new Paris: Marseille
Where: Mediterranean melting pot on coast of France's cherished southern Provence region.
Why: Parisians are less rude these days but still seem strangely annoyed by the fact that the whole world is in love with their city and is willing to splash big euros on tiny meals, tinier hotel rooms and appalling service.
Marseille, named Europe's 2013 culture capital, is friendlier and less stuck up yet still lays claim to spawning France's hip hop scene and some of its best soccer and seafood.
It also has a Louvre-baiting new art museum called MuCEM, which bills itself as a "museum for Europe and the Meditteranean."
Visit: Architect Le Corbusier's Unité d'Habitation (280 Boulevard Michelet; +33 04 91 16 7800), an uncompromising but revered vision of communal living.
But: High crime rates, exacerbated by recent drug wars, also rival Paris.
More information at Marseille-Tourisme.com.
The new Rome: Bologna
Where: Northern Italian home of famous pasta dish (note: It's called ragu, not bolognese).
Why: Rome has been around for 2,500 years, so it's long overdue a rest, particularly with the price of gelato hitting the $85 mark.
Unless you're hellbent on following in the Vespa fumes of Audrey Hepburn, Bologna should tick all the Roman holiday boxes. There's great cuisine, cherished ancient architecture and reasonably priced gelato.
The world's oldest university town also has a strong underground music scene -- Bologna hosted the influential but now defunct "Homesleep" label, which published successful Italian indie acts such as Julie's Haircut.
Visit: The Gelato Museum (Via Emilia, 45, Bologna; +39 51 650 5306). It can't be licked. OK, it can.
But: Student-seeking dope dealers make parts of the city intimidating at night.
More information at BolognaWelcome.com.
The new Berlin: Dresden
Where? Eastern German city that repeatedly refuses to flinch in the face of brutal history.
Why? While Berlin scenesters have started to overcook their communist legacy, pushing up prices in once-accessible Kreuzberg, Dresden's boho hangouts in the lively and eclectic Neustadt district have yet to be sucked into the black hole of yuppiedom.
There are all the cultural trappings, including an esteemed music festival, of a classic European baroque city, albeit one recreated from the rubble of World War II.
Visit: The Transparent Factory (Lennestrasse 1; +49 351 420 4411): a striking modern structure that lays Volkswagen's production process bare.
But: Dresden's efforts to cover its battle scars have left it lacking Berlin's grittier appeal.
More information at Dresden.de.
The new Barcelona: Bilbao
Where? Spanish port on north Atlantic coast, not to be confused with a hairy-toed Hobbit.
Why? Petty annoyances and rip-offs are too often the price paid to enjoy Barcelona's rich culture and nightlife.
Less so in Bilbao, which has spent the past two decades reinventing itself from decaying industrial center to tourist playground, replete with shining Guggenheim outpost, stylish new metro system and a scrubbed-up old city center.
The tapas, known here as pintxos, are better, too.
Visit: The Museo de Bellas Artes (Museo Plaza 2; +34 944 396 060): less fun to look at than the city's Guggenheim, but arguably better inside.
But: Bilbao may have polished its heart, but its outer industrial layers are still unappealingly rusty.
More information at VisitBilbao.info.
The new Amsterdam: Utrecht
Where? Charming university town enviably sited at the heart of Dutch transport networks.
Why? Ignore the fact that there has already been a New Amsterdam -- the city we now know as New York.
If you want canals, Gothic architecture and waxy cheeses without having to dodge British bachelor parties yakking regurgitated Heineken onto your souvenir clogs, Utrecht beats the old Amsterdam hands-down.
Visit: The Inkpot (Moreelsepark 3): a railway HQ that's the Netherlands' largest brick-built building. And it has a flying saucer parked on the roof. Who needs drugs?
But: The Miffy exhibition is cute, but hardly compares to the revamped Rijksmuseum.
More information at Holland.com.
The new Athens: Heraklion
Where? Ancient Crete capital and former safe haven from Aegean pirates.
Why? Hot, grubby and congested Athens has the Acropolis but little else to keep visitors from catching the first ferry out of Piraeus.
Heraklion combines its history -- the millennia-old palace of Knossos -- with decent beaches and a cheap but lively nightlife and cultural scene.
Visit: Lychnostatis (Limenas Chersonisou, Thesi Plaka; +30 289 702 3660): not a disease but an outdoor folk museum that's an antidote to Greece's usual stuffy galleries.
But: Heraklion can be hotter, grubbier and more congested than Athens at times.
More information at VisitGreece.gr.
The new Prague: Brno
Where? Bizarrely overlooked central Czech city riddled with architectural gems.
Why? Prague has become such a Gothic playground for moviemakers and beer-swilling backpacker parties that it's a wonder some of the focus hasn't spilled over into equally delightful but trickier to say Brno (it is pronounced bur-noh).
Not only is Brno blessed with citadels and cathedrals to rival the Czech capital, it has a great tradition of modernist architecture. Plus it's generally cheaper, and hosts an incendiary international fireworks competition.
Visit: St James Church Ossuary (Jakubske namestí 602; +42 054 221 2039): macabre underground bone collection.
But: Brno's folksy provinciality is often compared unfavorably to livelier Prague.
More information at CzechTourism.com.
The new Krakow: Wroclaw
Where? Country-hopping archipelago city now firmly ensconced in western Poland.
Why? With Krakow getting as crowded as Prague, it makes sense to turn to another tricky to say (it's pronounced vrot-swov) and largely ignored alternative.
Wroclaw centers on a sweeping market square lined with cafes and bars where you might find yourself the only tourist.
There's an attractive litany of parks, museums and shops, but the square is where it's at, especially at night.
Visit: Wroclaw town hall (Rynek Place; +487 1347 1693): a vast complex 250 years in the making that has its own brewery.
But: Industrial zones beyond the center can detract from its overall beauty.
More information at Visit-Wrocklaw.eu.
The new Brussels: Ostend
Where: Brooding Belgian port and beach resort overlooking North Sea
Why: Admittedly there isn't a pressing need for an old Brussels let alone a new one, but Ostend makes a strong case.
Spared the EU bureaucrats that throng the Belgian capital and the saccharine feel of Bruges's medieval theme park, Ostend is cheaper but still has good brasseries and bars.
Off-season its faded seaside glamor is gloomy but oddly restorative -- as soul legend Marvin Gaye found during an unlikely early 1980s sojourn.
Visit: The Marvin Gaye midnight lover tour (Tourist office, Monacoplein 2; +32 5970 1199).
But: Ostend doesn't enjoy Brussels' swish Eurostar rail escapes to London and Paris.
More information at VisitOstend.be.

subset: commoncrawl


text:
Home » Eyewash Station » eye-wash-station
Contact Alsco
We guarantee 100% privacy. Your information will never be shared.
"Always on time"
Adam Sherman, Eatery
"I just wanted to thank you for providing such excellent service during our holiday rush period. It was a relief to be able to change our order to meet demand, and we really appreciate that Karen went beyond the call to help us out."
Need Help?
Contact Customer Service here.


text:
Virginia Beach, Virginia White Collar Crime Lawyers
Go-To Criminal Defense Attorney.
- (757) 554-0258
- Free Consultation
Virginia Beach, VA 23452
White Collar Crime, Criminal and DUI
Regent University School of Law
Suite 300
Virginia Beach, VA 23452
Regent University School of Law
Brian became a Police Officer in 2005 and served with both the Virginia Beach Police Department's Third Police Precinct and its Traffic Safety Unit. During his policing career Brian made hundreds of...
Virginia Beach, VA 23451
University of Richmond School of Law
Suite 202
Virginia Beach, VA 23462
University of Florida
Suite 200
Virginia Beach, VA 23454
Regent University School of Law
Virginia Beach, VA 23452
Norfolk, VA 23510
University of Virginia School of Law
Norfolk, VA 23510
Touro College Jacob D. Fuchsberg Law Center
During your worst moments we are at our best. We will defend you aggressively against the most heinous of charges such as:
Abduction and kidnapping, including parental kidnapping
Alcohol charges: underage possession of alcohol, drunk in public
Larceny, theft, shoplifting, concealment
Fraud, credit card theft, identity theft
Yorktown, VA 23692
Regent University School of Law
Prior to joining Schempf & Ware, Chad served on active duty with the United States Air Force. He graduated from Regent University School of Law and began private practice and then joined the Newport News Commonwealth's Attorney's Office as...
Petersburg, VA 23803
University of Richmond School of Law
Mr. Riley has tried over 250 jury trials in federal and state courts across the Commonwealth, holds the highest national legal rating with Martindale Hubbell, and has been recognized by his peers as one of the Legal Elite as published by Virginia Business Magazine, and has...
Richmond, VA 23220
University of Richmond and American University Washington College of Law
Suite O
Richmond, VA 23219
The Ohio Northern University Pettit College of Law
Suite 730
Richmond, VA 23219
Alexandria, VA 22314
White Collar Crime, Criminal, DUI and Juvenile
George Mason University School of Law
MEDVIN LAW was founded by attorney Marina Medvin, a highly sought-after and nationally revered criminal trial lawyer who has defended FBI's 10 Most Wanted, WikiLeaks and Anonymous hacker...
Alexandria, VA 22314
White Collar Crime, Criminal, DUI and Traffic Tickets
George Mason University School of Law
The George Washington University Law School
Roanoke, VA 24011-2411
The University of Georgia School of Law
Fredericksburg, VA 22401
University of North Carolina School of Law
Suite 310
Fairfax, VA 22030
White Collar Crime, Business, Criminal and Traffic Tickets
The Catholic University of America Columbus School of Law
Before becoming an attorney, he was a private investigator,...
Fl 2
Fairfax, VA 22030
American University Washington College of Law
Arlington, VA 22209
Michigan State University
He also defends individuals charged with moving violations, driving under the influence, reckless driving, or driving with a suspended license. With trial experience in Fairfax, Alexandria, Prince William, Loudoun, and other counties in northern Virginia, Jad Sarsour has a deep understanding of the unique characteristics of...
University of Denver
Mr. Krischer left NDAA to serve as an Assistant Commonwealth's Attorney for Arlington County, prosecuting a range criminal activity from traffic offenses and DUIs to rape and other aggravated felonies. Mr. Krischer left prosecution and worked for the Stuttgart Law...
Roanoke, VA 24011
Liberty University
Suite A
Woodbridge, VA 22192
George Mason University
Suite 208
Manassas, VA 20110
University of Kansas School of Law and American University Washington College of Law
Mr. Rodriguez, was born in Caracas, Venezuela. He attended Universidad Santa...
Suite 1200
Arlington, VA 22203
Georgetown University Law Center
Once he finished his duty at the federal district court, he began working at the Office of the Public Defender in Arlington County, Virginia. In doing so, he was misdemeanor and felony certified by the Virginia Indigent Defense Commission (VIDC). After his time at the Public...
Falls Church, VA 22046
Emory University School of Law
Suite 210
Fairfax, VA 22033
Western Michigan University Cooley Law School
8th Floor
Arlington, VA 22201
White Collar Crime, Criminal and DUI
American University Washington College of Law
Mr. Turner believes that individuals facing criminal allegations need confident, talented, and experienced attorneys to develop a winning strategy and to argue their case persuasively. He combines extensive knowledge...
Third Floor
Leesburg, VA 20175
University of Virginia School of Law
Alexandria, VA 22314
Anna has received several awards, including Top 40 Under 40 for Criminal Law from The National Trial Lawyers, and...
10521 Judicial Dr., Suite 100
Fairfax, VA 22030
We also practice Personal Injury Law (Car Accidents) as well as Bankruptcy Law (Chapter 7 Debt Relief).
If you are involved in a car accident, we aggressively pursue the maximum recovery by trial if necessary to ensure you are compensated for your pain and suffering.
If you have accumulated debt and are unable to manage, we can help you get a fresh start by filing a Chapter 7 Bankruptcy. You shouldn't have to continue suffering, let's wipe the slate clean and begin building.
If you were charged or arrested...
Suite 206
Alexandria, VA 22314
Wake Forest University School of Law
Richmond, VA 23060
Suite 404
Alexandria, VA 22314
Georgetown University Law Center
Suite 102
Leesburg, VA 20176
George Mason University School of Law
Buta is licensed to practice in the State Courts for the Commonwealth of Virginia, Maryland and New York. She is also admitted to practice before the...
Woodbridge, VA 22192
The Catholic University of America Columbus School of Law
Michael graduated from the Catholic University of America Columbus School of Law...
Alexandria, VA 22314
Georgetown University Law Center
Suite 1250
McLean, VA 22102
New York University School of Law and Brown University
David's diverse white collar background includes years of public service in the Justice Department and as a state prosecutor. David served...
Suite 506
Alexandria, VA 22314
He has counseled and advised hundreds of clients through substantive legal issues involving business representation, criminal law, civil litigation, military law, and consumer protection law. He provides his clients with broad and substantial legal experience. Through his seven years as a United States Marine Corps Judge Advocate, he litigated an array of misdemeanor and felony...
Related Practice Areas
Need a lawyer?
The Justia Lawyer Directory is a listing of lawyers, legal aid organizations, and pro bono legal service organizations. Whether you were injured, are accused of a crime, or are merely engaging in everyday affairs that affect your legal rights or property, an attorney can help you resolve problems or prevent new ones from arising.
Here are just a few situations where you might want to seek the advice of an attorney:
- You were injured in a car or truck accident
- You have been arrested and charged with a crime, such as DUI or shoplifting
- You are considering separating from your spouse
- You have been subjected to harassment or other discrimination at work
Use Justia to research and compare Virginia Beach attorneys so that you can make an informed decision when you hire your counsel.
It is important to research an attorney before hiring him or her. Be sure to evaluate an attorney's experience (types of cases handled, prior results obtained, etc.). Although prior results are not indicative of the likelihood of success in your case, they can help you make an informed decision.
Also worth serious consideration is the attorney's location, particularly if you will be traveling to visit him or her for consultations.
Finally, research an attorney to see whether he or she has ever been subject to discipline. Although disciplinary actions do not necessarily impact the attorney's competence to handle your case, they may affect your decision whether to hire.
Researching Attorney Discipline


text:
Austin Resource Recovery provides weekly, curbside trash collection to single-family homes, duplexes and triplexes in Austin.
Trash is collected curbside every week. Use the My Schedule tool to get a personalized collection calendar for all residential curbside services. You can add your schedule to Google, iCal or Outlook, or you can print it. You can also sign up for text, email or phone call reminders and alerts.
Austin Resource Recovery provides bundled services to manage your trash, recycling and yard trimmings. Save money on your utility bill by recycling as much as possible, setting aside yard trimmings for composting collection, and choosing a smaller trash cart.
Costs are based on your trash cart size. We offer four trash cart sizes; choose the size that best fits your household's needs. Learn more about pricing and size options.
Administrative Rules require that each household have a 96-gallon trash cart before requesting an additional cart. The City also requires that customers have the same capacity for recycling as you do for trash. To change your cart size, call 512-494-9400.
Keep the following items out of the brown trash cart:
The following items can go into your brown trash cart when properly bagged and sealed:
Get There from Here
Towards a Best Managed City
Connect With Us


text:
Contact UsCSTB500 Fifth Street NWWashington, DCPhone: (202) 334-2605Fax: (202) 334-2318E-mail: firstname.lastname@example.com
Follow CSTB on Facebook and Twitter
CSTB is a part of the Division on Engineering and Physical Sciences.
Sign up for the DEPS newsletter.
File Not Found
You have requested a page that does not exist. The link you followed may be outdated or inaccurate. You can try to find similar information via our Search Engine, or return to the homepage.
If you have comments or suggestions, please email them to firstname.lastname@example.com
Thank you for visiting the National Academies.


text:
Things get a little prickly for the sleazy director when the scorned actress escapes and shows up at the audition with a huge "what the fuck" expression on her face. How will the director contend with six actresses from varied backgrounds at an isolated house in the middle of somewhere? I'm no expert, but I think someone is gonna get stabbed, or worse, prodded violently with a sharp object.
In addition, the nightie-based legginess of the elegant Linda Thorson (The Avengers) when she discovers a severed head in her toilet and the extended stalking sequence in the prop house are also worth singling out.
video uploaded by kentgraovac


text:
Welcome to Hyperion Records, an independent British classical label devoted to presenting high-quality recordings of music of all styles and from all periods from the twelfth century to the twenty-first.
Hyperion offers both CDs, and downloads in a number of formats. The site is also available in several languages.
Please use the dropdown buttons to set your preferred options, or use the checkbox to accept the defaults.
Schumann made an orchestral version of these songs between 27 October and 8 November 1841; they remain unpublished. One assumes that the piano versions pre-date the orchestrations, but this cannot be proved. 'My first attempt at song composition with orchestra' notes the composer in his Tagebuch. 'Entflieh mit mir' is scored for tenor, two flutes, oboes, horns in E, bassoons, strings and timpani. This version is two bars longer than the piano accompanied song. 'Es fiel ein Reif' is scored for soprano, two oboes, clarinets in A, horns in C, and strings. 'Auf ihrem Grab' is scored for soprano and tenor, two flutes, bassoon and strings, including two violas and cellos. In some reference works one finds the incorrect assertion that Tragödie was conceived as a piece for chorus and orchestra. The score makes clear that the composer had only solo voices in mind. The score of this version was long thought lost, but it re-emerged for auction at Sotheby's in December 1991.
from notes by Graham Johnson © 2001
extrait des notes rédigées par Graham Johnson © 2010
Français: Marie-Stella Pâris
aus dem Begleittext von Graham Johnson © 2010
Deutsch: Henning Weber
|Schumann: The Complete Songs
Schumann's songs are among the greatest musical achievements of the nineteeth century, and this is the perfect release with which to mark the composer's 200th birthday. This marvellous collection comprises Schumann's complete songs, presented for ...» More
|Brahms & Schumann: Voices of the Night
'A very special experience' (The Daily Telegraph)
'Immaculate … delicious' (Hi-Fi News)» More
|Schumann: The Complete Songs, Vol. 5 - Christopher Maltman
'Hyperion's Schumann series continues to strike gold with a collection … that finds baritone Christopher Maltman on superb form … with this ...
'This is a treasurable issue—generous in quality and quantity alike. As with the Hyperion Schubert Song edition one struggles for new ways of expressi ...» More
|Schumann: Dichterliebe & other Heine Settings
Why another Dichterliebe recording? Because Gerald Finley has simply one of the greatest voices of his generation, and is an artist at the peak of his powers. He brings to this noble cycle the supreme musical understanding that characterizes all his ...» More
|Schumann: The Complete Songs, Vol. 1 - Christine Schäfer
'Schäfer evokes comparison with Elisabeth Schumann and with the young Elly Ameling, whom in tone and freshness of response she often resembles. In sum ...
'Her voice combines ethereal radiance and clarity with resolute, unwavering focus. Johnson's account of the piano parts is superlative [and] his bookl ...» More
|Schumann: The Complete Songs, Vol. 3 - Juliane Banse
'An unqualified success … a glorious interpreter, warm-voiced and wholly in sympathy with the task in hand. The famous cycle Frauenliebe und Lebe ...
'The care that has gone into the literary and musicological side of the project is perfectly matched by the musical results. Banse proves to be a wond ...» More


text:
News from 2010-2013
City to Help Fund IB Program at Sandia High
$115,000 dedicated to help start rigorous college prep program.
Albuquerque Public Schools Superintendent Winston Brooks and Albuquerque Mayor Richard J. Berry announced today that the city will provide $115,000 for an International Baccalaureate Program at Sandia High School.
The money will be used to pay for training, materials and other start up costs and to help students cover testing fees to assure the program is inclusive and available to all interested and eligible students. APS and the city will enter into a Memorandum of Understanding that will outline specifically how the money will be spent.
Sandia High is a candidate school for the IB Diploma Program, a world-recognized college prep program for juniors and seniors based on rigorous academic standards. Qualified students from across Albuquerque will be encouraged to participate in the program, which is expected to be offered to a junior class of 100-150 students beginning in the 2013-2014 school year.
The IB Diploma Program at Sandia High will be the first such program at a regular, full-service public high school in New Mexico, though IB is offered in 120,000 schools in 48 states and 40 countries around the world.
"We recognize the value of providing our students with a rigorous, challenging college prep program that's respected around the world," said Superintendent Brooks. "We want to thank Mayor Berry and the city of Albuquerque for helping us financially support the IB program at Sandia. It will benefit our students, our families and the community as a whole."
"We know that with education, we can create a stronger foundation for our city and our kids to thrive," said Mayor Berry. "Further, the mission of the International Baccalaureate Program is precisely why the city is supporting the program at Sandia High School. We need to prepare our young people for a global future, and this program embraces the value of providing a world-class education to future generations and instilling them with a strong sense of global responsibility."
Sandia Principal Katy Harvey said the school submitted a complex, 35-page application to be accepted as a candidate school. The road to final approval as an IB World School involves, among other requirements, a site visit and staff training.
APS will be providing more information in the months to come to students and their families interested in the program including details on applications and entrance exams. In the meantime, those interested are encouraged to visit the IB website at www.ibo.org.