logica formal y logica material

Principio de identidad
Proviene en consecuencia de forma indudable, necesaria, y evidente de la característica de identidad del ser, ¿por qué? El ser es el ser, y quien negare esta afirmaciónestaría en contra de lo expuesto anteriormente, pero decir "lo que es, es lo que es" pareciera como un juicio meramente analítico, (A = A) pero si nos damos cuenta, en toda oración hay una relación directa,entre el predicado, y el sujeto, así decir: la tierra es redonda, corresponde a una relación directa, entre el sujeto, y el predicado, llevando esto a la oración "el ser es el ser" nos damos cuentadel principio de identidad que posee el ser.
Principio de contradicción
"Una cosa no puede ser y no ser, al mismo tiempo, bajo el mismo aspecto. Ejemplo: No es posible que en un mismo instante lluevay no llueva (en el mismo lugar).
Principio de Tercer Excluido
El principio del tercero excluido o principium tertium exclusum es un principio de la lógica tradicional formulado canónicamente porLeibniz como: o A es B o A no es B. Ahora lo leemos del siguiente modo: o bien P es verdadera, o bien su negación ¬P lo es. Entre dos proposiciones que juntas forman una contradicción no hay una terceraposibilidad, la tercera está excluida.
También se conoce como "tertium non datur" ('Una tercera (cosa) no se da'). Tradicionalmente se considera que es uno de los principios o leyes fundamentalesdel pensamiento (junto con el principio de identidad, de no contradicción y de razón suficiente).
Principio de Razón Suficiente
Esta se basa en la verdad o inteligibilidad del ser. El ser es idénticoe inteligible, en virtud de que es. (La inteligibilidad es la identidad del ser, con la inteligencia) Aquello en virtud de lo cual el ser es inteligible, es llamado la razón o fundamento de ser,tenemos el principio ontológico: ‘’Todo ser tiene razón suficiente’’, sin esta razón suficiente, se perdería su identidad consigo mismo, se volvería no-ser o sea, nada. Si un ser careciera de razón...