# data[].attributes.attachment_link.readable_text
Provavelmente você convive com várias pessoas e consegue perceber como elas são diferentes. Não só na aparência física, mas principalmente no que se refere aos tipos de personalidade de cada um. De fato, existem variações e elas podem influenciar até mesmo na escolha da carreira.

Apesar de outros fatores serem relevantes nessa decisão, não dá para negar que as características pessoais têm grande influência na hora de definir um curso superior e uma profissão para seguir.

Que tal descobrir alguns perfis interessantes? Confira, a seguir, exemplos de personalidades segundo o modelo MBTI (Myers-Briggs Type Indicator ou Indicador de Tipo Myers-Briggs), como:

Acompanhe a leitura para perceber como as características de cada um podem ser diferenciais na hora de escolher uma profissão pela personalidade!

Combinação de características: introversão, intuição, pensamento e percepção.

Carreiras relacionadas: Engenharia, Arquitetura e Urbanismo, Matemática, Ciência da Computação, Química e Física.

São pessoas que dominam habilidades lógicas, gostam de analisar condições ou ambientes e são bastante objetivas. Têm prazer por resolver problemas e adquirir conhecimento, apreciando a autonomia na hora de trabalhar e buscar soluções. Normalmente, esse é o perfil do profissional de Exatas, marcado pela afinidade com os números e o raciocínio lógico.

Comandante

Combinação de características: extroversão, intuição, pensamento e julgamento.

Carreiras relacionadas: Engenharia, Direito, Vendas e Publicidade.

O perfil do comandante é estratégico e, não por acaso, essa é uma função importante nas organizações militares. Sua confiança e disposição para superar desafios são pontos de destaque, junto da responsabilidade nata e a capacidade de liderança.

Contudo, o foco no todo e não nas partes pode trazer à tona problemas com sensibilidade e empatia, podendo assumir uma postura impaciente ou intolerante com alguns colegas de trabalho ou outras pessoas que convivem diariamente com essa pessoa.

Combinação de características: extroversão, intuição, pensamento e percepção.

Carreiras relacionadas: Design, Publicidade, Marketing e Administração.

A própria denominação já indica que esse grupo tem interesse por tudo o que é novo, apresentando traços como curiosidade, criatividade e originalidade. Em geral, são pessoas cheias de ideias, mas que nem sempre conseguem colocar em prática todas elas.

Combinação de características: introversão, intuição, sentimento e julgamento.

Carreiras relacionadas: Medicina, Psicologia, Direito, Odontologia e Educação.

Pessoas advogam mesmo quando não seguem a área do Direito, sabia? Isso quer dizer que elas seguem sempre em busca dos seus ideais e inspiram quem está ao seu redor. Esse é um perfil complexo, intuitivo, atencioso, profundo e preocupado com os outros.

Combinação de características: introversão, intuição, sentimento e percepção.

Carreiras relacionadas: Jornalismo, Educação, Psicologia e Serviços Sociais.

Podemos definir os mediadores como idealistas que lutam pelos seus objetivos e querem fazer do mundo um lugar melhor para todos. Têm facilidade de ouvir e acolher outras pessoas, sendo mais voltados para a parte emocional do que para a lógica.

Protagonista

Combinação de características: extroversão, intuição, sentimento e julgamento.

Carreiras relacionadas: Educação, Diplomacia, Política e Psicologia.

Um dos maiores talentos dos protagonistas é lidar com pessoas. Dar atenção, apoio, orientar, inspirar e liderar estão entre as atividades mais espontâneas desse tipo de personalidade que tenta encontrar chances de fazer o bem.

Combinação de características: extroversão, intuição, sentimento e percepção.

Carreiras relacionadas: Direito, Política e Jornalismo.

O perfil ativista é cheio de entusiasmo e tem habilidade para a motivação. São pessoas curiosas, dedicadas, populares e calorosas. Borbulham ideias nas suas cabeças e estão sempre engajadas em diferentes projetos, pois veem isso como oportunidade de fazer diferentes conexões e ajudar a promover mudanças.

Combinação de características: extroversão, sensação, pensamento e julgamento.

Carreiras relacionadas: Administração e Gestão em geral.

Essa é a categoria dos gestores, profissionais competentes e focados em produtividade. Os executivos normalmente valorizam a ordem e a segurança, fazendo o possível para alcançar os resultados desejados. Por essas razões, tendem a ocupar posições de liderança e gerência.

Aventureiro

Combinação de características: introversão, sensação, sentimento e percepção.

Carreiras relacionadas: Música, Artes Visuais, Gastronomia e Design.

Ousadia e sensibilidade formam uma mistura bem interessante na personalidade aventureira. São seres ligados às artes, que gostam de liberdade e de se expressar de variadas formas. A harmonia é uma qualidade relevante para eles, seja no aspecto estético, seja nas suas relações.

Empreendedor

Combinação de características: extroversão, sensação, pensamento e percepção.

Carreiras relacionadas: Administração, Ciências Econômicas, Marketing e Relações Públicas.

O perfil empreendedor também é ousado, criativo e entusiasmado. São pessoas que querem fazer acontecer, arriscam-se e gostam de estar sempre em movimento. Têm um lado racional forte, mas são sociáveis e observadores.

Combinação de características: extroversão, sensação, sentimento e percepção.

Carreiras relacionadas: Política, Artes, Vendas e Relações Públicas.

