Logica

Luego de explicar los usos habituales del lenguaje, y proponer, como tesis de la autora, el uso argumentativo como uso diferente de los tradicionalmente mencionados, se explica con sencillez qué es un arguento, oponiendo la idea de argumentar (como búsqueda de la verdad) a la de persuadir. Finalmente, la sección de la autora Dra. Ramírez explica con claridad e intuitivamente las condiciones de verdad de las principales conectivas lógicas empleadas en lógica proposicional. Un buen texto introductorio para no especialistas.

A lo largo del siglo XX,  numerosos autores  han sostenido que el modo de razonar propio de jueces y abogados litigantes –que podríamos llamar razonamiento forense o razonamiento judicial– no admite la estructura del silogismo deductivo. Por ejemplo: Michel Villey. El trabajo demuestra que, en el marco teórico de la filosofía clásica de raíz aristotélico-tomista, el razonamiento práctico en general y jurídico en particular tiene una ineludible estructura silogística.

Cum să faci, simultan, apologia frontierelor și apologia libertății? Și, mai ales, de ce? Răspunsul dat de autor e surprinzător de simplu și de eficient: pentru că libertatea este ea însăși o frontieră. Fiind, deci, libertatea atât de restrânsă, durând atât de puțin, câștigându-se atât de greu și pierzându-se atât de ușor, doar mobilizarea simultană a minții și a trupului o poate face posibilă.

"Lógica para Benavídez" es un manual (libro de texto) de lógica clásica para alumnos de colegio secundario y primeros años de la Universidad. Benavídez representa al típico estudiante sin ningún conocimiento de lógica (ni de ninguna otra cosa), a veces algo perezoso, posiblemente desordenado y no del todo maduro. Para él escribimos este manual y por eso lo llamamos: “Lógica para Benavídez”. Y decidimos escribir una lógica para Benavídez porque, creemos, la gran mayoría es un Benavídez para la lógica.
Fue publicado por primera vez en 2007. Pero, dada la situación generada por la pandemia del COVID-19, hemos decidido liberar la distribución de "Lógica para Benavídez" en formato PDF con el fin de que la cuarentena se lleve a cabo lo más lógicamente posible.

Los temas de Conjuntos y Lógica, que alguna vez fueron considerados de alta especialidad, van ubicándose en grados cada vez más elementales de la formación escolar, por lo pronto se exige familiaridad con esos temas en casi cualquier posgrado y ni qué decir en las licenciaturas de matemáticas, física, ingenierías, cómputo, economía, finanzas, administración e incluso leyes y filosofía.

El tema de Funciones es fundamental para el estudio del Cálculo diferencial e integral y de temas avanzados como el Análisis matemático, la Topología y otros.

Versión impresa disponible en Amazon.

https://www.amazon.com/dp/1796436224/ref=sr_1_fkmrnull_2?keywords=conjunto+logica+y+funciones&qid=1549804071&s=gateway&sr=8-2-fkmrnull

Edición en blanco y negro:
https://www.amazon.com/Conjuntos-l%C3%B3gica-funciones-Edici%C3%B3n-Spanish/dp/1548371513/ref=sr_1_1?ie=UTF8&qid=1498858570&sr=8-1&keywords=conjuntos%2C+logica+funciones

