Circuito #Logisim Silogismos Categóricos 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.

Logisim, Falácias formais, Silogismos categóricos formais, Silogismos, argumentação, regras lógicas

👁️ 60 visualizações

👍 29 curtidas

📝 0 comentários

⌚ 3min 38s

🗓️ 26/11/2024 02:47