Esse é o grupo cheio de energia, humor e espontaneidade. São pessoas que sabem se relacionar muito bem e que todos gostam de ter por perto, especialmente pela sua generosidade e animação. Essa é uma das razões para o "palco" (no sentido literal ou figurado) ser um local de trabalho comum para os animadores.

Combinação de características: introversão, intuição, pensamento e julgamento.

Carreiras relacionadas: Engenharia, Direito, Administração e Pesquisa Científica.

Segundo o modelo, esse é um dos tipos raros e representam uma porcentagem baixa na população (apenas cerca de 2%). Os arquitetos são chamados assim pela capacidade estratégia e não por alguma ligação com o curso de Arquitetura. São seres pensativos, decididos, ambiciosos e mais reservados.

Combinação de características: introversão, sensação, pensamento e percepção.

Carreiras relacionadas: Engenharia, Educação Física, Artes, Saúde e Pilotagem.

Uma pessoa virtuosa é aquela que reúne muitas virtudes, o que não é uma mentira nesse perfil - que é formado por seres corajosos, independentes, adaptáveis, detalhistas e que têm um ótimo raciocínio lógico. Gostam de acumular competências e da ação, sobretudo quando o objetivo é superar desafios.

Qualquer que seja o seu tipo de personalidade, há um curso ideal aqui na Pitágoras esperando por você! Para Humanas ou Exatas, basta procurar entre as nossas ofertas. Você contará com uma infraestrutura de qualidade, professores altamente capacitados, um Portal do Aluno para acompanhamento contínuo e benefícios exclusivos, como o Canal Conecta.

Enfim, o mais importante disso tudo é entender que não existem tipos de personalidades piores ou melhores que outros, assim como acontece quando analisamos os tipos de inteligência. Cada um tem um jeito de ser e isso deve influenciar a escolha da profissão - mas também nada impede que alguém opte por um caminho que foge do esperado.

O que achou de conhecer um pouco mais desse assunto? Já sabe qual é a sua personalidade? Aproveite para descobrir quais são as profissões mais bem-pagas do momento para ficar por dentro do mercado de trabalho.

# data[].attributes.attachment_link.title
Tipos de personalidade: qual é a sua e como influencia sua carreira?

# data[].attributes.attachment_link.description
Provavelmente você convive com várias pessoas e consegue perceber como elas são diferentes. Não só na aparência física, mas principalmente no que se refere aos tipos de personalidade de cada um. De fato, existem variações e elas podem influenciar até mesmo na escolha da carreira.

# data[].attributes.attachment_link.readable_text
Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido. No segundo sentido, a lógica é discutida principalmente nas disciplinas de filosofia, matemática e ciência da computação. Ambos os sentidos se baseando no foco comum referente a harmonia de raciocínio, a proporcionalidade formal entre argumentos, assim sendo, a correta e equilibrada relação entre todos os termos, a total concordância entre cada um deles dentro de um desenvolvimento.

A lógica examina de forma genérica as formas que a argumentação pode tomar, quais dessas formas são válidas e quais são falaciosas. Em filosofia, o estudo da lógica aplica-se na maioria dos seus principais ramos: metafísica, ontologia, epistemologia e ética. Na matemática, estudam-se as formas válidas de inferência de uma linguagem formal. Na ciência da computação, a lógica é uma ferramenta indispensável. Por fim, a lógica também é estudada na teoria da argumentação.

A lógica foi estudada em várias civilizações da Antiguidade. Na Índia, a recursão silogística, remonta há 1900 anos. Na China, o Moísmo e a Escola dos Nomes datam de há 2200 anos. Na Grécia Antiga a lógica foi estabelecida como disciplina por Aristóteles, com a sua obra . Ele dividiu a lógica em e . O estudo da lógica era parte do Trivium clássico, juntamente com a gramática e a retórica ( ver: Artes liberais).

A lógica é frequentemente dividida em três partes: o raciocínio indutivo, o raciocínio abdutivo e o raciocínio dedutivo.

O conceito de forma lógica é central à lógica, que se baseia na ideia de que a validade de um argumento é determinada pela sua forma lógica, não pelo seu conteúdo. A lógica silogística aristotélica tradicional e a lógica simbólica moderna são exemplos de lógicas formais.

O primeiro trabalho feito sobre o tema da lógica é o de Aristóteles (na verdade, os sofistas e Platão já haviam se dedicado a questões lógicas, o trabalho de Aristóteles, porém, é mais amplo, rigoroso e sistematizado). A lógica aristotélica tornou-se amplamente aceita em ciências e matemática e manteve-se em ampla utilização no Ocidente até o início do século XIX. O sistema lógico de Aristóteles foi responsável pela introdução do silogismo hipotético, lógica modal temporal e lógica indutiva. Na Europa, durante o final do período medieval, grandes esforços foram feitos para mostrar que as ideias de Aristóteles eram compatíveis com a fé cristã. Durante a Alta Idade Média, a lógica se tornou o foco principal dos filósofos, que se engajaram em análises lógicas críticas dos argumentos filosóficos ( ver: Filosofia cristã).

Dá-se o nome de Lógica aristotélica ao sistema lógico desenvolvido por Aristóteles a quem se deve o primeiro estudo formal do raciocínio. Dois dos princípios centrais da lógica aristotélica são a lei da não contradição e a lei do terceiro excluído.

