Pues al pensarlo me he dado cuenta de que no es por el verbo Hacer y el verbo Haber, yo pensaba que sí se cumpliría en general, pero no, es correcto en el ejemplo que dijimos pero no entiendo por qué ocurre porque no he podido hallar una regla general, no importa.Tachikomaia.
No veo por qué "hay" puede referirse a una parte pero "hace" no.
Si, el método se llama "lógica", y es muchísimo más amplio que los silogismos. Es el estudio de lo que es pensable sin entrar en contradicción. Es un estudio de las formas del pensamiento correcto. Lo que pasa es que como dice Dosyogoro siempre dependerás de que partas de ideas ciertas. Porque a la lógica le da igual tratar sobre cosas absurdas o ficticias, porque sólo le preocupa la "forma" de los pensamientos, la estructura, pero no los contenidos. Sólo nos dice cómo es pensar correctamente, pero no nos dice nada cierto. Es como las matemáticas, que también son lógicas por el mismo sistema, o sea por medio de la no contradicción. La lógica busca la no contradicción, que el pensamiento no se anule a sí mismo por contradecirse, o sea la coherencia formal. Se hace con letras: si a implica a b, entonces b... Los esquemas que tú pusiste con letras son lógica ahora que pienso.Tachikomaia.
¿Hay métodos para concluir válidamente a partir de premisas?
Se supone.
¿Dichos métodos son todos silogismos?
m...
¿El conjunto de métodos para concluir válidamente a partir de premisas es más amplio que el conjunto de silogismos?
El esquema general del silogismo también es "lógica" y nunca puede fallar si construyes con él:
Si A pertenece/está incluido en B
y B pertenece/está incluido en C,
Entonces, A está incluido en C.