Decisões em lógica.

click fraud protection

Julgamento

é uma forma de pensar, afirmar ou negar nada sobre a existência de objetos, as ligações entre eles e suas propriedades, bem como a relação entre os objetos.

Exemplos julgamento: "O Volga desemboca no Mar Cáspio", "A.Pushkin escreveu um poema "O Cavaleiro de Bronze", "tigre siberiano está listada no Livro Vermelho", etc.Estrutura julgamentos

julgamento

inclui os seguintes elementos: sujeito, predicado, e um monte de quantificadores.

  1. assunto (. Lat Subjektum - «subjacente») - que, tal como afirmou no acórdão de seu tema («S»).
  2. predicado (lat Praedicatum -. «Disse") - uma característica reflexão do tema, o que é dito sobre o assunto do julgamento ("P").
  3. Bundle - relação entre o sujeito («S») e um predicado ("P").Ela determina a presença / ausência de um objecto de propriedade expressa pelo predicado.Talvez isso implica, e é indicado por um "traço" ou as palavras "a" ("não é"), "tem", "ter", "essência" e outros.
  4. quantificador (palavras quantificadores) define o âmbito do conceito, queÉ o objecto do julgamento.Ele está em pé na frente do sujeito, mas também pode estar ausente em juízo.Representado por palavras tais como "todos", "muitos", "alguns", "não", "não" e outros.

juízos verdadeiros e falsos julgamento

é verdade no caso em que não há qualquer indicação, propriedades eRelações itens aprovados / negou no julgamento, é verdade.Por exemplo: "Todas as andorinhas - pássaros", "9 por mais de 2" e assim por diante D.

Se a declaração está contida no acórdão, não corresponde à realidade, estamos lidando com um falso julgamento: "O sol gira em torno da Terra"."Um quilo de ferro mais pesado do que um quilo de lã" e outros. Os julgamentos corretos são a base do raciocínio correto.

No entanto, para além da lógica de dois valores, em que o julgamento pode ser verdadeira ou falsa, há também uma lógica multi-dimensional.Nos termos do acordo, a decisão pode ainda incerto.Especialmente que diz respeito ao futuro das decisões individuais, "Amanhã haverá / não vai acontecer batalha naval" (Aristóteles, "On a interpretação").Partindo do princípio de que isso é verdade proposição, a batalha naval amanhã não pode acontecer.Consequentemente, é necessário para que isso aconteça.Ou vice-versa: alegue que a decisão no momento presente é falso, que, assim, fazer a impossibilidade necessário de futuro batalha naval.Julgamento

do tipo de declarações

Como se sabe, o tipo de declarações são três tipos de frases: declarativa, interrogativas e motivadoras.Por exemplo, a frase "Eu me lembro de um momento maravilhoso" refere-se ao tipo de narrativa.É aconselhável sugerem que tal julgamento seria também narrativa.Ele contém determinadas informações, de acordo com um caso específico.

Por sua vez, a frase interrogativa contém uma pergunta, obter uma resposta a: "O que o futuro reserva para mim" Neste caso, não diz nada e não nega.Por conseguinte, a alegação de que tal julgamento é uma pergunta incorretamente.Frases interrogativas, em princípio, não contém quaisquer opiniões, porque a questão não pode ser diferenciado em função da verdade / falsidade.

tipo de Incentivo de sentença é formado no caso em que há algum incentivo para a ação, ou para rejeitar o pedido: ". Levanta-te, ó Profeta, ea vid, e atender"Em relação a julgamentos, que de acordo com alguns pesquisadores, eles não estão contidos nas propostas deste tipo.Outros acreditam que é uma variedade de juízos modais.Juízos de qualidade

Em termos de qualidade, a decisão pode ser tanto assertiva (S tem P) e negativa (S não é P).No caso de o julgamento afirmativo, por um predicado a um indivíduo é dada uma determinada propriedade (-wa).Por exemplo: ". Leonardo da Vinci - pintor italiano, arquiteto, escultor, cientista, naturalista e inventor e escritor, o maior representante da arte de renascimento"

No julgamento negativo, por outro lado, a propriedade é tirado o tema: "A teoria do 25º moldura James Vicary tem nenhuma confirmação experimental."

característica proposição quantitativa

em lógica pode ser de natureza geral (relacionada com todos os sujeitos nesta classe), privado (alguns deles) e individual (ao falar sobre o assunto, há apenas um).Por exemplo, pode-se argumentar que uma proposição como "À noite todos os gatos são pardos" irá se referir a uma visão comum, porque afeta todos os membros do gato (o assunto do acórdão).A declaração "Algumas serpentes não são venenosas" - um exemplo de julgamento privado.Por sua vez, a proposição "Wonderful Dnieper em tempo calmo," um fato isolado, uma vez que estamos a falar de um rio particular, existente em um único formulário.

julgamentos simples e complexas

Dependendo da estrutura, o julgamento pode ser de uma simples ou complexa.A estrutura de uma simples proposição inclui dois conceitos relacionados (SP): «O livro - uma fonte de conhecimento".Também há julgamentos com um conceito - quando a segunda só significou: "Estava ficando escuro» (P).

forma complicada é formado pela combinação de algumas proposições simples.

classificação das sentenças simples

simples proposição em lógica pode ser dos seguintes tipos: atributivo, julgamento com relacionamentos, existencial, modais.

Atributo (acórdão-properties) enviado para aprovação / negação da existência de certas propriedades de um objeto (atributos) atividades.Estes julgamentos são forma categórica e não questionado "o sistema nervoso dos mamíferos consiste no cérebro, medula espinhal e nervo percursos de saída."

Os julgamentos com relação às determinadas relações entre os objetos.Eles podem ter um contexto espaço-temporal, causal, entre outros. Por exemplo: "Um velho amigo é melhor do que dois novos", "O hidrogênio é mais leve dióxido de carbono por 22 vezes."

proposição existencial - uma declaração da existência / inexistência de objecto (material e ideal): "Nenhum profeta em seu próprio país", "A Lua é um satélite da Terra."

proposição modal - uma forma de aprovação, dos quais consiste em um determinado operador modal (necessário, bom / mau, provou conhecido / desconhecido, é proibido, creio eu, e outros.).Por exemplo:

  • «A Rússia precisa para conduzir a reforma da educação" (modalidade aléticas - a possibilidade, a necessidade de algo).
  • «Toda pessoa tem direito à segurança da pessoa" (modalidade deôntica - as normas morais de comportamento social).
  • «atitude negligente para com a propriedade pública leva a sua perda" (modalidade axiológica - relacionado com os valores materiais e espirituais).
  • «Nós acreditamos em sua inocência" (modalidade epistêmica - a fiabilidade do conhecimento).

julgamentos complexos e os tipos de conectivos lógicos

Como já observado, julgamentos complexos consistem de alguns simples.Como as conexões lógicas entre eles são técnicas tais como:

  • Conjunção (e ʌ b - conectando acórdão).Acórdãos-orações tem um monte de "e", "Implementação dos direitos e liberdades do homem e do cidadão não devem violar os direitos e liberdades de outrem."
  • disjunção (AVB - dividindo acórdão).Como elementos constitutivos do juízo-cláusulas são usadas como ligante - a conjunção "ou".Por exemplo: "O autor tem o direito de aumentar ou diminuir o tamanho do pedido."
  • implicação (a → b - julgamento-efeito).Se a estrutura de um complexo de estandes de julgamento e envio de resultado, pode-se argumentar que esse julgamento se refere ao implicative.Como um ligamento na forma usada por essas alianças como "se ... então".Por exemplo: "Se através do condutor perder a corrente eléctrica, o arame aquece", "Você quer ser feliz - ser feliz".
  • A equivalência (a ≡ b - decisões idênticas).Ela ocorre quando o valor de um e b são os mesmos (ou ambos true ou ambos false): "O homem é criado para a felicidade, como um pássaro a voar."
  • Denial (¬ A, A --julgamento inversão).Cada fonte é associada com a instrução composta afirmação negando o original.Usando ligamentos "não".Assim, se a declaração original é a seguinte: "O touro reage a uma luz vermelha," (a) - a negação vai soar como: "o touro reage a um sinal vermelho» (¬).