A lei da não contradição diz que nenhuma afirmação pode ser verdadeira e falsa ao mesmo tempo e a lei do terceiro excluído diz que qualquer afirmação da forma *P ou não P* é verdadeira. Esse princípio deve ser cuidadosamente distinguido do *princípio de bivalência*, o princípio segundo o qual para toda proposição (p), ela ou a sua negação é verdadeira.

A lógica aristotélica, em particular, a teoria do silogismo, é apenas um fragmento da assim chamada lógica tradicional.

Lógica formal

A Lógica Formal, também chamada de Lógica Simbólica, preocupa-se, basicamente, com a estrutura do raciocínio. A Lógica Formal lida com a relação entre conceitos e fornece um meio de compor provas de declarações. Na Lógica Formal os conceitos são rigorosamente definidos, e as orações são transformadas em notações simbólicas precisas, compactas e não ambíguas. As letras minúsculas p, q e r, em fonte itálica, são convencionalmente usadas para denotar proposições:

Esta declaração define que p é 1 + 2 = 3 e que isso é verdadeiro.

Duas ou mais proposições podem ser combinadas por meio dos chamados operadores lógicos binários , formando conjunções, disjunções ou condicionais. Essas proposições combinadas são chamadas proposições compostas. Por exemplo:

p: 1 + 1 = 2 e "Lógica é o estudo do raciocínio."

E Neste caso, e é uma conjunção. As duas proposições podem diferir totalmente uma da outra!

Na matemática e na ciência da computação, pode ser necessário enunciar uma proposição dependendo de variáveis:

Essa proposição pode ser ou verdadeira ou falsa, a depender do valor assumido pela variável n.

Uma fórmula com variáveis livres é chamada função proposicional com domínio de discurso D. Para formar uma proposição , devem ser usados quantificadores. "Para todo n", ou "para algum n" podem ser especificados por quantificadores: o quantificador universal, ou o quantificador existencial, respectivamente. Por exemplo:

Isto pode ser escrito como:

Quando existem algumas variáveis livres, a situação padrão na análise matemática desde Weierstrass, as quantificações para todos ... então existe ou então existe ... isto para todos (e analogias mais complexas) podem ser expressadas.

Lógica material

Trata da aplicação das operações do pensamento, segundo a matéria ou natureza do objeto a conhecer. Neste caso, a lógica é a própria metodologia de cada ciência. É, portanto, somente no campo da lógica material que se pode falar da verdade: o argumento é válido quando as premissas são verdadeiras e se relacionam adequadamente à conclusão.

Lógica Matemática é o uso da lógica formal para estudar o raciocínio matemático - ou, como propõe Alonzo Church, 'lógica tratada pelo método matemático' -. No início do século XX, lógicos e filósofos tentaram provar que a matemática, ou parte da matemática, poderia ser reduzida à lógica.( Gottlob Frege, p.ex., tentou reduzir a aritmética à lógica; Bertrand Russell e Alfred North Whitehead, no clássico Principia Mathematica, tentaram reduzir toda a matemática então conhecida à lógica - a chamada 'lógica de segunda ordem' -). Uma das suas doutrinas lógico- semânticas era que a descoberta da forma lógica de uma frase, na verdade, revela a forma adequada de dizê-la, ou revela alguma essência previamente escondida. Há um certo consenso que a redução falhou - ou que precisaria de ajustes -, assim como há um certo consenso de que a lógica - ou alguma lógica - é uma maneira precisa de representar o raciocínio matemático. Ciência que tem por objeto o estudo dos métodos e princípios que permitem distinguir raciocínios válidos de outros não válidos.

A lógica estuda e sistematiza a argumentação válida. A lógica tornou-se uma disciplina praticamente autónoma em relação à filosofia, graças ao seu elevado grau de precisão e tecnicismo. Hoje em dia, é uma disciplina acadêmica que recorre a métodos matemáticos, e os lógicos contemporâneos têm em geral formação matemática. Todavia, a lógica elementar que se costuma estudar nos cursos de filosofia é tão básica como a aritmética elementar e não tem elementos matemáticos. A lógica elementar é usada como instrumento pela filosofia, para garantir a validade da argumentação.

Quando a filosofia tem a lógica como objecto de estudo, entramos na área da filosofia da lógica, que estuda os fundamentos das teorias lógicas e os problemas não estritamente técnicos levantados pelas diferentes lógicas. Hoje em dia há muitas lógicas além da teoria clássica da dedução de Russell e Frege (como as lógicas livres, modais, temporais, paraconsistentes, difusas, intuicionistas, etc. ver: Lógica intuicionista), o que levanta novos problemas à filosofia da lógica.

A filosofia da lógica distingue-se da lógica filosófica aristotélica, que não estuda problemas levantados por lógicas particulares, mas problemas filosóficos gerais, que se situam na intersecção da metafísica, da epistemologia e da lógica. São problemas centrais de grande abrangência, correspondendo à disciplina medieval conhecida por "Lógica & Metafísica", e abrangendo uma parte dos temas presentes na própria Metafísica, de Aristóteles: a identidade de objetos, a natureza da Necessidade, a natureza da verdade, o conhecimento a prioridade, etc. Precisamente por ser uma "subdisciplina transdisciplinar", o domínio da lógica filosófica é ainda mais difuso do que o das outras disciplinas. Para agravar as incompreensões, alguns filósofos chamam "lógica filosófica" à filosofia da lógica (e vice-versa). Em qualquer caso, o importante é não pensar que a lógica filosófica é um gênero de lógica, a par da lógica clássica, mas "mais filosófica"; pelo contrário, e algo paradoxalmente, a lógica filosófica, não é uma lógica no sentido em que a lógica clássica é uma lógica, isto é, no sentido de uma articulação sistemática das regras da argumentação válida.

