Juan Carlos León - Página personal de docencia

[[Datos personales]]

!Doctorado en Filosofía\n*''[[Descripción de los estudios de Doctorado|http://www.um.es/web/filosofia/contenido/estudios/doctorados/filosofia]]''\n\n!Línea de investigación\n*''Lógica filosófica''\n**Área de Lógica y Filosofía de la Ciencia

![[Lógica I|http://www.um.es/docencia/jcleon/logica1/]]\n![[Lógica II|http://www.um.es/docencia/jcleon/logica2/]]

!Máster Interuniversitario de Investigación en Filosofía\n*''[[Descripción de los estudios de Máster|http://www.um.es/web/filosofia/contenido/estudios/masteres/investigacion]]''\n\n!Asignaturas en este curso académico\n*''[[Cuestiones contemporáneas de lógica|http://www.um.es/docencia/jcleon/master/master_guia_docente.pdf]]''\n\n!Líneas de investigación para Trabajos Fin de Máster\n* Lógica. Argumentación. Historia y filosofía de la lógica\n* Lógicas multimodales

[[Datos personales]]\n[[Docencia en Grado]]\n[[Docencia en Máster]]

<<search>><<closeAll>><<permaview>><<newTiddler>><<newJournal 'DD MMM YYYY'>><<saveChanges>>

Página personal de docencia

Juan Carlos León

//{{{\n\nconfig.options.txtUserName = "TuNombre";\n\nconfig.macros.allTags.noTags = "No hay artículos con etiquetas";\nconfig.macros.allTags.tooltip = "Abrir artículos con la etiqueta ";\nconfig.macros.closeAll.label = "cerrar todos";\nconfig.macros.closeAll.prompt = "Cerrar todos los artículos que están abiertos (pero no los que están siendo redactados)";\nconfig.macros.list.all.prompt = "Todos los artículos en orden alfabético";\nconfig.macros.list.missing.prompt = "Artículos que tienen enlaces a ellos pero no existen";\nconfig.macros.list.orphans.prompt = "Artículos que no tienen enlaces de ningún otro artículo";\nconfig.macros.list.shadowed.prompt = "Artículos ocultos con contenido por defecto";\nconfig.macros.newJournal.label = "nuevo diario";\nconfig.macros.newJournal.months = ["Enero", "Febrero", "Marzo", "Abril", "Mayo", "Junio", "Julio", "Agosto", "Septiembre", "Octubre", "Noviembre","Diciembre"];\nconfig.macros.newJournal.prompt = "Crear un nuevo artículo con la fecha y hora actual";\nconfig.macros.newTiddler.label = "nuevo artículo";\nconfig.macros.newTiddler.prompt = "Crear un nuevo artículo";\nconfig.macros.newTiddler.title = "Nuevo Artículo";\nconfig.macros.permaview.label = "enlace permanente";\nconfig.macros.permaview.prompt = "Enlace a una URL que muestra todos los artículos que están abiertos";\nconfig.macros.saveChanges.label = "guardar cambios";\nconfig.macros.saveChanges.prompt = "Guardar todos los cambios a un archivo";\nconfig.macros.search.label = "buscar";\nconfig.macros.search.prompt = "buscar en este TiddlyWiki";\nconfig.macros.search.successMsg = " artículos encontrados que tienen: ";\nconfig.macros.search.failureMsg = "Ningún artículo encontrado que tuviera: ";\nconfig.macros.timeline.dateFormat = "DD MMM YYYY";\nconfig.macros.tagging.label = "etiquetado: ";\nconfig.macros.tagging.labelNotTag = "no etiquetado";\nconfig.macros.tagging.tooltip = "Lista de artículos etiquetados con '%0'";\nconfig.macros.plugins.skippedText = "(Esta extensión no ha sido ejecutado porque fue añadido al inicio)";\nconfig.macros.plugins.noPluginText = "No hay extensiones instaladas";\nconfig.macros.plugins.confirmDeleteText = "Estás seguro de querer borrar estos artículos:\sn\sn%0";\nconfig.macros.refreshDisplay.label = "actualizar";\nconfig.macros.refreshDisplay.prompt = "Actualizar la vista de TiddlyWiki";\nconfig.macros.importTiddlers.readOnlyWarning = "No puede importar artículos en un TiddlyWiki de solo lectura. Intenta abrir el TiddlyWiki desde el disco duro como file:// URL";\nconfig.macros.importTiddlers.defaultPath = "http://www.tiddlywiki.com/index.html";\nconfig.macros.importTiddlers.fetchLabel = "importar";\nconfig.macros.importTiddlers.fetchPrompt = "Archivo a importar";\nconfig.macros.importTiddlers.fetchError = "Hay problemas al importar el archivo";\nconfig.macros.importTiddlers.confirmOverwriteText = "¿Estás seguro de querer sobrescribir estos artículos:\sn\sn%0";\nconfig.macros.importTiddlers.wizardTitle = "Importar artículos desde otro archivo TiddlyWiki";\nconfig.macros.importTiddlers.step1 = "Paso 1: Localizar el archivo TiddlyWiki";\nconfig.macros.importTiddlers.step1prompt = "Introducir la URL o la ruta : ";\nconfig.macros.importTiddlers.step1promptFile = "...abrir un archivo: ";\nconfig.macros.importTiddlers.step1promptFeeds = "...o seleccionar un rss pre-definido: ";\nconfig.macros.importTiddlers.step1feedPrompt = "Elegir...";\nconfig.macros.importTiddlers.step2 = "Paso 2: Cargando el archivo TiddlyWiki";\nconfig.macros.importTiddlers.step2Text = "Por favor espere mientras se carga el archivo desde: %0";\nconfig.macros.importTiddlers.step3 = "Paso 3: Elegir los artículos a importar";\nconfig.macros.importTiddlers.step4 = "%0 artículo(s) importados";\nconfig.macros.importTiddlers.step5 = "Hecho";\n\nconfig.messages.backupFailed = "Falló al guardar el archivo de respaldo";\nconfig.messages.backupSaved = "Archivo de respaldo guardado";\nconfig.messages.cantSaveError = "No es posible guardar cambios con este navegador. Usa FireFox si puedes";\nconfig.messages.customConfigError = "Se han producido problemas al cargar las extensiones. Ver pluginManager para más detalles";\nconfig.messages.pluginError = "Error: %0";\nconfig.messages.pluginDisabled = "No ejecutado, deshabilitado via 'sytemConfigDisable'";\nconfig.messages.pluginForced = "Ejecutado, forzado via 'systemConfigForce' ";\nconfig.messages.pluginVersionError = "No ejecutado porque este plugin necesita una nueva versión de TiddlyWiki";\nconfig.messages.nothingSelected = "No hay nada seleccionado. Debe seleccionar primero una o más opciones";\nconfig.messages.emptyFailed = "Falló al guardar una plantilla vacía";\nconfig.messages.emptySaved = "Plantilla vacía guardada";\nconfig.messages.tiddlerLinkTooltip = "%0 - %1, %2";\nconfig.messages.externalLinkTooltip = "Enlace externo a %0 ";\nconfig.messages.invalidFileError = "El archivo original no parece ser un TiddlyWiki: ";\nconfig.messages.macroError = "Error ejecutando macro ";\nconfig.messages.mainFailed = "Falló al guardar el archivo principal de TiddlyWiki. Tus cambios no han sido guardados";\nconfig.messages.mainSaved = "Archivo principal de TiddlyWiki se guardó ";\nconfig.messages.noTags = "No hay artículos etiquetados";\nconfig.messages.notFileUrlError = "Necesitas guardar este TiddlyWiki a un archivo antes de que puedas guardar cambios";\nconfig.messages.overwriteWarning = "Un artículo llamado '%0' ya existe. Presiona OK para sobreescribirlo";\nconfig.messages.rssFailed = "Falló al guardar archivo RSS";\nconfig.messages.rssSaved = "Archivo RSS guardado";\nconfig.messages.savedSnapshotError = "Parece que este TiddlyWiki ha sido guardado incorrectamente. Por favor vea el sitio TiddlyWiki para más detalles";\nconfig.messages.subtitleUnknown = "(desconocido )";\nconfig.messages.undefinedTiddlerToolTip = "'%0' aún no existe";\nconfig.messages.unsavedChangesWarning = "¡ADVERTENCIA! Hay cambios que aún no han sido guardados\sn\snPresiona OK para guardarlos\snPresiona CANCEL para perder los cambios";\nconfig.messages.dates.months = ["Enero", "Febrero", "Marzo", "Abril", "Mayo", "Junio", "Julio", "Agosto", "Septiembre", "Octubre", "Noviembre","Diciembre"];\nconfig.messages.dates.days = ["Domingo", "Lunes","Martes", "Miércoles", "Jueves", "Viernes", "Sábado"];\nconfig.messages.dates.shortMonths = ["Ene", "Feb", "Mar", "Abr", "May", "Jun", "Jul", "Ago", "Sep", "Oct", "Nov", "Dic"];\nconfig.messages.dates.shortDays = ["Dom", "Lun", "Mar", "Mie", "Jue", "Vie", "Sab"];\nconfig.messages.shadowedTiddlerToolTip = "El artículo '%0' no existe aún, pero tiene un valor oculto predefinido";\n\nconfig.messages.messageClose.text = "cerrar";\nconfig.messages.messageClose.tooltip = "cerrar el panel de mensajes";\n\nconfig.shadowTiddlers.OptionsPanel = "'Estas opciones para personalizar TiddlyWiki están guardadas en tu navegador'\sn\sn'Tu nombre de usuario para firmar tus textos. Escríbelo como una PalabraWiki (por ej., JuanBloggs)'\sn<<option txtUserName>>\sn<<option chkSaveBackups>> GuardaRespaldos\sn<<option chkAutoSave>> AutoGuardar\sn<<option chkGenerateAnRssFeed>> GenerarUnArchivoRSS\sn<<option chkRegExpSearch>> BuscaRegExp\sn<<option chkCaseSensitiveSearch>> BuscaSensitivoMayúscula\sn<<option chkAnimate>> ActivarAnimaciones\sn\sn Vea las OpcionesAvanzadas\snPluginManager\snImportTiddlers";\nconfig.shadowTiddlers.SideBarOptions = "<<search>><<closeAll>><<permaview>><<newTiddler>><<newJournal 'DD MMM YYYY'>><<saveChanges>><<slider chkSliderOptionsPanel OptionsPanel 'opciones »' 'Cambiar opciones avanzadas de TiddlyWiki'>>";\nconfig.shadowTiddlers.SideBarTabs = "<<tabs txtMainTab Fecha 'Tiddlers cronológicamente' TabTimeline Título 'Tiddlers por título' TabAll 'Etiquetas' 'Tiddlers que estén etiquetados' TabTags 'Más' 'Más opciones' TabMore>>";\nconfig.shadowTiddlers.TabMore = "<<tabs txtMoreTab 'Perdidos' 'Artículos que no tienen contenido' TabMoreMissing 'Huerfanos' 'Artículos no enlazados' TabMoreOrphans 'Ocultos' 'Artículos ocultos con valores por defecto' TabMoreShadowed>>";\nconfig.shadowTiddlers.OpcionesAvanzadas = "<<option chkOpenInNewWindow>> Abre Enlaces En Ventana Nueva\sn<<option chkSaveEmptyTemplate>> Crea Plantilla Nueva (cuando guarda se generará una plantilla nueva) \sn<<option chkToggleLinks>> Hacer clic en enlaces a artículos que ya están abiertos, los cierran.\sn^^(desactívalo con Control u otra tecla modificadora)^^\sn<<option chkHttpReadOnly>> Solo lectura cuando se abre desde web\sn<<option chkForceMinorUpdate>> Trata las ediciones de un artículo existente como cambios menores y preserva la fecha y tiempo\sn^^(desactívalo com la tecla Shift al hacer clik con el boton 'guardar' o por usando las teclas Ctrl-Shift-Enter^^";\n\nconfig.views.editor.defaultText = "Escribe el texto para '%0'.";\nconfig.views.editor.tagChooser.popupNone = "No hay etiquetas definidas";\nconfig.views.editor.tagChooser.tagTooltip = "Agregar la etiqueta ";\nconfig.views.editor.tagChooser.text = "etiquetas";\nconfig.views.editor.tagChooser.tooltip = "Escoje etiquetas existente para añadir a este artículo";\nconfig.views.editor.tagPrompt = "Escribe etiquetas separadas con espacios, [[usa doble paréntesis cuadrado]] si es necesario, o escoje una existente ";\n\nconfig.views.wikified.tag.labelNoTags = "sin etiquetas";\nconfig.views.wikified.tag.labelTags = "etiquetas: ";\nconfig.views.wikified.tag.openTag = "Abrir etiqueta '%0'";\nconfig.views.wikified.tag.tooltip = "Mostar artículos etiquetados con '%0'";\nconfig.views.wikified.tag.openAllText = "Abrir todos";\nconfig.views.wikified.tag.openAllTooltip = "Abrir todos estos artículos";\nconfig.views.wikified.tag.popupNone = "No hay otros artículos etiquetados con '%0'";\n\nconfig.views.wikified.defaultText = "El artículo '%0' no existe aún. Doble clic para crearlo";\nconfig.views.wikified.defaultModifier = "(perdido)";\nconfig.views.wikified.shadowModifier = "(artículo oculto incluido)";\nconfig.views.wikified.createdPrompt = "creado";\n\nconfig.commands.editTiddler.text = "editar";\nconfig.commands.editTiddler.tooltip = "Editar este artículo"\nconfig.commands.editTiddler.readonlyText = "ver";\nconfig.commands.editTiddler.readonlyText = "Ver el fuente de este artículo";\n\nconfig.commands.closeTiddler.text = "cerrar";\nconfig.commands.closeTiddler.tooltip = "Cerrar este artículo";\n\nconfig.commands.closeOthers.text = "cerrar otros";\nconfig.commands.closeOthers.tooltip = "Cerrar todos los otros artículos";\n\nconfig.commands.saveTiddler.text = "guardar";\nconfig.commands.saveTiddler.tooltip = "Guardar este artículo";\n\nconfig.commands.cancelTiddler.text = "cancelar";\nconfig.commands.cancelTiddler.tooltip = "Deshacer cambios de este artículo";\nconfig.commands.cancelTiddler.warning = "¿Estás seguro de cancelar los cambios de '%0' ?";\nconfig.commands.cancelTiddler.readOnlyText = "hecho";\nconfig.commands.cancelTiddler.readOnlyTooltip = "Ver este artículo nomalmente";\n\nconfig.commands.deleteTiddler.text = "borrar";\nconfig.commands.deleteTiddler.tooltip = "Borrar este artículo";\nconfig.commands.deleteTiddler.warning = "¿Estás seguro de querer borrar '%0' ?";\n\nconfig.commands.permalink.text = "enlace permanente";\nconfig.commands.permalink.tooltip = "Enlace a este artículo";\n\nconfig.commands.references.text = "referencias";\nconfig.commands.references.tooltip = "Mostrar artículos que enlacen a éste";\nconfig.commands.references.popupNone = "No hay referencias";\n\nconfig.commands.jump.text = "saltar";\nconfig.commands.jump.tooltip = "Saltar a otro artículo abierto";\n//}}}

/***\n!Layout Rules /%==============================================%/\n***/\n/*{{{*/\n\nbody {\n /* this is required for proper layout on IE, for some reason... */\n _position: static;\n}\n\n.tagClear {\n /* this, too, is a necessary IE hack... */\n _margin-top: 10em; \n _clear: both;\n}\n\n.headerForeground, .headerShadow {\n padding-top: 1em;\n}\n\n.tiddler {\n margin: 0 0 0.9em 0;\n padding-bottom: 1em;\n}\n\n#mainMenu {\n width: 16em;\n font-size: 1em;\n text-align: left;\n padding-top: 0.5em;\n}\n\n#mainMenu * {\n font-size: 1em;\n font-weight: normal;\n padding: 0; margin: 0; border: 0;\n}\n\n#mainMenu ul {\n list-style: none;\n margin-bottom: 10px;\n}\n\n#mainMenu li {\n text-indent: 1em;\n}\n\n#mainMenu a.button, #mainMenu a.tiddlyLink, #mainMenu a.externalLink {\n display: block; margin: 0;\n}\n\n#displayArea {\n margin-left: 19em; margin-top: 0;\n}\n\n.toolbar .button {\n margin-left: 4px;\n}\n\n/*}}}*/\n\n/***\n!Generic Rules /%==============================================%/\n***/\n/*{{{*/\nbody {\n background: #464646;\n color: #000;\n}\n\nh1,h2,h3,h4,h5 {\n color: #000;\n background: #eee;\n}\n\n/*}}}*/\n/***\n!Header /%==================================================%/\n***/\n/*{{{*/\n.header {\n background: #000;\n}\n\n.headerForeground {\n color: #cf6;\n}\n\n.headerForeground a {\n font-weight: normal;\n color: #cf6;\n}\n\n/* ??? what is up when you specify a site title colour in IE ??? */\n/* .siteTitle { color: red; } */\n\n/*}}}*/\n/***\n!General tabs /%=================================================%/\n***/\n/*{{{*/\n\n.tabSelected {\n color: #fff;\n background: #960;\n border: none;\n}\n\n.tabUnselected {\n color: #fff;\n background: #660;\n}\n\n.tabContents {\n color: #004;\n background: #960;\n border: none;\n}\n\n.tabContents .button, .tabContents a {\n border: none;\n color: #fff;\n}\n\n.tabContents a:hover, .tabset a:hover {\n background: #000;\n}\n\n/* make nested tab areas look different */\n.tabContents .tabSelected, .tabContents .tabContents {\n background: #700;\n color: #fff;\n}\n\n.tabContents .tabContents {\n color: #eeb;\n}\n\n/*}}}*/\n/***\n!Main Menu /%=================================================%/\n***/\n/*{{{*/\n#mainMenu {\n background: #700;\n color: #fff;\n border-right: 3px solid #500;\n}\n\n#mainMenu * {\n color: #fff;\n}\n\n#mainMenu a.button, #mainMenu a.tiddlyLink, #mainMenu a.externalLink {\n border: none;\n border-bottom: 1px solid #500;\n border-top: 1px solid #900;\n}\n\n#mainMenu a:hover,\n#mainMenu a.button:hover {\n background-color: #b00;\n color: #fff;\n}\n\n/*}}}*/\n/***\n!Sidebar options /%=================================================%/\n~TiddlyLinks and buttons are treated identically in the sidebar and slider panel\n***/\n/*{{{*/\n#sidebar {\n color: #000;\n background: #eeb;\n border-right: 3px solid #bb8;\n border-bottom: 3px solid #520;\n}\n\n#sidebarOptions .sliderPanel {\n background: #fff;\n}\n\n#sidebarOptions .sliderPanel a {\n border: none;\n color: #700;\n}\n\n#sidebarOptions .sliderPanel a:hover {\n color: #fff;\n background: #700;\n}\n\n#sidebarOptions .sliderPanel a:active {\n color: #700;\n background: #fff;\n}\n\n#sidebarOptions a {\n color: #700;\n border: none;\n}\n\n#sidebarOptions a:hover, #sidebarOptions a:active {\n color: #fff;\n background: #700;\n}\n\n/*}}}*/\n/***\n!Message Area /%=================================================%/\n***/\n/*{{{*/\n#messageArea {\n border-right: 3px solid #da1;\n border-bottom: 3px solid #a80;\n background: #ffe72f;\n color: #014;\n}\n\n/*}}}*/\n/***\n!Popup /%=================================================%/\n***/\n/*{{{*/\n.popup {\n background: #cf6;\n border: none;\n}\n\n.popup hr {\n color: #000;\n}\n\n.popup li.disabled {\n color: #666;\n background: #cf6;\n}\n\n.popup li a, .popup li a:visited {\n color: #000;\n border: 1px outset #cf6;\n background: #cf6;\n}\n\n.popup li a:hover {\n color: #000;\n border: 1px outset #cf6;\n background: #ef9;\n}\n/*}}}*/\n/***\n!Tiddler Display /%=================================================%/\n***/\n/*{{{*/\n.tiddler {\n background: #fff;\n border-right: 3px solid #aaa;\n border-bottom: 3px solid #555;\n}\n\n.title {\n color: #900;\n}\n\n.toolbar {\n color: #000;\n}\n\n.toolbar .button {\n background: #eeb /*#cf6*/;\n border: 1px outset #eeb /*#cf6*/;\n}\n\n.toolbar .button:hover {\n background: #700 /*#ef9*/;\n color: #fff;\n}\n\n#mainMenu .calendar { border: 1px solid white; }\n#mainMenu .calendar, #mainMenu .calendar tr, #mainMenu .calendar td, #mainMenu .calendar a {\n}\n\n/*}}}*/\n\n/***\n!Additional print overrides for fancy style /%==============================================%/\n***/\n/*{{{*/\n\n@media print {\n\n.tiddler {\n /* get rid of our fancy tiddler outline */\n border: none;\n}\n\n}\n/*}}}*/\n