Princípios da Lógica (Joyce)

Cartões · 105

Lógica

Ciência que orienta as operações intelectuais na busca e demonstração da verdade.

Objeto material da Lógica

Os atos da mente humana envolvidos no processo de raciocínio e apreensão da verdade.

Objeto formal da Lógica

A retidão ou correção formal dos atos intelectuais segundo suas regras próprias.

Três operações da mente

Apreensão simples, juízo e raciocínio ou inferência.

Apreensão simples

Ato pelo qual o intelecto concebe uma essência ou ideia sem afirmar nem negar nada a respeito.

Conceito ou Ideia

Representação puramente intelectual de um objeto ou essência na mente.

Termo

Expressão verbal externa de um conceito mental.

Compreensão de um termo

Conjunto de notas essenciais ou atributos inteligíveis contidos na essência de um termo.

Extensão de um termo

Totalidade de sujeitos ou indivíduos aos quais o termo se aplica legitimamente.

Lei da relação entre extensão e compreensão

Quanto maior a compreensão de um conceito, menor a sua extensão, e vice-versa.

Termo unívoco

Palavra aplicada a diferentes coisas no mesmíssimo sentido e significado.

Termo equívoco

Palavra idêntica aplicada a coisas distintas com significados inteiramente diversos.

Termo análogo

Palavra aplicada a coisas distintas em sentidos que são parcialmente iguais e parcialmente diferentes.

Termo categoremático

Palavra que possui significado completo por si mesma, podendo figurar como sujeito ou predicado.

Termo sincategoremático

Palavra que só adquire sentido lógico em união com outros termos, como conjunções e preposições.

Predicáveis de Porfírio

As cinco maneiras formais de atribuir um predicado a um sujeito: gênero, espécie, diferença, próprio e acidente.

Gênero

Predicável que exprime a parte comum da essência compartilhada por várias espécies.

Espécie

Predicável que expressa a essência inteira comum aos indivíduos sob exame.

Diferença específica

Atributo que distingue uma espécie de outras espécies dentro do mesmo gênero.

Próprio ou Propriedade

Característica que decorre necessariamente da essência, embora não a constitua de forma direta.

Acidente lógico

Atributo contingente que pode pertencer ou não a um sujeito sem alterar sua essência.

Divisão lógica

Separação ordenada de um todo conceitual de acordo com suas partes ou espécies componentes.

Regras da divisão lógica

A divisão deve ser exaustiva, baseada em um único fundamento e possuir partes mutuamente excludentes.

Definição real

Explicação formal da própria natureza e essência da coisa designada pelo termo.

Definição nominal

Declaração sobre o significado atribuído a uma palavra ou seu uso linguístico.

Regras da boa definição

Deve ser mais clara que o definido, não ser circular, ser convertível e formulada afirmativamente quando possível.

Juízo

Ato do intelecto que afirma ou nega formalmente a conveniência de um predicado a um sujeito.

Proposição

Expressão verbal externa de um juízo.

Estrutura da proposição categórica

Composta estritamente por três elementos: termo sujeito, termo predicado e cópula.

Cópula lógica

O verbo ser no presente do indicativo, responsável por unir formalmente o sujeito ao predicado.

Proposição universal afirmativa (A)

Afirma universalmente o predicado de toda a extensão do sujeito. Fórmula: Todo S é P.

Proposição universal negativa (E)

Nega o predicado de toda a extensão do sujeito. Fórmula: Nenhum S é P.

Proposição particular afirmativa (I)

Afirma o predicado de ao menos uma parte da extensão do sujeito. Fórmula: Algum S é P.

Proposição particular negativa (O)

Nega o predicado de uma parte da extensão do sujeito. Fórmula: Algum S não é P.

Distribuição de um termo

Estado em que um termo é empregado na proposição em toda a sua extensão universal.

Distribuição do sujeito

O termo sujeito está distribuído em proposições universais (A e E) e não distribuído em particulares.

Distribuição do predicado

O termo predicado está distribuído em proposições negativas (E e O) e não distribuído em afirmativas.

