title: Miguel I de Rumania

text: En 2001 recuperó el título de rey, al ser reconocido también como antiguo jefe del Estado. Su intensa labor en Rumania, ajena a la política de los partidos y muy vinculada a iniciativas de carácter social, le llevó a ejercer el patronazgo de diversas obras sociales de beneficencia, lo que contribuyó decisivamente a engrandecer su prestigio como referente moral de un país en el que la clase política no ha gozado de un gran respeto por parte de la ciudadanía.


title: Miguel I de Rumania

text: Miguel de Rumania pronunció el 25 de octubre de 2011 su primer discurso ante el Parlamento de su país desde 1947, cuando había sido derrocado para la proclamación de la República Socialista de Rumania.


title: Miguel I de Rumania

text: En marzo de 2016 se dio a conocer que Miguel de Rumanía padecía de leucemia crónica y de carcinoma espinocelular con metástasis. El 1 de agosto de 2016 moría su esposa, la reina Ana.


title: Miguel I de Rumania

text: El rey Miguel falleció en su domicilio de la localidad de Aubonne el 5 de diciembre de 2017, siendo el penúltimo mandatario de la Segunda Guerra Mundial en fallecer, siendo el último el rey Simeón de Bulgaria.


title: Miguel I de Rumania

text: Contrajo matrimonio el 10 de junio de 1948 con la princesa Ana de Borbón-Parma, con quien tuvo cinco hijas:


title: Teorema de muestreo de Nyquist-Shannon

text: El teorema de muestreo de Nyquist-Shannon, también conocido como teorema de muestreo de Whittaker-Nyquist-Kotelnikov-Shannon o bien teorema de Nyquist, es un teorema fundamental de la teoría de la información, de especial interés en las telecomunicaciones.


title: Teorema de muestreo de Nyquist-Shannon

text: Este teorema fue formulado en forma de conjetura por primera vez por Harry Nyquist en 1928 ("Certain topics in telegraph transmission theory"), y fue demostrado formalmente por Claude E. Shannon en 1949 ("Communication in the presence of noise").


title: Teorema de muestreo de Nyquist-Shannon

text: El teorema trata del muestreo, que no debe ser confundido o asociado con la cuantificación, proceso que sigue al de muestreo en la digitalización de una señal y que, al contrario del muestreo, no es reversible (se produce una pérdida de información en el proceso de cuantificación, incluso en el caso ideal teórico, que se traduce en una distorsión conocida como error o ruido de cuantificación y que establece un límite teórico superior a la relación señal-ruido). Dicho de otro modo, desde el punto de vista del teorema, las muestras discretas de una señal son valores exactos que aún no han sufrido redondeo o truncamiento alguno sobre una precisión determinada, es decir, aún no han sido cuantificadas.


title: Teorema de muestreo de Nyquist-Shannon

text: El teorema demuestra que la reconstrucción exacta de una señal continua en banda base a partir de sus muestras, es matemáticamente posible si la señal está limitada en banda y la tasa de muestreo es superior al doble de su ancho de banda.


title: Teorema de muestreo de Nyquist-Shannon

text: Dicho de otro modo, la información completa de la señal analógica original que cumple el criterio anterior está descrita por la serie total de muestras que resultaron del proceso de muestreo. No hay nada, por tanto, de la evolución de la señal entre muestras que no esté perfectamente definido por la serie total de muestras.


title: Teorema de muestreo de Nyquist-Shannon

text: Si la frecuencia más alta contenida en una señal analógica formula_1 es formula_2 y la señal se muestrea a una tasa formula_3, entonces formula_1 se puede recuperar totalmente a partir de sus muestras mediante la siguiente función de interpolación:


title: Teorema de muestreo de Nyquist-Shannon

text: Hay que notar que el concepto de ancho de banda no necesariamente es sinónimo del valor de la frecuencia más alta en la señal de interés. A las señales para las cuales esto sí es cierto se les llama señales de banda base, y no todas las señales comparten tal característica (por ejemplo, las ondas de radio en frecuencia modulada).


title: Teorema de muestreo de Nyquist-Shannon

text: Si el criterio no es satisfecho, existirán frecuencias cuyo muestreo coincide con otras (el llamado aliasing).


title: Teorema de muestreo de Nyquist-Shannon

text: La aparición reciente de nuevos formatos de audio (denominados frecuentemente "formatos de alta resolución") para usuario final que contienen señales muestreadas con tasas más elevadas a la empleada en los CD de audio han contribuido a extender la idea errónea de que la calidad en la reconstrucción de una señal en toda su banda (hasta la frecuencia crítica) es función directa de la tasa de muestreo empleada.


title: Teorema de muestreo de Nyquist-Shannon

text: Los nuevos formatos de audio que recientemente han aparecido (aunque con escaso éxito comercial) que emplean Modulación por impulsos codificados (PCM) sin pérdida por compresión con tasas de muestreo más altas a las empleadas en el CD de audio, (DVD-Audio, por ejemplo) para registrar y reproducir señales de idéntico ancho de banda se justifican porque permiten el empleo de filtros de reconstrucción más benignos, sencillos y económicos sacrificando un recurso cada vez más económico y de menor trascendencia (la capacidad de almacenamiento, un recurso crítico en el pasado) y porque, además, satisfacen simultáneamente las expectativas de un mercado como el audiófilo, caracterizado por dogmas entre los que se encuentra muy extendida la falsa creencia de que esto representa una mejora en la calidad de la señal reconstruida (en particular, de sus componentes de alta frecuencia). Este error es sólo una consecuencia de una clara incomprensión del alcance y significado del teorema de muestreo y de establecer comparaciones falaces como, por ejemplo, con la digitalización de imágenes (donde no se realiza la reconstrucción de una señal periódica), etc.


title: Teorema de muestreo de Nyquist-Shannon

text: La elevada tasa de muestreo de otro formato de audio de reciente aparición, el SACD o Super Audio CD, es una consecuencia del uso de una tecnología denominada comercialmente Direct Stream Digital™ (DSD) basada en un tipo de codificación digital denominado . Si bien la tasa de muestreo es 64 veces la del CD-Audio, es necesario tener presente que se trata de una cuantificación de 1 bit (en lugar de los 16 empleados en el CD-Audio) y basado en técnicas de modelado de ruido. No es posible, por tanto, establecer comparaciones superficiales con el PCM de CD-Audio o DVD-Audio (ambos PCM), ya que en este caso la relación señal-ruido no es constante respecto de la frecuencia (en CD-Audio el ruido de cuantificación es independiente de la frecuencia y sólo depende de los intervalos de amplitud empleados en el proceso de cuantificación, es decir, es de unos 98,09 dB constantes para los 16 bits de este estándar CD-Audio en todo el espectro útil). Un SACD puede registrar y reproducir señales con componentes de hasta 33 kHz con una relación señal-ruido equivalente al de un CD-Audio y mantener una relación señal-ruido de aproximadamente 122 dB para el espectro audible.


title: Teorema de muestreo de Nyquist-Shannon

text: Entre las ventajas objetivas de estos formatos (DVD-Audio y SACD) se encuentra la grabación de audio multicanal y la capacidad para el empleo de técnicas de protección de copia, tema de interés para las compañías discográficas y, probablemente, la auténtica justificación industrial y comercial de estos productos junto con el evidente beneficio resultante de la sustitución de todos los equipos reproductores y grabadores del mundo.


title: Teorema de muestreo de Nyquist-Shannon

text: Se han publicado trabajos experimentales rigurosos que concluyen que no existen diferencias audibles entre los formatos de alta resolución y el tradicional soporte de audio digital CD-Audio e, incluso, también se ha demostrado que son indistinguibles, en calidad de audio, entre sí los formatos de alta resolución SACD y DVD-Audio.


title: Francisco Xavier Mina

text: Javier Martín Mina Larrea, (Otano, Navarra, España; 1 de julio de 1789-Fuerte de los Remedios, Pénjamo, Guanajuato, Nueva España; 11 de noviembre de 1817), apodado Mina el mozo y conocido como Francisco Javier Mina (por su tío Francisco Espoz y Mina), fue un militar y guerrillero navarro que participó en la Guerra de la Independencia de España (contra los franceses) y en la Independencia de México (del lado de los insurgentes y en contra de los realistas).


title: Francisco Xavier Mina

text: Es el pionero de las guerras de guerrillas, una de las acciones que permitieron mantener viva la llama de la guerra de independencia.


title: Francisco Xavier Mina

text: Tercer hijo de Juan José Mina Espoz y de María Andrés Larrea, familia de labradores acomodados de Otano, pequeña población situada en la falda norte de la Sierra de Alaiz, en las proximidades de Monreal e Idocin. Al cumplir 11 años sus padres lo enviaron a estudiar a Pamplona, donde vivió con sus tíos Clemente y Simona Espoz.


title: Francisco Xavier Mina

text: Hizo estudios de latín, matemáticas y humanidades en el Seminario de Pamplona, y pronto trabó amistad con el coronel retirado Juan Carlos de Aréizaga, quien mantenía una tertulia de jóvenes a los que aconsejaba y daba su interpretación de la marcha de las guerras europeas. Cuando llegó a la edad de 18 años se trasladó a Zaragoza, donde se inscribió en la Universidad e inició los estudios de Derecho. El 23 de marzo de 1808, cuando llegaron a la ciudad las primeras noticias del motín de Aranjuez, dirigió una revuelta estudiantil, que acabó con la quema del retrato de Manuel de Godoy en la plaza del Coso.


title: Francisco Xavier Mina

text: Coincidiendo con los sucesos del 2 de mayo en Madrid y el cambio de monarquía, regresó a Pamplona y de acuerdo con el coronel Aréizaga pasó a formar parte de la resistencia antifrancesa, realizando algunas acciones de espionaje en la vertiente norte de los Pirineos. En noviembre de 1808, y en calidad de ayudante del coronel, se trasladaron ambos a la ciudad de Zaragoza para ponerse al servicio de José de Palafox y Melci ante el anunciado segundo asedio francés. Terminado el segundo Sitio de Zaragoza se retiraron a Tortosa, donde el general Joaquín Blake encargó a Aréizaga el mando de las fuerzas de infantería del Ejército de la Derecha, dispuesto para liberar Zaragoza. Xavier Mina sirvió a las órdenes de Aréizaga, ascendido a general, hasta el verano de 1809, cuando -obedeciendo las instrucciones de los generales Blake y Aréizaga- regresó a Navarra para hacerse cargo del Corso Terrestre de Navarra, que inició sus acciones guerrilleras en el bosque del Carrascal en agosto de 1809.


title: Francisco Xavier Mina

text: Los primeros componentes de la nueva guerrilla fueron Félix Sarasa, Ramón Elordio, Lucas Górriz, su tío Francisco Espoz y otros diez campesinos. Establecieron la base de sus acciones en Monreal, en las cercanías de Pamplona.


title: Francisco Xavier Mina

text: Los asaltos y emboscadas fueron dando sus frutos, con la toma de prisioneros, bagajes, enseres y dinero, lo que provocó una llegada continua de nuevos voluntarios que en pocas semanas engrosaron el número de componentes del Corso hasta alcanzar la cifra de 200. En Lumbier, tras la toma de ochenta caballos, creó la caballería del Corso.


title: Francisco Xavier Mina

text: En octubre de 1809 había una gran cantidad de jóvenes navarros que querían abandonar sus quehaceres e ir a pelear contra los franceses, por lo que se hizo popular el dicho de "irse a Mina". Los franceses, preocupados por el cariz que tomaban las acciones, enviaron al general D'Agoult a combatirlo, teniendo lugar la primera acción en Estella, donde Mina estuvo a punto de caer prisionero de no haber sido porque el estellés Hilario Martixa le ocultó y condujo a campo abierto.


title: Francisco Xavier Mina

text: Se reunió con los suyos en la venta de Urbasa. De ahí, camino de Viana tuvo otro encuentro con los franceses, perdiendo 18 hombres. En noviembre descansó en Los Arcos, adiestrando al personal de que disponía en aquel momento: 300 hombres de infantería y 100 de caballería. El Corso, por su número, versatilidad y maniobrabilidad, era ya un peligroso adversario para los invasores.


