Nietzsche apresenta, no decorrer de sua obra, um persistente interesse pelo problema da linguagem, abordando sua origem terrena e sua dimensão demasiado humana, sua ligação ao âmbito instintivo de uma espécie animal e seu caráter artificial e plástico. O objetivo deste artigo é sugerir que tal tema relaciona-se à tentativa nietzschiana de superação da metafísica, em duas frentes. Negativamente, no reconhecimento dos limites da linguagem e da influência de certas seduções gramaticais em nossas concepções do que seria a estrutura fundamental (...) do mundo. Positivamente, na elaboração de uma sintomatologia e de sua arte do estilo, elementos importantes de sua crítica da cultura e postura filosófica. Pretendemos, assim, indicar que a tematização e uso nietzschiano da linguagem possui papel central na elaboração de sua tarefa filosófica de intervenção cultural. (shrink)

Este artigo objetiva discutir o tema da autoficção e apresentar a possibilidade de utilizá-lo para a interpretação de obras filosóficas, destacadamente o livro Ecce homo de Friedrich Nietzsche e, secundariamente, Testo junkie de Paul B. Preciado. Para tanto, primeiro, abordarei a relação entre filosofia e literatura no contexto que alguns pensadores contemporâneos têm nomeado cultura literária. Em um segundo momento, traçarei uma breve história da formação da noção de autoficção e da consolidação do termo para demarcar um subgênero literário. Em (...) seguida, apresentarei elementos de Ecce homo que me parecem permitir enquadrá- lo no campo da autoficção. Na última parte, serão retomadas as articulações entre literatura e filosofia, analisando- se brevemente um exemplar de autoficção no pensamento contemporâneo, Testo junkie, para sugerir que a aproximação de tal subgênero contribui para a compreensão tanto do lugar da filosofia na cultura literária quanto aspectos de nosso tempo. (shrink)

Ao longo da trajetória intelectual de Merleau-Ponty, as reflexões sobre arte cumprem um papel crucial em sua preocupação de restituir o espetáculo do mundo, através da volta ao brotamento do sentido do ser na experiência antepredicativa do ser humano dada na percepção. Um sinal disso é que, em cada um dos momentos de seu pensamento, ele escreveu um ensaio no qual o tema central é a contribuição da expressão artística para uma reflexão filosófica interessada na abertura humana corporal no mundo. (...) Este artigo tem como propósito realizar uma aproximação de tais ensaios – recorrendo a uma abordagem cronológica – com vistas a demarcar como eles auxiliam no reconhecimento de certas nuances e articulações de seu pensamento, enfatizando a constante ontológica presente em suas discussões sobre arte. Assim, o trabalho realiza uma visão horizontal sobre o percurso merleau-pontiano de pensamento – transitando da fenomenologia da percepção à ontologia da carne –, com incursões verticais sobre as relações entre percepção, expressão e instituição nos ensaios. A hipótese é que tais temas fornecem a base para a compreensão da arte como experiência de fundação do ser. (shrink)

O último livro escrito por Nietzsche, Ecce homo: como alguém se torna o que se é, é uma de suas obras mais controversas, tendo sido tomada como sinal de prepotência, como autoexposição egocêntrica e como prenúncio do colapso que interrompeu sua trajetória intelectual em janeiro de 1889. As controvérsias foram alimentadas, em parte, pela peculiar narrativa encontrada no livro – ele conta a si sua vida e obra em tom elogioso e hiperbólico –, em parte, pelo fato de que a (...) tardia publicação de Ecce homo, ocorrida apenas em 1908, favoreceu o contraste com o apócrifo A vontade de poder – reunião de anotações publicada em 1901 como ‘obra principal’ de Nietzsche. Nosso propósito neste artigo é refletir sobre as possíveis contribuições do teor ‘autobiográfico’ e ‘autocrítico’ de Ecce homo para o caminho de pensamento do filósofo alemão. Nossa hipótese é que a narrativa experimentada no livro possui uma íntima relação com temas precedentes da obra nietzschiana e com a tarefa da transvaloração de todos os valores. Por meio de uma autoencenação, da colocação de um certo ‘Nietzsche’ em cena, o filósofo avança em sua crítica à metafísica – e à sua versão popular, a moral cristã – enquanto realça a mundanidade de sua perspectiva, seu caráter contingente e seu condicionamento pelas “pequenas coisas”, decisão que nos parece carregar uma relevante dimensão filosófica: Nietzsche assume a parcialidade e explicita o interesse envolvido em sua tomada de posição no seio da cultura. (shrink)

