Results for 'Isabel Veloso'

997 found
Order:
  1.  55
    Naturalismo y religión: Émile Zola.Isabel Veloso - 2004 - 'Ilu. Revista de Ciencias de Las Religiones 9:227-245.
    El texto que proponemos tratará de destacar el papel que desempeña la religión en la obra más naturalista de Zola, esto es en Les Rougon-Macquart. Pero, ¿por qué elegir esta obra y no sus novelas posteriores donde el elemento religioso es mucho más evidente? Nuestra intención es desmentir el tradicional calificativo de anticlerical y de enemigo de la religión que soportó Zola hasta bien entrado el siglo XX. En efecto, sus libros esconden todo un universo religioso demasiado complejo, sutil y (...)
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  92
    On What There Must Be: Existence in Logic and Some Related Riddles.Paulo A. S. Veloso, Luiz Carlos Pereira & E. Hermann Haeusler - 2012 - Disputatio 4 (34):889-910.
    Veloso-Pereira-Haeusler_On-what-there-must-be.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  1
    De Zolt’s Postulate: An Abstract Approach.Eduardo N. Giovannini, Edward H. Haeusler, Abel Lassalle-Casanave & Paulo A. S. Veloso - forthcoming - Review of Symbolic Logic:1-28.
    A theory of magnitudes involves criteria for their equivalence, comparison and addition. In this article we examine these aspects from an abstract viewpoint, by focusing on the so-called De Zolt’s postulate in the theory of equivalence of plane polygons. We formulate an abstract version of this postulate and derive it from some selected principles for magnitudes. We also formulate and derive an abstract version of Euclid’s Common Notion 5, and analyze its logical relation to the former proposition. These results prove (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  27
    Validades Existenciais e Enigmas Relacionados.Paulo A. S. Veloso, Luiz Carlos Pereira & Edward H. Haeusler - 2009 - Dois Pontos 6 (2).
    Logic does not have purely existential theorems: the only existential sentences that are valid are those with valid universal analogues. Here, we show indeed this is so, when properly interpreted: every existential validity has a simple universal analogue, which is also valid. We also characterize existential and universal validities in terms of tautologies.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  5.  11
    De la Práctica Euclidiana a la Práctica Hilbertiana: Las Teorías Del Área Plana.Eduardo N. Giovannini, Abel Lassalle Casanave & Paulo A. S. Veloso - 2017 - Revista Portuguesa de Filosofia 73 (3-4):1263-1294.
    This paper analyzes the theory of area developed by Euclid in the Elements and its modern reinterpretation in Hilbert’s influential monograph Foundations of Geometry. Particular attention is bestowed upon the role that two specific principles play in these theories, namely the famous common notion 5 and the geometrical proposition known as De Zolt’s postulate. On the one hand, we argue that an adequate elucidation of how these two principles are conceptually related in the theories of Euclid and Hilbert is highly (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  66
    Comentario a las primeras líneas del capítulo primero de "De interpretatione" de Aristóteles.Claudio Veloso - 2005 - Tópicos 28:87-120.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  16
    On Vague Notions and Modalities: A Modular Approach.Paulo Veloso, Sheila Veloso, Petrúcio Viana, Renata de Freitas & Mario Benevides - 2010 - Logic Journal of the IGPL 18 (3):381-402.
    Vague notions, such as ‘generally’, ‘rarely’, ‘often’, ‘almost always’, ‘a meaningful subset of a whole’, ‘most’, etc., occur often in ordinary language and in some branches of science. We introduce modal logical systems, with generalized operators, for the precise treatment of assertions involving some versions of such vague notions. We examine modal logics, constructed in a modular fashion, with generalized operators corresponding to some versions of ‘generally’ and ‘rarely’.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  9
    On Vague Notions and Modalities: A Modular Approach.P. A. S. Veloso, S. R. M. Veloso, P. Viana, R. D. Freitas, M. Benevides & C. Delgado - 2010 - Logic Journal of the IGPL 18 (3):381-402.
  9.  8
    On a Logic for 'Almost All' and 'Generic' Reasoning.Paulo Veloso - 2002 - Manuscrito 25 (1):191-271.
    Some arguments use ‘generic’, or ‘typical’, objects. An explanation for this idea in terms of ‘almost all’ is suggested. The intuition of ‘almost all’ as ‘but for a few exceptions’ is rendered precise by means of ultrafilters. A logical system, with generalized quantifiers for ‘almost all’, is proposed as a basis for generic reasoning. This logic is monotonic, has a simple sound and complete deductive calculus, and is a conservative extension of classical first-order logic, with which it shares several properties. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  10. Aristotle's Poetics Withiout Katharsis, Fear, or Pity.Claudio William Veloso - 2007 - Oxford Studies in Ancient Philosophy 33:255-284.
     
    Export citation  
     
    Bookmark   2 citations  
  11.  15
    NUL-Natural Deduction for Ultrafilter Logic.Christian Jacques Renterıa, Edward Hermann Haeusler & Paulo As Veloso - 2003 - Bulletin of the Section of Logic 32 (4):191-199.
  12.  32
    On Ultrafilter Logic and Special Functions.Paulo A. S. Veloso & Sheila R. M. Veloso - 2004 - Studia Logica 78 (3):459-477.
    Logics for generally were introduced for handling assertions with vague notions,such as generally, most, several, etc., by generalized quantifiers, ultrafilter logic being an interesting case. Here, we show that ultrafilter logic can be faithfully embedded into a first-order theory of certain functions, called coherent. We also use generic functions (akin to Skolem functions) to enable elimination of the generalized quantifier. These devices permit using methods for classical first-order logic to reason about consequence in ultrafilter logic.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  73
    Matéria e percepção em Metaph. Z e H.Cláudio William Veloso - 2001 - Discurso 32:141-160.
    O presente trabalho trata da definição de fenômenos naturais. tais como o trovão que é usada como paradigma na definição das substâncias perceptíveis em Metafísica, Z17. Procura-se mostrar como a definição do trovão implica necessariamente uma referência à substância, assim como a definição das substâncias perceptíveis parte necessariamente de um acidente, que justamente funciona como matéria. Entende-se assim trazer à tona algumas questões embaraçosas para Aristóteles, que dizem respeito ao “hiato” existente entre percepção e intelecção e ao caráter não assertivo (...)
    No categories
    Direct download (9 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  14
    A Finitary Relational Algebra for Classical First-Order Logic.Paulo As Veloso & Armando M. Haeberer - 1991 - Bulletin of the Section of Logic 20 (2):52-62.
  15.  3
    Spelling Performance of Portuguese Children: Comparison Between Grade Level, Misspelling Type, and Assessment Task.Sofia Magalhães, Ana Mesquita, Marisa Filipe, Andreia Veloso, São Luís Castro & Teresa Limpo - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  9
    A New, Simpler Proof Of The Modularisation Theorem For Logical Specifications.Paulo S. Veloso - 1993 - Logic Journal of the IGPL 1 (1):3-12.
    A new, simpler proof, based on internalisation of interpretations, of the Modularisation Theorem for logical specifications is presented. This result is a basic tool for composing implementations and specialisation by parameter instantiation.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  28
    Squares in Fork Arrow Logic.Renata P. de Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso & Paulo A. S. Veloso - 2003 - Journal of Philosophical Logic 32 (4):343-355.
    In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18.  24
    Characterisations for Fork Algebras and Their Relational Reducts.Paulo As Veloso - 1997 - Bulletin of the Section of Logic 26 (3):144-155.
  19.  13
    On the Power of Ultrafilter Logic.Paulo As Veloso - 2000 - Bulletin of the Section of Logic 29 (3):89-97.
  20.  4
    Functional Interpretation of Logics for ‘Generally’.Paulo Veloso & Sheila Veloso - 2004 - Logic Journal of the IGPL 12 (6):627-640.
    Logics for ‘generally’ are intended to express some vague notions, such as ‘generally’, ‘several’, ‘many’, ‘most’, etc., by means of the new generalized quantifier ∇ and to reason about assertions with ‘generally’ . We introduce the idea of functional interpretation for ‘generally’ and show that representative functions enable elimination of ∇ and reduce consequence to classical theories. Thus, one can use proof procedures and theorem provers for classical first-order logic to reason about assertions involving ‘generally’.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  38
    Science and Sport in 2012| Policies| BIS.Spence Isabel - 2012 - Science and Society 9 (10).
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  30
    On ‘Most’ and ‘Representative’: Filter Logic and Special Predicates.Paulo Veloso & Sheila Veloso - 2005 - Logic Journal of the IGPL 13 (6):717-728.
    Logics for ‘generally’ were introduced for handling assertions with vague notions, by non-standard generalized quantifiers, and to reason qualitatively about them . Filter logic is intended to address ‘most’. Here, we show that filter logic can be faithfully embedded into a classical first-order theory of certain predicates, called compatible. We also use representative predicates to enable elimination of the generalized quantifier. These devices permit using classical first-order methods to reason about consequence in filter logic and help clarifying the role of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23.  7
    A Finite Axiomatization For Fork Algebras.Marcelo Frias, Armando Haeberer & Paulo S. Veloso - 1997 - Logic Journal of the IGPL 5 (3):1-10.
    Proper fork algebras are algebras of binary relations over a structured set. The underlying set has changed from a set of pairs to a set closed under an injective function. In this paper we present a representation theorem for their abstract counterpart, that entails that proper fork algebras — whose underlying set is closed under an injective function — constitute a finitely based variety.1.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  24. Revista FACES Estudios Venezolanos de Comunicación Universidad de Carabobo, Facultad de Ciencias Económicas y Sociales Carabobo-Venezuela Volumen XVIII. Nº 2. julio-diciembre 2007.Magda Cejas & María Isabel - 2010 - Telos: Revista de Estudios Interdisciplinarios En Ciencias Sociales 12 (2):255-257.
    Translate
     
     
    Export citation  
     
    Bookmark  
  25. A Logical Approach To Qualitative Reasoning With 'Several'.Paulo Veloso - 2001 - Logique Et Analyse 44.
     
    Export citation  
     
    Bookmark   1 citation  
  26.  2
    On Comparison, Equivalence and Addition of Magnitudes.Paulo A. Veloso, Abel Lassalle-Casanave & Eduardo N. Giovannini - 2019 - Principia: An International Journal of Epistemology 23 (2):153-173.
    A theory of magnitudes involves criteria for their comparison, equivalence and addition. We examine these aspects from an abstract viewpoint, stressing independence and definability. These considerations are triggered by the so-called De Zolt’s principle in the theory of equivalence of plane polygons.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  19
    Is Fork Set-Theoretical.Paulo As Veloso - 1997 - Bulletin of the Section of Logic 26 (1):20-30.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  22
    Squares in Fork Arrow Logic.Renata P. De Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso & Paulo A. S. Veloso - 2003 - Journal of Philosophical Logic 32 (4):343 - 355.
    In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  20
    Why Ultrafilters for Almost All.Paulo As Veloso - 1999 - Bulletin of the Section of Logic 28 (4):183-193.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  14
    A New, Simpler Proof of the Modularisation Theorem for Logical Specifications.Paulo A. S. Veloso - 1993 - Logic Journal of the IGPL 1 (1):3-12.
  31.  16
    On Some Misconceptions About Ultrafilter Logic.Paulo As Veloso - 2000 - Bulletin of the Section of Logic 29 (1/2):1-12.
  32.  16
    On the Independence of the Axioms for Fork Algebras.Paulo As Veloso - 1997 - Bulletin of the Section of Logic 26 (4):197-209.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  11
    Policy Implications of Achievement Testing Using Multilevel Models: The Case of Brazilian Elementary Schools.Igor G. Menezes, Victor R. Duran, Euclides J. Mendonça Filho, Tainã J. Veloso, Stella M. S. Sarmento, Christine L. Paget & Kai Ruggeri - 2016 - Frontiers in Psychology 7.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  34.  25
    On Fork Arrow Logic and its Expressive Power.Paulo A. S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
    We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  35.  15
    Libro reseñado: Hesíodo (siglo VIII aC). Autor: Ángel Sánchez de la Torre.Lorca Martín de Villodres & María Isabel - 2013 - Estudios de Filosofía (Universidad de Antioquia) 47:189-193.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  5
    The Multimodal Construction of Acceptability: Marvel's Civil War Comic Books and the PATRIOT Act.Francisco Veloso & John Bateman - 2013 - Critical Discourse Studies 10 (4):427-443.
    The 9/11 attacks in the USA had profound political consequences at both domestic and international levels. Specific and controversial policy developments were pursued requiring substantial legitimation to find acceptance. A prime example was the USA PATRIOT Act, which was passed in the immediate aftermath of 9/11 and subsequently received considerable critique due to the sweeping nature of its redefinition of what was acceptable in the cause of ‘fighting terror’. The media, and their construal of events and policies, played a significant (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  37.  11
    Exploring Computational Contents of Intuitionist Proofs.Geiza Hamazaki da Silva, Edward Haeusler & Paulo Veloso - 2005 - Logic Journal of the IGPL 13 (1):69-93.
    One of the main problems in computer science is to ensure that programs are implemented in such a way that they satisfy a given specification. There are many studies about methods to prove correctness of programs. This work presents a method, belonging to the constructive synthesis or proofs-as-programs paradigm, that comes from the Curry-Howard isomorphism and extracts the computational contents of intuitionist proofs. The synthesis process proposed produces a program in an imperative language from a proof in many-sorted intuitionist logic, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  15
    On Reasoning About 'Generally' and 'Rarely' with Filter-Like Family of Sets.Paulo A. S. Veloso, Jean-Yves Béziau & Alexandre Costa Leite - unknown
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  8
    Definition-Like Extensions by Sorts.Claudia Meré María & Paulo A. S. Veloso - 1995 - Logic Journal of the IGPL 3 (4):579-595.
  40.  11
    On Modulated Logics for 'Generally' : Some Metamathematical Issues.Sheila R. M. Veloso & Paulo A. S. Veloso - unknown
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  11
    On Fork Arrow Logic and Its Expressive Power.Paulo A. S. Veloso, Renata P. De Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
    We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  3
    Comentario a Las Primeras Líneas Del Capítulo Primero Del De Interpretatione de Aristóteles.Cláudio William Veloso - 2005 - Tópicos: Revista de Filosofía 28:87-120.
    Comentario a las primeras líneas del capítulo primero del De Interpretatione de Aristóteles.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43.  8
    Aristote, Ses Commentateurs Et les Déficiences Délibératives de l'Esclave Et de la Femme.Claudio William Veloso - 2013 - Les Etudes Philosophiques 107 (4):513.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44.  15
    A verdadeira cidade de Platão.Cláudio William Veloso - 2003 - Kriterion: Journal of Philosophy 44 (107):72-85.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45.  8
    On Eight Independent Equational Axiomatisations for Fork Algebras.Paulo As Veloso - 1998 - Bulletin of the Section of Logic 27 (3):117-129.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  6
    PDL for Structured Data: A Graph-Calculus Approach.P. A. S. Veloso, S. R. M. Veloso & M. R. F. Benevides - 2014 - Logic Journal of the IGPL 22 (5):737-757.
  47.  6
    Vegetivs, epitoma Rei militaris, 1.3.1.Ramón Baltar Veloso - 2008 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 152 (1/2008).
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  7
    An Application of Logic Engineering.Sheila Veloso, Paulo Veloso & Renata de Freitas - 2005 - Logic Journal of the IGPL 13 (1):29-46.
    We consider a paradigm of applications of Logic Engineering to illustrate the information interchange among different areas of knowledge, through the formal approach to some aspects of computing. We apply the paradigm to the area of distributed systems, taking the demand for specification formalisms, treated in three areas of knowledge: modal logics, first-order logic and algebra. In doing so, we obtain transfer of intuitions and results, establishing that, as far as input/output representation is concerned, these three formalisms are equivalent.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  5
    Nietzsche ainda cresce.Cleto Seabra Veloso - 2015 - Cadernos Nietzsche 36 (1):213-217.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  2
    Réplica a: El argos logos y su refutación por Crisipo.Cláudio William Veloso - 2005 - Tópicos: Revista de Filosofía 28:255-271.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 997