title: Francisco Xavier Mina

text: Desde el comienzo de sus acciones, Mina siempre había enviado a sus prisioneros al Depósito de Lérida. Mantenía con ellos una escrupulosa consideración. Sin embargo, la actitud de los franceses después de la acción de la Venta de Urbasa dio lugar a que nunca más los prisioneros franceses tuvieran garantía alguna de vida en el caso de caer prisioneros de la guerrilla. La razón fue que en tal acción fue capturado Vicente Carrasco, uno de los primeros guerrilleros, junto con otros 18 compañeros más. Los franceses ahorcaron en Pamplona a Carrasco y fusilaron a los otros dieciocho prisioneros.


title: Francisco Xavier Mina

text: Poco después, en Tiermas, el Corso navarro y la guerrilla del aragonés Miguel Sarasa emboscaron a una columna francesa de unos 500 hombres. Este fue el primer combate en campo abierto y siguiendo tácticas de estrategia puramente militar. A partir de ese momento, el Corso no tuvo descanso. Se sucedieron las acciones: Alto de Rocaforte, Caparroso, Los Arcos, Torres, el desgraciado asalto de Tudela, etc. Las fuerzas guerrilleras a las órdenes de Mina se adueñaron de las rutas de Navarra con el Alto Aragón. En diciembre, tras la acción de Tudela, Mina reestructuró el Corso, compuesto por 1200 hombres de infantería y 150 de caballería, que a partir de entonces se llamó "Primero de Voluntarios de Navarra".


title: Francisco Xavier Mina

text: La siguiente acción fue la de Mendigorría. Después, el ataque y toma de Sangüesa, desde la que marchó hacia las Cinco Villas, en Aragón.


title: Francisco Xavier Mina

text: Napoleón, ante la actividad llevada a cabo por Mina, ordenó al general Harispe –navarro francés– perseguir y terminar con los "voluntarios" de Navarra. Enterado el navarro, sorprendió y derrotó al general francés en la carretera de Tudela, ocasionándole numerosos muertos y unos 140 prisioneros. Pasó a Monreal, atacando antes a los franceses en Tiebas. Se volvió hacia Tafalla, donde sorprendió a la guarnición, haciendo preso al comandante francés y obteniendo gran cantidad de víveres y pertrechos.


title: Francisco Xavier Mina

text: Continuó hacia Miranda de Arga y Sesma. Más tarde, se entrevistó en Lérida con los generales Enrique O'Donnell y Conde de Orgaz, regresando a principios de marzo a Navarra sin haber alcanzado acuerdos importantes. Días después, con unos 700 hombres, reanudó su actividad desde Ribas, atacó en Ejea, luchó en las cercanías de Zuera, tomó un convoy de 40 carros de artillería y varios furgones en Caparroso y asaltó Puente la Reina en un rosario de operaciones de continuo acoso a los franceses.


title: Francisco Xavier Mina

text: A finales de marzo Mina decidió descansar en Labiano, en las proximidades de Pamplona, con tan solo 14 hombres. Este era un lugar peligroso y sin fácil posibilidad de huida en caso de verse atacado. A los pocos días, una columna al mando del oficial Schmitz le descubre y ordena los movimientos conducentes para atraparlo en el pueblo. Tras una maniobra de distracción para que sus hombres pudieran huir, el 29 de marzo de 1810 fue alcanzado mientras se dirigía a las alturas inmediatas. Herido de un sablazo en el brazo izquierdo, acabó siendo hecho prisionero.


title: Francisco Xavier Mina

text: Llevado a Pamplona, fue encerrado en la fortaleza y sometido a interrogatorio. Días después, el 3 de abril, es conducido a Francia con una escolta de unos 400 soldados, cruzando el río Bidasoa cuatro días más tarde. Una vez en Bayona, Schmitz le entrega al general Hedouville, quien le encierra en el Castillo Viejo, donde permanecería durante mes y medio. Estando en prisión le llegaron noticias relativas a lo que sucedía en Navarra, donde su tío Francisco Espoz Ilundain se había hecho con el mando de los voluntarios, había tomado el apellido de su sobrino y había reorganizado el grupo guerrillero que acabaría convirtiéndose en la "División de Navarra", titulándose él mismo como "General Mina".


title: Francisco Xavier Mina

text: El 19 de mayo Mina sale hacia París, convertido por Napoleón en "preso de Estado", acompañado solamente por el practicante Hariague, que continuará haciéndole curas en el brazo, y el teniente Etchegaray de la Gendarmería francesa. Llegaron el 25 de mayo a la capital, siendo trasladado al Castillo de Vincennes, donde bajo la tutoría del general francés Victor de Lahorie, encerrado por su oposición al Emperador, se dedicó a estudiar matemáticas y técnicas militares. En Vincennes se encontraba encerrado, entre otros ilustres prisioneros, el general José de Palafox. El 8 de febrero de 1814, próxima la derrota de Napoleón, Mina es trasladado a Saumur, donde coincidió con otros generales españoles también prisioneros: Abad, Blake, Camino, Lardizábal, La Roca, Marcó de Pont, O'Donnell y Santa Cruz. Liberados todos tras la caída del Emperador en poder de los aliados, Mina regresó a Navarra.


title: Francisco Xavier Mina

text: El 1 de abril, tras la toma de París por las tropas de Prusia y de Rusia, se había puesto en libertad a todos los "prisioneros de Estado" de Napoleón, pero a quienes se encontraban en la fortaleza de Saumur la orden de libertad no les llegó hasta el 14 de ese mes.


title: Francisco Xavier Mina

text: El 16 de abril de 1814, Mina sale con dirección a Navarra. Al llegar a Bayona conoce el lugar donde se encuentran las tropas de la "División de Navarra", en Lacarre (Francia), ocupadas en el bloqueo de San Juan de Pie de Puerto, con 11000 hombres de infantería, caballería y artillería al mando del Mariscal de Campo Francisco Espoz y Mina. Su llegada a Lacarre coincide con el fin de la guerra, por lo que en compañía de su tío regresa a España a través de Valcarlos y Roncesvalles, llegando a primeros de mayo a Pamplona.


title: Francisco Xavier Mina

text: Entre tanto Fernando VII había regresado a España y el 4 de mayo de 1814 firmó en Valencia un decreto por el que declaraba la nulidad de la Constitución de 1812 y todo cuanto se había actuado a partir de su renuncia al trono y su estancia obligada de seis años, retenido en el palacio francés de Valençay por órdenes de Napoleón. A partir de mayo se desplegó por toda España una represión generalizada de quienes habían colaborado o participado en las actividades de los gobiernos liberales de 1808 a 1814.


title: Francisco Xavier Mina

text: Ante el peligro del desmantelamiento de la "División de Navarra" y con la ingenua finalidad de solicitar del rey la reposición de la Constitución, Francisco Espoz y Xavier Mina se trasladaron en julio a Madrid, donde Espoz pidió además que se concediera a su sobrino el grado de Coronel y el mando del Regimiento Húsares de Navarra, en mérito a su brillante expediente y a los cuatro años que pasó prisionero en Francia.


title: Francisco Xavier Mina

text: Rechazadas sus peticiones por el ministro Eguía, volvieron a Pamplona y, de acuerdo con lo acordado con otros generales liberales en Madrid, se dedicaron a preparar el pronunciamiento de sus tropas con intención de restablecer la Constitución de 1812. Así, el sábado 25 de septiembre se lleva a cabo un intento frustrado de pronunciamiento en Pamplona, aunque fracasaron las operaciones concertadas. Huyen por separado a través del Pirineo y se dirigen a Francia, quedando en reunirse en Dax.


title: Francisco Xavier Mina

text: El 4 de octubre Mina y seguidores, entre ellos el coronel Asura, son hechos prisioneros por los gendarmes franceses después de pasar la noche en Ainhice-Mongelos, siendo enviados a Pau, donde son interrogados y más tarde trasladados a Burdeos. El día 11 llegaron a esta ciudad varios oficiales españoles con intención de llevarse a los retenidos: Xavier Mina, coronel Asura, capitanes Fidalgo, Tolosana y Linzoáin, tenientes Asura, Erdozáin y Hernández y el capellán Michelena. Gracias a los derechos de asilo que ejerce el rey francés, Luis XVIII, se impidió su captura por los esbirros de Fernando VII y se les envió en calidad de prisión atenuada a la ciudadela de Blaye, en la desembocadura del río Garona.


title: Francisco Xavier Mina

text: Algún tiempo después Mina pasa a Bayona y desde allí embarca para Londres, Inglaterra, donde conoce a fray Servando Teresa de Mier, sacerdote mexicano, quién escribía sobre la guerra de Independencia de México, y planea formar una expedición para ayudar a los insurgentes de la Nueva España, invitando a Mina y a otros a dirigirse con él a México.


title: Francisco Xavier Mina

text: Algunos lores británicos liberales posibilitan la reunión de algo más de 20 oficiales españoles, italianos e ingleses, embarcándose el 15 de mayo de 1816 en Liverpool rumbo a los Estados Unidos. El 30 de junio llegan a Norfolk, Virginia, donde tuvo enormes dificultades para sacar adelante su empresa. Mina se reunió con un grupo de agentes hispanoamericanos para organizar la expedición. Manuel Torres, Miguel Santamaria y José Rafael Revenga ayudaron a obtener el financiamiento de un grupo de comerciantes de Baltimore, mientras que Pedro Gual actuó como su agente de prensa. En septiembre, Mina navegó en dos barcos.


title: Francisco Xavier Mina

text: Finalmente pudo armar dos embarcaciones y una fuerza de 250 hombres al mando del corsario francés Louis-Michel Aury. La expedición zarpó el 27 de septiembre de Baltimore hacia Puerto Príncipe. De ahí partió el 23 de octubre, rumbo a la isla de Galveston, a donde arribó el 24 de noviembre de 1816.


title: Francisco Xavier Mina

text: Estuvo en Nueva Orleans y tras algún tiempo se embarcó de nuevo en Galveston, el 16 de marzo de 1817. En la desembocadura del río Bravo del Norte, en donde se detuvo para aprovisionarse de agua, dirigió el 12 de abril una proclama a sus soldados en la que pidió disciplina y respeto a la religión, a las personas y a las propiedades.


title: Francisco Xavier Mina

text: El 15 de abril desembarcó en Soto la Marina, Tamaulipas, en la desembocadura del río Santander, población que toma al estar abandonada. El 25 del mismo mes imprime otra proclama, en una imprenta que llevaba consigo, en la que hizo saber los motivos de su intervención en Nueva España.


title: Francisco Xavier Mina

text: Mina hizo público un manifiesto afirmando que no combatía la soberanía española en sus territorios de Ultramar, sino la tiranía del rey Fernando VII. No obstante, se nombró general de la "División Auxiliar de la República Mexicana", y el 24 de mayo empezó a avanzar hacia el interior del país para unirse a los insurgentes de Pedro Moreno en el Fuerte del Sombrero, al noreste de Guanajuato.


title: Francisco Xavier Mina

text: El 17 de mayo se presenta en Soto la Marina la fragata de guerra española "Sabina", hundiendo uno de los barcos de Mina. Otro barco pudo huir y el tercero quedó embarrancado. Mina sale de su campamento el día 24 con 300 hombres, apoderándose de 700 caballos en la Hacienda del Cojo, y deja la plaza al mando del teniente coronel catalán José Sardá. Posteriormente se interna en la sierra de Tanchipa, pasando el día 5 por Horcasitas (Cd. González), El Abra, y Baltazar (hoy Antiguo Morelos), donde duermen, para inmediatamente internarse en el estado de San Luis Potosí.


title: Francisco Xavier Mina

text: El 6 de junio toma Valle del Maíz; el 15, Peotillos; el 19, Real de Pinos; el 22 se une a una partida insurgente y el 24 entra en el Fuerte del Sombrero, defendido por el insurgente Pedro Moreno. Mientras tanto, en Soto la Marina los soldados que dejó fueron derrotados, siendo aprehendido, entre otros, el cura Mier (Fray Servando).