A lógica informal estuda os aspectos da argumentação válida que não dependem exclusivamente da forma lógica. O tema introdutório mais comum no que respeita à lógica é a teoria clássica da dedução (lógica proposicional e de predicados, incluindo formalizações elementares da linguagem natural); a lógica aristotélica é por vezes ensinada, a nível universitário, como complemento histórico e não como alternativa à lógica clássica." ( Desidério Murcho)

"Lógica", depois ela foi substituída pela invenção da Lógica Matemática. Relaciona-se com a elucidação de ideias como referência, previsão, identidade, verdade, quantificação, existência, e outras. A Lógica filosófica está muito mais preocupada com a conexão entre a Linguagem Natural e a Lógica.

Gottlob Frege, em sua Conceitografia (Begriffsschrift), descobriu uma maneira de reordenar várias orações para tornar sua forma lógica clara, com a intenção de mostrar como as orações se relacionam em certos aspectos. Antes de Frege, a lógica formal não obteve sucesso além do nível da lógica de orações: ela podia representar a estrutura de orações compostas de outras orações, usando palavras como "e", "ou" e "não", mas não podia quebrar orações em partes menores. Não era possível mostrar como "Vacas são animais" leva a concluir que "Partes de vacas são partes de animais".

A lógica de orações explica como funcionam palavras como "e", "mas", "ou", "não", "se-então", "se e somente se", e "nem-ou". Frege expandiu a lógica para incluir palavras como "todos", "alguns", e "nenhum". Ele mostrou como podemos introduzir variáveis e quantificadores para reorganizar orações.

"Todos os humanos são mortais" se torna "Para todo x, se x é humano, então x é mortal.", o que pode ser escrito simbolicamente como:

:

"Alguns humanos são vegetarianos" se torna "Existe algum (ao menos um) x tal que x é humano e x é vegetariano", o que pode ser escrito simbolicamente como:

: .

Frege trata orações simples sem substantivos como predicados e aplica a eles to "dummy objects" (x). A estrutura lógica na discussão sobre objetos pode ser operada de acordo com as regras da lógica de orações, com alguns detalhes adicionais para adicionar e remover quantificadores. O trabalho de Frege foi um dos que deram início à lógica formal contemporânea.

Frege adiciona à lógica de orações:

o vocabulário de quantificadores (o A de ponta-cabeça, e o E invertido) e variáveis;

e uma semântica que explica que as variáveis denotam objetos individuais e que os quantificadores têm algo como a força de "todos" ou "alguns" em relação a esse objetos;

métodos para usá-los numa linguagem.

Para introduzir um quantificador "todos", você assume uma variável arbitrária, prova algo que deva ser verdadeira, e então prova que não importa que variável você escolha, que aquilo deve ser sempre verdade. Um quantificador "todos" pode ser removido aplicando-se a oração para um objeto em particular. Um quantificador "algum" (existe) pode ser adicionado a uma oração verdadeira de qualquer objeto; pode ser removida em favor de um temo sobre o qual você ainda não esteja pressupondo qualquer informação.

Sistemas que vão além dessas duas distinções (verdadeiro e falso) são também conhecidos como lógicas de vários valores (ou lógicas polivaluadas, ou lógicas não aristotélicas, ou polivalentes).

No início do século XX, por exemplo, Jan Łukasiewicz investigou a extensão dos tradicionais valores verdadeiro/falso para incluir um terceiro valor, "possível".

Lógicas como a lógica difusa foram então desenvolvidas com um número infinito de "graus de verdade", representados, por exemplo, por um número real entre 0 e 1. Probabilidade bayesiana pode ser interpretada como um sistema de lógica onde probabilidade é o valor verdade subjetivo.

Outros exemplos de lógicas clássicas em tradições humanas seriam a lógica de quatro valores (verdadeiro, falso, ambos, nem-verdadeiro-nem-falso) ou cinco (adicionando "inefabilidade" às quatro anteriores, vide referência para casuística), conhecidas pela inclusão de paradoxos que não seriam computáveis via lógicas binárias.

A Lógica é extensivamente utilizada em todas as áreas vinculadas aos computadores.

Partindo-se do princípio que muitas das nossas tarefas diárias são uma sequência que obedecem uma determinada ordem, de um estado inicial, através de um período de tempo finito e que nesse período produzimos resultados esperados e bem definidos, poderíamos classificar essas tarefas dentro de um algoritmo que utilizam o conceito da lógica formal para fazer com que o computador produza uma série sequencial.

Nas décadas de 50 e 60, pesquisadores previram que quando o conhecimento humano pudesse ser expresso usando lógica com notação matemática, supunham que seria possível criar uma máquina com a capacidade de pensar, ou seja, inteligência artificial. Isto se mostrou mais difícil que o esperado em função da complexidade do raciocínio humano. A programação lógica é uma tentativa de fazer computadores usarem raciocínio lógico e a linguagem de programação Prolog é frequentemente utilizada para isto.

Na lógica simbólica e lógica matemática, demonstrações feitas por humanos podem ser auxiliadas por computador. Usando prova automática de teoremas os computadores podem achar e verificar demonstrações, assim como trabalhar com demonstrações muito extensas.