¿Cuál fue primero, el huevo o la gallina? ¿Que fue antes: el huevo o la gallina? Este tipo de expresiones es la que usamos cuando nos es difícil explicar el origen o la causa de algo, porque no sabemos cuál de los factores dio origen al otro. Esta pregunta ha servido como metáfora sobre el origen de las cosas desde que en la antigua Grecia, el filósofo Aristóteles la formuló. Aristóteles decía que es antes lo actual que lo potencial. Vamos que según él, la gallina es anterior al huevo, porque para Aristóteles, tanto la gallina como el hombre existieron desde siempre. Igual que el mundo en general. Pero no fue el único que pensaba esto, un gran número de filósofos siguieron sus pasos. Esta simple y entrañable pregunta esconde nada más y nada menos que cuestiones metafísicas relacionadas con el origen de la vida del universo y de la creación. Pero volvamos a los huevos y las gallinas. ¿Qué fue primero? Según la Biología Evolutiva el huevo. ¿Por qué? Pues porque ya existían los huevos mucho antes que las gallinas. Independientemente de qué animal fuese el huevo. Se sabe que los primeros huevos son de insectos o incluso de corales y había huevos hace millones y millones de años e incluso antes de los dinosaurios. Se sabe que las primeras aves convivieron con los dinosaurios hace unos ciento cincuenta millones de años, pero no eran como las conocemos ahora. Lo que de verdad queremos saber es si el huevo era o no de gallina. Esto depende de la definición de huevo de gallina que entendamos. Si es un huevo con un embrión de gallina dentro es un huevo puesto por una gallina. En el primer caso, podemos afirmar que la primera gallina no nació de un huevo puesto por otro ejemplar de su misma especie. manuelverdugo.com

Etimológicamente la lógica es la ciencia del logos. Originalmente logos significa palabra o discurso, por lo que en un principio se definió la lógica como la rama de la gramática que se ocupaba de ciertas formas de lenguaje. Como la palabra es la expresión, o manifestación del pensamiento y el pensamiento racional es la base de la filosofía, puede decirse en general, que la lógica es la ciencia del pensamiento racional; es de aclarar que la lógica no se ocupa del contenido de los pensamientos sino de la manera o forma de los pensamientos. En respuesta a la necesidad de construir argumentos, para defender o refutar pensamientos de los demás, Aristóteles, considerado por los griegos " El padre de la lógica " , creó métodos sistemáticos para analizar y evaluar dichos argumentos, para lo cual desarrolló la lógica proposicional estableciendo procedimientos para determinar la verdad o falsedad de proposiciones compuestas. El gran matemático Gottfried Leibniz en 1646 fue el primero en intentar reformar la lógica clásica, planteando que la dependencia lógica entre proposiciones es demostrada, reduciendo argumentos complejos en simples, para lo cual propuso representar el conocimiento, en una forma que pudiera ser usado por un razonamiento mecánico y a este esquema (lógica simbólica) lo llamo una característica universal.