In this volume, leading philosophers of psychiatry examine psychiatric classification systems, including the Diagnostic and Statistical Manual of Mental Disorders, asking whether current systems are sufficient for effective diagnosis, treatment, and research. Doing so, they take up the question of whether mental disorders are natural kinds, grounded in something in the outside world. Psychiatric categories based on natural kinds should group phenomena in such a way that they are subject to the same type of causal explanations and respond similarly to (...) the same type of causal interventions. When these categories do not evince such groupings, there is reason to revise existing classifications. The contributors all question current psychiatric classifications systems and the assumptions on which they are based. They differ, however, as to why and to what extent the categories are inadequate and how to address the problem. Topics discussed include taxometric methods for identifying natural kinds, the error and bias inherent in DSM categories, and the complexities involved in classifying such specific mental disorders as "oppositional defiance disorder" and pathological gambling. -/- Contributors George Graham, Nick Haslam, Allan Horwitz, Harold Kincaid, Dominic Murphy, Jeffrey Poland, Nancy Nyquist Potter, Don Ross, Dan Stein, Jacqueline Sullivan, Serife Tekin, Peter Zachar. (shrink)

This paper considers two reasons that might support Russell’s choice of a ramified-type theory over a simple-type theory. The first reason is the existence of purported paradoxes that can be formulated in any simple-type language, including an argument that Russell considered in 1903. These arguments depend on certain converse-compositional principles. When we take account of Russell’s doctrine that a propositional function is not a constituent of its values, these principles turn out to be too implausible to make these arguments troubling. (...) The second reason is conditional on a substitutional interpretation of quantification over types other than that of individuals. This reason stands up to investigation: a simple-type language will not sustain such an interpretation, but a ramified-type language will. And there is evidence that Russell was tacitly inclined towards such an interpretation. A strong construal of that interpretation opens a way to make sense of Russell’s simultaneous repudiation of propositions and his willingness to quantify over them. But that way runs into trouble with Russell’s commitment to the finitude of human understanding. (shrink)

Logicism is, roughly speaking, the doctrine that mathematics is fancy logic. So getting clear about the nature of logic is a necessary step in an assessment of logicism. Logic is the study of logical concepts, how they are expressed in languages, their semantic values, and the relationships between these things and the rest of our concepts, linguistic expressions, and their semantic values. A logical concept is what can be expressed by a logical constant in a language. So the question “What (...) is logic?” drives us to the question “What is a logical constant?” Though what follows contains some argument, limitations of space constrain me in large part to express my Credo on this topic with the broad brush of bold assertion and some promissory gestures. (shrink)

Contrary to economics or history, for example, there does not exist an organized field dedicated to the philosophy of political science. Given that the philosophical issues raised by political science research are just as pressing and vibrant as those raised in these more organized fields, fostering a field that labels itself Philosophy of Political Science (PoPS) is important. PoPS is advanced here as a fruitful meeting place where both philosophers and practicing political scientists contribute and discuss—with philosophical discussions that are (...) close to and informed by actual developments in political science, making philosophy of science continuous with the sciences in line with contemporary naturalist philosophy of science. The topics scrutinized in the different chapters of the Handbook will figure prominently in PoPS, as we lay out in this chapter. (shrink)

This paper has three aims: to define autonomism clearly and charitably, to offer a positive argument in its favour, and to defend a larger view about what is at stake in the debate between autonomism and its critics. Autonomism is here understood as the claim that a valuer does not make an error in failing to bring her moral and aesthetic judgements together, unless she herself values doing so. The paper goes on to argue that reason does not require the (...) valuer to make coherent her aesthetic and moral evaluations. Finally, the paper shows that the denial of autonomism has realist commitments that autonomism does not have, and concludes that issues of value realism and irrealism are relevant to the debates about autonomism in ways that have not hitherto been recognized. (shrink)