Na ciência da computação, a álgebra booleana é a base do projeto de .

De uma maneira geral, pode-se considerar que a lógica, tal como é usada na filosofia e na matemática, observa sempre os mesmos princípios básicos: a lei do terceiro excluído, a lei da não contradição e a lei da identidade. A esse tipo de lógica pode-se chamar "lógica clássica", ou "lógica aristotélica".

Além desta lógica, existem outros tipos de lógica que podem ser mais apropriadas dependendo da circunstância onde são utilizadas. Podem ser divididas em dois tipos:

Complementares da lógica clássica: além dos três princípios da lógica clássica, essas formas de lógica têm ainda outros princípios que as regem, estendendo o seu domínio. Alguns exemplos:

Lógica modal: agrega à lógica clássica o princípio das possibilidades. Enquanto na lógica clássica existem orações como: "se amanhã chover, vou viajar", "minha avó é idosa e meu pai é jovem", na lógica modal as orações são formuladas como "é possível que eu viaje se não chover", "minha avó necessariamente é idosa e meu pai não pode ser jovem", etc.

Lógica epistêmica: também chamada "lógica do conhecimento", agrega o princípio da certeza, ou da incerteza (ver: Indeterminismo). Alguns exemplos de oração: "pode ser que haja vida em outros planetas, mas não se pode provar", "é impossível a existência de gelo a 100 °C", "não se pode saber se duendes existem ou não", etc.

Lógica deôntica: forma de lógica vinculada à moral, agrega os princípios dos direitos, proibições e obrigações. É o sistema de lógica usado para indicar condutas e comportamentos, e que inclui as relações de poder entre indivíduos. Enquanto a lógica clássica trata do que "é ou não é", a lógica deôntica trata do que "se deve ou não fazer". As orações na lógica deôntica são da seguinte forma: "é proibido fumar mas é permitido beber", "se você é obrigado a pagar impostos, você é proibido de sonegar", etc.

Lógica Temporal: Há situações em que os atributos de "Verdadeiro" e "Falso" não bastam, e é preciso determinar se algo é "Verdadeiro no período de tempo A", ou "Falso após o evento B". Para isso, é utilizado um sistema lógico específico que inclui novos operadores para tratar dessas situações.

Anticlássicas: são formas de lógica que derrogam pelo menos um dos três princípios fundamentais da lógica clássica. Alguns exemplos incluem:

Lógica paraconsistente: É uma forma de lógica onde não existe o princípio da contradição. Nesse tipo de lógica, tanto as orações afirmativas quanto as negativas podem ser falsas ou verdadeiras, dependendo do contexto. Uma das aplicações desse tipo de lógica é o estudo da semântica, especialmente em se tratando dos paradoxos. Um exemplo: "fulano é cego, mas vê". Pelo princípio da lógica clássica, o indivíduo que vê, um "não cego", não pode ser cego. Na lógica paraconsistente, ele pode ser cego para ver algumas coisas, e não cego para ver outras coisas.

Lógica paracompleta: Esta lógica derroga o princípio do terceiro excluído, isto é, uma oração pode não ser totalmente verdadeira, nem totalmente falsa. Um exemplo de oração que pode ser assim classificada é: "fulano conhece a China". Se ele nunca esteve lá, essa oração não é verdadeira. Mas se mesmo nunca tendo estado lá ele estudou a história da China por livros, fez amigos chineses, viu muitas fotos da China, etc; essa oração também não é falsa.

Lógica difusa: Mais conhecida como "lógica fuzzy", trabalha com o conceito de graus de pertinência. Assim como a lógica paracompleta, derroga o princípio do terceiro excluído, mas de maneira comparativa, valendo-se de um elemento chamado conjunto fuzzy. Enquanto na lógica clássica supõe-se verdadeira uma oração do tipo "se algo é quente, não é frio" e na lógica paracompleta pode ser verdadeira a oração "algo pode não ser quente nem frio", na lógica difusa poder-se-ia dizer: "algo é 30% quente, 25% morno e 45% frio". Esta lógica tem grande aplicação na informática e na estatística, sendo inclusive a base para indicadores como o coeficiente de Gini e o IDH.

Lógica de base n: uma das forma de lógica de base n era um tipo de lógica difusa. No entanto podemos fazer enumerações de zero a n ou usar um alfabeto n-ário numa máquina de Turing, relacioná-las e com base nisso tirar vantagens. Esta lógica pode ainda relacionar-se com muitos assuntos em informática.

Vejam alguns testes simples de lógica:

1.Você está numa cela onde existem duas portas, cada uma vigiada por um guarda. Existe uma porta que dá para a liberdade, e outra para a morte. Você está livre para escolher a porta que quiser e por ela sair. Poderá fazer apenas uma pergunta a um dos dois guardas que vigiam as portas. Um dos guardas sempre fala a verdade, e o outro sempre mente e você não sabe quem é o mentiroso e quem fala a verdade. Que pergunta você faria?

2.Você é prisioneiro de uma tribo indígena que conhece todos os segredos do Universo e portanto sabem de tudo. Você está para receber sua sentença de morte. O cacique o desafia: "Faça uma afirmação qualquer. Se o que você falar for mentira você morrerá na fogueira, se falar uma verdade você será afogado. Se não pudermos definir sua afirmação como verdade ou mentira, nós te libertaremos." O que você diria?

3. Epiménides era um grego da cidade de Minos. Dizem que ele tinha a fama de mentir muito.

