Operador modal Índice Interpretação Modal | Menu de navegaçãoadicioneGooglenotíciaslivrosacadêmicoe

Lógica modal


conectivo lógicológica modalveritativadeônticaaxiológicaepistêmicamundos possíveisdeônticosmundos possíveisaxiológicosepistêmicos








Question book.svg

Esta página ou secção não cita fontes confiáveis e independentes, o que compromete sua credibilidade (desde setembro de 2013). Por favor, adicione referências e insira-as corretamente no texto ou no rodapé. Conteúdo sem fontes poderá ser removido.
Encontre fontes: Google (notícias, livros e acadêmico)

Um operador modal (ou conectivo modal) é um conectivo lógico para a lógica modal. É um operador que forma proposições a partir de outras proposições. Em geral, um operador modal tem a propriedade “formal” de ser uma função não-veritativa, e é “intuitivamente” caracterizado pela expressão de uma atitude modal (como a necessidade, possibilidade, crença ou conhecimento) sobre a proposição a que o operador é aplicado.




Índice





  • 1 Interpretação Modal

    • 1.1 Alética


    • 1.2 Deôntica


    • 1.3 Axiológicas


    • 1.4 Epistêmica


    • 1.5 Doxástica





Interpretação Modal |


Existem várias maneiras de interpretar operadores modais na lógica modal, incluindo: alética, deôntica, axiológica, epistêmica e doxástica.



Alética |


Operadores modais aléticos (operadores-M) determinam as condições fundamentais de mundos possíveis, especialmente de causalidade, parâmetros de espaço-tempo e da capacidade de ação das pessoas. Eles indicam a possibilidade, impossibilidade e necessidade de ações, estados de coisas, eventos, pessoas, e as qualidades nos possíveis mundos.



Deôntica |


Operadores modais deônticos (operadores-P) influenciam na construção de mundos possíveis com normas prescritivas ou normativas, ou seja, eles indicam o que é proibido, obrigatório, ou permitido.



Axiológicas |


Operadores modais axiológicos (operadores-G) transformam as entidades do mundo em valores e desvalores como vistos por um grupo social, uma cultura ou um período histórico. Modalidades axiológicas são categorias altamente subjetivas: o que é bom para uma pessoa pode ser considerado ruim por outra.



Epistêmica |


Operadores modais epistêmicos (operadores-k) refletem o nível de conhecimento, ignorância e crença no mundo possível.



Doxástica |


Operadores modais doxásticos expressam a crença em declarações.










Popular posts from this blog

Are there any AGPL-style licences that require source code modifications to be public? Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern) Announcing the arrival of Valued Associate #679: Cesar Manara Unicorn Meta Zoo #1: Why another podcast?Force derivative works to be publicAre there any GPL like licenses for Apple App Store?Do you violate the GPL if you provide source code that cannot be compiled?GPL - is it distribution to use libraries in an appliance loaned to customers?Distributing App for free which uses GPL'ed codeModifications of server software under GPL, with web/CLI interfaceDoes using an AGPLv3-licensed library prevent me from dual-licensing my own source code?Can I publish only select code under GPLv3 from a private project?Is there published precedent regarding the scope of covered work that uses AGPL software?If MIT licensed code links to GPL licensed code what should be the license of the resulting binary program?If I use a public API endpoint that has its source code licensed under AGPL in my app, do I need to disclose my source?

2013 GY136 Descoberta | Órbita | Referências Menu de navegação«List Of Centaurs and Scattered-Disk Objects»«List of Known Trans-Neptunian Objects»

Metrô de Los Teques Índice Linhas | Estações | Ver também | Referências Ligações externas | Menu de navegação«INSTITUCIÓN»«Mapa de rutas»originalMetrô de Los TequesC.A. Metro Los Teques |Alcaldía de Guaicaipuro – Sitio OficialGobernacion de Mirandaeeeeeee