title: Francisco Xavier Mina

text: El 1 de agosto se presentó frente al Fuerte del Sombrero el mariscal Pascual Liñán con un poderoso ejército, sitiándolo. Los defensores del fuerte trataron de salir de él varias veces en busca de víveres, pero no lo consiguieron. Después logró escapar del cerco y tomar San Luis de la Paz.


title: Francisco Xavier Mina

text: Luchó en diversas plazas hasta que, desalentado por la indisciplina de sus tropas, el 12 de octubre llega a Jaujilla, donde estaba la Junta de Gobierno. La Junta le encomienda atacar Guanajuato, pero sus tropas son dispersadas por el enemigo.


title: Francisco Xavier Mina

text: Se refugió con el coronel Pedro Moreno en el rancho de "El Venadito", donde fueron atacados el 27 de octubre de 1817, muriendo Moreno. Mina fue hecho prisionero y llevado ante el coronel absolutista Orrantia, que al día siguiente entra en Silao con Mina prisionero y la cabeza del coronel Moreno clavada en una lanza. El virrey Apodaca fue premiado con el título de conde de Venadito por esta acción.


title: Francisco Xavier Mina

text: Días después, Mina es llevado al destacamento de Pascual Liñán. El 11 de noviembre de 1817 fue conducido por un piquete a la cresta del Cerro del Bellaco o Cerro del Borrego, frente al fuerte de los Remedios, cerca de Pénjamo, donde fue fusilado por los soldados del Batallón de Zaragoza. Sus restos descansan en la Columna de la Independencia en la Ciudad de México.


title: Francisco Xavier Mina

text: Pese a su brevedad, la campaña de Mina fue una acción de guerra de suma importancia en el período de la Guerra de Independencia de México, conocido como "Etapa de Resistencia de la Independencia de México", cuando se tenía la impresión del gobierno español que las tropas realistas podrían derrotar al ejército insurgente mexicano.


title: Francisco Xavier Mina

text: En 1976 el director de cine donostiarra Antxon Eceiza realizó en México una película basada en la vida de Francisco Xavier Mina, con el título de "Mina, viento de Libertad", protagonizada por el actor José Alonso, en el papel del General Mina. Esta película está basada en la llegada de Mina al territorio mexicano y las campañas que tuvo contra el ejército realista.


title: Elvira Sastre

text: Elvira Sastre nació en 1992 en Segovia. Gracias a la influencia de su padre, se aficionó a la lectura a temprana edad, y a los 12 años escribió su primer poema. Cuando tenía 15 comenzó su blog Relocos y recuerdos, que a fecha de diciembre de 2017 mantiene activo. Poco tiempo después, ganó el concurso de Cuentos Emiliano Barral del instituto de secundaria Andrés Laguna donde estudió en Segovia con el relato corto "Saudade."


title: Elvira Sastre

text: Unos años más tarde se trasladó a Madrid para comenzar su grado universitario en Estudios Ingleses. Durante sus estudios Elvira continuó escribiendo y comenzó a participar en eventos poéticos, junto a cantautores y poetas de renombre. Después de la carrera, curso un máster en la Universidad Complutense de Madrid de Traducción Literaria.


title: Elvira Sastre

text: Su entrada en el mundo de la publicación literaria profesional se produjo de la mano de la editorial Lapsus Calami, con la que publicó "Cuarenta y tres maneras de soltarse el pelo" en 2013, con prólogo de Benjamín Prado. Unos meses después, en mayo de 2014, la editorial Valparaíso Ediciones, con sede en España y en América Latina, le propuso publicar su segundo poemario, "Baluarte".


title: Elvira Sastre

text: Paralelamente a su labor literaria, Elvira se dedica a la traducción profesional. Entre sus traducciones se encuentran "Los hijos de Bob Dylan," del autor norte-americano Gordon E.McNeer, "Poemas de amor", de Oscar Wilde, "Otras maneras de usar la boca", "El sol y sus flores, Todo lo que necesito existe ya en mí y Palabras para sanar" de Rupi Kaur, las novelas "Todo es mentira," de E. Lockhart y "Una conexión ilógica," de John Corey Whaley, la letra de las canciones de los discos de Vetusta Morla, "La Deriva" y "Mismo sitio distinto lugar," el libro ilustrado de Henn Kim, "Noches estrelladas sueños inquietos, y" el primer libro de la cantante Lana del Rey, "Violet hace el puente sobre la hierba."


title: Elvira Sastre

text: La carrera poética de Elvira le ha permitido participar en festivales y eventos literarios de relevancia, tales como la Feria del Libro de Bogotá (FILBO), el Festival Inverso o el Encuentro Internacional de Poesía Ciudad de México 2015. Del mismo modo, la poetisa ha dado conferencias en varias universidades de Estados Unidos como North Georgia University, Emory University y Hofstra University. También ha hecho giras agotando todas las entradas por México y por España.


title: Elvira Sastre

text: En 2015 publicó una selección de sus poemas en el libro "Ya nadie baila", y en diciembre de 2016 dio el salto a la editorial Visor con el poemario "La soledad de un cuerpo acostumbrado a la herida," con prólogo de Joan Margarit. En abril de 2018 salió publicado su sexto libro y segundo ilustrado, "Aquella orilla nuestra," con la editorial Alfaguara, que combina la poesía de Sastre con las ilustraciones de Emba, obra finalista del Premio de la Crítica de Castilla y León en 2019. En 2019 apareció su primera novela, "Días sin ti," obra no exenta de polémica debido a la concesión que se le dio del Premio Biblioteca Breve de la editorial Seix Barral destacando, por parte de los medios especializados, su escasa (incluso nula) calidad literaria.


title: Elvira Sastre

text: Al final todo se trató de una estrategia comercial por parte del sello editorial, auspiciado por el Grupo Planeta, para relanzar el premio y vender más ejemplares, sobre todo entre el público joven; afín a la autora.


title: Elvira Sastre

text: En 2018 recibió el premio La sombra del ciprés concedido por la Asociación Cultural de Novelistas Abulenses que reconoce su «labor en favor de los valores de la creación artística y su trayectoria literaria».


title: Teorías de la conspiración de los alunizajes del Programa Apolo

text: Las teorías de la conspiración de los alunizajes del Programa Apolo sostienen que los alunizajes del programa Apolo entre 1969 y 1972 jamás ocurrieron, sino que fueron falsificados por la NASA, por orden del gobierno de los Estados Unidos, en el marco de la carrera espacial que tuvo lugar entre ese país y la Unión Soviética en las décadas de 1950 y 1960, durante la Guerra Fría.


text: Los proponentes tienen como principales justificaciones las controversias surgidas por algunas fotografías y el contexto de Guerra Fría en el que se produjeron los alunizajes. Científicos, técnicos e interesados en la historia de la exploración espacial han dado explicaciones racionales a las controversias, rechazando estas afirmaciones calificándolas de infundadas y de no poseer rigor científico alguno.


text: A finales de la década de 2000, la sonda espacial Lunar Reconnaissance Orbiter en órbita alrededor de la Luna, tomó fotografías en alta resolución de los lugares de alunizaje de las misiones Apolo, en las que se pueden observar los restos de los módulos lunares y las huellas dejadas por los astronautas en sus paseos lunares. En 2012, nuevas imágenes de mayor detalle mostraban que las banderas plantadas por los astronautas todavía estaban erigidas en su lugar a pesar del tiempo transcurrido.


text: Esta creencia afirma que los alunizajes del Apolo 11 del 20 de julio de 1969 y las siguientes misiones Apolo nunca ocurrieron, sino que fueron filmadas en la Tierra. En su libro "Un hombre sobre la Luna", el experto en el programa Apolo Andrew Chaikin menciona que en el momento de la misión del Apolo 8 en la órbita lunar en diciembre de 1968, esas historias de conspiración ya circulaban como rumores.


text: En 1967, el dramaturgo británico Desmond Lowden escribió un guion llamado "The News-Benders" en el cual todos los principales avances tecnológicos desde 1945 eran simulados. El guion fue presentado en enero de 1968 y mostraba la falsificación de un alunizaje con maquetas.


text: La Sociedad de la Tierra Plana lanzó una de las primeras quejas sobre la veracidad de las misiones Apolo. Afirmaban que varias de las fotografías del Apolo 8 con la Luna en primer plano y la Tierra como fondo eran falsas. La primera razón de su declaración era que no se ajustaba a su creencia de que la Tierra es plana. El primer intento de establecer estas denuncias como hechos concretos fue la publicación por Bill Kaysing del libro "Nunca fuimos a la Luna" (1974).


text: Aunque quizá uno de los más conocidos sea "NASA mooned America" escrito por Ralph Rene y publicado en 1992.


text: La folklorista Linda Dégh sugiere que la idea pudo adquirir popularidad tras el estreno en 1978 de la película de ciencia ficción "Capricorn One", que muestra a la NASA intentando falsificar un aterrizaje en Marte. Hace notar que esto ocurrió pocos años después del escándalo Watergate, en una época en la que los ciudadanos estadounidenses tendían a desconfiar de las versiones oficiales. Dégh afirma: "Los medios catapultan verdades a medias hacia una zona de penumbra en la que la gente puede hacer que sus propias conjeturas pasen por verdades. Los medios de comunicación de masas tienen un impacto terrible en la gente que carece de criterio."


text: De acuerdo con una encuesta de Gallup de 1999, cerca del 6 % de la población de Estados Unidos tiene dudas sobre la veracidad de la llegada a la Luna.


text: «Aunque 6 % literalmente se traduce en millones de personas [...] no es inusual encontrar que en una encuesta típica muchas personas están de acuerdo con cualquier pregunta que se les haga. Así que la mejor interpretación es que esta teoría en particular no está ampliamente extendida».


text: La reacción inicial de la NASA ante las acusaciones fue de indiferencia general. Finalmente encargó en 2002 al ingeniero espacial y escritor James Oberg la publicación de un libro en el que se refutaran las afirmaciones de conspiración. Sin embargo, pocos días después la NASA se retractó, por miedo a la mala publicidad. Oberg anunció que continuaría con el libro de manera independiente, analizando también en él los orígenes socioculturales de las «teorías» sobre conspiraciones.


text: Philip Plait, uno de los más entusiastas refutadores de las creencias sobre conspiraciones acerca del viaje a la Luna, dice que sería apropiado que la NASA diera respuesta a las preguntas hechas, y según él la NASA se niega a responder a las preguntas de los acusadores porque considera de «escasa dignidad» el verse obligada a hacerlo. Por otro lado, James Oberg afirma que la reacción oficial de la NASA en la televisión ha sido bastante torpe y contraproducente cuando Brian Welch, un alto funcionario del departamento de relaciones públicas de la NASA, afirmó que todas las acusaciones eran falsas pero no se molestó en proporcionar demasiada evidencia.


text: Las acusaciones sobre la falsificación de los alunizajes son teorías sobre conspiraciones o afirmaciones de que conspiradores en posesión de conocimiento secreto engañaron al público en pos de fines ocultos.


text: En el caso de los alunizajes, el motivo sería el afán de los Estados Unidos de descender en la Luna antes que su rival en la carrera espacial, la entonces Unión de Repúblicas Socialistas Soviéticas (URSS).


text: Sibrel argumenta que el fraude fue realizado debido a que existía la percepción de que si Estados Unidos ponía un hombre en la Luna antes que la Unión Soviética, esto significaría la primera gran victoria en la Guerra Fría —puesto que los soviéticos ya habían sido los primeros en poner un satélite artificial en órbita (Sputnik, 1957), el primer hombre en el espacio, y el primer paseo espacial—, en una década turbulenta para Estados Unidos durante la cual solo tenía para mostrar una serie de fracasos, entre los que se destacaban el desastre de la Invasión de Bahía de Cochinos, el asesinato de Martin Luther King, la guerra de Vietnam, el asesinato de John F. Kennedy, el surgimiento de la Contracultura de los sesenta, etc.


text: Aquellos que niegan las creencias conspirativas afirman que este mismo argumento haría que fueran los soviéticos los primeros interesados en detectar un fraude y los únicos con los equipos necesarios para hacerlo. Al no haber publicado tales pruebas habría que llegar a la extraña conclusión de que ellos fueron cómplices en contra de sus propios intereses.


text: Los críticos con la creencia en la falsificación de los alunizajes del Apolo dicen que no es falsable y por tanto no es una teoría sino más bien una creencia acerca de una compleja conspiración social.


text: Parte de la evidencia científica del alunizaje humano es el hecho de que las misiones Apolo 11, 14 y 15 dejaron retrorreflectores sobre la superficie lunar, que formaban parte del equipo de experimentos (ALSEP), donde los científicos pueden reflejar rayos láser para medir la distancia de la Tierra a la Luna. Estos reflectores generalmente se ofrecen como evidencia de los alunizajes, pero los denunciantes de la conspiración alegan que los reflectores pudieron ser dejados allí por misiones no tripuladas. La misión rusa Lunojod 1, por ejemplo, dejó un espejo francés sobre la superficie de la Luna. El punto principal es que los restos mecánicos no se pueden usar, estrictamente, como evidencia de alunizaje humano.


text: Sin embargo, no se ha proporcionado evidencia alguna de que esas misiones no tripuladas tuvieran lugar, a pesar de que países como la Unión Soviética, y otros, habrían tenido motivos para denunciarlo si se hubiera dado el caso, y de que los lanzamientos espaciales están controlados por astrónomos aficionados y por los observadores de satélites.


text: Otra posibilidad sería el uso de telescopios poderosos para ver los sitios de alunizaje del Apolo. Se podría así ver la evidencia dejada por los astronautas sobre la superficie de la Luna. Desafortunadamente los telescopios no son tan poderosos como para detallar el módulo lunar y mucho menos las huellas dejadas por las pisadas de los astronautas. Actualmente, las imágenes de mayor resolución de los equipos dejados en la superficie lunar proceden de la sonda de la NASA Lunar Reconnaissance Orbiter, que tras su entrada en órbita lunar en 2009 fotografió los módulos de las misiones Apolo y sus sombras en la superficie lunar.


text: Los astronautas de las misiones Apolo trajeron asimismo unos 382 kg de rocas lunares, que han sido utilizadas por geólogos de decenas de instituciones científicas para avanzar en el conocimiento de la geología de la Luna. Algunas de las características de estas rocas no pueden ser reproducidas a partir de rocas terrestres, como alegan los denunciantes de la conspiración. Las rocas lunares carecen de agua (al contrario que las terrestres), su superficie está literalmente bombardeada por la acción de pequeños micrometeoritos a lo largo de millones de años, y contienen isótopos de algunos elementos en proporciones diferentes a las de la Tierra. Asimismo, las rocas lunares traídas por los vuelos Apolo tienen las mismas características que las muestras recogidas por las sondas lunares automáticas de la URSS.


text: Adicionalmente, decenas de astrónomos, profesionales y aficionados, fotografiaron las naves Apolo en sus viajes hacia la Luna y los radioaficionados pudieron seguir las conversaciones de los astronautas a través de modestos radiotelescopios, apuntándolos hacia la región exacta del cielo donde se encontraba la nave.


text: A continuación se presentan algunos de los argumentos y contraargumentos. Para más detalles, consulte los enlaces externos:


text: 1. ¿Por qué la bandera estadounidense ondea en algunas fotografías y vídeos si no hay viento en la Luna?


text: 2. Los astronautas tomaron miles de fotografías, todas ellas perfectamente expuestas y enfocadas. Los rollos de repuesto no fueron afectados por la intensa radiación cósmica sobre la Luna, condición ésta que debió haberlos dañado. Ellos lograron ajustar sus cámaras, cambiar los rollos y cambiar filtros con sus trajes presurizados.


text: 3. Muchas de las fotos de los paisajes lunares de la NASA no tienen sombras paralelas. Este tipo de sombras solo se pueden crear con varias fuentes de luz o con un foco cercano, pero la única fuente de luz en la Luna es el Sol.


text: 4. La bandera y las palabras «United States» siempre brillan, aun cuando todo es oscuro alrededor. Algunas de las fotografías fijas no encajan con las tomas de vídeo; sin embargo, la NASA afirma que las tomó al mismo tiempo.


text: 5. Se argumenta que la ausencia de estrellas en las fotografías de la Luna es inaceptable, a pesar de la falta de atmósfera para oscurecer la visión. Yuri Gagarin dijo que las estrellas eran tremendamente brillantes. Sin embargo, las fotografías de la NASA no muestran estrellas en el cielo lunar. Se alega que la razón por la cual no aparecen estrellas en las fotos es porque los astrónomos calcularían sus posiciones y configuración y notarían algo incorrecto; por lo tanto, el montaje sin estrellas era más fácil de manejar.


text: 6. La pureza del oxígeno en el módulo lunar habría derretido la cubierta de la cámara Hasselblad, produciendo gases venenosos. ¿Por qué no les pasó nada a los astronautas?


text: 7. Las imágenes de televisión del Apolo 11 eran bastante malas; sin embargo, éstas mejoraron mágicamente en las siguientes misiones.


text: 8. ¿Por qué la mayoría de las fotos de los Apolo tienen líneas claras de definición entre el frente y el fondo?


text: 9. ¿Por qué una de las fotografías muestra una roca marcada con la letra «C» mayúscula sobre otra «C» marcada sobre el suelo lunar?


text: 10. Se afirma que el módulo de alunizaje pesaba 17 toneladas; aun así, no deja en la Luna huellas tan profundas como las de las pisadas de los astronautas. Ni siquiera el poderoso cohete propulsor del módulo de aterrizaje deja rastros debajo de él. Debió haber creado un cráter bajo el cohete; sin embargo, parece no haberse encendido nunca. Los denunciantes de la conspiración creen que los motores tendrían al menos suficiente potencia para levantar el polvo debajo del módulo cuando éste aterrizaba. Si esto es verdad, ¿cómo se produjeron las famosas huellas de las botas de Armstrong si todo el polvo había sido soplado?


text: 11. Las huellas son el resultado del peso desplazando al aire o la humedad entre las partículas de polvo o arena. Los astronautas dejaron huellas por todos lados.


text: 12. Los denunciantes de la conspiración afirman que no se puede producir una llama en el vacío por la falta de oxígeno. Sin embargo, tomas del módulo del Apolo 11 muestran llamas que salen de la tobera.


text: 13. El módulo lunar, por su peso y tamaño, no era capaz de escapar de la gravedad de la Luna, ni contenía el suficiente combustible para hacerlo.


text: 14. ¿Quién se arriesgaría a usar el módulo lunar sobre la Luna cuando jamás se realizaron pruebas de simulación del alunizaje?


text: 15. En lugar de ser capaces de saltar 3 metros (10 pies) en una gravedad de un sexto de la terrestre, el salto más alto de los astronautas fue de 50 cm (19 pulgadas).


text: 16. Aunque el movimiento lento de la fotografía tienen una apariencia convincente de baja gravedad, no pudo disimular el hecho de que los astronautas se desplazaban entre pasos una distancia similar a la de los pasos en la Tierra.


text: 17. Si el róver se estaba moviendo sobre una gravedad de un sexto, entonces debió haber requerido un ancho de 20 pies (6 metros) para evitar que se volcara en cada curva. El rover lunar tenía el mismo tamaño que un coche normal.


text: 18. La tela de los trajes espaciales está apuntada con cremalleras. Debió haber escapes de aire puesto que aun el agujero de un alfiler desinfla un neumático en poco tiempo.


text: 19. Los astronautas que vestían estos trajes presurizados podían doblar los dedos, muñecas y rodillas fácilmente a una presión de 5,2 PSI (libras por pulgada cuadrada), aun así el saco de un boxeador es prácticamente imposible de doblar a una presión de 4 PSI. Los astronautas se verían como globos si sus trajes hubieran sido presurizados a esos niveles.


text: 20. La NASA se tomó el trabajo de llevar róvers a la luna por valor de varios millones de dólares, pero nunca se tomó la molestia de llevar telescopios para fotografiar las estrellas sin la interferencia de atmósfera. Algo que era el sueño de muchos astrónomos. ¿Cómo pudieron pasar por alto eso?


text: 21. El espacio exterior está inundado de radiación mortal que emana del Sol; sin embargo, ningún astronauta contrajo cáncer. Ni siquiera la tripulación del Apolo 16, quienes iban en dirección a la Luna cuando se presentó una protuberancia solar que debió haberlos asado literalmente.


text: 22. Un astrofísico que trabajó para la NASA escribió que se necesita un escudo de dos metros de grosor para protegerse contra las protuberancias solares y que las protuberancias solares más grandes emiten miles de decenas de rems en una hora. Los científicos rusos calcularon en 1959 que los astronautas necesitaban un escudo de 4 pies de grosor (1,2 metros) para protegerlos sobre la superficie lunar. ¿Por qué los astronautas de las misiones Apolo 14 y 16 no murieron después de ser expuestos a esa inmensa radiación? ¿Y por qué solo ahora la NASA empieza a estudiar un método para medir los niveles de radiación en la Luna y los efectos sobre los humanos si ellos ya hicieron eso anteriormente?


text: 23. En la película de Ron Howard "Apollo 13" (1995), los astronautas pierden la energía eléctrica y empiezan a preocuparse de morir congelados. En realidad, por supuesto, ellos estaban sometidos al constante bombardeo de los rayos solares que rápidamente calentaron el vehículo a temperaturas letales, sin atmósfera en la cual disipar el calor.


text: 24. ¿Cómo fue que la antena de fibra de vidrio del Gemini 6A sobrevivió el tremendo calor al entrar de nuevo en la atmósfera?


text: 25. Un vídeo secreto sacado a la luz demuestra que la histórica escena de la llegada del hombre a la Luna el 20 de julio de 1969 habría sido un fraude.


text: En él se observa que uno de los astronautas está bajando del módulo lunar cuando se cae un foco de la escenografía. De inmediato ingresan al decorado una serie de técnicos para arreglar el desperfecto y seguir con la grabación.


text: En 2002, se sugirió que con la entrada en funcionamiento del telescopio europeo Very Large Telescope se podrían observar desde la Tierra objetos del tamaño de los restos dejados en la Luna, según los registros del proyecto Apolo.


text: Sin embargo, esta hipótesis sobreestimaba las capacidades reales del VLT. En modo interferométrico (VLTI), se espera que el telescopio alcance una resolución angular menor de 0,002 segundos de arco a una longitud de onda de 2 µm. Debido a la gran cantidad de espejos involucrados en el sistema VLTI, una importante fracción de la luz se pierde antes de llegar al detector. La técnica de interferometría es muy eficiente solo para observar objetos lo suficientemente pequeños (alejados) como para que toda su luz esté concentrada.


text: No es factible observar un objeto con un brillo superficial relativamente bajo, como la Luna, porque su luz es muy tenue. Solo objetos con temperaturas superiores a 1.000 °C tienen un brillo superficial lo suficientemente elevado como para ser observados en la región del infrarrojo medio, y deben estar a varios miles de grados Celsius para poder observarlos en el infrarrojo cercano con el VLTI. Esto incluye a la mayoría de las estrellas en la vecindad del Sol y muchos objetos extragalácticos, como núcleos brillantes de galaxias activas, pero deja fuera de las observaciones interferométricas a la mayoría de los objetos del Sistema solar.


text: Hasta julio de 2009, las únicas fotografías de los lugares de alunizaje que mostraban los módulos lunares eran las obtenidas desde órbita lunar por los módulos de mando respectivos, que contaban con una cámara de alta resolución, y la sonda Clementine en los años 90. Tras su entrada en órbita lunar en 2009, la sonda de la NASA Lunar Reconnaissance Orbiter fotografió los módulos de las misiones Apolo y sus sombras en la superficie lunar. El 17 de julio de 2009, durante la fase de prueba de la sonda, se publicaron las primeras imágenes directas de los lugares de alunizaje del Apolo 11, Apolo 14, Apolo 15, Apolo 16 y Apolo 17. Dichas fotografías muestran la parte inferior de los módulos de alunizaje en la superficie lunar. Las imágenes también revelan las zonas en las que los astronautas caminaron alrededor de cada módulo y en torno a los experimentos, evidenciadas por un claro cambio en el contraste del color de la superficie. Algo más de un mes después, en septiembre de 2009, se publicaron también las imágenes del lugar de alunizaje del Apolo 12. Tanto el módulo "Intrepid", los experimentos desplegados (ALSEP), y la sonda Surveyor 3 cercana, son visibles, junto a las huellas de los astronautas.


text: En 2012, nuevas imágenes de mayor detalle, ya con la sonda situada en su órbita de observación definitiva, mostraban aún más detalles alrededor de cada zona de alunizaje, mostrando que incluso las banderas plantadas en la superficie por las astronautas todavía estaban erigidas en su lugar.


title: Starship (banda)

text: Starship es una banda estadounidense de rock, establecida en 1983 a raíz de la salida de Paul Kantner de la banda Jefferson Starship (quien fuera fundador de la legendaria banda Jefferson Airplane) y que ocasionó problemas legales con el uso del nombre, lo que generó que el cambio en su estilo musical, la ausencia de personalidades importantes de "Jefferson Starship" y su nuevo nombre, le dieran una nueva identidad. Tuvieron varios éxitos entre los que destacan "Nothing's Gonna Stop Us Now" y "We Built This City".


title: Starship (banda)

text: En junio de 1983, Paul Kantner (el último miembro fundador de Jefferson Airplane), abandona Jefferson Starship e inicia acciones legales contra sus antiguos compañeros por el uso del nombre ""Jefferson Starship"", por lo cual llegan a firmar un acuerdo en el cual ambas partes se comprometían a "no usar" los nombres ""Jefferson"" ni ""Airplane"", salvo que "todos" los miembros de "Jefferson Airplane Inc." (Bill Thompson, Paul Kantner, Grace Slick, Jorma Kaukonen y Jack Casady) estuvieran de acuerdo. La banda cambia su nombre a Starship Jefferson por un breve período de tiempo, mientras las acciones legales se llevaban a cabo, aunque luego reducirían definitivamente su nombre a Starship.


title: Starship (banda)

text: En 1987, el sencillo "Nothing's Gonna Stop Us Now", tema escrito por Albert Hammond, es incluido en la película "Mannequin" y alcanza el número 1 en los rankings, aunque solo Grace Slick y Mickey Thomas (más el solo de guitarra de Craig Chaquico) aparecían en él. Corrección : en el video oficial la banda va apareciendo a medida que transcurre el mismo, el baterista Donny Baldwin tiene un primer plano haciendo coros y así el resto de la banda con Pete Sears en bajo, aparecen además un tecladista de costado y las dos chicas de los coros a primer plano.


title: Starship (banda)

text: En aquel momento, la canción convirtió a Grace Slick en la cantante femenina de mayor edad en lograr llegar al número uno en el Top 100 de la revista "Billboard", a los 47 años de edad (mantuvo este récord hasta el año 1999, en que Cher, con 52 años, logró el número uno con Believe).


title: Starship (banda)

text: Starship tiene una participacion en el juego Grand Theft Auto V con una de sus canciones mas reconocidas "We Built This City" en la estacion "Los Santos Rock Radio".


title: José Luis Morales Nogales

text: José Luis Morales Nogales (Getafe, Comunidad de Madrid, España, 23 de julio de 1987) es un futbolista español. Juega en la posición de delantero en el Villarreal C. F. de la Primera División de España.


title: José Luis Morales Nogales

text: Sus comienzos deportivos fueron en los campos de fútbol de su ciudad. José Luis Morales se crio en Villa Chepa y su talento futbolístico se pudo ver desde bien temprano en el barrio de San Isidro, donde dejaba muestras de su gran talento, en los campos de fútbol sala de Las Heras, en el Polideportivo San Isidro y en Campo de fútbol Magallanes, principalmente.


title: José Luis Morales Nogales

text: Empezó jugando en el A.D.C. Brunete un equipo de Getafe, de donde salió en la temporada 2006-07 para recalar en las filas de la A. D. C. Parla, donde permaneció cuatro temporadas hasta que fichó por el Club Fútbol Fuenlabrada, donde pasó la temporada 2010-11.


title: José Luis Morales Nogales

text: En 2011 fichó por el filial del Levante, después de llamar la atención de uno de los ojeadores del club valenciano.Tras dos temporadas en su disciplina, el 17 de abril de 2013, la entidad anunció su renovación hasta el año 2015 así como su incorporación al primer equipo en la próxima campaña.


title: José Luis Morales Nogales

text: Jugó cedido en la Sociedad Deportiva Eibar, durante la temporada 2013-14, donde fue uno de los hombres claves en el primer ascenso de la historia del equipo eibarrés a la máxima categoría. Tras su temporada con los "armeros", de cara a la temporada 2014-15, regresó al equipo levantino y obtuvo ficha con el primer equipo. Debutó en la máxima competición, el 30 de agosto de 2014, en la derrota por 3-0 ante el Athletic Club. Su primer gol en Primera División fue ante la S. D. Eibar en Ipurúa (3-3), el 4 de octubre.


title: José Luis Morales Nogales

text: En la temporada 2017-18 fue el máximo goleador del equipo con diez tantos en Liga y dos en Copa, algunos tan destacados como el anotado en San Mamés ante el Athletic (1-3) tras una acción individual iniciada en su propio campo.El 7 de mayo de 2018, con su gol al C. D. Leganés, se convirtió en el máximo goleador histórico del club valenciano en Primera División con 19 tantos.


title: José Luis Morales Nogales

text: El 17 de agosto inició la temporada 2018-19 con un doblete en la victoria por 0-3 ante el Real Betis. El primero de ellos fue gracias a una cabalgada de 74 metros, donde regateó a cuatro jugadores verdiblancos.El 20 de octubre abrió el marcador en la victoria por 1 a 2 ante el Real Madrid a domicilio.


title: José Luis Morales Nogales

text: El 24 de junio de 2022, una semana después de haber anunciado su marcha del Levante U. D., se hizo oficial su fichaje por el Villarreal C. F.


title: José Luis Morales Nogales

text: En el momento de su marcha era el segundo jugador con más partidos oficiales jugados y el máximo goleador de la historia del Levante Unión Deportiva.


title: Lógica filosófica

text: Entendida en un sentido estricto, la lógica filosófica es el área de la filosofía que estudia la aplicación de métodos lógicos a problemas filosóficos, a menudo en forma de sistemas lógicos extendidos como la lógica modal. Algunos teóricos conciben la lógica filosófica en un sentido más amplio como el estudio del alcance y la naturaleza de la lógica en general. En este sentido, la lógica filosófica puede considerarse idéntica a la filosofía de la lógica, que incluye temas adicionales como la definición de la lógica o la discusión de los conceptos fundamentales de la lógica. El presente artículo trata la lógica filosófica en el sentido estricto, en el que constituye un campo de investigación dentro de la filosofía de la lógica.


title: Lógica filosófica

text: Un tema importante para la lógica filosófica es la cuestión de cómo clasificar la gran variedad de sistemas lógicos no clásicos, muchos de los cuales son de origen bastante reciente. Una forma de clasificación que se encuentra a menudo en la literatura es distinguir entre lógicas extendidas y lógicas desviadas. La lógica misma puede definirse como el estudio de la inferencia válida. La lógica clásica es la forma dominante de la lógica y articula reglas de inferencia de acuerdo con intuiciones lógicas compartidas por muchos, como el principio del tercero excluido, la eliminación de la doble negación y la bivalencia de la verdad.


title: Lógica filosófica

text: Las lógicas extendidas son sistemas lógicos que se basan en la lógica clásica y sus reglas de inferencia, pero la extienden a nuevos campos introduciendo nuevos símbolos lógicos y las correspondientes reglas de inferencia que rigen estos símbolos. En el caso de la lógica modal alética, estos nuevos símbolos se utilizan para expresar no solo lo que es "verdadero simpliciter", sino también lo que es "posible" o "necesariamente verdadero". A menudo se combina con la semántica de los mundos posibles, que sostiene que una proposición es posiblemente verdadera si es verdadera en algún mundo posible, mientras que es necesariamente verdadera si es verdadera en todos los mundos posibles. La lógica deóntica pertenece a la ética y proporciona un tratamiento formal de las nociones éticas, como la obligación y el permiso. La lógica temporal formaliza las relaciones temporales entre proposiciones. Esto incluye ideas como si algo es verdadero en algún momento o todo el tiempo y si es verdadero en el futuro o en el pasado. La lógica epistémica pertenece a la epistemología. Puede usarse para expresar no solo lo que es el caso, sino también lo que alguien cree o sabe que es el caso. Sus reglas de inferencia articulan lo que se desprende del hecho de que alguien tiene estos tipos de estados mentales. Las lógicas de orden superior no aplican directamente la lógica clásica a ciertos subcampos nuevos dentro de la filosofía, sino que la generalizan al permitir la cuantificación no solo sobre individuos sino también sobre predicados.


title: Lógica filosófica

text: Las lógicas desviadas, en contraste con estas formas de lógicas extendidas, rechazan algunos de los principios fundamentales de la lógica clásica y a menudo son vistas como sus rivales. La lógica intuicionista se basa en la idea de que la verdad depende de la verificación a través de una prueba. Esto la lleva a rechazar ciertas reglas de inferencia encontradas en la lógica clásica que no son compatibles con esta suposición. La lógica libre modifica la lógica clásica para evitar los presupuestos existenciales asociados al uso de términos singulares posiblemente vacíos, como nombres y descripciones definidas. Las lógicas plurivalentes permiten valores de verdad adicionales además de "verdadero" y "falso". Por lo tanto, rechazan el principio de bivalencia de la verdad. Las lógicas paraconsistentes son sistemas lógicos capaces de lidiar con contradicciones. Lo hacen evitando el principio de explosión que se encuentra en la lógica clásica. La lógica relevante es una forma prominente de lógica paraconsistente. Rechaza la interpretación puramente funcional de verdad del condicional material al introducir el requisito adicional de relevancia: para que el condicional sea verdadero, su antecedente tiene que ser relevante para su consecuente.


title: Lógica filosófica

text: El término "lógica filosófica" es utilizado por diferentes teóricos de maneras ligeramente diferentes. Cuando se entiende en un sentido estricto, como se discute en este artículo, la lógica filosófica es el área de la filosofía que estudia la aplicación de métodos lógicos a problemas filosóficos. Esto suele ocurrir en la forma de desarrollar nuevos sistemas lógicos para extender la lógica clásica a nuevas áreas para modificarla con el fin de incluir ciertas intuiciones lógicas no abordadas adecuadamente por la lógica clásica. En este sentido, la lógica filosófica estudia diversas formas de lógicas no clásicas, como la lógica modal y la lógica deóntica. De este modo, varios conceptos filosóficos fundamentales, como posibilidad, necesidad, obligación, permiso y tiempo, se tratan de manera lógica precisa al expresar formalmente los papeles inferenciales que desempeñan en relación entre sí. Algunos teóricos entienden la lógica filosófica en un sentido más amplio como el estudio del alcance y la naturaleza de la lógica en general. Desde este punto de vista, investiga varios problemas filosóficos planteados por la lógica, incluidos los conceptos fundamentales de la lógica. En este sentido más amplio, puede entenderse como idéntica a la filosofía de la lógica, donde se discuten estos temas. En el presente artículo solo se aborda la concepción estrecha de la lógica filosófica. En este sentido, constituye un área de la filosofía de la lógica.


title: Lógica filosófica

text: Un aspecto central de la lógica filosófica es la comprensión de lo que es la lógica y qué papel juegan las lógicas filosóficas en ella. La lógica puede definirse como el estudio de las inferencias válidas. Una inferencia es el paso del razonamiento en el que se pasa de las premisas a una conclusión. A menudo también se usa el término "argumento" en su lugar. Una inferencia es válida si es imposible que las premisas sean verdaderas y la conclusión sea falsa. En este sentido, la verdad de las premisas asegura la verdad de la conclusión. Esto puede expresarse en términos de reglas de inferencia: una inferencia es válida si su estructura, es decir, el modo cómo se forman sus premisas y su conclusión, sigue una regla de inferencia. Los distintos sistemas lógicos proporcionan relatos diferentes sobre cuándo una inferencia es válida. Esto significa que utilizan diferentes reglas de inferencia. El enfoque tradicionalmente dominante de la validez se denomina lógica clásica. Pero la lógica filosófica se ocupa de la lógica no clásica: estudia sistemas alternativos de inferencia. Las motivaciones para hacerlo pueden dividirse a grandes rasgos en dos categorías. Para algunos, la lógica clásica es demasiado estrecha: deja fuera muchos temas filosóficamente interesantes. Esto puede resolverse extendiendo la lógica clásica con símbolos adicionales para dar un tratamiento lógicamente estricto de otras áreas. Otros ven algún defecto en la propia lógica clásica e intentan dar un relato rival de la inferencia. Esto generalmente conduce al desarrollo de lógicas desviadas, cada una de las cuales modifica los principios fundamentales detrás de la lógica clásica para rectificar sus supuestos defectos.


title: Lógica filosófica

text: Los desarrollos modernos en el ámbito de la lógica han resultado en una gran proliferación de sistemas lógicos. Esto contrasta fuertemente con el dominio histórico de la lógica aristotélica, que fue tratada como el único canon de la lógica durante más de dos mil años. Los tratados sobre la lógica moderna a menudo abordan estos diferentes sistemas como una lista de temas separados sin ofrecer una clasificación clara de ellos. Sin embargo, una clasificación frecuentemente mencionada en la literatura académica se debe a Susan Haack y distingue entre lógica clásica, lógicas extendidas y lógicas desviadas. Esta clasificación se basa en la idea de que la lógica clásica, es decir, la lógica proposicional y la lógica de primer orden, formaliza algunas de las intuiciones lógicas más comunes. En este sentido, constituye un relato básico de los axiomas que rigen la inferencia válida. Las lógicas extendidas aceptan este relato básico y lo extienden a áreas adicionales. Esto generalmente sucede agregando nuevo vocabulario, por ejemplo, para expresar necesidad, obligación o tiempo. Estos nuevos símbolos se integran luego en el mecanismo lógico especificando qué nuevas reglas de inferencia se aplican a ellos, como que la posibilidad se deriva de la necesidad. Las lógicas desviadas, por otro lado, rechazan algunos de los supuestos básicos de la lógica clásica. En este sentido, no son meras extensiones de la misma, sino que a menudo se formulan como sistemas rivales que ofrecen un relato diferente de las leyes de la lógica.


title: Lógica filosófica

text: Expresada en un lenguaje más técnico, la distinción entre lógicas extendidas y desviadas a veces se hace de una manera ligeramente diferente. Desde este punto de vista, una lógica es una extensión de la lógica clásica si se cumplen dos condiciones: (1) todas las fórmulas bien formadas de la lógica clásica también son fórmulas bien formadas en ella y (2) todas las inferencias válidas en la lógica clásica también son inferencias válidas en ella. Para una lógica desviada, por otro lado, (a) su clase de fórmulas bien formadas coincide con la de la lógica clásica, mientras que (b) algunas inferencias válidas en la lógica clásica no son inferencias válidas en ella. El término lógica cuasi-desviada se utiliza si (i) introduce un vocabulario nuevo, pero todas las fórmulas bien formadas de la lógica clásica también son fórmulas bien formadas en ella y (ii) incluso cuando se restringe a inferencias usando solo el vocabulario de la lógica clásica, algunas inferencias válidas en la lógica clásica no son inferencias válidas en ella. El término "lógica desviada" se usa a menudo en un sentido que incluye también las lógicas cuasi-desviadas.


title: Lógica filosófica

text: Un problema filosófico que plantea esta pluralidad de lógicas se refiere a la cuestión de si puede haber más de una lógica verdadera. Algunos teóricos favorecen un enfoque local en el que se aplican diferentes tipos de lógica a diferentes áreas. Los primeros intuicionistas, por ejemplo, vieron la lógica intuicionista como la lógica correcta para las matemáticas, pero permitieron la lógica clásica en otros campos. Pero otros, como Michael Dummett, prefieren un enfoque global al sostener que la lógica intuicionista debe reemplazar a la lógica clásica en todas las áreas. El monismo es la tesis de que solo hay una lógica verdadera. Esto puede entenderse de diferentes maneras, por ejemplo, que solo uno de todos los sistemas lógicos propuestos es correcto o que el sistema lógico correcto está aún por encontrar como un sistema subyacente y unificador de todas las diferentes lógicas. Los pluralistas, por otro lado, sostienen que una variedad de diferentes sistemas lógicos pueden ser todos correctos al mismo tiempo.


title: Lógica filosófica

text: Un problema estrechamente relacionado se refiere a la cuestión de si todos estos sistemas formales constituyen realmente sistemas "lógicos". Esto es especialmente relevante para las lógicas desviadas que se alejan mucho de las intuiciones lógicas comunes asociadas a la lógica clásica. En este sentido, se ha argumentado, por ejemplo, que la lógica difusa es una lógica solo de nombre, pero debería considerarse un sistema formal no lógico, ya que la idea de grados de verdad se aleja demasiado de las intuiciones lógicas más fundamentales. Por lo tanto, no todos están de acuerdo en que todos los sistemas formales discutidos en este artículo en realidad constituyen "lógicas", si se entiende en un sentido estricto.


title: Lógica filosófica

text: La lógica clásica es la forma dominante de lógica utilizada en la mayoría de los campos. El término se refiere principalmente a la lógica proposicional y la lógica de primer orden. La lógica clásica no es un tema independiente dentro de la lógica filosófica. Sin embargo, una buena familiaridad con ella es necesaria, ya que muchos de los sistemas lógicos de interés directo para la lógica filosófica pueden entenderse como extensiones de la lógica clásica, que aceptan sus principios fundamentales y se basan en ella, o como modificaciones de ella, que rechazan algunos de sus supuestos centrales. La lógica clásica se creó inicialmente para analizar argumentos matemáticos y se aplicó a varios otros campos solo después. Por esta razón, deja de lado muchos temas de importancia filosófica no relevantes para las matemáticas, como la diferencia entre necesidad y posibilidad, entre obligación y permiso, o entre pasado, presente y futuro. Estos y otros temas similares reciben un tratamiento lógico en las diferentes lógicas filosóficas que extienden la lógica clásica. La lógica clásica por sí misma solo se ocupa de unos pocos conceptos básicos y del papel que estos conceptos desempeñan en hacer inferencias válidas. Los conceptos pertenecientes a la lógica proposicional incluyen conectivos proposicionales, como "y", "o" y "si-entonces". Lo característico del enfoque clásico de estos conectivos es que siguen ciertas leyes, como el principio del tercero excluido, la eliminación de la doble negación, el principio de explosión y la bivalencia de la verdad. Esto diferencia a la lógica clásica de varias lógicas desviadas, que niegan uno o varios de estos principios.


title: Lógica filosófica

text: En la lógica de primer orden, las proposiciones mismas se componen de partes subproposicionales, como predicados, términos singulares y cuantificadores. Los términos singulares se refieren a objetos y los predicados expresan propiedades de los objetos y las relaciones entre ellos. Los cuantificadores constituyen un tratamiento formal de nociones como "para algunos" y "para todos". Pueden utilizarse para expresar si los predicados tienen alguna extensión o si su extensión incluye todo el dominio. La cuantificación solo se permite sobre los términos individuales, pero no sobre los predicados, en contraste con las lógicas de orden superior.


title: Lógica filosófica

text: La lógica modal alética ha sido muy influyente en la lógica y la filosofía. Proporciona un formalismo lógico para expresar lo que es "posible" o "necesariamente" verdadero. Constituye una extensión de la lógica de primer orden, que por sí misma solo es capaz de expresar lo que es "verdadero simpliciter". Esta extensión se produce mediante la introducción de dos nuevos símbolos: para la posibilidad y para la necesidad. Estos símbolos se utilizan para modificar proposiciones. Por ejemplo, si )</math>"}} representa la proposición "Sócrates es sabio", entonces )</math>"}} expresa la proposición "es posible que Sócrates sea sabio". Para integrar estos símbolos en el formalismo lógico, se agregan varios axiomas a los axiomas existentes de la lógica de primer orden. Gobiernan el comportamiento lógico de estos símbolos al determinar cómo la validez de una inferencia depende del hecho de que estos símbolos se encuentren en ella. Suelen incluir la idea de que si una proposición es necesaria, entonces su negación es imposible, es decir, que es equivalente a . Otro de estos principios es que si algo es necesario, entonces también debe ser posible. Esto significa que se deduce de . Hay desacuerdo sobre exactamente qué axiomas gobiernan la lógica modal. Las diferentes formas de lógica modal a menudo se presentan como una jerarquía anidada de sistemas en la que los sistemas más fundamentales, como el "sistema K", incluyen solo los axiomas más fundamentales, mientras que otros sistemas, como el popular "sistema S5", se basan en él al incluir axiomas adicionales. En este sentido, el sistema K es una extensión de la lógica de primer orden, mientras que el sistema S5 es una extensión del sistema K. Discusiones importantes dentro de la lógica filosófica se refieren a la cuestión de qué sistema de lógica modal es el correcto. Por lo general, es ventajoso tener el sistema más fuerte posible para poder sacar muchas inferencias diferentes. Pero esto conlleva el problema de que algunas de estas inferencias adicionales pueden contradecir las intuiciones modales básicas en casos específicos. Esto generalmente motiva la elección de un sistema más básico de axiomas.


title: Lógica filosófica

text: La semántica de mundos posibles es una semántica formal muy influyente en la lógica modal que trae consigo el sistema S5. Una semántica formal de un lenguaje caracteriza las condiciones bajo las cuales las oraciones de este lenguaje son verdaderas o falsas. Las semánticas formales desempeñan un papel central en la concepción teórica de modelos de la validez. Son capaces de proporcionar criterios claros sobre cuándo una inferencia es válida o no: una inferencia es válida si y solo si preserva la verdad, es decir, si siempre que sus premisas son verdaderas, entonces su conclusión también es verdadera. La semántica formal especifica si son verdaderas o falsas. La semántica de mundos posibles especifica las condiciones de verdad de las oraciones expresadas en lógica modal en términos de mundos posibles. Un mundo posible es una manera completa y consistente de cómo podrían haber sido las cosas. Desde este punto de vista, una oración modificada por el operador es verdadera si es verdadera en al menos un mundo posible, mientras que una oración modificada por el operador es verdadera si es verdadera en todos los mundos posibles. Así, la oración )</math>"}} (es posible que Sócrates sea sabio) es verdadera porque hay al menos un mundo en el que Sócrates es sabio. Pero )</math>"}} (es necesario que Sócrates sea sabio) es falso, ya que Sócrates no es sabio en todos los mundos posibles. La semántica de mundos posibles ha sido criticada como semántica formal de la lógica modal, ya que parece ser circular. La razón de esto es que los mundos posibles se definen en términos modales, es decir, como maneras de cómo "podrían haber sido" las cosas. Por eso, ella misma utiliza expresiones modales para determinar la verdad de oraciones que contienen expresiones modales.


title: Lógica filosófica

text: La lógica deóntica extiende la lógica clásica al campo de la ética. De importancia central en la ética son los conceptos de obligación y permiso, es decir, qué acciones el agente tiene que hacer o se le permite hacer. La lógica deóntica suele expresar estas ideas con los operadores formula_1 y formula_2. Así, si representa la proposición "Ramírez sale a correr", entonces significa que Ramírez tiene la obligación de salir a correr y significa que Ramírez tiene permiso para salir a correr.


title: Lógica filosófica

text: La lógica deóntica está estrechamente relacionada con la lógica modal alética en el sentido de que los axiomas que gobiernan el comportamiento lógico de sus operadores son idénticos. Esto significa que la obligación y el permiso se comportan con respecto a la inferencia válida tal como lo hacen la necesidad y la posibilidad. Por esta razón, a veces incluso se usan los mismos símbolos como operadores. Al igual que en la lógica modal alética, hay una discusión en la lógica filosófica sobre cuál es el sistema correcto de axiomas para expresar las intuiciones comunes que gobiernan las inferencias deónticas. Pero los argumentos y contraejemplos aquí son ligeramente diferentes, ya que los significados de estos operadores difieren. Por ejemplo, una intuición común en la ética es que si el agente tiene la obligación de hacer algo, entonces automáticamente también tiene el permiso para hacerlo. Esto puede expresarse formalmente a través del esquema axiomático . Otra cuestión de interés para la lógica filosófica se refiere a la relación entre la lógica modal alética y la lógica deóntica. Un principio discutido a menudo a este respecto es que el deber implica el poder. Esto significa que el agente solo puede tener la obligación de hacer algo si es posible que el agente lo haga. Expresado formalmente: .


title: Lógica filosófica

text: La lógica temporal, o lógica tensional, utiliza mecanismos lógicos para expresar relaciones temporales. En su forma más simple, contiene un operador para expresar que algo ocurrió en un momento y otro para expresar que algo está ocurriendo todo el tiempo. Estos dos operadores se comportan de la misma manera que los operadores de posibilidad y necesidad en la lógica modal alética. Dado que la diferencia entre el pasado y el futuro es de importancia central para los asuntos humanos, estos operadores a menudo se modifican para tener en cuenta esta diferencia. La lógica tensional de Arthur Prior, por ejemplo, realiza esta idea utilizando cuatro de estos operadores: formula_2 (fue el caso que... ), formula_4 (será el caso que... ), formula_5 (siempre ha sido el caso que... ) y formula_6 (siempre será el caso que... ). Así, para expresar que siempre lloverá en Londres se podría usar . Hay varios axiomas para gobernar qué inferencias son válidas dependiendo de los operadores que aparecen en ellas. Según ellos, por ejemplo, se puede deducir (lloverá en Londres en algún momento) de . En formas más complicadas de la lógica temporal, también se definen operadores binarios que vinculan dos proposiciones, por ejemplo, para expresar que algo ocurre hasta que otra cosa ocurre.


title: Lógica filosófica

text: La lógica modal temporal puede traducirse a la lógica clásica de primer orden tratando el tiempo en forma de un término singular y aumentando en uno la aridad de los predicados. Por ejemplo, la oración de lógica temporal (es oscuro, era luminoso y volverá a ser luminoso) puede traducirse a la lógica pura de primer orden como . Aunque se ven a menudo enfoques similares en la física, los lógicos generalmente prefieren un tratamiento autónomo del tiempo en términos de operadores. Esto también está más cerca de los lenguajes naturales, que en su mayoría utilizan la gramática, por ejemplo, mediante la conjugación de verbos, para expresar el pasado o el futuro de los eventos.


title: Lógica filosófica

text: La lógica epistémica es una forma de lógica modal aplicada al campo de la epistemología. Su objetivo es captar la lógica del conocimiento y la creencia. Los operadores modales que expresan conocimiento y creencia suelen expresarse mediante los símbolos (') y ('). Así, si )</math>"}} representa la proposición "Sócrates es sabio", entonces )</math>"}} expresa la proposición "el agente sabe que Sócrates es sabio" y )</math>"}} expresa la proposición "el agente cree que Sócrates es sabio". Los axiomas que gobiernan estos operadores se formulan entonces para expresar varios principios epistémicos. Por ejemplo, el esquema axiomático expresa que siempre que algo es conocido, entonces es verdadero. Esto refleja la idea de que solo se puede saber lo que es verdadero, de lo contrario no es conocimiento sino otro estado mental. Otra intuición epistémica sobre el conocimiento se refiere al hecho de que cuando el agente sabe algo, también sabe que lo sabe. Esto puede expresarse mediante el esquema axiomático . Un principio adicional que vincula el conocimiento y la creencia establece que el conocimiento implica la creencia, es decir, . La lógica epistémica dinámica es una forma distinta de lógica epistémica que se centra en situaciones en las que ocurren cambios en la creencia y el conocimiento.


title: Lógica filosófica

text: Las lógicas de orden superior amplían la lógica de primer orden al incluir nuevas formas de cuantificación. En la lógica de primer orden, la cuantificación se limita a los términos singulares. Se puede usar para hablar sobre si un predicado tiene alguna extensión o si su extensión incluye todo el dominio. De este modo, se pueden expresar proposiciones como (hay algunas manzanas que son dulces). En las lógicas de orden superior, se permite la cuantificación no solo sobre términos individuales sino también sobre predicados. De este modo, es posible expresar, por ejemplo, que ciertos individuos comparten algunos o todos sus predicados, como en (hay algunas cualidades que María y Juan comparten). Debido a estos cambios, las lógicas de orden superior tienen más poder expresivo que la lógica de primer orden. Esto puede ser útil para las matemáticas de varias maneras, ya que diferentes teorías matemáticas tienen una expresión mucho más simple en la lógica de orden superior que en la lógica de primer orden. Por ejemplo, la aritmética de Peano y la teoría de conjuntos de Zermelo-Fraenkel necesitan un número infinito de axiomas para expresarse en la lógica de primer orden. Pero pueden expresarse en la lógica de segundo orden con solo unos pocos axiomas.


title: Lógica filosófica

text: Pero a pesar de esta ventaja, la lógica de primer orden todavía se usa mucho más que la lógica de orden superior. Una razón para esto es que la lógica de orden superior es incompleta. Esto significa que, para las teorías formuladas en la lógica de orden superior, no es posible demostrar todas las oraciones verdaderas pertenecientes a la teoría en cuestión. Otra desventaja está relacionada con los compromisos ontológicos adicionales de las lógicas de orden superior. A menudo se sostiene que el uso del cuantificador existencial trae consigo un compromiso ontológico con las entidades sobre las que se extiende este cuantificador. En la lógica de primer orden, esto concierne solo a los individuos, lo que suele considerarse un compromiso ontológico no problemático. En la lógica de orden superior, la cuantificación afecta también a las propiedades y relaciones. Esto a menudo se interpreta en el sentido de que la lógica de orden superior trae consigo una forma de platonismo, es decir, la opinión de que las propiedades y relaciones universales existen además de los individuos.


title: Lógica filosófica

text: La lógica intuicionista es una versión más restringida de la lógica clásica. Es más restringida en el sentido de que ciertas reglas de inferencia utilizadas en la lógica clásica no constituyen inferencias válidas en ella. Esto se refiere específicamente al principio del tercero excluido y la eliminación de la doble negación. El principio del tercero excluido establece que para cada oración, o ella o su negación es verdadera. Expresado formalmente: formula_7. La ley de la eliminación de la doble negación establece que si una oración no es no verdadera, entonces es verdadera, es decir, . Debido a estas restricciones, muchas pruebas son más complicadas y algunas pruebas aceptadas de otro modo se vuelven imposibles.


title: Lógica filosófica

text: Estas modificaciones de la lógica clásica están motivadas por la idea de que la verdad depende de la verificación a través de una prueba. Esto se ha interpretado en el sentido de que "verdadero" significa "verificable". Originalmente, solo se aplicaba al ámbito de las matemáticas, pero desde entonces también se ha utilizado en otros ámbitos. Según esta interpretación, el principio del tercero excluido implicaría la suposición de que cada problema matemático tiene una solución en forma de prueba. En este sentido, el rechazo intuicionista del principio del tercero excluido está motivado por el rechazo de este supuesto. Esta posición también puede expresarse afirmando que no hay verdades no experimentadas o trascendentes a la verificación. En este sentido, la lógica intuicionista está motivada por una forma de idealismo metafísico. Aplicada a las matemáticas, afirma que los objetos matemáticos existen solo en la medida en que se construyen en la mente.


title: Lógica filosófica

text: La lógica libre rechaza algunos de las presuposiciones existenciales que se encuentran en la lógica clásica. En la lógica clásica, cada término singular tiene que denotar un objeto en el dominio de la cuantificación. Esto suele entenderse como un compromiso ontológico con la existencia de la entidad nombrada. Pero en el discurso cotidiano se usan muchos nombres que no se refieren a entidades existentes, como "Papá Noel" o "Pegaso". Esto amenaza con excluir tales áreas del discurso de un tratamiento lógico estricto. La lógica libre evita estos problemas al permitir fórmulas con términos singulares que no denotan. Esto se aplica a los nombres propios, así como a las descripciones definidas y a las expresiones funcionales. Los cuantificadores, por otro lado, se tratan de la manera habitual como abarcando el dominio. Esto permite que expresiones como )</math>"}} (Papá Noel no existe) sean verdaderas aunque son contradictorias en la lógica clásica. También trae consigo la consecuencia de que ciertas formas válidas de inferencia encontradas en la lógica clásica no son válidas en la lógica libre. Por ejemplo, se puede inferir de )</math>"}} (Papá Noel tiene barba) que (algo tiene barba) en la lógica clásica pero no en la lógica libre. En la lógica libre, a menudo se utiliza un predicado de existencia para indicar si un término singular denota un objeto en el dominio o no. Pero el uso de predicados de existencia es controvertido. A menudo se oponen con base en la idea de que es necesario tener existencia para que se aplique cualquier predicado al objeto. En este sentido, la existencia misma no puede ser un predicado.


title: Lógica filosófica

text: Karel Lambert, quien acuñó el término "lógica libre", ha sugerido que la lógica libre puede entenderse como una generalización de la lógica clásica de predicados al igual que la lógica de predicados es una generalización de la lógica aristotélica. Desde este punto de vista, la lógica clásica de predicados introduce predicados con una extensión vacía, mientras que la lógica libre introduce términos singulares de cosas inexistentes.


title: Lógica filosófica

text: Un problema importante para la lógica libre consiste en cómo determinar el valor de verdad de las expresiones que contienen términos singulares vacíos, es decir, en formular una semántica formal para la lógica libre. La semántica formal de la lógica clásica puede definir la verdad de sus expresiones en términos de su denotación. Pero esta opción no puede aplicarse a todas las expresiones de la lógica libre, ya que no todas tienen una denotación. Tres enfoques generales a este problema se discuten a menudo en la literatura: la "semántica negativa", la "semántica positiva" y la "semántica neutral". La "semántica negativa" sostiene que todas las fórmulas atómicas que contienen términos vacíos son falsas. Desde este punto de vista, la expresión )</math>"}} es falsa. La "semántica positiva" permite que al menos algunas expresiones con términos vacíos sean verdaderas. Esto generalmente incluye declaraciones de identidad, como = \it{\text{papá noel}}</math>"}}. Algunas versiones introducen un segundo dominio externo para los objetos inexistentes, que luego se utiliza para determinar los valores de verdad correspondientes. Las "semánticas neutrales", por otro lado, sostienen que las fórmulas atómicas que contienen términos vacíos no son ni verdaderas ni falsas. Esto a menudo se entiende como una lógica trivalente, es decir, que se introduce un tercer valor de verdad además de verdadero y falso para estos casos.


title: Lógica filosófica

text: Las lógicas plurivalentes son lógicas que permiten más de dos valores de verdad. Rechazan uno de los supuestos centrales de la lógica clásica: el principio de bivalencia de la verdad. Las versiones más simples de las lógicas plurivalentes son las lógicas trivalentes: contienen un tercer valor de verdad. En la lógica trivalente de Stephen Cole Kleene, por ejemplo, este tercer valor de verdad es "indefinido". Según la lógica cuadrivalente de Nuel Belnap, hay cuatro posibles valores de verdad: "verdadero", "falso", "ni verdadero ni falso" y "tanto verdadero como falso". Esto puede interpretarse, por ejemplo, como indicando la información que se tiene sobre si un estado obtiene: información que obtiene, información que no obtiene, ninguna información e información contradictoria. Una de las formas más extremas de la lógica plurivalente es la lógica difusa. Permite que la verdad surja en cualquier grado entre 0 y 1. 0 corresponde a completamente falso, 1 corresponde a completamente verdadero y los valores intermedios corresponden a cierto grado de verdad, por ejemplo, como un poco verdadero o muy verdadero. A menudo se usa para tratar expresiones vagas en el lenguaje natural. Por ejemplo, decir que "Petr es joven" encaja mejor (es decir, es "más verdadero") si "Petr" se refiere a un niño de tres años que si se refiere a una persona de 23 años. Las lógicas plurivalentes con un número finito de valores de verdad pueden definir sus conectivos lógicos mediante tablas de verdad, al igual que la lógica clásica. La diferencia es que estas tablas de verdad son más complejas, ya que se deben considerar más entradas y salidas posibles. En la lógica trivalente de Kleene, por ejemplo, las entradas "verdadero" e "indefinido" para el operador de conjunción dan como resultado la salida "indefinido". Las entradas "falso" e "indefinido", por otro lado, dan como resultado "falso".


title: Lógica filosófica

text: Las lógicas paraconsistentes son sistemas lógicos que pueden lidiar con contradicciones sin llevar a un absurdo total. Lo consiguen evitando el principio de explosión que se encuentra en la lógica clásica. Según el principio de explosión, cualquier cosa se deduce de una contradicción. Esto se debe a dos reglas de inferencia, que son válidas en la lógica clásica: la introducción de la disyunción y el silogismo disyuntivo. Según la introducción de la disyunción, cualquier proposición puede introducirse en forma de disyunción cuando se combina con una proposición verdadera. Entonces, dado que es cierto que "el sol es más grande que la luna", se puede inferir que "el sol es más grande que la luna o España está controlada por conejos espaciales". Según el silogismo disyuntivo, se puede inferir que una de estas proposiciones disyuntivas es verdadera si la otra es falsa. Entonces, si el sistema lógico también contiene la negación de esta proposición, es decir, que "el sol no es más grande que la luna", entonces es posible inferir cualquier proposición de este sistema, como la proposición de que "España está controlada por conejos espaciales". Las lógicas paraconsistentes evitan esto utilizando reglas de inferencia diferentes que hacen que las inferencias de acuerdo con el principio de explosión sean inválidas.


title: Lógica filosófica

text: Una motivación importante para usar lógicas paraconsistentes es el dialeteismo, es decir, la creencia de que las contradicciones no solo se introducen en las teorías debido a errores, sino que la realidad misma es contradictoria y las contradicciones dentro de las teorías son necesarias para reflejar la realidad con precisión. Sin lógicas paraconsistentes, el dialeteismo sería sin esperanza, ya que todo sería tanto verdadero como falso. Las lógicas paraconsistentes permiten mantener las contradicciones locales, sin "explotar" todo el sistema. Pero incluso con este ajuste, el dialeteismo sigue siendo muy controvertido. Otra motivación para la lógica paraconsistente es proporcionar una lógica para las discusiones y las creencias grupales en las que el grupo como un todo puede tener creencias inconsistentes si sus diferentes miembros están en desacuerdo.


title: Lógica filosófica

text: La lógica relevante es un tipo de lógica paraconsistente. Como tal, también evita el principio de explosión, aunque esto no suele ser la motivación principal detrás de la lógica relevante. En cambio, suele formularse con el objetivo de evitar ciertas aplicaciones poco intuitivas del condicional material que se encuentran en la lógica clásica. La lógica clásica define el condicional material en términos puramente funcionales de verdad, es decir, es falso si es verdadero y es falso, pero por lo demás es verdadero en todos los casos. Según esta definición formal, no importa si y son relevantes entre sí de alguna manera. Por ejemplo, el condicional material "si todos los limones son rojos, entonces hay una tormenta de arena dentro de la Ópera de Sídney" es verdadero, aunque las dos proposiciones no son relevantes entre sí.


title: Lógica filosófica

text: El hecho de que este uso de condicionales materiales es muy poco intuitivo también se refleja en la lógica informal, que clasifica tales inferencias como falacias de relevancia. La lógica de la relevancia trata de evitar estos casos al requerir que para un condicional material verdadero, su antecedente tiene que ser relevante para el consecuente. Una dificultad que se enfrenta este tema es que la relevancia suele pertenecer al contenido de las proposiciones, mientras que la lógica solo se ocupa de los aspectos formales. Este problema se aborda parcialmente mediante el principio de compartición de variables (""). Establece que el antecedente y el consecuente tienen que compartir una variable proposicional. Este sería el caso, por ejemplo, en pero no en . Una preocupación estrechamente relacionada con la lógica relevante es que las inferencias deben seguir el mismo requisito de relevancia, es decir, que es un requisito necesario de las inferencias válidas que sus premisas sean relevantes para su conclusión.


title: Anne Dudek

text: Anne Louise Dudek (Boston, Massachusetts, Estados Unidos; 22 de marzo de 1975) es una actriz estadounidense. Estudió en el centro escolar Newton North High School (Massachussetts).


title: Anne Dudek

text: Interpretó el papel de la heredera de una compañía de cruceros, Tiffany Wilson, en la comedia de 2004 "White Chicks". También apareció en la "sitcom" "The Book Group" de la cadena Channel 4; ha aparecido como estrella invitada en "Desperate Housewives" (como la novia de Karl Mayer en la primera temporada), "How I Met Your Mother" (como la exnovia de Ted Mosby entrenada en krav magá), "Friends", "Charmed", "Castle", "Bones" y "Six Feet Under", también interpretó a Lucinda Barry en el episodio piloto de "Psych".


title: Anne Dudek

text: En 2006, interpretó a una profesora que abusa de menores en "". En 2007 y 2008 apareció en la serie "House" como Amber Volakis, entre los diez candidatos considerados por el Doctor House para un puesto permanente. También en 2007 apareció en las series estadounidenses "Mad Men" como Francine Hanson, vecina y amiga de Betty Draper, y "Big Love", como Laura Grant, una de las esposas de Alby Grant.


title: Anne Dudek

text: Una curiosidad es que en el capítulo que aparece en "Friends" haciendo de novia de Mike (novio de Phoebe), éste la deja el día de su cumpleaños, al igual que hace Ted Mosby, dos veces, en "How I Met Your Mother".


title: Alycia Debnam-Carey

text: Alycia Jasmin Debnam-Carey (Sídney, Australia, 20 de julio de 1993) es una actriz, directora y modelo australiana. Es conocida por interpretar a la comandante Lexa en "The 100", a Kaitlyn Johnston en "Into the Storm", y a Alicia Clark en "Fear the Walking Dead".


title: Alycia Debnam-Carey

text: Debnam-Carey se graduó de Newtown High School of the Performing Arts en 2011, donde fue percusionista. En 2010, en colaboración con la Filarmónica de Berlín, ella y otros cuarenta músicos trabajaron para componer una pieza en un programa de dos semanas. También estudió percusión clásica durante diez años.


title: Alycia Debnam-Carey

text: Debutó en un episodio de "McLeod's Daughters". Otros créditos en televisión incluyen: "Dream Life", "Dance Academy", "Next Stop Hollywood", que sigue a seis actores australianos que se mudan a Hollywood para audicionar en pilotos de series de televisión; y "Galyntine", un piloto fallido de la AMC.


title: Alycia Debnam-Carey

text: Debutó en la pantalla grande con la película "Into the Storm", al lado de Richard Armitage y Sarah Wayne Callies. También ha aparecido en los cortometrajes "Jigsaw Girl", "At the Tattooist" y "The Branch", así como en las películas "The Devil's Hand" y "Unfriend".


title: Alycia Debnam-Carey

text: En 2014, Debnam-Carey fue elegida para interpretar a Lexa en "The 100" y a finales de ese año, fue anunciado que obtuvo el rol de Alicia Clark, uno de los personajes principales en "Fear the Walking Dead", serie acompañante de "The Walking Dead".


title: Sistema planetario

text: Un sistema planetario (también llamado en ocasiones sistema solar) está formado por una estrella central o varias (sistema estelar), y distintos objetos orbitando a su alrededor. Nuestro sistema planetario es el sistema solar y está formado por el Sol, los diferentes planetas y una multitud de cuerpos menores. Se conocen más de 2900 estrellas a cuyo alrededor orbita por lo menos un planeta.


title: Sistema planetario

text: Se cree que los sistemas planetarios alrededor de estrellas de tipo solar se forman como parte del mismo proceso de la formación estelar. La mayoría de las teorías antiguas eran de tipo catastrófica e involucraban el paso de una estrella muy cerca del sol capaz de extraer material de este por medio de su gravedad y colapsar más tarde formando los planetas. Sin embargo la probabilidad de un evento de este tipo es tan reducida que implicaría una gran escasez de sistemas planetarios en la galaxia. Las teorías modernas indican que los planetas se formaron a partir de un disco de acrecimiento. En el caso del sistema solar este se habría formado a partir de la nebulosa solar.


title: Sistema planetario

text: Algunos sistemas planetarios son muy distintos del nuestro, como los sistemas de planetas alrededor de púlsares detectados a partir de las ligeras variaciones en los pulsos de radiación electromagnética de estos cuerpos. Los púlsares se forman en violentas explosiones de supernovas por lo que un sistema planetario convencional no podría sobrevivir a dicha explosión, los planetas se evaporarían o escaparían de la atracción gravitacional de la estrella central. Algunas teorías indican que los compañeros estelares existentes cerca de la supernova evaporarían la mayor parte de su masa dejando cuerpos de tamaño planetario. Alternativamente los planetas podrían formarse en un disco de acrecimiento rodeando los púlsares y formado por el material expulsado de la estrella.


title: Sistema planetario

text: Un sistema extrasolar de planetas es todo sistema planetario, conocido o por conocer, exceptuando al sistema solar. La misma palabra deja claro su significado. No hay ninguna característica física o astrométrica particular que englobe a estos sistemas planetarios diferenciándolos del sistema solar, más allá que el mero antropocentrismo práctico a la hora de clasificar objetos descubiertos y catalogados por la civilización humana.


title: Sistema planetario

text: Hay más de 2900 estrellas o sistemas estelares conocidos por el ser humano que contienen un sistema planetario con, al menos, un planeta en órbita (centenares de ellos se sabe que son sistemas múltiples). De todos ellos hay un grupo de sistemas que tienen más de un planeta en órbita, los denominados sistemas planetarios múltiples; nos encontramos con más de 600 sistemas que presentan esta característica. En el ranking de las estrellas con más planetas conocidos nos encontramos:


title: Historia de Bélgica

text: La historia de Bélgica se divide tradicionalmente en dos grandes episodios. El primero de ellos es aquel que comprende la historia del conjunto de territorios que formaron en el año 1830 el Estado de Bélgica propiamente dicho (pues nunca fue independiente de un modo estable antes de este año). El segundo retoma la sucesión de acontecimientos a partir de esta fecha clave, que supone el nacimiento de Bélgica en tanto que nación independiente política y territorialmente.


title: Historia de Bélgica

text: La historia de Bélgica está ligada a la historia de los otros Estados del Benelux. Poco a poco, los diversos Estados situados entre las futuras Francia y Alemania habrían de fusionarse en un solo Estado por los Duques de Borgoña. Esta unificación comenzó en 1384 y no finalizó sino hasta en 1443. Los territorios fueron llamados Países Bajos (llamados "Bélgica" durante la dominación romana).


title: Historia de Bélgica

text: En el y como consecuencia de la Reforma Protestante, las provincias del norte proclamaron su independencia. Desde entonces hay que distinguir entre:


title: Historia de Bélgica

text: En el hoy territorio belga fueron descubiertos fósiles neandertales en 1829-1830 en Engis, y en otros lugares, algunos que datan de al menos BCE.


title: Historia de Bélgica

text: La temprana tecnología de cultivo neolítica más antigua de Europa del Norte, la llamada cultura LBK, alcanzó el este de Bélgica en su punto más alejado hacia el noroeste desde sus orígenes en el sureste de Europa. Su expansión se detuvo en la región de Hesbaye, en el este de Bélgica, alrededor de 5000 a. C.. La LBK belga es notable por el uso de muros defensivos alrededor de las aldeas, algo que puede o no puede haber sido necesario debido a la proximidad de cazadores-recolectores.