Certa vez, ele citou esta passagem:

- Quando a mentira nunca é desvendada, quem está mentindo sou eu.

- Se o bode for um mentiroso, o que o dragão diz também é mentira.

- Quem for capaz de desvendar a minha mentira, então, ele estará dizendo a verdade.

Qual deles está mentindo?

Este teste é mais conhecido como paradoxo de Epiménides.

1. Pergunte a qualquer um deles: Qual a porta que o seu companheiro apontaria como sendo a porta da liberdade?

Explicação: O mentiroso apontaria a porta da morte como sendo a porta que o seu companheiro (o sincero) diria que é a porta da liberdade, já que se trata de uma mentira da afirmação do sincero. E o sincero, sabendo que seu companheiro sempre mente, diria que ele apontaria a porta da morte como sendo a porta da liberdade.

Conclusão: os dois apontariam a porta da morte como sendo a porta que o seu companheiro diria ser a porta da liberdade. Portanto, é só seguir pela outra porta.

Uma outra opção de resposta seria perguntar a qualquer um deles: A porta que está o guarda que diz a verdade é a porta da liberdade?

Explicação: Se você perguntar ao verdadeiro e ele estiver na porta da liberdade dirá que "sim" e se você perguntar ao mentiroso e ele estiver na porta da liberdade também dirá que "sim" pois seria uma mentira já que a verdade seria que ele está na porta da liberdade. Se o guarda que diz a verdade responder "não" seria porque a porta da liberdade estaria com o mentiroso, ou seja a outra porta, e o mentiroso dizendo "não" é porque o verdadeiro estaria na porta da liberdade que também seria a porta oposta.

Conclusão: Independente a qual guarda perguntar sempre saia pela mesma porta se a resposta for "sim", e saia pela outra porta se a resposta for "não".

2. Afirme que você morrerá na fogueira.

Explicação: Se você realmente morrer na fogueira, isto é uma verdade, então você deveria morrer afogado, mas se você for afogado a afirmação seria uma mentira, e você teria que morrer na fogueira.

Conclusão: Mesmo que eles pudessem prever o futuro, cairiam neste impasse e você seria libertado.

3. Ao tentar responder ao enigma, encontram-se informações que se ligam umas às outras e acabam não levando a resposta alguma. Esse enigma pode ser denominado como paradoxo do mentiroso.

Veja o exemplo de um paradoxo simples e interessante:

Referências

Leituras adicionais

AZEVEDO FILHO, Adriano. Princípios de Inferência Dedutiva e Indutiva: Noções de Lógica e Métodos de Prova. 1ª Edição 2010, Scotts Valley: CreateSpace, 148p. ISBN 978-1-4421-5143-7.

BRENNAN, Andrew; DEUSTCH, Max; GOLDSTEIN, Lawrence. Lógica. Artmed, 1a edição 2007, 224p. ISBN 85-363-0908-3.

DA COSTA Newton. Ensaio sobre os Fundamentos da Lógica. Hucitec, 2ª Edição 1994, 256p. ISBN 85-271-0182-3.

DA COSTA Newton. Lógica Indutiva e Probabilidade. Hucitec-EdUSP, 3 a. ed., São Paulo, 2008.

FEITOSA, Hércules de Araújo; PAULOVICH, Leonardo. Um Prelúdio á Lógica. UNESP 1a edição 2006, 225p. ISBN 85-7139-605-1

COPI, Irving M. Introdução à Lógica. Mestre Jou. 2a edição 1978 488p. ISBN 85-87068-05-9

FINGER, Marcelo; SILVA, Flávio Soares Corrêa da; MELO, Ana Cristina Vieira de. Lógica para Computação. Thomson Pioneira, 1a edição 2006, 244p. ISBN 85-221-0517-0

FISHER, Alec. A Lógica dos Verdadeiros Argumentos. Novo Conceito, 1a edição 2008, 336p. ISBN 85-99560-29-8

GORSKY, Samir. A semântica algébrica para a lógica modal e seu interesse filosófico. Dissertação de mestrado. IFCH-UNICAMP. 2008.

HEGENBERG, Leonidas. Dicionário de Lógica. Editora Pedagógica e Universitária, 1995. 223p. ISBN 85-12-79060-1.

MORTARI, Cézar A. Introdução á Lógica. UNESP 1a edição 2001, 391p. ISBN 85-7139-337-0

NOLT, John; ROHATYN, Dennis. Lógica. Makron Books e McGraw-Hill, 596p.

PINTO, Paulo Roberto Margutti. Introdução à Lógica Simbólica. UFMG 2a edição 2006 339p. ISBN 85-7041-215-0

SALMON, WESLEY C . Lógica. LTC, 3a edição 1993, 96p. ISBN 85-7054-041-8

SOUZA, João Nunes de. Lógica para Ciência da Computação. Campus, 2a edição 2008, 240p. ISBN 85-352-2961-2

# data[].attributes.attachment_link.title
Lógica - Wikipédia, a enciclopédia livre

# data[].attributes.attachment_link.description
Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido. No segundo sentido, a lógica é discutida principalmente nas disciplinas de filosofia, matemática e ciência da computação.

# data[].attributes.attachment_link.readable_text
A lógica é uma área da filosofia que visa estudar a estrutura formal dos enunciados (proposições) e suas regras. Em suma, a lógica serve para se pensar corretamente, sendo assim, uma ferramenta do correto pensar.