Un primo sguardo sulla relazione tra i problemi di filosofia del linguaggio e i problemi ontologici (in particolare quello sull'esistenza). Si analizzano in questo scritto tre autori della Mitteleuropa e cioè  Bolzano, Twardowski e Meinong  e si abbozza una teoria dei livelli ontologici con la quale si cerca di classificare più articolatamente oggetti ed eventi e si possa rispondere in maniera più consapevole alla domanda su cosa esista

A brief introduction to use of mathematical, logic and linguistic in three psychoanalists: Bion, Matte Blanco and Lacan. The text is about the epistemological and euristic use of these kinds of formalization in these thinkers and psychoanalists.

Pretendemos, en esta parte, primeramente establecer una caracterización de la Lógica Matemática por comparación con la Lógica Clásica. Así hablaremos de la Lógica Matemática como una ciencia positiva, de su hiperformalismo, como de su pandeductivismo y a-metafisicismo. Luego, una vez caracterizada la Lógica Matemática, estableceremos finalmente, qué tipo de relación existe entre ambas lógicas y el fundamento de esa relación. Indagamos la relación comparando a ambas lógicas desde tres perspectivas. De esta comparación surgen, según nuestra apreciación, la siguiente caracterización, que no pretende ser ni excluyente ni exclusiva. Pero sí pretendemos que sea lo suficiente manifestativa de la realidad lógico-matemática.
La Lógica matemática es:
1. Es una ciencia positiva;
2. Es hiperformalista o lógico-formalista;
3. Es pandeductivista;
4. Es un automatismo irreflexivo;
5. Es a-metafisicista.

This article is focused on answering the question to what extent one can be a sceptic. Sextus Empiricus’s Outlines of Scepticism serves as a guide. In section 1, it is investigated whether three logical laws have a certain foundation or are subject to doubt. In section 2, Sextus’s way to deal with these laws is examined; the question arises how dogmatic his approach is. After that, a possible ‘reply’ by Sextus to the criticism receives attention. Section 3 is concentrated on a possible alternative to Sextus’s approach. Besides logical laws, some important methods are concerned.

Definición de Lógica Transcursiva (LT):
Como herramienta: es la única que permite abordar la evolución (el transcurrir) de los aspectos subjetivos de cualquier ser vivo, incluyendo al hombre, en el que además se cubren, tanto los aspectos volitivos como los cognitivos.
La LT es un modelo relacional dinámico no inferencial, de naturaleza cuaternaria y policontextural, que opera con nichos ontológicos (continentes) ensamblados según un lenguaje universal definido estructuralmente, por un Grupo (en tanto entidad relacional), y funcionalmente, por una Conexión de Galois (en tanto composición de opuestos y complementarios). Dicho modelo está sustentado en el cambio o transformación que emerge cuando se interrelacionan los componentes obligados de la realidad subjetiva, es decir, sujeto y objeto. Este cambio o transformación se da en dos niveles simultáneos: a) el superficial y aparente de naturaleza discreta y que llamaremos ‘contenido’, y b) el profundo y oculto de índole continua que conoceremos como ‘continente’.
Como método de investigación: permite relacionar el conocimiento teórico y el conocimiento empírico, con su descubrimiento y validación, de esta manera se adecua al conocimiento científico que se pretende lograr, posibilitando la validación de lo que se logre descubrir. A nivel superficial se comporta como un método analógico-abductivo, es decir, partiendo de los resultados se va en busca de una conclusión o hipótesis, separando dos niveles de análisis: los hechos conocidos o evidentes (superficiales) y los hechos que se desconocen (profundos), de los cuales se asume que guardan un comportamiento similar. A nivel profundo se comporta como un método analógico-adductivo, o sea, aproxima los dos niveles anteriores hasta hacerlos simultáneos, contrastándolos contra un modelo tomado de la realidad cotidiana. La estrategia implementada tiene como sustrato el prescindir del marco de referencia, para poder conformar un grupo (algebraico) con las relaciones entre los elementos fundamentales que caracterizan el sistema bajo estudio. De esta manera se logra la sintaxis de un ‘Lenguaje Universal’ que permite abordar cualquier rama de la ciencias y las humanidades.

In "Funzione e concetto" Frege comincia a delineare il paradigma di filosofia del linguaggio che ne ha fatto uno dei più grandi filosofi degli ultimi secoli. Qui si propone la distinzione tra funzione ed argomento e si cerca di tradurre il concetto di funzione dalla matematica alla logica.  In questo articolo si espongono in modo quasi letterale le tesi di Frege e si fanno delle osservazioni di carattere critico sulla loro valenza filosofica

Il paradosso del coccodrillo si innesca perché il livello deontico del discorso (riguardante una azione fatta nel rispettare una regola) viene sovrapposto ad un livello puramente descrittivo (la predizione di una azione non legata d un processo di negoziazione in corso)

This paper focuses on Husserl's theory of meaning, comparing it with Frege's theory. The central task of this work is to study Husserl's research in his Logical Investigations. This paper highlights how, according to Husserl, interlocution between speakers can be the basis of a new theory of meaning that begins with the meaning intention and is accomplished with filling of meaning. The paper describes how phenom-enology is closely linked to the idea of a " pure logic " , with no metaphysical, scientific-naturalistic or psychological assumptions. This idea is aimed at a theory of knowledge of pure forms and objects in their truth. Objectivity is given in the solus ipse aspect, but it is also due to the determination in the intentional communicative act between speakers. All of this is possible in virtue of the concept of " expression " , to which Hus-serl refers in his Logical Investigations.