Discourse carries thin commitment to objects of a certain sort iff it says or implies that there are such objects. It carries a thick commitment to such objects iff an account of what determines truth-values for its sentences say or implies that there are such objects. This paper presents two model-theoretic semantics for mathematical discourse, one reflecting thick commitment to mathematical objects, the other reflecting only a thin commitment to them. According to the latter view, for example, the semantic role (...) of number-words is not designation but rather the encoding of cardinality-quantifiers. I also present some reasons for preferring this view. (shrink)

This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...) the model-theoretic concepts, based on those in [7], that guide the rest of this paper. Section 3 presents Natural Deduction systems IK and CK, formalizations of intuitionistic and classical one-step versions of K. In these systems, occurrences of step-markers allow deductions to display deductive structure that is covered over in familiar “no step” proof-theoretic systems for such logics. Box and Diamond are governed by Introduction and Elimination rules; the familiar K rule and Necessitation are derived (i.e. admissible) rules. CK will be the result of adding the 0-version of the Rule of Excluded Middle to the rules which generate IK. Note: IK is the result of merely dropping that rule from those generating CK, without addition of further rules or axioms (as was needed in [7]). These proof-theoretic systems yield intuitionistic and classical consequence relations by the obvious definition. Section 4 provides some examples of what can be deduced in IK. Section 5 defines some proof-theoretic concepts that are used in Section 6 to prove the soundness of the consequence relation for IK (relative to the class of models defined in Section 2.) Section 7 proves its completeness (relative to that class). Section 8 extends these results to the consequence relation for CK. (Looking ahead: Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than K.). (shrink)

Immoralists hold that in at least some cases, moral fl aws in artworks can increase their aesthetic value. They deny what I call the valence constraint: the view that any effect that an artwork’s moral value has on its aesthetic merit must have the same valence. The immoralist offers three arguments against the valence constraint. In this paper I argue that these arguments fail, and that this failure reveals something deep and interesting about the relationship between cognitive and moral value. (...) In the fi nal section I offer a positive argument for the valence constraint. (shrink)

Ancient Chinese and Greek thinkers alike were preoccupied with the moral value of music; they distinguished between good and bad music by looking at the music’s effect on moral character. The idea can be understood in terms of two closely related questions. Does music have the power to affect the ethical character of either listener or performer? If it does, is it better as music for doing so? I argue that an affirmative answers to both questions are more plausible than (...) it might seem at first. (shrink)

Biomedical science has been remarkably successful in explaining illness by categorizing diseases and then by identifying localizable lesions such as a virus and neoplasm in the body that cause those diseases. Not surprisingly, researchers have aspired to apply this powerful paradigm to addiction. So, for example, in a review of the neuroscience of addiction literature, Hyman and Malenka (2001, p. 695) acknowledge a general consensus among addiction researchers that “[a]ddiction can appropriately be considered as a chronic medical illness.” Like other (...) diseases, “Once addiction has taken hold, it tends to follow a chronic course.” (Koob and La Moal 2006, p. ?). Working from this perspective, much effort has gone into characterizing the symptomology of addiction and the brain changes that underlie them. Evidence for involvement of dopamine transmission changes in the ventral tegmental area (VTA) and nucleus accumbens (NAc) have received the greatest attention. Kauer and Malenka (2007, p. 844) put it well: “drugs of abuse can co-opt synaptic plasticity mechanisms in brain circuits involved in reinforcement and reward processing”. Our goal in this chapter to provide an explicit description of the assumptions of medical models, the different forms they may take, and the challenges they face in providing explanations with solid evidence of addiction. <br>. (shrink)

A model-theoretic approach to the semantics of set-theoretic discourse.

Aesthetic internalism claims a link between judgement and motivation: aesthetic judgements bring with them motivations to act in characteristic ways. Critics object that there is a difference between merely liking something and judging it to be aesthetically good, and that it is our likings, not our aesthetic judgements, that motivate us. This paper develops a version of aesthetic internalism that can respond to this criticism. Wholehearted aesthetic judgements are characterized by stability, attention, and motivation. Making such judgements is an important (...) part of a good life, and so at least some aesthetic judgements are motivating. So we have reason to think that this version of aesthetic internalism is true. This paper defends wholehearted aesthetic internalism against objections, and assesses an argument from aesthetic internalism to aesthetic non-cognitivism. While wholehearted aesthetic internalism can only offer qualified support to non-cognitivism, it nonetheless offers a number of fruitful avenues for further work. (shrink)

