Logica formal

Lógica formal
La lógica formal, a diferencia de la lógica informal, se dedica al estudio de los razonamientos correctos, desarrollándolos de manera formal y esquematizada, es decir de una forma no cotidiana. Este tipo de lógica parte de los razonamientos correctos conocidos para desarrollar una teoría lógica y consecuentemente, razonamientos más complejos que no se utilizan normalmente en lavida cotidiana. A partir de la idea de que quien la estudia "razona bien", puede desarrollar argumentos racionales extremadamente complejos, y de gran alcance. Este tipo de lógica no debe ser confundido con la lógica simbólica ni con la lógica matemática, que son tipos de lógica que se encuentran dentro del campo de la lógica formal.
Pensamiento: El pensamiento filosófico es más libre y amplio porsu carácter de lógica sin término, porque no se deja someter a ningún marco. “ Parece por el contrario poseer una vida propia; extiende sus ramificaciones a los más diversos campos, contamina las creencias y convicciones que parecían más alejadas de su punto de partida y por lo tanto afecta, conmueve y perturba los fundamentos de nuestra vida
Proceso de pensar: Son los procesos cognoscitivos losque distinguen de manera más evidente al hombre de los animales; el pensamiento superior dota al hombre de ventajas para la supervivencia que tienen paralelo, pues resolver problemas con mucha antelación y salvar abismos (con el pensamiento) mucho antes de llegar a ellos. El filósofo francés Blas Pascal llegó a la conclusión de que la cognición era el don divino del Creador de que la dignidadeterna del hombre se basaba únicamente en su capacidad de pesar. Pascal escribió que: "El hombre no es más que una caña que piensa, la caña de naturaleza más freigiL Muere de un simple regocijo, de una simple gota de agua. Pero aunque el universo conspirara para aplastarlo, el hombre seguiría siendo más noble que lo que lo hace caer, pues sabe que muere y el universo no sabe nada de la victoria queobtiene sobre el hombre"
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ón estarí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 hayuna 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 cuenta del 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 unmismo instante llueva y 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 por Leibniz 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ónno hay una tercera posibilidad, la tercera está excluida. También se conoce como "tertium non datur" ('Una tercera (cosa) no se da'). Clásicamente se considera que es uno de los principios o leyes fundamentales del 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. Elser es idéntico e 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...