Open Access“MUITOS”: FORMALIZANDO UM CONCEITO IMPRECISO
Author(s) -
María Cláudia Cabrini Grácio,
Hércules de Araújo Feitosa,
Mauri Cunha do Nascimento
Publication year - 1969
Publication title -
revista eletrônica informação e cognição
Language(s) - English
Resource type - Journals
ISSN - 1807-8281
DOI - 10.36311/1807-8281.2006.v5n2.737
Subject(s) - non classical logic , quantifier (linguistics) , computer science , logical framework , context (archaeology) , logical consequence , truth table , subject (documents) , classical logic , logical conjunction , cognitive science , artificial intelligence , programming language , algorithm , psychology , paleontology , library science , biology
This work presents general notions involving quantifiers and shows a separation between logical quantifiers and non logical quantifiers. As a non logical quantifier, “many” is introduced in a formal approach which generates a new logical system: the Logic of Many. Finally we show some limits of the model proposed to interpret “many” in a formal context and discusses the subject.