The importance of The Origin of The Work of Art in Heidegger’s path of thought is notorious. Besides adding to the framework of the thematization of the question of being a reflection on art, the conference is considered a landmark of the displacement from the existential analytic of Dasein to the problem of history of being. Divided in three parts, this paper connects such a displacement to the relationship between art and truth established in the conference. In the first part, (...) it indicates how the criticism of aesthetic tradition is inserted in the project of overcoming metaphysics through the problematization of subjectivism. The second is dedicated to the theme of the origin of the work of art in its nexus to the notions of history and institution. In the third part, it discusses the idea of art as a setting-itself-into-work of truth as alétheia, bound to the tension between world and earth that would expose itself in art. In the final remarks, I suggest that, going beyond the Greek paradigm and Heidegger’s hesitations, the association between art and alétheia also applies to the experience offered by modern and contemporary works. (shrink)

Where $\underline{a}$ is a Turing degree and ξ is an ordinal $ , the result of performing ξ jumps on $\underline{a},\underline{a}^{(\xi)}$ , is defined set-theoretically, using Jensen's fine-structure results. This operation appears to be the natural extension through $(\aleph_1)^{L^\underline{a}}$ of the ordinary jump operations. We describe this operation in more degree-theoretic terms, examine how much of it could be defined in degree-theoretic terms and compare it to the single jump operation.

In his debut book, The Birth of Tragedy, Nietzsche presents what he understands as a metaphysics of art or metaphysics of the artist. As it becomes clear throughout the argument developed in the work, his aim is to favor a justification of the world and of existence as an aesthetic phenomenon. The path to his metaphysics passes through the interaction with Kantian and, mostly, Schopenhauerian formulations, and through a deep dialogue with Greek culture in general and, indirectly, with Pre-Socratic thought. (...) The objective of this article is to delimit the retentions and displacements of the critical tradition in his book from 1872, and highlight the importance of the interlocution with the Greek cultural repertoire in the conformation of his metaphysics of the artist. In particular, the working hypothesis is that Nietzsche, in these approaches and appropriations of critical and archaic philosophical tradition, finds the possibility of an immanent metaphysics in the post-Kantian context, conceived as a physiology (in the antique sense) of aesthetic bias. (shrink)

The topic of this essay is how non-realistic novels challenge our philosophical understanding of the moral significance of literature. I consider just one case: Joseph Heller’s Catch-22. I argue that standard philosophical views, based as they are on realistic models of literature, fail to capture the moral significance of this work. I show that Catch-22 succeeds morally because of the ways it resists using standard realistic techniques, and suggest that philosophical discussion of ethics and literature must be pluralistic if it (...) is to include all morally salient literature, and not just novels in the “Great Tradition” and their ilk. (shrink)

ENSAIO DISPONIBILIZADO NA REVISTA GUARU (2021): A luz adentra as cavernas e mostra imagens nas pedras. A mera aparência, quimera. Vemos no fundo perfis da verdadeira experiência da necessidade da caça em uma natureza vivida na nudez de seus ciclos e humores, sem controle. Nossos olhos aterram-se em javalis, búfalos-anões, bisões, cavalos, humanos-bichos, contornos de mãos – rastros de animais mágicos cujo vigor permanece nos traços gravados em pigmentos pretos e avermelhados. Temos diante de nós a descoberta de uma forma (...) de expressão a perdurar nas paredes que guardam o exercício nascido antes das coisas terem nomes, exercício agora chamado arte rupestre. No janeiro de um ano em que uma humanidade recolhida entre suas paredes finas experimenta a dureza de uma natureza alheia – a colocar no espelho a hostilidade secular a ela imposta –, tomamos ciência do encontro das mais antigas expressões figurativas produzidas por nossos antepassados em uma caverna na Indonésia. Em meio à perplexidade, apenas de posse de uma tecnologia que já não apazigua a ausência de controle, descobrimos na ilha de Sulawesi, na caverna de Leang Tedongnge, pinturas de cerca de 45 mil anos que fazem a história da arte deslocar-se e recuar. (shrink)

