| Grupo de trabajo de lógica |
Discusión de Filosofía Discusión de Matemáticas
Evaluación - Evaluación de la filosofía
- Índice lógico
- Registro lógico
- Estadísticas lógicas
- Wikipedia de Matemáticas 1.0
- Índice de lógica matemática
Recursos del grupo de trabajo de lógica - Artículo de lógica
- Categoría lógica
- Plantilla lógica
- Nuevos articulos
- Estándares para notación lógica
- Stubs lógicos
- Stubs de lógica matemática
- Páginas que necesitan atención
- Artículos solicitados: Lógica
- Artículos solicitados: Lógica matemática
- Orden de eliminación
- Listados de limpieza lógica
- Alertas de artículos lógicos
- Paginas mas populares
Listas lógicas
Recursos de filosofía - Solicitudes de comentarios (filosofía)
- Solicitudes de revisión por pares (filosofía)
- Recursos de referencia de filosofía
- Escritorio de referencia (filosofía)
Recursos matemáticos - Solicitudes de comentarios (matemáticas)
- Convenciones de matemáticas
- Convenciones de nomenclatura para teoremas
- Manual de estilo (matemáticas)
- Escritorio de referencia (matemáticas)
Cambios recientes
Subproyectos - Conectivos lógicos
- Grupo de trabajo de álgebra booleana
Proyectos relacionados - Grupo de trabajo de filósofos
- Grupo de trabajo de literatura filosófica
- Grupo de trabajo de ética
- Grupo de trabajo de epistemología
- Grupo de Trabajo de Filosofía de la Ciencia
- Grupo de Trabajo de Filosofía del Lenguaje
- Grupo de trabajo de lingüística teórica
- WikiProject Pseudociencia
- Teoría del juego WikiProject
- Lenguajes construidos de WikiProject
- Sistemas de WikiProject
- Escepticismo de WikiProject
Bienvenido al Logic Task Force , un grupo de trabajo conjunto de WikiProject Philosophy y WikiProject Mathematics , y cubre, además de artículos sobre lógica matemática y lógica filosófica , también artículos sobre lógica en informática , lógica en lingüística, como la semántica formal del lenguaje natural. y lógica en la metodología de la ciencia, como la ontología formal .
El grupo de trabajo es un conjunto de páginas en el espacio de nombres del artículo "Wikipedia" que se dedican a la gestión de un tema específico o familia de temas dentro de Wikipedia; y, simultáneamente, un grupo de editores que utilizan esas páginas para colaborar en trabajos enciclopédicos. No es un lugar para escribir artículos de enciclopedia directamente, sino un recurso para ayudar a coordinar y organizar la redacción y edición de esos artículos. Este grupo de trabajo es un esfuerzo para coordinar el trabajo de los wikipedistas que conocen la lógica y desean mejorar la cobertura del tema en Wikipedia. Empezando Hay algunas cosas que puede hacer ahora mismo para comenzar a ayudar al grupo de trabajo y los proyectos. - Agréguese a la lista de participantes .
- Haga una lista de seguimiento y monitoree el registro lógico .
- Observe y supervise la Discusión de filosofía general ( ver ) y la Discusión de matemáticas generales ( ver ).
- Agregue {{ User WP Logic }} a su página de usuario. Lo agregará automáticamente a los miembros del grupo de trabajo Categoría: Lógica . También puede optar por colocar el Banner de navegación lógica en su página de usuario agregando {{Wikipedia: WikiProject Logic / Nav}} o la Lista de tareas lógica agregando {{ LogicTasksBox }} .
Alcance El alcance de Logic Task Force incluye artículos sobre razonamiento, conceptos de lógica, pensamiento crítico, historia de la lógica, artículos biográficos sobre lógicos, lógica matemática, fundamentos de las matemáticas y teoría de conjuntos. El grupo de trabajo es un descendiente de WikiProject Philosophy , ya que la lógica es una rama importante de la filosofía . El grupo de trabajo también sirve como el grupo más enfocado en el campo de Fundamentos de Matemáticas de WikiProject . El grupo de trabajo mantiene dos listas de trabajo: - Lista de trabajo de lógica matemática
- Lista de trabajo de lógica filosófica
Categorías▼ Lógica ► Listas relacionadas con la lógica ► Supuesto (razonamiento) ► Libros de Wikipedia sobre lógica |
Metas- Encontrar e identificar todas las formas sustantivas de lógica y expandir la presencia en Wikipedia de esas formas.
- Mejorar la calidad, el alcance y la coherencia de los artículos de Wikipedia sobre lógica.
- Evaluar estos artículos de manera consistente con las pautas de evaluación del Grupo de Trabajo .
- Construir una comunidad de colaboradores.
- Servir de nexo y área de discusión para colaboradores de todos los campos con conocimiento en lógica.
- Identificar aquellas áreas de la lógica que carecen de cobertura suficiente en Wikipedia.
- Crear un mapa general de los artículos y temas de lógica en Wikipedia y presentar los artículos de una manera que muestre sus conexiones.
- Ayudar a llegar a un acuerdo sobre la nomenclatura de varios sistemas lógicos, sobre las notaciones utilizadas en la lógica formal, y establecer algunas definiciones convencionales que hayan acordado lugares donde se pueden encontrar sus definiciones
- Establecer una guía por categorías
- Tener una lista de tareas pendientes en todo el proyecto de las mejoras más buscadas en las páginas lógicas.
Estadísticas de evaluación Las estadísticas de evaluación del grupo de trabajo se dividen en dos grupos, matemáticos y no matemáticos. Artículos de lógica por calidad e importancia |
---|
Calidad | Importancia |
---|
Cima | Elevado | Medio | Bajo | N / A | ??? | Total |
---|
FA | | 2 | 3 | | | | 5 | Georgia | 2 | 6 | 6 | 1 | | | 15 | B | 7 | 22 | 28 | 13 | | 2 | 72 | C | 3 | 54 | 93 | 96 | | 18 | 264 | Comienzo | 2 | 69 | 275 | 309 | 4 | 180 | 839 | Talón | | 27 | 147 | 389 | 8 | 164 | 735 | Lista | | 1 | 11 | 1 | | 3 | dieciséis | Categoría | | | 1 | | 372 | | 373 | Disambig | | | 1 | | 15 | | dieciséis | Archivo | | | | | 4 | | 4 | Proyecto | | | | | 4 | | 4 | Redirigir | | 1 | 2 | 1 | 40 | | 44 | Plantilla | | 1 | | | 23 | | 24 | Otro | | | | 1 | | | 1 | Juzgado | 14 | 183 | 567 | 811 | 470 | 367 | 2,412 | Sin evaluar | | | | 2 | | 5 | 7 | Total | 14 | 183 | 567 | 813 | 470 | 372 | 2,419 | Factores de WikiWork ( ? ) | ω = 9,910 | Ω = 5,13 |
|
|