Lógica tem origem na palavra grega logos, que significa razão, argumentação ou fala. A ideia de falar e argumentar pressupõe que o que está sendo dito possua um sentido para aquele que ouve.

Esse sentido fundamenta-se na estrutura lógica, quando algo "tem lógica" quer dizer que faz sentido, é uma argumentação racional.

A Lógica na Filosofia

Foi o filósofo grego Aristóteles (384 a.C.-322 a.C.) que criou o estudo da lógica, ele a chamava de analítica.

Para ele, qualquer conhecimento que pretenda ser um conhecimento verdadeiro e universal deveria respeitar alguns princípios, os princípios lógicos.

A lógica (ou analítica) passou a ser compreendida como um instrumento do correto pensar e a definição de elementos lógicos que fundamentam o conhecimento verdadeiro.

Os Princípios Lógicos

Aristóteles desenvolveu três princípios básicos que orientam a lógica clássica.

1. Princípio de identidade

Um ser é sempre idêntico a si mesmo: A é A. Se substituirmos A por Maria, por exemplo, fica: Maria é Maria.

2. Princípio da não-contradição

É impossível ser e não ser ao mesmo tempo, ou um mesmo ente ser também o seu oposto. É impossível que A seja A e não-A, ao mesmo tempo. Ou, seguindo o exemplo anterior: é impossível que Maria seja Maria e não seja Maria.

3. Princípio do terceiro excluído, ou terceiro excluso

Nas proposições (sujeito e predicado), só existem duas opções, ou é afirmativa ou negativa: A é x ou A é não-x. Maria é professora ou Maria não é professora. Não existe uma terceira possibilidade.

Veja também: Lógica Aristotélica.

A Proposição

Em uma argumentação, aquilo que é dito e possui a forma de sujeito, verbo e predicado é chamado de proposição. As proposições são enunciados, afirmações ou negações, e possuem sua validade, ou falsidade, analisada logicamente.

A partir da análise de proposições, o estudo da lógica torna-se uma ferramenta para o correto pensar. O pensar corretamente necessita de princípios (lógicos) que garantam sua validade e verdade.

Tudo o que é dito em uma argumentação é a conclusão de um processo mental (pensamento) que avalia e julga algumas relações possíveis existentes.

O Silogismo

A partir desses princípios temos um raciocínio lógico dedutivo, ou seja, a partir de duas certezas prévias (premissas) chega-se a uma conclusão nova, que não está diretamente referida nas premissas. Isso é chamado de silogismo.

Exemplo:

Todo homem é mortal. (premissa 1)
Sócrates é homem. (premissa 2)
Logo, Sócrates é mortal. (conclusão)

Essa é a estrutura básica do silogismo e o fundamento da lógica.

Os três termos do silogismo podem ser classificados quanto à sua quantidade (universal, particular ou singular) e sua qualidade (afirmativa ou negativa)

As proposições podem variar quanto à sua qualidade em:

Afirmativas: S é P. Todo ser humano é mortal, Maria é trabalhadora.

Negativas: S não é P. Sócrates não é egípcio.

Também podem variar quanto à sua quantidade em:

Universais: Todo S é P. Todos os homens são mortais.

Particulares: Algum S é P. Alguns homens são gregos.

Singulares: Este S é P. Sócrates é grego.

Esta é a base da lógica aristotélica e de suas derivações.

Veja também: O que é silogismo?

Lógica Formal

Na lógica formal, também chamada de lógica simbólica, há a redução das proposições a conceitos bem definidos. Desse modo, o que é dito não é o mais importante, e sim, sua forma.

A forma lógica dos enunciados é trabalhada através da representação (simbólica) das proposições por letras: , q e r. Também vai investigar as relações entre proposições através de seus operadores lógicos: conjunções, disjunções e condicionantes.

Lógica Proposicional

Desse modo, as proposições podem ser trabalhadas de diversas formas e servir de base para a validação formal de um enunciado.

Os operadores lógicos estabelecem as relações entre proposições e tornam possível o encadeamento lógico de suas estruturas. Alguns exemplos:
Negação
É o contrário de um termo ou proposição, representada pelo símbolo ~ ou ¬ (negação de p é ~ p ou ¬ p). Na tabela, para p verdadeiro, temos ~ p falso. (faz sol = p, não faz sol = ~ p ou ¬ p).
Conjunção
É a união entre proposições, o símbolo ∧ representa a palavra "e" (hoje, faz sol e vou à praia, ). Para que a conjunção seja verdadeira, é necessário que ambas sejam verdadeiras.
Disjunção
É a separação entre proposições, o símbolo v representa " ou" (vou à praia ou fico em casa , ). Para a validade, pelo menos uma ( ou outra) deve ser verdadeira.
Condicional
É o estabelecimento de uma relação de causalidade ou condicionalidade, o símbolo ⇒ representa " se... então..." ( se chover, então ficarei em casa, ).
Bi-condicional
É o estabelecimento de uma relação de condicionalidade nos dois sentidos, há uma dupla implicação, o símbolo ⇔ representa " se, e somente se,". (vou para a aula se, e somente se, não estiver de férias, ).

Aplicando à tabela de verdade, temos:

As letras F e V podem ser substituídas por zero e um. Esse formato é amplamente utilizado na lógica computacional (F = 0 e V = 1).

Veja também: Tabela Verdade.

Outros tipos de lógica

