diff --git a/i18n/translations.js b/i18n/translations.js
index be2c508..672e247 100644
--- a/i18n/translations.js
+++ b/i18n/translations.js
@@ -42,7 +42,39 @@ const en = {
   `,
 };
 
+const es = {
+  'home': 'inicio',
+  'definitions': 'definiciones',
+  'submit': 'enviar',
+  'is a deductive reasoning tool': 'es una herramienta de razonamiento deductivo',
+  'example': 'ejemplo',
+  'context': 'contexto',
+  'argument': 'argumento',
+  'language': 'idioma',
+  'dialect': 'dialecto',
+  'observer': 'observador',
+  'therefore': 'por lo tanto',
+  'are': 'son:',
+  'are not': 'no son:',
+  'all': 'todos',
+  'some': 'algunos',
+  'no': 'no',
+  'argument form': 'forma de argumento',
+  'preview': 'vista previa',
+  'new argument': 'nuevo argumento',
+  'share': 'compartir',
+  'categorical proposition': 'proposición categórica',
+
+  'categorical proposition | definition': `
+    CILGINIn logic, a categorical proposition is a proposition
+    that asserts or denies that all or some
+    of the members of one category
+    are included in another.
+  `,
+};
+
 export default {
   tr,
   en,
+  es,
 };
diff --git a/static/locales/es/index.json b/static/locales/es/index.json
new file mode 100644
index 0000000..9dfe310
--- /dev/null
+++ b/static/locales/es/index.json
@@ -0,0 +1,29 @@
+{ 
+ 'home': 'inicio',
+  'definitions': 'definiciones',
+  'submit': 'enviar',
+  'is a deductive reasoning tool': 'es una herramienta de razonamiento deductivo',
+  'example': 'ejemplo',
+  'context': 'contexto',
+  'argument': 'argumento',
+  'language': 'idioma',
+  'dialect': 'dialecto',
+  'observer': 'observador',
+  'therefore': 'por lo tanto',
+  'are': 'son:',
+  'are not': 'no son:',
+  'all': 'todos',
+  'some': 'algunos',
+  'no': 'no',
+  'argument form': 'forma de argumento',
+  'preview': 'vista previa',
+  'new argument': 'nuevo argumento',
+  'share': 'compartir',
+  'categorical proposition': 'proposición categórica',
+
+  'categorical proposition | definition': `
+    En lógica, una proposición categórica es una proposición
+    que afirma o niega que todo o parte
+    de los elementos de una categoría
+    están incluidos en otra.'
+  }