Name: Circuito #Logisim Silogismos Categóricos Forma Típica
Uploaded: 2024-11-26T02:47:21Z
Description: Apresentamos nosso circuito lógico, projetado no aplicativo Logisim, que explora de forma interativa os 256 modos de silogismos categóricos, de forma típica,...

Apresentamos nosso circuito lógico, projetado no aplicativo Logisim, que explora de forma interativa os 256 modos de silogismos categóricos, de forma típica, da lógica clássica e moderna. Este circuito teve por base doutrinária o capítulo VI do livro Introdução à Lógica, de Irving M. Copi, uma referência essencial para o estudo da lógica formal. Aqui, vamos demonstrar não apenas os modos, mas também apresentar a validação de cada um deles com base nas regras rigorosamente definidas por Copi. 

O circuito conta com um sistema dual de operação. No ciclo automático,  os 256 modos são apresentados em sequência, com suas identificações exibidas em displays de 7 segmentos. No modo manual, por outro lado, o usuário pode digitar qualquer modo diretamente para análise imediata.
Já no modo manual, o usuário pode inserir qualquer combinação de letras que represente um modo. Por exemplo, ao digitar "EAE-1", o circuito realiza todas as validações e, nesse caso, indica que é válido. 

Caso se digite um modo inválido, os LEDs indicam as regras que foram violadas, proporcionando uma experiência de aprendizado interativa e prática.
Cada silogismo é avaliado acordo com as regras de validação descritas por Copi. Como resultado dessa verificação, LEDs luminosos indicam se o modo é válido ou inválido. Toda a configuração se baseia nas figuras e os modos categóricos da forma típica.

Basicamente, as regras podem ser resumidas assim:

REGRA 1: Um silogismo categórico válido deve conter exatamente três termos, cada um dos quais deve ser usado no mesmo sentido durante todo o raciocínio ou argumento. O circuito não verifica esta regra.

REGRA 2: Num silogismo categórico válido de forma típica, o ter mo médio deve estar distribuido em, pelo menos, uma das premissas. 

REGRA 3: Num silogismo categórico válido de forma típica não pode haver na conclusão qualquer termo distribuído que não esteja também distribuído nas premissas.

REGRA 4: Nenhum silogismo categórico de forma típica que tenha duas premissas negativas é válido.

REGRA 5: Se uma ou outra das premissas de um silogismo categórico válido de forma típica é negativa, a conclusão deve ser negativa.

REGRA 6: Nenhum silogismo categórico válido de forma típica com uma conclusão particular pode ter duas premissas universais. Vale quanto à regra 6 o alerta de que a lógica clássica não considerava como inválidos os modos que incorriam nesta falácia, também conhecida como falácia existencial.

Este circuito é uma ferramenta única para estudantes e entusiastas da lógica formal e da montagem de circuitos digitais. 

Sua utilidade vai além do reforço no entendimento das regras dos silogismos categóricos, servindo como uma ferramenta interativa para validar argumentos categóricos de forma agradável e prática. 
Agradecemos por assistir à apresentação e esperamos que esta demonstração inspire novas formas criativas de explorar a lógica no mundo digital. Se gosta desse tipo de conteúdo, recomendamos clicar no sininho para receber informações de novos vídeos, além, é claro, de se inscrever no canal.