Existem diversos outros tipos de lógica. Esses tipos, em geral, são derivações da lógica formal clássica, apresentam uma crítica ao modelo tradicional ou um novo encaminhamento para a resolução de problemas. Alguns exemplos são:

1. Lógica Matemática

A lógica matemática é derivada da lógica formal aristotélica e desenvolve-se a partir das suas relações de valores das proposições.

No século XIX, os matemáticos George Boole (1825-1864) e Augustus De Morgan (1806-1871) foram os responsáveis pela adaptação dos princípios aristotélicos para a matemática, dando origem a uma nova ciência.

Nela, as possibilidades de verdade e falsidade são avaliadas através de sua forma lógica. As sentenças são transformadas em elementos matemáticos e analisadas a partir de suas relações entre valores lógicos.

Veja também: Lógica Matemática.

2. Lógica Computacional

A lógica computacional é derivada da lógica matemática, mas vai para além dessa, e aplicada à programação de computadores. Sem ela, diversos avanços tecnológicos, como a inteligência artificial, seriam impossíveis.

Esse tipo de lógica analisa as relações entre os valores e transforma em algoritmos. Para isso recorre também a modelos lógicos que rompem com o modelo inicialmente proposto por Aristóteles.

Esses algoritmos são responsáveis por uma série de possibilidades, desde a codificação e decodificação de mensagens até tarefas como reconhecimento facial ou a possibilidade de carros autônomos.

Enfim, toda a relação que se tem com os computadores, hoje em dia, passa por esse tipo de lógica. Ela mescla as bases da lógica tradicional aristotélica com elementos das lógicas chamadas de não-clássicas.

3. Lógicas Não-clássicas

Por lógicas não-clássicas, ou anticlássicas, reconhece-se uma série de procedimentos lógicos que abandonam um ou mais princípios desenvolvidos pela lógica tradicional (clássica).

Por exemplo, a lógica difusa ( fuzzy), largamente utilizada para o desenvolvimento de inteligência artificial, não utiliza o princípio do terceiro excluso. Nela, admite-se qualquer valor real entre 0 (falso) e 1 (verdadeiro).

São exemplos de lógicas não-clássicas:

Lógica fuzzy;

Lógica intuicionista;

Lógica paraconsistente;

Lógica modal.

Curiosidades

Muito antes de qualquer tipo de lógica computacional, a lógica serviu como base de todas as ciências existentes. Algumas trazem essa fundamentação expressa em seu próprio nome pelo uso do sufixo " logia", de origem grega.

Biologia, sociologia e psicologia são alguns exemplos que deixam clara a sua relação com o logos grego, entendido a partir da ideia de um estudo lógico e sistemático.

A taxonomia, classificação dos seres vivos (reino, filo, classe, ordem, família, gênero e espécie), ainda hoje, segue um modelo lógico de classificação em categorias proposto por Aristóteles.

Confira nosso teste de raciocínio lógico.
Veja também:

# data[].attributes.attachment_link.description
A lógica é uma área da filosofia que visa estudar a estrutura formal dos enunciados (proposições) e suas regras. Em suma, a lógica serve para se pensar corretamente, sendo assim, uma ferramenta do correto pensar. Lógica tem origem na palavra grega logos, que significa razão, argumentação...

# data[].attributes.attachment_caption
Será que foi o pensamento lógico que fez o rei Pelé ser o melhor do mundo?

# data[].attributes.attachment_link.readable_text
Cuide-se com muito rigor ao apresentar as suas ideias. A lógica é a base do sucesso profissional.Eu chamo de lógica à competência de julgar ou de decidir corretamente o que quer que seja.Se as pessoas não confiam no seu julgamento ou na sua escolha, por que elas vão querer que você as oriente, que você as lidere ou comande?Portanto, baseie todas as suas exposições em evidências concretas. Fale sobre o que você sabe ser verdade sem que pairem dúvidas... e esteja pronto a oferecer provas.

O rei Pelé foi um jogador extraordinário. Mais do que gols, sua maior virtude consistia em fazer 100% de seus passes de bola para o exato jogador a quem ele desejava. Pelé estudava e treinava com tanta persistência, que no calor da competição, ele chutava a bola com precisão absoluta. E ela ia aonde ele planejava.

Comece a expandir o que você já sabe. Tenha por diretriz uma lei fundamental: "fatos e dados são as duas coisas de que você mais precisa para ser ouvido e respeitado".Não fale absolutamente nada sem ter em mãos evidências objetivas e inequívocas.

Conheça e tenha informações reais afim de afirmar o que quer que seja. Não se arrisque com hipóteses e palpites - a menos que seja solicitado.Faça sempre uma exposição que permita a todos os envolvidos acompanhar a sua lógica com facilidade e ponha-se à disposição para esclarecer quaisquer dúvidas.

Finalmente, jamais chute uma resposta - em circunstância nenhuma. O que você não sabe, é perfeitamente passível de buscar, aprender e responder com certeza. Um chute aleatório poderá se tornar um erro irreparável. Não vale a pena arriscar a sua carreira por um instante de bobeira, ou pior, de orgulho.

Como você avalia o conteúdo que acabou ler?

# data[].attributes.attachment_link.description
Cuide-se com muito rigor ao apresentar as suas ideias. A lógica é a base do sucesso profissional.Eu chamo de lógica à competência de julgar ou de decidir corretamente o que quer que seja.Se as pessoas não confiam no seu julgamento ou na sua escolha, p