Quadrado lógico de oposição

Esquema das relações de verdade entre proposições com mesmo sujeito e predicado: contrárias, contraditórias, subcontrárias e subalternas.

Relação contraditória (A-O, E-I)

Duas proposições não podem ser simultaneamente verdadeiras nem simultaneamente falsas.

Relação contrária (A-E)

Duas proposições universais não podem ser ambas verdadeiras, mas podem ser ambas falsas.

Relação subcontrária (I-O)

Duas proposições particulares não podem ser ambas falsas, embora possam ser ambas verdadeiras.

Relação de subalternação (A-I, E-O)

A verdade da universal implica a da particular; a falsidade da particular acarreta a falsidade da universal.

Conversão simples

Troca da posição do sujeito e do predicado mantendo inalteradas a verdade e a quantidade formal.

Conversão por acidente

Troca de posições entre sujeito e predicado com necessária redução da quantidade da proposição.

Raciocínio ou Inferência

Operação mental em que, a partir de juízos prévios dados, a mente atinge uma nova verdade.

Silogismo categórico

Inferência mediata na qual uma conclusão decorre necessariamente de duas proposições que compartilham um termo comum.

Termo maior

Termo que comparece como predicado da conclusão e se faz presente na premissa maior.

Termo menor

Termo que comparece como sujeito da conclusão e se faz presente na premissa menor.

Termo médio

Termo comum às duas premissas que realiza a mediação lógica e desaparece na conclusão.

Regra da distribuição do termo médio

O termo médio deve estar distribuído ao menos uma vez em uma das premissas.

Regra da extensão dos termos na conclusão

Nenhum termo pode ter na conclusão extensão maior do que a extensão presente nas premissas.

Regra das premissas negativas

De duas premissas puramente negativas nada se pode inferir logicamente.

Regra da conclusão segundo a premissa mais fraca

Se uma premissa for particular ou negativa, a conclusão será forçosamente particular ou negativa.

Falácia do quaternio terminorum

Erro lógico de usar quatro termos no silogismo, geralmente causado por equívoco no termo médio.

Indução lógica

Processo inferencial que transita da observação de casos particulares para um princípio ou lei universal.

Termo singular

Termo que designa um único indivíduo determinado e não pode ser dividido em sujeitos semelhantes.

Termo geral ou comum

Termo aplicável no mesmo sentido a cada um dos muitos indivíduos de uma classe.

Termo coletivo

Termo que se aplica a um grupo de indivíduos tomado como um todo, mas não a cada membro isolado.

Termo concreto

Termo que denota um sujeito juntamente com uma forma ou atributo inerente.

Termo abstrato

Termo que denota uma forma ou atributo considerado separadamente do sujeito em que reside.

Termos contraditórios

Par de termos que esgotam mutuamente todas as possibilidades, não admitindo meio-termo (ex.: branco e não-branco).

Termos contrários

Termos diametralmente opostos dentro do mesmo gênero que admitem termos intermediários (ex.: branco e preto).

Termos privativos

Par de termos em que um expressa uma perfeição e o outro a carência dessa perfeição num sujeito naturalmente apto a tê-la.

Termos relativos

Termos cuja essência depende da referência explicada a outro ser (ex.: pai e filho).

Suposição material

Uso da palavra para significar a própria expressão vocal ou gráfica em si mesma.

Suposição formal

Uso da palavra para significar diretamente a coisa ou essência mentalmente concebida.

Suposição lógica

Uso do termo para designar uma entidade existente apenas como conceito ou ser de razão.

Suposição real

Uso do termo para referir-se à natureza da coisa como existe na realidade extramental.

Categorias de Aristóteles (Predicamentos)

Classificação suprema dos modos de ser reais sob os quais qualquer predicado finito pode recair.

Substância

Ente que existe em si mesmo e não em outro sujeito como suporte ontológico.

Acidente ontológico

Ente cuja natureza requer inerir em uma substância como em seu sujeito próprio.

Gênero supremo