Simônides de Ceos foi um poeta lírico grego cuja obra é marcada pela atenção à problemática da existência humana e cuja distinção é a visão do fazer poético como atividade propriamente humana. Nietzsche nutria grande admiração por Simônides desde o tempo de sua formação intelectual, como revela sua correspondência dos anos sessenta. Além disso, em seus cadernos e em dois aforismos de sua obra publicada, o filósofo apresenta interessantes reflexões sobre o poeta. Em uma delas, afirma que Simônides aconselhava os (...) gregos a tomarem a vida como um jogo. Tal compreensão é um dos temas abordados neste ensaio. O outro tema é a discussão sobre certa proximidade entre as concepções de Simônides e Nietzsche acerca da arte como ofício, derivadas da interlocução crítica deles, respectivamente, com a tradição poética arcaica e a tradição estética e filosófica. A convergência de ambos sobre tais temas liga-se a um traço comum: o enraizamento da existência humana na aparência. (shrink)

La fuerza del movimiento español se debe bastante a su constitución como tecnopolítica. La capacidad demostrada de construir dispositivos que transitan entre la calle y la red torna el movimiento potente en ambos los espacios y tiene ayudado en la movilización de la sociedad española. Ese uso táctico de las nuevas tecnologías de comunicación y de la internet permiten que el #15M forme una especie de consciencia de red, o mejor, la subjetividad de red hace parte de la actuación dentro (...) de él. De cierta forma, la visualización del #25S en Twitter nos revela éso. A pesar de ser solo una parte de toda la red del movimiento, que es constituida también por blogs, sites, perfiles individuales y colectivos en el Facebook, etc., la configuración de esa red presenta un poco como es la actuación colectiva de los sujetos. La narrativa colaborativa construida por medio de hashtags es también un de los mecanismos del movimiento usado para aprovechar una parte de su inteligencia colectiva. (shrink)

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

Divers presents a set of de re modal truths which, he claims, are inconvenient for Lewisean modal realism. We argue that there is no inconvenience for Lewis.

I explore the claim that “fictive imagining” – imagining what it is like to be a character – can be morally dangerous. In particular, I consider the controversy over William Styron’s imagining the revolutionary protagonist in his Confessions of Nat Turner. I employ Ted Cohen’s model of fictive imagining to argue, following a generally Kantian line of thought, that fictive imagining can be dangerous if one has the wrong motives. After considering several possible motives, I argue that only internally directed (...) motives can satisfy the moral concern. Finally, I suggest that when one has the right motives, fictive imagining is morally praiseworthy since it improves one’s ability to imagine the lives of others. (shrink)

Part 1 [Hodes, 2021] “looked under the hood” of the familiar versions of the classical propositional modal logic K and its intuitionistic counterpart. This paper continues that project, addressing some familiar classical strengthenings of K and GL), and their intuitionistic counterparts. Section 9 associates two intuitionistic one-step proof-theoretic systems to each of the just mentioned intuitionistic logics, this by adding for each a new rule to those which generated IK in Part 1. For the systems associated with the intuitionistic counterparts (...) of D and T, these rules are “pure one-step”: their schematic formulations does not use □ or ♢. For the systems associated with the intuitionistic counterparts of K4, etc., these rules meet these conditions: neither □ nor ♢ is iterated; none use both □ and ♢. The join of the two systems associated with each of these familiar logics is the full one-step system for that intuitionistic logic. And further “blended” intuitionistic systems arise from joining these systems in various ways. Adding the 0-version of Excluded Middle to their intuitionistic counterparts yields the one-step systems corresponding to the familiar classical logics. Each proof-theoretic system defines a consequence relation in the obvious way. Section 10 examines inclusions between these consequence relations. Section 11 associates each of the above consequence relations with an appropriate class of models, and proves them sound with respect to their appropriate class. This allows proofs of some failures of inclusion between consequence relations. Section 12 proves that the each consequence relation is complete or weakly complete, that relative to its appropriate class of models. The Appendix presents three further results about some of the intuitionistic consequence relations discussed in the body of the paper. For Keywords, see Part 1. (shrink)

