20 found
Order:
Disambiguations
Max A. Freund [19]Max Alberto Freund [1]
  1.  9
    Predication and Sortal Concepts.Max A. Freund - 2018 - Synthese 198 (Suppl 12):3085-3106.
    We shall distinguish between sortal predication and standard predication. The former kind of predication necessarily involves sortal concepts but the latter, as it is customarily viewed, does not. It is generally thought that the only essential occurrence of a concept in a standard predication is the concept being predicated. In this paper, we shall put forward an alternative view. We shall propose to understand standard predication as a cognitive act essentially requiring sortal concepts. We shall call this view conceptual predication (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Modal Logic. An Introduction to its Syntax and Semantics.Nino B. Cocchiarella & Max A. Freund - 2010 - Bulletin of Symbolic Logic 16 (2):275-276.
     
    Export citation  
     
    Bookmark   6 citations  
  3.  9
    The Logic of Sortals: A Conceptualist Approach.Max A. Freund - 2019 - Cham, Switzerland: Springer Verlag.
    Sortal concepts are at the center of certain logical discussions and have played a significant role in solutions to particular problems in philosophy. Apart from logic and philosophy, the study of sortal concepts has found its place in specific fields of psychology, such as the theory of infant cognitive development and the theory of human perception. In this monograph, different formal logics for sortal concepts and sortal-related logical notions are characterized. Most of these logics are intensional in nature and possess, (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  38
    Modal Logic: An Introduction to its Syntax and Semantics.Nino Barnabas Cocchiarella & Max A. Freund - 2008 - Oxford and New York: Oxford University Press.
    In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  66
    A Temporal Logic for Sortals.Max A. Freund - 2001 - Studia Logica 69 (3):351-380.
    With the past and future tense propositional operators in its syntax, a formal logical system for sortal quantifiers, sortal identity and (second order) quantification over sortal concepts is formulated. A completeness proof for the system is constructed and its absolute consistency proved. The completeness proof is given relative to a notion of logical validity provided by an intensional semantic system, which assumes an approach to sortals from a modern form of conceptualism.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  41
    A Modal Sortal Logic.Max A. Freund - 2004 - Journal of Philosophical Logic 33 (3):237-260.
    An intensional semantic system for languages containing, in their logical syntax, sortal quantifiers, sortal identities, (second-order) quantifiers over sortals and the necessity operator is constructed. This semantics provides non-standard assignments to predicate expressions, which diverge in kind from the entities assigned to sortal terms by the same semantic system. The nature of the entities assigned to predicate expressions shows, at the same time, that there is an internal semantic connection between those expressions and sortal terms. A formal logical system is (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  54
    A Two Dimensional Tense-Modal Sortal Logic.Max A. Freund - 2007 - Journal of Philosophical Logic 36 (5):571-598.
    We consider a formal language whose logical syntax involves both modal and tense propositional operators, as well as sortal quantifiers, sortal identities and (second order) quantifiers over sortals. We construct an intensional semantics for the language and characterize a formal logical system which we prove to be sound and complete with respect to the semantics. Conceptualism is the philosophical background of the semantic system.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  47
    A Complete and Consistent Formal System for Sortals.Max A. Freund - 2000 - Studia Logica 65 (3):367-381.
    A formal logical system for sortal quantifiers, sortal identity and (second order) quantification over sortal concepts is formulated. The absolute consistency of the system is proved. A completeness proof for the system is also constructed. This proof is relative to a concept of logical validity provided by a semantics, which assumes as its philosophical background an approach to sortals from a modern form of conceptualism.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  19
    Conceptualismo realista y computabilidad.Max A. Freund - 2005 - Critica 37 (111):3-38.
    El artículo formula una interpretación de la computabilidad desde la perspectiva del conceptualismo realista. En esta interpretación, la noción central es la de concepto computable, el cual se entiende como cierto tipo de capacidad cognitiva. Aquí se muestra cómo difiere esa interpretación conceptualista de la clásica, denominada teoría de la computabilidad efectiva, en la cual el concepto fundamental es el de algoritmo; también se discute la relación entre estas dos interpretaciones. La discusión explora las consecuencias de la idea de que (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  17
    Consideraciones lógico-epistémicas relativas a una forma de conceptualismo ramificado.Max A. Freund - 1991 - Critica 23 (69):3-25.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  16
    Un sistema lógico de segundo orden conceptualista con operadores lambda ramificados.Max A. Freund - 1992 - Critica 24 (72):47-72.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  2
    Logic and Philosophy of Logic: Recent Trends in Latin America and Spain.Max A. Freund, Max Fernandez de Castro & Marco Ruffino (eds.) - 2018 - College Publications.
    Logic and philosophy of logic have increasingly become areas of research and great interest in Latin America and Spain, where significant work has been done and continues to be done in both of these fields. The goal of this volume is to draw attention to this work through a collection of original and unpublished papers by specialists from Latin America and Spain. Some of the papers are of importance for set-theory and model theory. They cover topics such as the foundations (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. Formal Investigations of Holistic Realist Ramified Conceptualism.Max A. Freund - 1989 - Dissertation, Indiana University
    This dissertation constitutes an inquiry into the formal aspects of a particular form of conceptual intentional realism: Holistic Realist Ramified Conceptualism. Several axiomatic systems, which have this theory as their philosophical background are developed and/or studied from a syntactical and semantical point of view. ;Among systems studied are Cocchiarella's RRC$\sbsp{\lambda}{\*}$ and HRRC$\sbsp{\lambda}{\*}$. A set theoretical semantics for these systems is developed. Also, completeness theorems with respect to certain extensions of RRC$\sbsp{\lambda}{\*}$ and HRRC$\sbsp{\lambda}{\*}$ and certain notions of validity related to that (...)
     
    Export citation  
     
    Bookmark  
  14.  25
    The Relative Consistency of System RRC* and Some of its Extensions.Max A. Freund - 1994 - Studia Logica 53 (3):351 - 360.
    We present a relative consistency proof for second order systemRRC* and for certain important extensions of this system. The proof proceeds as follows: we prove first the equiconsistency of the strongest of such extensions (viz., systemH RRC*+(/CP**)) with second order systemT * . Now, N. Cocchiarella has shown thatT * is relatively consistent to systemT*+Ext; clearly, it follows thatH RRC*+(/CP**) is relatively consistent toT*+E xt. As an immediate consequence, the relative consistency ofRRC* and the other extensions also follows, being all (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  12
    A Modal-Tense Sortal Logic with Variable-Domain Second-Order Quantification.Max Alberto Freund - 2015 - Australasian Journal of Logic 12 (1).
    We propose a new intensional semantics for modal-tense second-order languages with sortal predicates. The semantics provides a variable-domain interpretation of the second-order quantifiers. A formal logical system is characterized and proved to be sound and complete with respect to the semantics. A contemporary variant of conceptualism as a theory of universals is the philosophical background of the semantics. Justification for the variable-domain interpretation of the second-order quantifiers presupposes such a conceptualist framework.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. David J. Anderson and Edward N. Zalta/Frege, Boolos, and Logical Objects 1–26 Michael Glanzberg/A Contextual-Hierarchical Approach to Truth and the Liar Paradox 27–88 James Hawthorne/Three Models of Sequential Belief Updat. [REVIEW]Max A. Freund, A. Modal Sortal Logic, R. Logic, Luca Alberucci, Vincenzo Salipante & On Modal - 2004 - Journal of Philosophical Logic 33:639-640.
     
    Export citation  
     
    Bookmark   1 citation  
  17. Lesniewski, Quine y Geach: un análisis de sus demostraciones con respecto a la restricción del axioma V del sistema de Frege.Max A. Freund - 1982 - Revista de Filosofía de la Universidad de Costa Rica 52:177-180.
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  16
    Semantics for Two Second-Order Logical Systems: $\equiv$ RRC* and Cocchiarella's RRC.Max A. Freund - 1996 - Notre Dame Journal of Formal Logic 37 (3):483-505.
    We develop a set-theoretic semantics for Cocchiarella's second-order logical system . Such a semantics is a modification of the nonstandard sort of second-order semantics described, firstly, by Simms and later extended by Cocchiarella. We formulate a new second order logical system and prove its relative consistency. We call such a system and construct its set-theoretic semantics. Finally, we prove completeness theorems for proper normal extensions of the two systems with respect to certain notions of validity provided by the semantics.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  19.  12
    Review of Uwe Meixner, The Theory of Ontic Modalities[REVIEW]Max A. Freund - 2007 - Notre Dame Philosophical Reviews 2007 (7).
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  4
    Conceptual Realism and Interpretation.Max A. Freund - 2002 - ProtoSociology 17:119-137.
    Conceptual realism has introduced a logical distinction between the cognitive structure of an assertion and its truth-conditions. We shall argue that the cognitive structure is part of the meaning of an assertion and that, consequently, should be taken into account when interpreting a natural language. We shall also explore this topic in relation to the problem of radical interpretation. The distinction will be made evident by first formulating a logical system and then exhibiting it in the formal system. This will (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark