-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathlógica-proposicional.html
92 lines (84 loc) · 7.83 KB
/
lógica-proposicional.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
<!DOCTYPE html>
<html lang="es-ar">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Lógica proposicional</title>
<link rel="stylesheet" href="style.css">
<link rel="preconnect" href="https://fonts.googleapis.com">
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
<link href="https://fonts.googleapis.com/css2?family=Exo+2:wght@300&display=swap" rel="stylesheet">
</head>
<body>
<header>
<nav>
<a href="index.html">Inicio</a>
<a href="https://drive.google.com/file/d/1xQfIFnBmxtdunxhQTUUCP1KD3T5xpNFC/view?usp=sharing" target="_blank">Cuadernillo completo</a>
<a href="contacto.html">Contacto</a>
</nav><hr>
</header>
<main>
<h1>2.Lógica proposicional</h1><hr>
<p>La lógica es una disciplina filosófica... Lorem ipsum dolor sit amet consectetur adipisicing elit. Illum magnam provident maxime. Possimus maiores obcaecati doloribus. Esse debitis quas consectetur, minus iste repudiandae ipsum. Nobis eligendi voluptatum voluptate dignissimos ut.</p>
<p>En esta sección aprenderemos a operar con los siguientes aspectos de la lógica proposicional:</p>
<ul>
<li>2.1 Reconocimiento de argumentos</li>
<li>2.2 Formalización de propocisiones</li>
<li>2.3 Formalización de argumentos</li>
<li>2.4 Confección de tablas de verdad</li>
</ul>
<hr>
<p>Antes de comenzar con los contenidos específicos tenemos que aprender algunas cosas. En principio, entender por qué el conocimiento para la filosofía se presenta como un problema. Además, debemos poder distinguirlo
de otras prácticas humanas y entender su definición. Para ello deben aprender los conceptos que este <a href="https://drive.google.com/file/d/1jW5l1z6hEumkDs0iAxFlsTZA5rcs6MRw/view?usp=drive_link" target="_blank">texto</a> explica.
<br>Por si quieren profundizar en este planteo problemático del conocimiento, puden ver los siguientes videos en YouTube.
<ul>
<li><a href="https://www.youtube.com/watch?v=tlTKTTt47WE" target="_blank">¿Es real nuestra realidad? El argumento de la simulación</a></li>
<li><a href="https://www.youtube.com/watch?v=RZdfE_7cde0" target="_blank">Is reality real? These neuroscientists don’t think so | Big Think</a></li>
<li><a href="https://www.youtube.com/watch?v=xg5y6Ao7VE4&list=PLI9Nn5dVdThoRxGAGCrlIxL1q1CTz4BbP&index=4" target="_blank">How do you know what's true? - Sheila Marie Orfano [poner subs en español]</a></li>
<li><a href="https://www.youtube.com/watch?v=ikvrwOnay3g&list=PLI9Nn5dVdThoRxGAGCrlIxL1q1CTz4BbP&index=8" target="_blank">Your brain doesn’t detect reality. It creates it. | Lisa Feldman Barrett</a></li>
<li><a href="https://www.youtube.com/watch?v=CMRM_bfCBig" target="_blank">Análisis de "They live" (1988) por Slavoj Zizek</a></li>
</ul>
</p>
<h2>2.1 Reconocimiento de argumentos</h2>
<img src="img\img-pensamiento.webp" alt="Dibujo de humano pensando">
<p>Definamos qué es un argumento. Es un conjunto de enunciados o proposiciones en el que alguno o algunos de ellos cumplen el rol de premisas, y otro, el de conclusión. La o las premisas dan razones en favor de la
conclusión. Más adelante ahondaremos en esta definición. Por el momento es necesario que nos concentremos en lo siguiente: hablamos de proposiciones o enunciados, pero no de oraciones. ¿Cuál es el motivo? La razón
es que oraciones y proposiciones/enunciados no son lo mismo. Pero ¿en qué se diferencian? Para responder estos interrogantes lean el apartiado "Oraciones y enunciados" de este
<a href="https://drive.google.com/file/d/18mXhWup5WT_QVtJ7hYIeBKA0bGKcZ8vg/view?usp=drive_link" target="_blank">texto</a> y luego miern este <a href="https://www.youtube.com/watch?v=uvWLe-PFnBs&list=PL71h9nkUDIJec0XuuIPdfXSzJBh1oCPgn&index=4" target="_blank">video</a>.</p>
<p>Por otro lado, debemos poder distinguir, una vez que ya entendimos qué es un argumento, sus partes: las premisas y la conclusión. Para ello debemos prestar atención a los roles que cada proposición cumplen dentro del argumento. Las
proposiciones que dan apoyo a otra son las premisas. La propocisión que quiere ser probada es la conclusión. Por suerte, hay otra manera que no es infalible pero resulta útil en una primera aproximación a la cuestión.
Se trata de los indicadores de premisas y los indicadores de conclusión. Para ello, deben leer el siguiente <a href="https://drive.google.com/file/d/18mXhWup5WT_QVtJ7hYIeBKA0bGKcZ8vg/view?usp=drive_link" target="_blank">texto</a>.
<p>Les dejo a continuación un cuadro que contine varios de los indicadores mencionados:</p>
<img src="img\indicadores-premisa-conclusión.png" alt="cuadro indicadores de premisas conclusión">
<p>También pueden ver el siguiente <a href="https://www.youtube.com/watch?v=9YAHS8va_8I&list=PL71h9nkUDIJec0XuuIPdfXSzJBh1oCPgn&index=5" target="_blank">video</a> que les resultará útil en este sentido.</p>
<p>Por último, en el mismo texto se les enseña a distinguir entre mención y uso de los términos.</p>
<hr>
<h2>2.2 Formalización de proposiciones</h2>
<p>En este tema aprenderemos un nuevo lenguaje: el de la lógica porposicional simbólica. Si bien en un principio parece una tarea ardua, con la práctica resulta sencillo. Se vuelve casi una tarea mecánica.</p>
<p>Para aprender dicho lenguaje deben leer el siguiente <a href="https://drive.google.com/file/d/1C_HEBMUzNMr7LBp12qrHZLwYSvnD1AfM/view?usp=drive_link" target="_blank">texto</a>. En definitiva, este mismo texto será el que usemos hasta el final de este tema tan importante.</p>
<p>Por otro lado, les dejo a continuación un cuadro con los símbolos del lenguaje llamados "conectivas":</p>
<img src="img\Símbolos de la lógica proposicional simbólica_pages-to-jpg-0001.jpg" alt="cuadro con conectivas">
<br>
<h2>2.4 Confección de tablas de verdad</h2>
<p>Lorem ipsum dolor sit amet consectetur adipisicing elit. Nobis incidunt eos dignissimos rerum! Tenetur rerum fuga optio nam eum voluptatum porro consequatur, doloribus, aperiam error mollitia, beatae odio temporibus dicta.</p>
<p>En <a href="https://www.erpelstolz.at/gateway/formular-uk-zentral.html" target="_blank">Logic calculator</a> pueden entrar para practicar. Ingresan una fórmula y luego ejecutan para que se les confeccione la tabla de verdad correspondiente. Cabe aclara que el modo en el que lo resuelve no es exactamente el
mismo que practiamos en clase. Tengan en cuenta además que carece de un operador lógico o constante que nosotros empleamos que es la "disyunción exclusiva", cuyo símbolo es "<u>V</u>". Sin embargo, les puede resultar útil para corregir la resolución de distintas tablas de verdad con el fin de practicar.
</p>
<p>Para reforzar lo aprendido en el texto y las clases recomiendo ver, si hace falta, el siguiente video.</p>
<p><a href="https://www.youtube.com/watch?v=S4uGRH-G_B4" target="_blank">Confección de tablas de verdad</a></p>
<p>¡¡¡Y a practicar incansablemente!!!</p>
<hr>
<img src="img\meme logica.jpg" alt="meme de lógica incendio">
</main>
<footer>
<div class="pieFin">
<p>CONTACTO:</p>
<p>Currículum del profesor</p>
<p>Contacto del profesor</p>
<p>Página creada por PROF. EMANUEL FEOLI</p>
<hr>
<p>©EmanuelFeoli</p>
</div>
</footer>
</body>
</html>