Results for 'Brazilian Logic Society'

981 found
Order:
  1.  74
    Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil.Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic - 1999 - American Mathematical Soc..
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2. 19th Brazilian Logic Conference: Book of Abstracts.Cezar A. Mortari & Ricardo Silvestre (eds.) - 2019 - João Pessoa, PB, Brasil: EDUFCG.
    This is the book of abstracts of the 19th Brazilian Logic Conferences. The Brazilian Logic Conferences (EBL) is one of the most traditional logic conferences in South America. Organized by the Brazilian Logic Society (SBL), its main goal is to promote the dissemination of research in logic in a broad sense. It has been occurring since 1979, congregating logicians of different fields — mostly philosophy, mathematics and computer science — and with (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  54
    An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference.Walter Carnielli, Marcelo Coniglio & Itala D'ottaviano - 2005 - Logic Journal of the IGPL 13 (1):1-3.
    This volume corresponds to the Proceedings of the XIII Brazilian Logic Conference held at the CLE - Centre for Logic, Epistemology and the History of Science in Campinas, SP, Brazil from May 26-30, 2003 under the auspices of the SBL - Brazilian Logic Society and the ASL - Association for Symbolic Logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4. Book of Abstracts: Trends in Logic XVI: Consistency, Contradiction, Paraconsistency and Reasoning.Walter A. Carnielli, Rafael Testa & Juliana Bueno-Soler - 2016 - Campinas, SP, Brasil: CLE-Unicamp.
    “Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of (...), epistemology, philosophy and history of science, while bringing together scholars in the fields of philosophy, logic, mathematics, computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE’s strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired by, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods. The title of the event commemorates one of the three main areas of CLE, what has been called the “Brazilian school of paraconsistency”, combining such a pluralist view about logic and reasoning. (shrink)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. XVI Brazilian Logic Conference (EBL 2011).Walter Carnielli, Renata de Freitas & Petrucio Viana - 2012 - Bulletin of Symbolic Logic 18 (1):150-151.
    This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  30
    XII Brazilian Logic Conference.Edward Hermann Haeusler - 2001 - Bulletin of Symbolic Logic 7 (2):295-295.
  7.  46
    Fundamentos do barroco como amálgama da religião e da política (Foundations of the Baroque as an amalgam of religion and politics) - DOI: 10.5752/P.2175-5841.2013v11n31p944. [REVIEW]Eunice Simões Lins Gomes & Ramon Silva Silveira da Fonseca - 2013 - Horizonte 11 (31):944-964.
    Partimos do pressuposto que a arte é a revelação da profundidade do ser humano e que manifesta a sua busca pela verdade e pelo sentido de sua existência. O nosso objetivo foi descrever os fundamentos da arte barroca na consolidação e na propagação de verdades religiosas e políticas. Teremos como principal referência a igreja barroca de Santo Antônio, componente do Centro Cultural de São Francisco, localizada na cidade de João Pessoa, no nordeste do Brasil. A metodologia utilizada foi a pesquisa (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  8.  3
    Crypto-preorders, topological relations, information and logic.Piero Pagliani International Rough Set Society, Rome & Italy - 2024 - Journal of Applied Non-Classical Logics 34 (2):330-367.
    As is well known, any preorder R on a set U induces an Alexandrov topology on U. In some interesting cases related to data mining an Alexandrov topology can be transformed into different types of logico-algebraic models. In some cases, (pre)topological operators provided by Pointless Topology may define a topological space on U even if R is not a preorder. If this is the case, then we call R a crypto-preorder. The paper studies the conditions under which a relation R (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  29
    CLE/SBL 25 Years XIII Brazilian Logic Conference.Itala M. Loffredo D'Ottaviano - 2004 - Bulletin of Symbolic Logic 10 (4):594-595.
  10.  30
    In the following pages are to be found sixteen of the forty papers delivered at the Ontario Society for the Study of Argumentation (OSSA) conference held at Brock University, St. Catharines, Ontario in May of 1995. Most of the papers have been revised in light of comments raised at the conference and by referees for these" Proceedings". [REVIEW]Informal Logic - 1995 - Informal Logic 17 (2):123-126.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. Logic, sets and information: proceedings of the tenth Brazilian Conference on Mathematical Logic.Walter A. Carnielli & Luiz Carlos P. D. Pereira (eds.) - 1995 - Campinas, SP, Brazil: Centro de Lógica, Epistemologia e História da Ciência, UNICAMP.
    Proceedings of the Tenth Brazilian Conference on Mathematical Logic. Coleção CLE, volume 14, 1995. Centro De Lógica, Epistemologia e História da Ciência, Unicamp, Campinas, SP, Brazil.
     
    Export citation  
     
    Bookmark  
  12.  14
    The proceedings of the XVI ebl--16th Brazilian logic conference, 2011: A preface.Walter Carnielli & Renata de Freitas Petrucio Viana - 2014 - Logic Journal of the IGPL 22 (2):181-185.
  13.  43
    Pensamento, experiência E o tempo do ócio na educação infantil.Gabriela Venturini & Betina Schuler - 2020 - Childhood and Philosophy 16 (36):01-27.
    This paper aims to examine the way that the concepts of thought and interest have been described in the three main documents that currently guide Brazilian Child Education – National Education Guidelines and Bases/1996, National Curriculum Guidelines for Child Education/2010, and National Curriculum Basis/2018 for Child Education – and their implications for relations between childhood and thinking. In order to do that, we have relied on studies in the philosophy of difference, considering authors such as Kohan, Larrosa, López and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  38
    O comunitarismo cristão e suas influências na política brasileira – uma revisão bibliográfica sobre o comunitarismo católico no Brasil.Robson Sávio Reis Souza - 2008 - Horizonte 6 (12):41-68.
    Resumo Apresentaremos neste artigo uma breve discussão acerca das influências do comunitarismo cristão na vida social e política brasileira. Trata-se de um ensaio exploratório. O objetivo é uma revisão bibliográfica sobre o tema. A partir daquilo que foi possível selecionar, tentamos elaborar algumas ideias, no sentido de apresentar, mesmo que sucintamente, tópicos que podem indicar a importância do comunitarismo cristão, tradição forte e influente não somente nas décadas de 1960 e 1970, mas que, sobretudo no atual contexto político, ainda desempenha (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  24
    Animals in Brazil: Economic, Legal and Ethical Perspectives.David N. Cassuto - 2023 - Journal of Animal Ethics 13 (1):96-98.
    Animals in Brazil: Economic, Legal and Ethical Perspectives presents a broad overview of the complicated role of animals in Brazilian society. Its four substantive chapters survey the landscape of animal agriculture, animal protection laws, recent animal jurisprudence, and the underlying cultural factors that have shaped the Brazilian people's relationship with and treatment of animals. Despite the book's title, there is no chapter addressing economics. However, it represents the first book in English addressing the plight of animals in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  48
    Logic, Norms and Ontology. Recent Essays in Luso-Brazilian Analytic Philosophy.João Branquinho & Guido Imaguire - 2012 - Lisboa, Portugal: Centro de Filosofia da Universidade de Lisboa.
    The present special issue of Disputatio brings together some of the best work recently done in Brazil and Portugal in the tradition of analytic philosophy (broadly conceived). Over the past ten years or so we have witnessed an impressive growth of analytic philosophy in both countries, either in terms of quantity or in terms of quality of the produced philosophy. We hope that this volume capture, at least partly, the dynamics and strength of such development. The range of philosophical problems (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  30
    Kósmos Noetós: The Metaphysical Architecture of Charles S. Peirce.Ivo Assad Ibri - 2017 - Springer Verlag.
    This pioneering book presents a reconstitution of Charles Sanders Peirce philosophical system as a coherent architecture of concepts that form a unified theory of reality. Historically, the majority of Peircean scholars adopted a thematic approach to study isolated topics such as semiotics and pragmatism without taking into account the author’s broader philosophical framework, which led to a poor and fragmented understanding of Peirce’s work. In this volume, professor Ivo Assad Ibri, past president of The Charles Sanders Peirce Society and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  18.  15
    Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, Kgc '97, Vienna, Austria, August 25-29, 1997 : Proceedings'.G. Gottlob, Alexander Leitsch, Daniele Mundici & Kurt Gödel Society - 1997 - Springer Verlag.
    This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997. The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  18
    The challenge of a fraternal social coexistence. A reflection stemming from the essay “la sfida Della convivenza” by Alberto pirni.Israel Moura Barroso - 2020 - Kriterion: Journal of Philosophy 61 (147):747-768.
    ABSTRACT This article starts from the analysis of the work “La sfida della convivenza”, by Italian philosopher Alberto Pirni, to establish with it a dialogue around the principle of fraternity. In his essay, Pirni offers an essential lexicon to discuss the possibilities of social coexistence between different individuals, groups, communities and cultures in contemporary societies. The first part of the article offers a summary of the ideas of the author, who seeks to deepen the meaning of key concepts for the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20. Money as Media: Gilson Schwartz on the Semiotics of Digital Currency.Renata Lemos-Morais - 2011 - Continent 1 (1):22-25.
    continent. 1.1 (2011): 22-25. The Author gratefully acknowledges the financial support of CAPES (Coordenação de Aperfeiçoamento do Ensino Superior), Brazil. From the multifarious subdivisions of semiotics, be they naturalistic or culturalistic, the realm of semiotics of value is a ?eld that is getting more and more attention these days. Our entire political and economic systems are based upon structures of symbolic representation that many times seem not only to embody monetary value but also to determine it. The connection between monetary (...)
     
    Export citation  
     
    Bookmark  
  21.  32
    Society semantics and the logic way to collective intelligence.Walter Carnielli & Mamede Lima-Marques - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):255-268.
    The so-called phenomenon of collective intelligence is now a burgeoning movement, with several guises and examples in many areas. We briefly survey some relevant aspects of collective intelligence in several formats, such as social software, crowdfunding and convergence, and show that a formal version of this paradigm can also be posed to logic systems, by employing the notion of logic societies. The paradigm of logical societies has lead to a new notion of distributed semantics, the society semantics, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  2
    The Logic of the Synthetic Supplement in Algorithmic Societies.Benjamin N. Jacobsen - 2024 - Theory, Culture and Society 41 (4):41-56.
    What happens when there is not enough data to train machine learning algorithms? In recent years, so-called ‘synthetic data’ have been increasingly used to add to or supplement the training regimes of various machine learning algorithms. Seeking to read the notion of supplementarity differently through an engagement with the work of Jacques Derrida, I propose that the nascent emergence of synthetic data embodies what I call the logic of the synthetic supplement in algorithmic societies. I argue, on the one (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Brazilian Institute of the Environ-ment (IB AM A), 181 Brokdorf, 10 Brontosauraus society (Czechoslova-kia), 72.Baikal Lake, Bird Protection & Rubens Born - 1992 - In Matthias Finger (ed.), The Green movement worldwide. Greenwich, Conn.: Jai Press. pp. 2--249.
     
    Export citation  
     
    Bookmark  
  24. Contemporary Brazilian research in logic part II.Arthur Buchsbaum, Tarcisio Pequeno, A. General, Newton Ca da Costa & Jean-Yves Beziau - 1997 - Logique Et Analyse 40:3.
  25.  37
    Miloš Adžić and Kosta Došen, eds, Gödel's Basic Logic Course at Notre Dame, Belgrade: Logical Society Belgrade, Dosije, 2017, 302 pp., ISBN 978‐8660472399. [REVIEW]Johannes Stern - 2018 - Dialectica 72 (4):617-622.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  10
    Society, epistemology and logic in Indian tradition.Dharmacanda Jaina - 2016 - Jaipur: Prakrit Bharati Academy.
    With a special reference to Jaina epistemology and logic.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  10
    Mathematical Logic: Proceedings of the First Brazilian Conference.Ayda I. Arruda, Newton C. A. Da Costa & R. Chuaqui - 1978
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  36
    Logic and Society: Contradictions and Possible Worlds.Jon Elster - 1978 - Wiley.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   33 citations  
  29.  26
    Logic and foundations of artificial intelligence and society's reactions to maximize benefits and mitigate harm.Dora Kaufman - 2024 - Filosofia Unisinos 25 (1):1-13.
    Artificial intelligence is a general-purpose technology (GPT), term given to technologies that shape an entire era and reorient innovations by reconfiguring the economy’s logic and functioning and bringing in new business models. AI offers unprecedented opportunities and risks. The benefits of AI are extraordinary, as are its potential harms. Potential damage does not have the same degree of problematization, since the intensity and extent of the damage varies according to the domain and the object of application. To address the (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  18
    Society semantics for four-valued Łukasiewicz logic.Edson Vinícius Bezerra - 2020 - Logic Journal of the IGPL 28 (5):892-911.
    We argue that many-valued logics (MVLs) can be useful in analysing informational conflicts by using society semantics (SSs). This work concentrates on four-valued Łukasiewicz logic. SSs were proposed by Carnielli and Lima-Marques (1999, Advances in Contemporary Logic and Computer Science, 235, 33–52) to deal with conflicts of information involving rational agents that make judgements about propositions according to a given logic within a society, where a society is understood as a collection $\mathcal{A}$ of agents. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Proceedings of the Third Brazilian Conference on Mathematical Logic.A. I. Arruda, N. C. A. Da Costa & A. M. Sette - 1983 - Studia Logica 42 (4):483-484.
  32. The logical and metaphysical foundations of the distinction between the state of the free and the society of labor in the early jena writings of Hegel.F. Chiereghin - 1989 - Verifiche: Rivista Trimestrale di Scienze Umane 18 (4):421-442.
     
    Export citation  
     
    Bookmark  
  33.  8
    Logic and society: the political thought of John Stuart Mill, 1827-1848.Yuichiro Kawana - 2018 - New York, N.Y.: Palgrave MacMillan.
    Introduction -- The sciences of society in the early nineteenth century -- The politics of the American experience -- The notion of civilization -- Projected science of society -- Historical knowledge and the theory of social change -- The science of the formation of character -- The science and art of political economy -- The politics of the Irish land question -- Conclusion.
    Direct download  
     
    Export citation  
     
    Bookmark  
  34. The Logic of Society.Laird Addis - 1975 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 7 (2):404-408.
    No categories
     
    Export citation  
     
    Bookmark   5 citations  
  35.  31
    Individuum, society, humankind: the triadic logic of species according to Hajime Tanabe.Makoto Ozaki - 2001 - Boston: Brill.
    In this collection on the Kyoto School of Philosophy, the author offers the reader Tanabe's religious philosophy, but also, and for the first time, his ...
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. A Lattice of Chapters of Mathematics.Jan Mycielski, Pavel Pudlák, Alan S. Stern & American Mathematical Society - 1990 - American Mathematical Society.
     
    Export citation  
     
    Bookmark   7 citations  
  37. The Logic of Society: A Philosophical Study.[author unknown] - 1976 - Erkenntnis 10 (1):109-111.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  38.  27
    Logic in Central and Eastern Europe: History, Science, and Discourse: Department of Logical Systems and Models, Institute for the Study of Societies and Knowledge, Bulgarian Academy of Sciences, Sofia, Bulgaria.R. Lutskanov - 2014 - History and Philosophy of Logic 35 (1):1-3.
  39.  11
    34. Logic and Society and Ulysses and the Sirens.Jon Elster - 2014 - In Bernard Williams (ed.), Essays and Reviews: 1959-2002. Princeton: Princeton University Press. pp. 165-168.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  8
    Algebra and logic: papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia.John N. Crossley (ed.) - 1975 - New York: Springer Verlag.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Table Des matteres contemporary Brazilian research in logic parte.Arthur Buchsbaum, Tarcisio Pequeno, A. General, Newton Ca da Costa & Jean-Yves Beziau - 1997 - Logique Et Analyse 40:6.
  42.  16
    Conceptualizing European Society on Non-Normative Grounds: Logics of Sociation, Glocalization and Conflict.Anne Sophie Krossa - 2009 - European Journal of Social Theory 12 (2):249-264.
    For the most part, current reflections on the social seem to overemphasize either homogeneity (society/nation-state, modernization/globalization) or heterogeneity (sociality, cosmopolitanism). Against this, here the argument is put forward that it is appropriate to think of the social as consisting of aspects of homogeneity or shared frames of reference and aspects of heterogeneity at the same time. This thought is developed particularly in contrast to normative concepts such as Bauman's sociality—republicanism nexus or Beck and Grande's ideas on European cosmopolitanism. With (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  42
    Reason in society and modern logic.Hans Skjervheim - 1958 - Inquiry: An Interdisciplinary Journal of Philosophy 1 (1-4):243 – 246.
    The author considers the question of whether modern mathematical logic is an adequate framework for the explication and formalization of the kind of reasoning which occurs in everyday life in society, as well as with regard to the kind of more refined reasoning that is represented by the social scientist. (staff).
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44. Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW]Walter A. Carnielli & Itala M. L. D'ottaviano - 2001 - Studia Logica 69 (3):439-439.
     
    Export citation  
     
    Bookmark  
  45. The Free Afro-Brazilians in a Slave Society.Herbert S. Klein - 2012 - In Klein Herbert S. (ed.), Racism and Ethnic Relations in the Portuguese-Speaking World. pp. 227.
     
    Export citation  
     
    Bookmark  
  46.  12
    The Logic of Gotama: Monographs of the Society for Asian and Comparative Philosophy no. 5.Kisor Kumar Chakrabarti - 1978 - University of Hawaii Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  15
    Iv. logic and truth-finding in society and sociology.Karl-Peter Markl - 1980 - Inquiry: An Interdisciplinary Journal of Philosophy 23 (2):173 – 185.
    The question of sociological truth-finding is posed in the light of the view that logical formalizations, along with other arguments, only acquire relevance in illocutionary contexts, where it is not so much the abstract correctness of a sentence as the stating of it that counts. In order to become a counterfactual an argument requires its antecedent to be recognized as being contrary to the 'facts'. To this extent there is a clear link with 'reality' or with a view of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  29
    The logic of society: a philosophical study.Laird Addis - 1975 - Minneapolis: University of Minnesota Press.
    I Introduction In recent years there have arisen from several quarters, even within analytic philosophy itself, various challenges to the "positivist" ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  49.  43
    Operators in Nature, Science, Technology, and Society: Mathematical, Logical, and Philosophical Issues.Mark Burgin & Joseph Brenner - 2017 - Philosophies 2 (3):21.
    The concept of an operator is used in a variety of practical and theoretical areas. Operators, as both conceptual and physical entities, are found throughout the world as subsystems in nature, the human mind, and the manmade world. Operators, and what they operate, i.e., their substrates, targets, or operands, have a wide variety of forms, functions, and properties. Operators have explicit philosophical significance. On the one hand, they represent important ontological issues of reality. On the other hand, epistemological operators form (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  50.  35
    Logic and The Open Society: Revising the Place of Tarski's Theory of Truth Within Popper's Political Philosophy.Alexander J. Naraniecki - 2009 - In Zuzana Parusniková & Robert S. Cohen (eds.), Rethinking Popper. London: Springer. pp. 257--271.
1 — 50 / 981