operador modal - Modal operator
A conjuntivo modal (ou operador modal ) é um conectivo lógico para a lógica modal . É um operador que forma proposições de proposições. Em geral, um operador modal tem a propriedade "formal" de ser não- verdade-funcional , e é "intuitivamente" caracterizado por expressar uma atitude modal (como necessidade , possibilidade , crença , ou conhecimento ) sobre a proposta a que o operador é aplicado.
Conteúdo
modalidade interpretado
Existem várias maneiras de interpretar operadores modais em lógica modal, incluindo: aléticas , deontic , axiológica , epistêmica e doxástica .
aléticas
Aléticas operadores modais (M-operadores) determinar as condições fundamentais de mundos possíveis , especialmente causalidade , os parâmetros de tempo-espaço, e a capacidade das pessoas de ação. Eles indicam a possibilidade , impossibilidade e necessidade de ações, estados de coisas, eventos, pessoas e qualidades nos mundos possíveis.
deontic
Deônticas operadores modais (P-operadores) influenciar a construção de mundos possíveis como normas prescritiva ou prescritivas, ou seja, eles indicam que é proibido, obrigatória, ou permitido.
axiológica
Axiológicas operadores modais (G-operadores) transformar o mundo entidades em valores e desvalores como visto 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 considerada como ruim por outro.
Epistêmico
Epistêmica operadores modais (K-operadores) refletem o nível de conhecimento, a ignorância ea crença no mundo possível.
doxástica
Doxástica operadores modais expressar a crença em declarações.