A classe mais alta que não pode ser subordinada a nenhum outro gênero dentro de sua linha lógica.

Espécie ínfima

A classe mais baixa que não pode ser dividida em espécies ulteriores, mas apenas em indivíduos.

Árvore de Porfírio

Diagrama dedutivo que ilustra a hierarquia gradual de substâncias desde o gênero supremo até a espécie ínfima.

Definição genética

Definição que explica a essência de uma coisa descrevendo seu modo de geração ou produção.

Definição descritiva

Definição imperfeita que identifica um objeto por meio de seus acidentes e propriedades externas.

Proposição modal

Proposição que explicita o modo pelo qual o predicado convém ao sujeito (necessário, impossível, possível ou contingente).

Proposição composta (ou hipotética no sentido amplo)

Proposição formada por duas ou mais proposições categóricas unidas por partículas lógicas conjuntivas.

Proposição condicional (ou hipotética estrita)

Proposição composta que afirma a dependência necessária da consequente em relação à antecedente pela conjunção 'se'.

Proposição disjuntiva

Proposição composta que vincula membros alternativos pela conjunção 'ou', afirmando a verdade de pelo menos um membro.

Proposição conjuntiva

Proposição composta que afirma que dois predicados não podem convir simultaneamente ao mesmo sujeito.

Proposição analítica

Proposição cujo predicado está contido formalmente na compreensão intrínseca do sujeito.

Proposição sintética

Proposição em que o predicado acrescenta ao sujeito uma nota não contida em sua definição conceitual.

Equipolência

Equivalência de sentido entre proposições de formas distintas obtida pelo uso legítimo da negação.

Obversão

Inferência imediata que altera a qualidade da proposição e substitui o predicado por seu contraditório.

Contraposição

Inferência imediata que consiste em obverter a proposição original e converter o resultado obtido.

Inversão

Inferência imediata pela qual se deriva uma nova proposição tendo por sujeito o contraditório do sujeito original.

Premissa maior

Proposição do silogismo que contém o termo maior e o termo médio.

Premissa menor

Proposição do silogismo que contém o termo menor e o termo médio.

Conclusão silogística

Proposição derivada que estabelece a união ou separação entre termo menor e termo maior.

Primeira figura do silogismo

Disposição em que o termo médio é sujeito na premissa maior e predicado na premissa menor.

Segunda figura do silogismo

Disposição em que o termo médio é predicado em ambas as premissas.

Terceira figura do silogismo

Disposição em que o termo médio é sujeito em ambas as premissas.

Quarta figura do silogismo (galênica)

Disposição em que o termo médio é predicado na premissa maior e sujeito na premissa menor.

Modo do silogismo

Configuração formal do silogismo determinada pela quantidade e qualidade das três proposições que o compõem.

Dictum de omni et nullo

Princípio axiomático segundo o qual o que se afirma ou nega de um todo universal aplica-se a tudo que está contido nele.

Redução silogística

Processo de demonstrar a validade dos modos da segunda, terceira e quarta figuras convertendo-os aos modos da primeira.

Entimema

Silogismo abreviado no qual uma das premissas ou a conclusão é mentalmente retida sem expressão verbal explícita.

Epiquerema

Silogismo cujas premissas trazem consigo a prova ou justificativa explícita de sua veracidade.

Polissilogismo

Cadeia de silogismos concatenados na qual a conclusão do precedente serve de premissa para o subsequente.

Sorites

Forma cumulativa de polissilogismo abreviado em que o predicado de cada proposição torna-se sujeito da seguinte até unir o primeiro sujeito ao último predicado.

Silogismo condicional

Silogismo cuja premissa maior é uma proposição condicional e a menor afirma ou nega uma de suas partes.

Modus ponens

Modo silogístico válido que conclui a consequente por meio da afirmação prévia da antecedente.

Modus tollens

Modo silogístico válido que conclui a negação da antecedente por meio da negação formal da consequente.

Silogismo disjuntivo

Silogismo cuja premissa maior é disjuntiva e a menor afirma ou nega um dos membros disjuntos.