Semântica Lógica
o semântica lógica É um ramo da lógica e da semiótica que estuda como um signo se relaciona com a realidade, as condições necessárias para que um signo corresponda a um objeto e as regras de significação. Por exemplo: Um bolo não pode ser cru e cozido ao mesmo tempo.
Uma língua é composta por um conjunto de signos que são usados para formar enunciados. Os enunciados comunicam algo em relação ao ambiente, ou seja, em relação à realidade.
De acordo com a semântica lógica, para que uma afirmação represente a realidade, ela deve atender a certos valores de verdade, ou seja, deve ser possível determinar se uma afirmação é verdadeira ou falsa.
Para fazer essa determinação, os seguintes princípios lógicos são usados:
- Princípio da não contradição. De acordo com esse princípio, uma afirmação (ou proposição) e sua negação não podem ser verdadeiras ao mesmo tempo. Por exemplo: O céu não pode estar nublado e não nublado ao mesmo tempo e no mesmo lugar.
- Princípio do meio excluído. Uma afirmação (ou uma proposição) afirma algo, a próxima afirmação contradiz a primeira, mas apenas uma é verdadeira e não há outra opção possível, ou seja, não há uma terceira opção. Por exemplo: Está chovendo ou não está chovendo.
A semântica lógica é aplicada em diferentes campos, como a filosofia da linguagem, epistemologia, matemática, computação e física.
- Contradições
Exemplos de semântica lógica
- Este objeto não pode ser e não ser uma caixa ao mesmo tempo. (princípio da não contradição)
- O filme está concluído ou não está concluído. (princípio do meio excluído)
- É impossível esta flor ser uma rosa e não ser uma rosa ao mesmo tempo. (princípio da não contradição)
- A vela está apagada ou acesa. (princípio do meio excluído)
- É impossível um computador estar quebrado e não estar quebrado ao mesmo tempo. (princípio da não contradição)
- Está quente ou não está quente. (princípio do meio excluído)
- Essa parede não pode ser branca e não branca ao mesmo tempo. (princípio da não contradição)
- Uma pessoa está dormindo ou não está dormindo. (princípio do meio excluído)
- Não é possível esse animal ser zebra e não ser zebra ao mesmo tempo. (princípio da não contradição)
- O mar tem água salgada ou não tem água salgada. (princípio do meio excluído)
- O réu não pode ser inocente e culpado ao mesmo tempo. (princípio da não contradição)
- O elefante é um mamífero ou não é um mamífero. (princípio do meio excluído)
- Esta bandeja não pode ser quadrada e não quadrada ao mesmo tempo. (princípio da não contradição)
- A notícia está no jornal ou não está no jornal. (princípio do meio excluído)
- O ser humano não pode ser um ser racional e não ser um ser racional ao mesmo tempo. (princípio da não contradição)
- Uma pessoa está gripada ou não está gripada. (princípio do meio excluído)
- Não é possível ela ser astronauta e não ser astronauta ao mesmo tempo. (princípio da não contradição)
- A árvore tem flores ou a árvore não tem flores. (princípio do meio excluído)
- Não é possível que este rio esteja poluído e não poluído ao mesmo tempo. (princípio da não contradição)
- O lápis é roxo ou não é roxo. (princípio do meio excluído)
- Não é possível para Elena ser a presidente da empresa e não ser a presidente da empresa ao mesmo tempo. (princípio da não contradição)
- A tangerina é uma fruta ou não é uma fruta. (princípio do meio excluído)
- É impossível que uma proposição seja verdadeira e falsa ao mesmo tempo. (princípio da não contradição)
- A grama está seca ou não seca. (princípio do meio excluído)
- Não é possível que este local seja um restaurante e não seja um restaurante ao mesmo tempo. (princípio da não contradição)
- Uma proposição ou é verdadeira ou não é verdadeira. (princípio do meio excluído)
- É impossível esse trem ser elétrico e não ser elétrico ao mesmo tempo. (princípio da não contradição)
- O telhado da casa tem telhas ou não tem telhas. (princípio do meio excluído)
- Não é possível que esse objeto seja um espelho e não seja um espelho ao mesmo tempo. (princípio da não contradição)
- É noite ou não é noite. (princípio do meio excluído)
- Paradoxos (explicativo)
- frases lógicas
- Argumentos analógicos
- julgamentos verdadeiros e falsos
- silogismos