Base de Hechos y Tesis sobre la Regulación
De InfoWiki
| itinerario: Fundamentos de la reivindicación | |
| previo | siguiente |
| Categoría:Itinerario | Existe una discriminación de la Ingeniería en Informática |
La juventud
- Tesis
- Ingeniería en Informática no se regula porque es joven.
- Formulación
- No se pudo entender (error desconocido): \forall x \: \mbox{es-joven}(x) \wedge ingenieria(x) \rightarrow \neg regulada(x)
- Contraejemplo
- Ingeniería de Telecomunicaciones fué regulada 11 años después de la creación de los estudios superiores.
- Valor
- la tesis es falsa
Hechos
- H1
- (es-joven(ingenieria-en-informatica), !regulada(ingenieria-en-informatica), fecha-año(2009))
- H2
- (es-joven(ingenieria-de-telecomunicacion), regulada(ingenieria-de-telecomunicacion), fecha-año(1935))
Notas
El predicado "fecha-año(x)" es cierto si y solo si el hecho sucedió en el año "x".
No está de moda regular
- Tesis
- En nuestra época no está de moda regular las profesiones
- Formulación
- No se pudo entender (error desconocido): \forall x \: \neg regulada(x) \wedge fecha-año-mayor-que(2008) \rightarrow \neg regulada(x)
- Contraejemplo
- La profesión de portero ha sido regulada recientemente
- Valor
- la tesis es falsa (tal como está formulada)
Hechos
- H3
- (profesion(portero-discoteca), !regulada(portero-discoteca), fecha-año-menor-que(2008))
- H4
- (profesion(portero-discoteca), regulada(portero-discoteca), fecha-año-mayor-que(2008)) //falta el dia concreto
Notas
Solamente se regulan aspectos que ponen en peligro la vida humana
- Tesis
- En nuestra época, solamente se regulan aspectos que ponen en peligro la vida humana
- Formulación
- No se pudo entender (error desconocido): \forall x \: \mbox{peligro-vida}(x) \wedge fecha-año-mayor-que(2000) \leftrightarrow regulada(x)
- Contraejemplo
- Las infraestructuras comunes de telecomunicaciones (ICT) no interactuan con la vida humana, que se sepa a ciencia cierta. Sin embargo, su planificación e implantación está regulada.
- Valor
- la tesis es falsa (tal como está formulada)
Hechos
- H5
- (!peligro-vida(ICT), !regulada(ICT), fecha-año-aproximadamente-menor-que(1998))
- H6
- (!peligro-vida(ICT), regulada(ICT), fecha-año-aproximadamente-mayor-que(2005)) //falta ajustar las fechas
Notas
La regulación profesional no garantizaría la calidad del software
- Tesis
- La regulación profesional no garantizaría la calidad del software (porque es un tipo de artefacto maravilloso mas allá de lo humano y lo divino)
- Formulación
- No se pudo entender (error desconocido): \neg(\: regulado(software) \rightarrow \mbox{es-de-calidad}(software))
- Contraejemplo
- A priori no son conocidos
- Valor
- La tesis no es decidible, ya que requeriría hechos previos y posteriores para ser validada. El planteamiento actual de la tesis requeriría para ser validado que existiera un mismo software desarrollado bajo un modelo regulado, y bajo un modelo no regulado, es decir, ajustandose o no a un conjunto de directivas legales o burocráticas, por un grupo de personas de destreza igual o comparable. Sin lugar a dudas tiene muchos cabos sueltos. Este tipo de tesis son estructuralmente iguales a aquellas del orden: "dios existe", "dios no existe", "los ángeles tienen sexo masculino", ...
Para inferir el valor de verdad de esta tesis es necesario, o bien deducirlo de una tesis mas general (por ejemplo sustituyendo software por una variable cuantificada x), o bien heredar el valor de verdad de una serie de tesis relajadas, como la que se propone a continuación.
Hechos
Incognoscibles
Notas
Este tipo de cuestiones de fé se suelen apoyar en el argumento de autoridad, o el de la experiencia. Por lo tanto heredan su fiabilidad de estos, y en último término dependen de la confianza entre el defensor y el receptor de la tesis. No tienen nada que ver con el pensamiento crítico. Para atacar esta tesis se van a construir una serie de tesis capaces de cercarla y establecerla como contradicción.
La regulación profesional no mejoraría la calidad del software
- Tesis
- La regulación profesional no mejoraría la calidad del software (porque es un tipo de artefacto maravilloso mas allá de lo humano y lo divino)
- Formulación
- No se pudo entender (error desconocido): \neg(\: regulado(software) \rightarrow \mbox{mas-calidad}(software))
- Contraejemplo
- Sistemas informáticos de aviónica se desarrollan bajo protocolos regulares de desarrollo y tienen ciclos de revisión de calidad por expertos.
- Valor
- La tesis es abordable sólamente desde el punto de vista estadístico.
Hechos
Por completar, haría falta investigar mas.
Notas
No existen métodos fiables para controlar el desarrollo del software
- Tesis
- Ni existen ni existirán nunca métodos para controlar el desarrollo del software
- Formulación
- No se pudo entender (error desconocido): \neg controlable(software)
- Contraejemplo
- Un jefe de proyecto que tenga acceso al código y otros artefactos (modelos, bases de datos, sistemas de pruebas) producido en cada momento (o a resúmenes estadísticos o métricas) puede tomar acciones correctivas, válidas o no válidas según su capacitación, que conviene que sea la mejor. Las filosofías ágiles potencian este tipo de control realimentado.
- Valor
- La tesis no puede ser establecida como cierta de forma absoluta. La aparición de palabras como fiable dificulta la decisión absoluta sobre el valor de verdad. Si lo remitimos al aspecto práctico, dado que existe software decente creado por equipos siguiendo metodologías, la tesis es falsa.
Hechos
- H8
- (software(), controlado-mediante()) //estoy buscando casos concretos
Notas
A priori cualquier persona con nociones de Teoría del Control, y de control en cadena cerrada vería con escepticismo esta tesis. Un modelo simple con resultados positivos, se basa en proporcionar al agente controlador/regulador datos fiables sobre el proceso de desarrollo. Datos de esa índole ya están disponibles en los repositorios de control de versiones y mediante prácticas como los test unitarios y automatizados, que reducen la tendencia a ocultar información. Este tipo de técnicas se implementan con éxito en inteligencia empresarial, para la toma de decisiones informadas.
