Questões de Filosofia - Lógica: Nascimento e seus Elementos para Concurso

[...] a lógica relaciona-se com a correção do pensamento e também é a arte de bem pensar. [...] É a ciência das formas do pensamento, visto que a forma mais complexa do pensamento é o raciocínio. A lógica estuda a correção do raciocínio. [...]. A lógica estuda e ensina a colocar ordem no pensamento. (Forbellone e Eberspãcher – 2005, p. 1-2.)

Existe um certo consenso entre vários autores acerca do conceito e significado da lógica. Na verdade, é possível afirmar que:

A tarefa da lógica sempre foi a de classificar e organizar as inferências válidas, separando-as daquelas que não são. A importância dessa organização não deve ser subestimada, pois usam-se inferências (de preferência válidas) tanto na vida comum como nas ciências formais, sendo um exemplo a matemática. (ASSIS, 1990, p. 12.)
A lógica trabalha com meios que permitem que o pensamento proceda de forma correta, e faz parte de uma gama de contextos, tanto na ciência quanto em outras áreas e situações. A lógica:

A respeito das proposições categóricas, sabe-se que é costume usar as letras A, E, I e O como marcadores para as quatro formas típicas dessas proposições: universal afirmativa, universal negativa, particular afirmativa e particular negativa, respectivamente. As proposições categóricas de forma típica começam com uma das expressões: “todos”, “nenhum” ou “alguns”, pois elas têm “qualidade” (afirmativa ou negativa) e “quantidade” (universal e particular). Elas compõem-se de quatro partes: o quantificador, o termo sujeito, a cópula (verbo “ser” afirmado ou negado e flexionado de acordo com o tempo e o modo verbal) e o termo predicado. A partir das proposições categóricas, podem-se fazer inferências imediatas, já que há apenas uma premissa, diferentemente do silogismo, em que se fazem inferências mediatas, pois há mais de uma premissa.

Tendo como base o texto acima, considere as seguintes proposições categóricas, assim interpretadas:

A: Todo professor é inteligente.

E: Nenhum professor é inteligente.

I: Algum professor é inteligente.

O: Algum professor não é inteligente.

Assumindo que “I: Algum professor é inteligente” é falsa, é correto inferir, imediatamente, que

Os que definiram a lógica como a ciência das leis do pensamento sustentaram, frequentemente, que existem exatamente três leis fundamentais do pensamento, as quais são necessárias e suficientes para que o pensar se desenvolva de maneira correta.

I. M. Copi. Introdução à lógica. São Paulo: Mestre Jou, 1978, p. 256 (com adaptações).

Considerando o texto acima, os nomes tradicionais dessas três leis fundamentais do pensamento são os princípios

	1	2	3
	p	q	p → q
1	V	V
2	V	F
3	F	V
4	F	F

Tabela de verdade

Considere a tabela de verdade acima para o cálculo do conectivo implicação material (→). Os valores de verdade expressos ao se calcular a implicação (p → q) na coluna 3, considerando a sequência das linhas 1, 2, 3 e 4, nessa ordem, são