Proof uses forcing on perfect trees for 2-quantifier sentences in the language of arithmetic. The result extends to exact pairs for the hyperarithmetic degrees.

This article tackles the sole surviving ancient commentary on what was perhaps the second most important Platonic work, with special interest for the manner in which the ancients tackled the setting of Plato's dialogues, Socratic ignorance, Socratic eros, the central myth-like Palinode, and the question of oral as against written teaching.

Christopher Columbus Langdell has not only damaged the study of law with his three follies: his legal formalism, his redacted appellate case method, and his notion that legal practice taints the professor of law. His three follies have also impaired character development critical for legal actors. This Article focuses on four such critical character traits and virtues impaired by Langdell: (i) imagination, (ii) empathy, (ii) balance, and (iv) integrity. -/- This Article also calls out potential character issues with two professor (...) types inspired by Langdell: (v) the hazing professor who confuses intellectual rigor with intense discomfort and who uses the redacted appellate case method to inflict such discomfort at the expense of better pedagogy, and (vi) the professor without substantial practice experience who is substantially paid to teach what she has never practiced. -/- Agreeing with C.S. Pierce that the best argument is a cable rather than a chain, I end by weaving in a Langdell villanelle. I hope such a cable can help lift Langdell and his follies from legal education and the world. (shrink)

Relative to any reasonable frame, satisfiability of modal quantificational formulae in which “= ” is the sole predicate is undecidable; but if we restrict attention to satisfiability in structures with the expanding domain property, satisfiability relative to the familiar frames (K, K4, T, S4, B, S5) is decidable. Furthermore, relative to any reasonable frame, satisfiability for modal quantificational formulae with a single monadic predicate is undecidable ; this improves the result of Kripke concerning formulae with two monadic predicates.

Let I be a countable jump ideal in $\mathscr{D} = \langle \text{The Turing degrees}, \leq\rangle$ . The central theorem of this paper is: a is a uniform upper bound on I iff a computes the join of an I-exact pair whose double jump a (1) computes. We may replace "the join of an I-exact pair" in the above theorem by "a weak uniform upper bound on I". We also answer two minimality questions: the class of uniform upper bounds on I (...) never has a minimal member; if ∪ I = L α [ A] ∩ ω ω for α admissible or a limit of admissibles, the same holds for nice uniform upper bounds. The central technique used in proving these theorems consists in this: by trial and error construct a generic sequence approximating the desired object; simultaneously settle definitely on finite pieces of that object; make sure that the guessing settles down to the object determined by the limit of these finite pieces. (shrink)

© British Society of Aesthetics 2018. Published by Oxford University Press on behalf of the British Society of Aesthetics. All rights reserved. For Permissions, please email: [email protected] adaptation of literary works into films has been almost completely neglected as a philosophical topic. I discuss two questions about this phenomenon:What do we mean when we say that a film is faithful to its source?Is being faithful to its source a merit in a film adaptation?In response to, I set out two distinct (...) senses of fidelity: story fidelity and thematic fidelity. I then argue, in response to, that thematic fidelity, but not story fidelity, is an aesthetic merit in a film adaptation. The key steps in this argument involve showing that merely preserving the story from one medium to another does not typically involve an aesthetically... (shrink)

Where AR is the set of arithmetic Turing degrees, 0 (ω ) is the least member of { $\mathbf{\alpha}^{(2)}|\mathbf{a}$ is an upper bound on AR}. This situation is quite different if we examine HYP, the set of hyperarithmetic degrees. We shall prove (Corollary 1) that there is an a, an upper bound on HYP, whose hyperjump is the degree of Kleene's O. This paper generalizes this example, using an iteration of the jump operation into the transfinite which is based on (...) results of Jensen and is detailed in [3] and [4]. In $\S1$ we review the basic definitions from [3] which are needed to state the general results. (shrink)

This paper presents a model-theoretic semantics for discourse "about" natural numbers, one that captures what I call "the mathematical-object picture", but avoids what I can "the mathematical-object theory".