We offer a critical overview of two sorts of proof systems that may be said to characterize classical propositional logic indirectly (and non-standardly): refutation systems, which prove sound and complete with respect to classical contradictions, and rejection systems, which prove sound and complete with respect to the larger set of all classical non-tautologies. Systems of the latter sort are especially interesting, as they show that classical propositional logic can be given a paraconsistent characterization. In both cases, we consider Hilbert-style systems as well as Gentzen-style sequent calculi and natural-deduction formalisms.

Al termine di questo volume, dedicato al pensiero del filosofo toscano, presento questa rassegna bibliografica commentata. La produzione filosofica del Nostro è notevole, frutto di oltre cinquant'anni di studi e di ricerche, caratterizzati da alcune costanti che mi hanno permesso di strutturare tematicamente questa bibliografia: si prenderà dapprima in esame la produzione filosofica di Livi sul tema del rapporto cristianesimo-filosofia (1) che ha un'importanza notevole in quanto, con le sue ricerche, il filosofo toscano ha approfondito le intuizioni del suo maestro Étienne Gilson, ma anche di altri filosofi come Jacques Maritain, mostrando la non-contraddittorietà della nozione di «filosofia cristiana»; successivamente vengono commentati i testi dedicati alla nozione di senso comune che-come dicevo-è alla base del sistema di logica aletica (2): il senso comune è l'insieme organico di certezze che nessuna "conoscenza seconda" può escludere, pena la contraddizione; infine mi sono soffermato sui testi dedicati al pensiero del già citato Gilson (3) e sulle premesse razionali della fede (4).

Este cazul ocupației noastre  de toate zilele în cadrul căreia accentele de sens completiv teoria grațiilor multiple/TGM(L.Botezatu)-teoria inteligențelor multiple/TIM (H.Gardner) își  garantează  poziționare  filologocentrică prin filosofocentric. Este faptul prin care arta paideică își  atinge culmile primelor însemne marcatorii în accesare pe ,, a fi aici”. Este operația diurnă a lui ,,a fi dincolo”, angajată  în chip vocațional  la opera  responsabilității  întru resemnare epistemic-epistemologică: principii, posibilități, proiecte  de valorificare - autovalorificare. A ști  să alegi,  din mers cele mai eficiente  configurații epistemice; a le ordona și a le supune  legilor  mecanicii de acțiune înseamnă a te ramplasa cu osârdie pe scala exersărilor  merituologice, a te simți responsabilul propriilor  evidențe fenomenologice.  Sau operația cu pricina trebuie să constituie drept una dintre cele mai onorabile angajări  la opera măiastră de  formare a  culturii profesionale. Perspectiva  multiplelor interpretări:  artă pedagogică-cultură  filosofică, exersare filologocentrică, în prezenta angajare este  una  a  interdisciplinarității, intertransdisciplinaritatea fiind exersată în înțeles integru-aplicativ  ca drept stimul al plinătății  de cunoaștere,  stimul provocator  de excepționale  izbânzi creatoare. Cunoaşterea ştiinţifică la nivel paideic-aplicativ reprezintă  dialogul apodeutic al prefacerilor acerbe  grații – inteligenţe, postat pe o anume poziționare experimentală. Parafrazându-l pe Blaga, la nivelul filosofiei și axiologiei educației,  fenomenul intertransdisciplinarității  reprezintă rezervoarul din care  paideea (curcubeul) își adulmecă  setea. Altfel spus, setea de cunoaștere,  ajunsă la nivelul interpretativității competitive prin care ne impunem, nu costituie altceva decât  Marele Adevăr Eminescian în formidabilă  interpretare valorică.

Concepte - chee: grații multiple, inteligențe multiple, artă profesională, filosofia intertransdisciplinarității.