62 found
Order:
Disambiguations
O. Chateaubriand [48]Oswaldo Chateaubriand [14]
  1.  25
    Quine and Ontology.Oswaldo Chateaubriand - 2010 - Principia: An International Journal of Epistemology 7 (1):41-74.
    Ontology played a very large role in Quine’s philosophy and was one of his major preoccupations from the early 30’s to the end of his life. His work on ontology provided a basic framework for most of the discussions of ontology in analytic philosophy in the second half of the Twentieth Century. There are three main themes (and several sub-themes) that Quine developed in his work. The first is ontological commitment: What are the existential com-mitments of a theory? The second (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2.  6
    Conceptualizing Classical Logic.Oswaldo Chateaubriand - 2017 - Revista Portuguesa de Filosofia 73 (3-4):989-1000.
    Classical logic is often characterized through certain laws such as bi-valence and sharpness of concepts, among others. My view is that its most fundamental feature is a commitment to an objective conception of truth, which goes together with a realistic metaphysical view. Truth is objective in that it derives from the nature of reality, and is not dependent on beliefs, theories, practices, and the like. Classical logic is a theory of logical properties, logical truths, and logical states of affairs.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  82
    Logical Forms.Oswaldo Chateaubriand - 2000 - The Proceedings of the Twentieth World Congress of Philosophy 2000:161-182.
    The standard view of logical form is that logical forms are synthetic structures which are the forms of sentences and of other linguistic entities. This is often associated with a more general linguistic view of logic which is articulated in different ways by various authors. This paper contains a critical discussion of such linguistic approaches to logical form, with special emphasis on Quine’s formulation of a logical grammar in Philosophy of Logic. An account of logical forms as higher-order properties, which (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  4.  17
    Negation and Negative Properties: Reply to Richard Vallée.O. Chateaubriand - 2004 - Manuscrito 27 (1):235-242.
    I argue in §1 that there is a clear distinction between predicate negation and sentential negation and that sentential negation is a special case of predicate negation operating on the predicate ‘is true’. In §2 I reply to Richard’s objections to negative properties on the basis of the conception of properties as identity conditions presented in Chapter 12 of Logical Forms.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  5.  83
    Descriptions: Frege and Russell Combined.Oswaldo Chateaubriand - 2002 - Synthese 130 (2):213 - 226.
  6.  80
    The Truth of Thoughts: Variations on Fregean Themes.Oswaldo Chateaubriand - 2007 - Grazer Philosophische Studien 75 (1):199-215.
    In this paper I present an abstract theory of senses, thoughts, and truth, inspired by ideas of Frege. "Inspired" because for the most part I shall not pretend to interpret Frege in a literal sense, but, rather, develop some of his ideas in ways that seem to me to preserve important aspects of them. Senses are characterized as identifying properties; i.e., roughly, as properties that apply, in virtue of their logical structure, to exactly one thing, if they apply to anything (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  7.  10
    Boole on Reference and Universe of Discourse: Reply to John Corcoran.O. Chateaubriand - 2004 - Manuscrito 27 (1):173-182.
    In §1 I examine Boole’s “principle of wholistic reference” in relation to Frege’s postulation of truth-values as referents for sentences. I also consider in this connection Frege’s interpretation of quantification and his view that functions and concepts must be defined for all objects. I then present my own contrasting views on the reference of sentences. In §2 I discuss Boole’s introduction of the notion of universe of discourse and consider whether one of the issues implicit in John’s paper is a (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  8.  5
    Logic and Modality: Reply to Frank Sautter.O. Chateaubriand - 2004 - Manuscrito 27 (1):105-114.
    In §1 I examine the connections between my account of logical properties and Tarski’s account of logical notions. In §2 I briefly present some of my views on modality and the basis for my claim that there are intensional as well as extensional relations between properties. In §3 I compare my views on the nature of logic and of mathematics with Gödel’s views.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  9.  27
    Deflationism: Response to Paul Horwich.O. Chateaubriand - 2008 - Manuscrito 31 (1):483-488.
    My disagreement with the deflationist treatment of truth affects my attitude to Paul Horwich’s approach to meaning and intentionality. In my response I summarize objections to the deflationist account of truth developed in some detail in chapters 2, 7, and 12, and argue that the notion of intentionality should be treated naturalistically in a broader context than the context of the referential import of the locution “means that”.Minha discordância com a visão deflacionista da verdade afeta minha atitude em relação às (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  10.  23
    Symbolism and Logical Form: Response to Javier Legris.O. Chateaubriand - 2008 - Manuscrito 31 (1):217-221.
    Javier Legris examines my views on symbolism and logical form in relation to two important distinctions emphasized by Jean van Heijenoort—the distinction between logic as calculus and logic as universal language, and the distinction between absolutism and relativism in logic. I generally agree with his considerations and focus my response on some relevant aspects of classical logic.Javier Legris examina minhas considerações sobre simbolismo e forma lógica em relação à duas distinções enfatizadas por Jean van Heijenoort: a distinção entre lógica como (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  11.  11
    Senses: Response to Marco Ruffino.O. Chateaubriand - 2008 - Manuscrito 31 (1):315-329.
    Marco Ruffino compares the notion of sense developed in my book with Frege’s notion of sense, and argues that whereas there are ontological similarities, my notion faces epistemological and semantic problems. In my response I discuss the various issues he raises, arguing that my notion of sense can confront them at least as well as Frege’s notion.Marco Ruffino compara a noção de sentido desenvolvida em meu livro com a noção de sentido de Frege, argumentando que mesmo havendo semelhanças ontológicas, minha (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  12.  15
    Logical Truth and Logical States of Affairs: Response to Danielle Macbeth.O. Chateaubriand - 2008 - Manuscrito 31 (1):69-78.
    Danielle Macbeth disagrees with the view that there are logical truths in an ontological sense, and argues that we have no adequate epistemological account of our access to such features of reality. In my response I recall some main aspects of my ontological and epistemological formulation of logic as a science, and argue that neither Quine’s considerations against meaning, nor Benacerraf’s considerations against Gödel’s realism, show the untenability of an approach to logical truth in terms of logical propositions that denote (...)
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  13.  15
    The Nature of Propositions: Reply to Jairo José da Silva.O. Chateaubriand - 2004 - Manuscrito 27 (1):147-157.
    In §1 I reply to Jairo’s objections to my account of truth and falsity showing that my account of falsity does not imply that false sentences refer to something. In §2 I argue that Jairo’s main objection to my account of propositions as abstract properties is based on a misunderstanding concerning the purpose of this account. In §3 I examine Jairo’s suggestion that contradictory sentences can be said to describe possible states of affairs.
    Direct download  
     
    Export citation  
     
    My bibliography  
  14.  14
    Realism and Correspondence: Reply to Arno Aurélio Viero.O. Chateaubriand - 2004 - Manuscrito 27 (1):47-53.
    In §1 I suggest that although my theory of truth as identification is not a correspondence theory of truth in the sense of these terms used by the logical positivists, it can nevertheless be naturally interpreted as a correspondence theory of truth. In §2 I argue that whereas a correspondence theory of truth need not be a realist theory of truth, any sufficiently elaborate realist theory of truth should be interpretable as a correspondence theory of truth. I illustrate this with (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  15.  14
    Counterfactuals: Reply to Claudio Pizzi.O. Chateaubriand - 2004 - Manuscrito 27 (1):65-77.
    After some preliminary remarks in §1, I argue in §2 that Claudio’s considerations about my treatment of Quine’s Bizet-Verdi counterfactuals do not constitute a difficulty for the structural analysis of such counterfactuals. I discuss some of his other examples and argue that counterfactuals are ambiguous both structurally and contextually. I conclude with an examination of the principle of transitivity for counterfactuals.
    Direct download  
     
    Export citation  
     
    My bibliography  
  16.  15
    Did the Slingshots Hit the Mark? Reply to Marco Ruffino.O. Chateaubriand - 2004 - Manuscrito 27 (1):211-225.
    In §§1-2 I argue that Marco misidentifies my main objections to the Church and Gödel slingshot arguments and that his defense of these arguments does not overcome those objections. In §3 I discuss his criticisms of my theory of descriptions in relation to Church’s argument.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  17.  13
    Syntax, Semantics and Metaphysics in Logic: Reply to Guillermo Rosado Haddock.O. Chateaubriand - 2004 - Manuscrito 27 (1):129-140.
    In §§1-2 I consider some issues that Guillermo raises in connection with Husserl, especially the distinction between the notion of state of affairs and the more general notion of situation of affairs conceived as a common substratum for different states of affairs. After a few remarks about Church’s slingshot argument in §3, I discuss several objections that Guillermo raises to my interpretation of Frege , to Kripke’s notion of rigid designator and to my objections to Tarski’s semantic conception of truth.
    Direct download  
     
    Export citation  
     
    My bibliography  
  18.  15
    Logical Forms and Logical Form: Response to John Corcoran.O. Chateaubriand - 2008 - Manuscrito 31 (1):267-277.
    In his paper John Corcoran examines in detail many issues relating to logical form, and raises some questions about my formulations. In my response I emphasize two main distinctions that may clear up some of the issues. One is the distinction between logical forms, in the sense of logical properties of an abstract character, and logical form, in the sense in which we speak of the logical form of a sentence, or of a proposition. Another is the distinction, emphasized by (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  19.  11
    Propositional Logic: Response to Ken López-Escobar.O. Chateaubriand - 2008 - Manuscrito 31 (1):115-120.
    Ken López-Escobar questions the timeless status of various entities—propositions, numbers, etc.—as well as my characterization of pure propositional logic as an ontological theory. In my response I argue that my characterization of propositional logic does not depend on timeless propositions, or on other abstract truth bearers, but is a characterization in terms of truth relations between any truth bearers. I also discuss his views on numbers as cultural constructs, as well as his use of quantification in propositional logic.Ken López-Escobar questiona (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  20.  8
    Explanatory Reduction: Response to Guido Imaguire.O. Chateaubriand - 2008 - Manuscrito 31 (1):155-162.
    Guido Imaguire proposes an epistemological formulation of Ockham’s razor in terms of the notion of explanatory reduction. Although in my response I express reservations about some aspects of the specific formulations, I agree with the general epistemological idea.Guido Imaguire propõe uma formulação epistemológica da navalha de Occam em termos da noção de redução explicativa. Apesar de em minha réplica expressar reservas com respeito à alguns aspectos das formulações, concordo com a idéia geral epistemológica.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  21.  11
    Proof in Mathematics: Response to Jairo José da Silva.O. Chateaubriand - 2008 - Manuscrito 31 (1):197-202.
    The paper by Jairo José da Silva is mainly concerned with the character of mathematical proof and with the nature of mathematics and its ontology. Although there is a fair amount of agreement in our views, I focus my response on three issues on which we disagree. The first is his view of mathematical proof as generally unconstrained by language and by a previous proof apparatus. The second is his discussion of Brouwer’s views on proof and formalization. The third is (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  22.  12
    Falsity, Negation and Modality: Reply to Luiz Carlos Pereira.O. Chateaubriand - 2004 - Manuscrito 27 (1):193-200.
    In §1 I explain that my rejection of possible states of affairs as a basis for an account of falsity is not part of a general rejection of modal notions but is a rejection of possible and impossible entities of any sort. I then show that my account of senses and of propositions is indeed a modal account. In §2 I examine some of Wittgenstein’s ideas about falsity, as presented by Luiz Carlos, in relation to my account of falsity and (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  23.  12
    Platonism in mathematics/Platonismo na matemática.O. Chateaubriand - 2007 - Manuscrito 30 (2):507-538.
    In this paper I examine arguments by Benacerraf and by Chihara against Gödel’s platonistic philosophy of mathematics.Neste artigo examino argumentos de Benacerraf e de Chihara contra a filosofia platônica da matemática de Gödel.
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  24.  10
    Proof and Infinity: Response to André Porto.O. Chateaubriand - 2008 - Manuscrito 31 (1):45-49.
    The main issue André Porto raises in his paper concerns the use of dot notation to indicate an infinite set of hypotheses. Whereas I agree that one cannot extract a unique infinite expansion from a finite initial segment, in my response I argue that this holds for finite expansions as well. I further explain how my remarks on infinite proof structures are neither motivated by the impact of Gödel’s incompleteness theorems on Hilbert’s program, nor by a negative view of strict (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  25.  8
    Agnostic Nominalism: Response to Otávio Bueno.O. Chateaubriand - 2008 - Manuscrito 31 (1):441-444.
    Otávio Bueno gives a positive and accurate summary of my defense of Platonism, with special emphasis on the epistemological issues. He criticizes “skeptical nominalism”, and proposes instead an “agnostic nominalism”, which treats mathematical objects as “objects of thought”, and neither rejects nor accepts abstract entities. In my response I argue that the main problem for nominalism is to account for abstract properties and relations, and that treating mathematical objects as objects of thought does not provide a satisfactory solution to that (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  26.  11
    Mathematics and Logic: Response to Mark Wilson.O. Chateaubriand - 2008 - Manuscrito 31 (1):355-359.
    Mark Wilson argues that in order to make physical first-order properties suitable for inclusion in the bottom levels of a logical hierarchy of properties, their proper treatment must take into account the methods of applied mathematics. I agree that the methods of applied mathematics are essential for studying physical properties, and in my response focus on the nature of the logical hierarchy and on the requirements of classical logic.Mark Wilson argumenta que um tratamento adequado para tornar as propriedades físicas de (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  27.  6
    Dialectical Rhetoric: Response to Abel Lassalle Casanave.O. Chateaubriand - 2008 - Manuscrito 31 (1):19-24.
    Abel Lasalle Casanave’s comments on the rhetorical and dialectical aspects of the discussion of proof in chapters 19 to 21. I center most of my response on two issues raised in his concluding questions; the first being the hermeneutic aspect of the development of mathematics and of mathematical knowledge, and the second “the symbolic conception of mathematics” and the “algebraic mode of thought”.As considerações de Abel Lasalle Casanave dizem respeito aos aspectos retóricos e dialéticos da discussão da noção de prova (...)
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  28.  10
    Platonism in Mathematics.O. Chateaubriand - 2005 - Manuscrito 28 (2):201-230.
    In this paper I examine arguments by Benacerraf and by Chihara against Gödel’s platonistic philosophy of mathematics.
    Direct download  
     
    Export citation  
     
    My bibliography  
  29.  7
    Logical Truth and Second-Order Logic: Response to Guillermo Rosado-Haddock.O. Chateaubriand - 2008 - Manuscrito 31 (1):179-184.
    In my response to Guillermo Rosado-Haddock I discuss the two main issues raised in his paper. The first is that by allowing Henkin’s general models as a legitimate model-theoretic interpretation of second-order logic, I undermine my defense of second-order logic against Quine’s views concerning the primacy of first-order logic. The second is that my treatment of logical truth and logical properties does not take into account various systems of logic and properties of systems of logic such as the Löwenheim-Skolem property.Em (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  30.  4
    Introduction.O. Chateaubriand - 2004 - Manuscrito 27 (1):9-11.
    Direct download  
     
    Export citation  
     
    My bibliography  
  31.  4
    Properties and Truth: Response to Richard Vallée.O. Chateaubriand - 2008 - Manuscrito 31 (1):507-510.
    I agree with Richard Vallée that predicates like ‘big’, ‘tall’, etc., are comparatives, and that there are no properties of being big, or tall, etc., simpliciter. I also agree that sentence-types are not the primary carriers of truth, and, with one qualification, I too reject the three main assumptions - critically examined by him.Concordo com Richard Vallée que predicados como ‘grande’, ‘alto’, etc., são comparativos, e que não há propriedades de ser simplesmente grande, ou alto, etc. Concordo também que sentenças-tipo (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  32.  4
    The Nature of Language: Response to Frank Thomas Sautter.O. Chateaubriand - 2008 - Manuscrito 31 (1):131-137.
    Frank Sautter’s questions are directed at the precise senses of the words ‘invention’ and ‘creation’ used in my remarks on the origin of language, and at the connection between Jørgensen’s and my views on the development of language. In my response I clarify my use of the words ‘invention’ and ‘creation’ vis-à-vis Frank’s suggested interpretations, and examine Jørgensen’s distinction of stages in the development of language in relation to imperatives and the “directive use of language”.As perguntas de Frank Sautter estão (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  33.  3
    Descriptions: Frege and Russell Combined.Oswaldo Chateaubriand - 2002 - Synthese 130 (2):213-226.
    Direct download  
     
    Export citation  
     
    My bibliography  
  34.  4
    Proof and Explication: Response to José Seoane.O. Chateaubriand - 2008 - Manuscrito 31 (1):293-297.
    José Seoane centers his commentary on my critique of the standard formal analysis of proof as an elucidation of the informal notion of proof, and I basically agree with his considerations throughout the paper. In my response I argue that the notion of formal proof is fundamentally an analysis of the notion of logical consequence, rather than an elucidation of the informal notion of proof. O comentário de José Seoane está centrado na crítica da análise formal de prova como elucidação (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  35.  4
    Proof and Practice: Response to Norma Goethe.O. Chateaubriand - 2008 - Manuscrito 31 (1):387-392.
    Norma Goethe addresses my criticisms of the notion of formal proof as a representation of the practice of proving, and in the process revisits large portions of my discussion of proof. I agree with many of her comments, and direct my response to two specific issues. The first concerns the essential features of proof, and the second the distinction between actual proofs and idealized proofs.Norma Goethe tece seus comentários entorno de minhas críticas à noção de prova formal como representação da (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  36.  4
    Review: A. Heyting, After Thirty Years. [REVIEW]O. Chateaubriand - 1971 - Journal of Symbolic Logic 36 (4):674-674.
  37.  3
    Multiplying Entities: Response to Dirk Greimann.O. Chateaubriand - 2008 - Manuscrito 31 (1):95-101.
    In my response to Dirk Greimann I maintain that whereas one can recognize some specific appeals to “parsimony” or “simplicity” in the sciences and in philosophy as correct and legitimate, there is no precise adequate formulation of Ockham’s razor as a general methodological principle, and argue that the formulations he examines in his paper exemplify this imprecision.Em minha réplica à Dirk Greimann mantenho que mesmo sendo possível reconhecer certos apelos à “parcimônia” e à “simplicidade” nas ciências e na filosofia como (...)
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  38.  3
    The Logical Character of Number: Reply to Abel Lassalle Casanave.O. Chateaubriand - 2004 - Manuscrito 27 (1):21-30.
    In §1 I discuss Dedekind and Frege on the logical and structural analysis of natural numbers and present my view that the logical analysis of the notion of number involves a combination of their analyses. In §2 I answer some of the specific questions that Abel raises in connection with Chapter 9 of Logical Forms.
    Direct download  
     
    Export citation  
     
    My bibliography  
  39.  2
    Ladrière Jean. La notion de constructivité en métamathématique. Bulletin de la Société Mathématique de Belgique , pp. 82–97. [REVIEW]O. Chateaubriand - 1969 - Journal of Symbolic Logic 34 (4):655-656.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  40.  3
    Language, Logic, and Ontology:Response to Oscar Esquisabel.O. Chateaubriand - 2008 - Manuscrito 31 (1):413-417.
    Oscar Esquisabel gives an overview of Chapter 13, tracing connections with several philosophers and traditions in philosophy, especially with the hermeneutic tradition. In my response I address his concluding questions about hermeneutics, and about the relation between senses, meanings, and concepts.Oscar Esquisabel apresenta uma visão geral do capítulo 13, traçando conexões com vários filósofos e tradições filosóficas, especialmente com a tradição hermenêutica. Dirijo minha réplica à suas questões finais sobre hermenêutica e sobre a relação entre sentidos, significados e conceitos.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  41.  3
    Review: Jean Dieudonne, Logica y Matematica. [REVIEW]O. Chateaubriand - 1974 - Journal of Symbolic Logic 39 (2):357-358.
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  42.  3
    How is It Determined That the True is Not the Same as the False?O. Chateaubriand - 2003 - Manuscrito 26 (2):347-357.
    The question that I discuss in this paper is whether Frege has a criterion of identity for the objects the True and the False that he introduces as denotation of sentences. My answer is that he does not, either in general or within the system of Basic Laws.
    Direct download  
     
    Export citation  
     
    My bibliography  
  43.  2
    The Referring Function of Statements: Reply to Dirk Greimann.O. Chateaubriand - 2004 - Manuscrito 27 (1):87-94.
    In §1 I discuss the pragmatic and semantic objections that Dirk raises against the claim that sentences refer to states of affairs. In §2 I explain in which sense I maintain that true sentences identify states of affairs.
    Direct download  
     
    Export citation  
     
    My bibliography  
  44.  2
    Knowledge and Justification:Response to Walter Carnielli.O. Chateaubriand - 2008 - Manuscrito 31 (1):519-523.
    Walter Carnielli argues that my position about knowledge and justification emphasizes individual knowledge, is too demanding, and is anti-psychologistic. In my response I argue that this reflects a misunderstanding of the view of knowledge and justification sketched in my book, and that our views on these issues are much closer than he imagines.Walter Carnielli argumenta que minha posição com respeito ao conhecimento e à justificação enfatiza o conhecimento individual, é demasiadamente exigente e é anti-psicologista. Em minha réplica argumento que isto (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  45.  2
    The Productivity of Language:Response to Paul Gochet.O. Chateaubriand - 2008 - Manuscrito 31 (1):463-466.
    Paul Gochet raises several interesting issues about my Chapter 13 discussion of productivity, compositionality, the context principle, meaning, and formalization. In my response I concentrate on the question of units of meaning in relation to the context principle, and on the question of infinity and formalization.Paul Gochet levanta várias questões interessantes sobre minhas considerações, no capítulo 13, sobre produtividade, composicionalidade, o princípio do contexto e formalização. Concentro minha réplica na relação das unidades de significação em relação ao principio do contexto (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  46.  1
    Dieudonné Jean. Lógica y Matemática. Revista de Matemáticas Elementales , Vol. 2 , Pp. 1–7.O. Chateaubriand - 1974 - Journal of Symbolic Logic 39 (2):357-358.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  47.  1
    Heyting A.. After Thirty Years. Logic, Methodology and Philosophy of Science, Proceedings of the 1960 International Congress, Edited by Nagel Ernest, Suppes Patrick, and Tarski Alfred, Stanford University Press, Stanford, California, 1962, Pp. 194–197. [REVIEW]O. Chateaubriand - 1971 - Journal of Symbolic Logic 36 (4):674.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48.  1
    Heyting A.. Méthodes Et Problèmes de L'Intuitionnisme. Actes du Colloque de Mathématiques Réuni À Clermont À l'Occasion du Tricentenaire de la Mort de Blaise Pascal, 4–8 Juin 1962, Volume I, Introduction Et Logique Mathématique, Annales de la Faculté des Sciences de l'Université de Clermont, No. 7, Mathématiques, Part 1, Imprimerie Louis-Jean, Gap 1962, Pp. 101–105. [REVIEW]O. Chateaubriand - 1971 - Journal of Symbolic Logic 36 (4):674-675.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  49.  1
    Heyting A.. Some Remarks on Intuitionism. Constructivity in Mathematics, Proceedings of the Colloquium Held at Amsterdam, 1957, Edited by Heyting A., Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1959, Pp. 69–71. [REVIEW]O. Chateaubriand - 1971 - Journal of Symbolic Logic 36 (4):673-674.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50.  1
    Stahl Gerold. Enfoque moderno de la lógica clásica. Contribuciones a la lógica simbólica no. 1. Ediciones de la Universidad de Chile, Santiago de Chile 1958, 187 pp.Stahl Gerold. Introducción a la lógica simbólica. Second Edition. Contribuciones a la lógica simbólica no. 2. Editorial Universitaria, Santiago de Chile 1962, 206 pp.Stahl Gerold. Elementos de la metalógica y metamatemática. Contribuciones a la lógica simbólica no. 3. Editorial Universitaria, Santiago de Chile 1964,160 pp. [REVIEW]O. Chateaubriand - 1968 - Journal of Symbolic Logic 32 (4):519-521.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
1 — 50 / 62