-
Notifications
You must be signed in to change notification settings - Fork 13
/
Copy pathhome.html
372 lines (325 loc) · 30.4 KB
/
home.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
<!DOCTYPE html>
<html>
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<meta http-equiv="X-UA-Compatible" content="ie=edge" />
<meta name="googlebot" content="notranslate" />
<link rel="icon" type="image/png" href="favicon.png" />
<title>Ariel Roffé | Home</title>
<link rel="stylesheet" href="styles.css">
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/bootstrap-icons@1.7.2/font/bootstrap-icons.css">
<link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/jpswalsh/academicons@1/css/academicons.min.css">
</head>
<body>
<nav id="navbar">
<ul id="navbar-ul" style="transform: translateY(-39px)">
<li><a class="nav-link translatable" href="./index.html" data-ES="Juego">Game</a></li>
<li><a class="nav-link section-link" href="#intro">Intro</a></li>
<li><a class="nav-link section-link translatable" href="#research" data-ES="Investigación">Research</a></li>
<li><a class="nav-link section-link translatable" href="#teaching" data-ES="Docencia">Teaching</a></li>
<li><a class="nav-link section-link" href="#software">Software</a></li>
</ul>
</nav>
<aside id="tools">
<ul>
<li class="outside-link"><a target="_blank" id="github" title="GitHub" href="https://github.com/ariroffe"><i class="bi bi-github"></i></a></li>
<li class="outside-link"><a target="_blank" id="researchgate" title="ResearchGate" href="https://www.researchgate.net/profile/Ariel-Roffe"><i class="ai ai-researchgate"></i></a></li>
<li class="outside-link"><a target="_blank" id="scholar" title="Google Scholar" href="https://scholar.google.com/citations?user=jv4RHn0AAAAJ"><i class="ai ai-google-scholar"></i></a></li>
<li class="outside-link"><a target="_blank" id="philpapers" title="PhilPeople" href="https://philpeople.org/profiles/ariel-jonathan-roffe"><i class="ai ai-philpapers"></i></a></li>
<li class="outside-link"><a target="_blank" id="orcid" title="ORCiD" href="https://orcid.org/0000-0002-0051-2028"><i class="ai ai-orcid"></i></a></li>
<li id="dark-mode-li"><a id="dark-mode" title="Switch to light mode" href="#"><i class="bi bi-moon"></i></a></li>
<li id="light-mode-li"><a id="light-mode" title="Switch to dark mode" href="#"><i class="bi bi-sun"></i></a></li>
<li id="lang-select-li"><a id="lang-select" title="Change language" href="#">EN</a></li>
</ul>
</aside>
<header class="hero-wrapper">
<img src="assets/home/Recib2d.png" alt="">
<h1 class="hero">Ariel Jonathan Roffé</h1>
</header>
<section id="intro">
<h2>Intro</h2>
<img src="assets/home/wave.gif" alt="Hi!">
<div>
<p class="translatable"
data-ES="Hola! Soy Ariel Roffé. Soy un investigador en filosofía de Argentina.">
Hi! I'm Ariel Roffé. I'm a philosophy researcher from Argentina.
<p class="translatable"
data-ES="Soy doctor en Filosofía por la Universidad de Buenos aires, becario posdoctoral del CONICET y
docente del Departamento de Filosofía de la Universidad de Buenos Aires.
Mis áreas de investigación son la lógica de la ciencia y la filosofía de la biología (especialmente
de la sistemática). También desarrollo aplicaciones computacionales para la filosofía.">
I received my PhD from the University of Buenos Aires in 2020,
I have a research scholarship from CONICET, and a teaching position at the Department of Philosophy of the University of Buenos Aires.
My research areas are the logic of science and the philosophy of biology (especially of systematics).
I also develop computational applications for philosophers.
</p>
<p>
<span class="translatable" data-ES="Formo parte del">I am a member of the</span>
<a target="_blank" href="http://www.anfibio.com.ar/">Grupo ANFIBIO</a>,
<span class="translatable" data-ES="el">the</span>
<a target="_blank" href="http://cefhic.web.unq.edu.ar/">Centro de Filosofía e Historia de la Ciencia</a>
<span class="translatable" data-ES="y el">and the</span>
<a target="_blank" href="http://www.ba-logic.com/">BA-Logic Group</a>,
<span class="translatable" data-ES="así como de otros grupos de investigación en filosofía de las ciencias y en lógica matemática.">
as well as other research groups in the philosophy of science and in mathematical logic.
</span>
</p>
</div>
</section>
<section id="research">
<h2 class="translatable" data-ES="Investigación">Research</h2>
<img src="assets/home/lab.png" alt="Research">
<h3 class='subtitle translatable' data-ES="Artículos:">Articles:</h3>
<ul id="articles" class="expandable-list">
<li>Roffé, A. J. & Toranzo Calderón, J. S. (2021). Random Formula Generators. Arxiv. <a target="_blank" href="https://arxiv.org/abs/2110.09228">[LINK]</a> <a target="_blank" href="https://arxiv.org/pdf/2110.09228.pdf">[PDF]</a></li>
<li>León, M., Gimenez, I., Roffé, A. J., Bernabé F. N., y Ginnobili, S. (2021). ¿Hay un programa de investigación científica en memética? — El caso de los cantos de aves. Disputatio.<a target="_blank" href="https://studiahumanitatis.eu/ojs/index.php/disputatio/article/view/512">[LINK]</a> <a target="_blank" href="https://studiahumanitatis.eu/ojs/index.php/disputatio/article/view/ginobili-meme/415">[PDF]</a></li>
<li>Roffé, A. J. & Pailos, F. (2021). Translating Metainferences Into Formulae: Satisfaction Operators and Sequent Calculi. Australasian Journal of Logic. <a target="_blank" href="https://ojs.victoria.ac.nz/ajl/article/view/6801">[LINK]</a> <a target="_blank" href="https://ojs.victoria.ac.nz/ajl/article/view/6801/6569">[PDF]</a></li>
<li>Blanco, D., Roffé, A. J. & Ginnobili, S. (2020). The Key Role of Underlying Theories for Scientific Explanations. A Darwinian Case Study. Principia. <a target="_blank" href="https://periodicos.ufsc.br/index.php/principia/article/view/71045">[LINK]</a> <a target="_blank" href="https://periodicos.ufsc.br/index.php/principia/article/view/71045/44969">[PDF]</a></li>
<li>Roffé, A. J. (2020). El estatus fáctico de la cladística: aportes desde una reconstrucción estructuralista. Metatheoria. <a target="_blank" href="https://metatheoria.unq.edu.ar/index.php/m/article/view/264">[LINK]</a> <a target="_blank" href="https://metatheoria.unq.edu.ar/index.php/m/article/view/264/281">[PDF]</a></li>
<li>Roffé, A. J. (2020). Dynamic Homology and Circularity in Cladistic Analysis. Biology & Philosophy. <a target="_blank" href="https://link.springer.com/article/10.1007%2Fs10539-020-9737-4">[LINK]</a> <a target="_blank" href="http://philsci-archive.pitt.edu/16822/">[preprint]</a></li>
<li>Roffé, A. J. & Ginnobili, S. (2020). Optimality Models and the Propensity Interpretation of Fitness. Acta Biotheoretica. <a target="_blank" href="https://link.springer.com/article/10.1007%2Fs10441-019-09369-5">[LINK]</a> <a target="_blank" href="http://philsci-archive.pitt.edu/16568/">[preprint]</a></li>
<li>Roffé, A. J. & Ginnobili, S. (2019). El estatus metateórico de ZFEL. Revista de Humanidades de Valparaíso. <a target="_blank" href="https://revistas.uv.cl/index.php/RHV/article/view/1753">[LINK]</a> <a target="_blank" href="https://revistas.uv.cl/index.php/RHV/article/view/1753/2021">[PDF]</a></li>
<li>Roffé, A. J. (2019). Drift as Constitutive: Conclusions From a Formal Reconstruction of Population Genetics. History and Philosophy of the Life Sciences. <a target="_blank" href="https://link.springer.com/article/10.1007/s40656-019-0294-6">[LINK]</a></li>
<li>Roffé, A. J. (2019). Reconstructor: A computer program that uses three-valued logics to represent lack of information in empirical scientific contexts. Journal of Applied Non-Classical Logics. <a target="_blank" href="https://www.tandfonline.com/doi/full/10.1080/11663081.2019.1703467">[LINK]</a></li>
<li>Roffé, A. J., Ginnobili S. & Blanco, D. (2018). Theoricity, Observation and Homology: A Response to Pearson. History and Philosophy of the Life Sciences. <a target="_blank" href="https://link.springer.com/article/10.1007%2Fs40656-018-0210-5">[LINK]</a></li>
<li>Rubín, M. & Roffé, A. J. (2018). Against a Metaphysical Understanding of Rejection. Principia. <a target="_blank" href="https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2018v22n1p189/pdf">[LINK]</a> <a target="_blank" href="https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2018v22n1p189/pdf">[PDF]</a></li>
<li>Roffé, A. J. (2017). Genetic Drift as a Directional Factor: Biasing Effects and a priori Predictions. Biology & Philosophy. <a target="_blank" href="https://link.springer.com/article/10.1007%2Fs10539-017-9575-1">[LINK]</a></li>
<li>Ginnobili, S. & Roffé, A. J. (2017). Dos usos de los modelos de optimalidad en las explicaciones por selección natural. Metatheoria. <a target="_blank" href="https://metatheoria.unq.edu.ar/index.php/m/article/view/161">[LINK]</a> <a target="_blank" href="https://metatheoria.unq.edu.ar/index.php/m/article/view/161/199">[PDF]</a></li>
<li>Roffé, A. J. & Ginnobili, S. (2017). ¿Son los genetistas de poblaciones inductivistas estrechos? Scientiae Studia. <a target="_blank" href="https://www.revistas.usp.br/ss/article/view/144940">[LINK]</a> <a target="_blank" href="https://www.revistas.usp.br/ss/article/view/144940/139130">[PDF]</a></li>
<li>Roffé, A. J. (2014). Sobre la capturabilidad de teorías informales en sistemas axiomáticos formales. Cuadernos de Filosofía. <a target="_blank" href="http://revistascientificas.filo.uba.ar/index.php/CdF/article/view/3013">[LINK]</a> <a target="_blank" href="http://revistascientificas.filo.uba.ar/index.php/CdF/article/download/3013/2649">[PDF]</a></li>
</ul>
<span id="articles-seemore" class="seemore translatable" data-ES="Ver más...">See more...</span>
<h3 class="translatable" data-ES="Capítulos de libro:">Book Chapters:</h3>
<ul id="book-chapters" class="expandable-list">
<li>Roffé, A. J., Bernabé, F. & Ginnobili, S. (in press). Theoricity and Testing. In C. Abreu (Ed.), Philosophy of Science in the 21st Century. Contributions of Metatheoretical Structuralism. To be published in the collection Rumos da Epistemología of the Núcleo de Epistemología y Lógica de la Universidade Federal de Santa Catarina.</li>
<li>Roffé, A. J., & Ginnobili, S. (in press). Modelos, teorías e idealización en biología: el caso de los estudios de optimalidad. In A. Cassini & C. Hidalgo (Eds.) La ciencia como construcción de modelos. Editorial de la Sociedad Argentina de Análisis Filosófico.</li>
<li>Olmos, A., Roffé, A. J. & Ginnobili, S. (2020). Systemic Analysis and Functional Explanation: Structure and Limitations. In L. Baravalle y L. Zaterka (Eds.), Life and Evolution: Latin American Essays on the History and Philosophy of Biology. Springer. <a target="_blank" href="https://www.springer.com/gp/book/9783030395889">[LINK]</a></li>
<li>Roffé, A. J. (2015). La deriva genética como fuerza evolutiva. In J. Ahumada, N. Venturelli & S. Seno Chibeni (Eds.), Selección de Trabajos del IX Encuentro AFHIC y las XXV Jornadas de Epistemología e Historia de la ciencia. Córdoba: Editorial de la UNC. ISBN: 978-987-707-026-2. <a target="_blank" href="http://www.afhic.com/wp-content/uploads/2017/11/08-Ahumada-y-otros-Filosof%C3%ADa-e-Historia-de-la-Ciencia-del-Cono-Sur-IX-Encuentro-correcto.pdf">[PDF]</a></li>
<li>Roffé, A. J. (2015). La inconmensurabilidad entre las teorías planetarias de Ptolomeo y Copérnico: dos enfoques contemporáneos. In J. Ahumada, N. Venturelli & S. Seno Chibeni (Eds.), Selección de Trabajos del IX Encuentro AFHIC y las XXV Jornadas de Epistemología e Historia de la ciencia. Córdoba: Editorial de la UNC. ISBN: 978-987-707-026-2. <a target="_blank" href="http://www.afhic.com/wp-content/uploads/2017/11/08-Ahumada-y-otros-Filosof%C3%ADa-e-Historia-de-la-Ciencia-del-Cono-Sur-IX-Encuentro-correcto.pdf">[PDF]</a></li>
<li>Roffé, A. J. (2014). La paradoja de Skolem. In E. Barrio (Ed.), Paradojas, paradojas y más paradojas. London: College Publications. <a target="_blank" href="http://www.collegepublications.co.uk/cuadernos/?00007">[LINK]</a></li>
</ul>
<span id="book-chapters-seemore" class="seemore translatable" data-ES="Ver más...">See more...</span>
<h3 class="translatable" data-ES="Reseñas de libro:">Book Reviews:</h3>
<ul id="reviews" class="expandable-list">
<li>Roffé, A. J. (2018). Contemporary Perspectives on the Meaning, Roles, and Implications of Chance in Evolution. Review of Chance in Evolution, by G. Ramsey & C. H. Pence (eds.). Science & Education. <a target="_blank" href="https://link.springer.com/article/10.1007/s11191-018-0011-y">[LINK]</a></li>
<li>Roffé, A. J. (2013). Review of Biology's first law: The tendency for diversity and complexity to increase in evolutionary Systems, by D. W. McShea & R. N. Brandon. Metatheoria. <a target="_blank" href="https://metatheoria.unq.edu.ar/index.php/m/article/view/113">[LINK]</a> <a target="_blank" href="https://metatheoria.unq.edu.ar/index.php/m/article/view/113/165">[PDF]</a></li>
</ul>
<span id="reviews-seemore" class="seemore translatable" data-ES="Ver más...">See more...</span>
<h3 class="translatable" data-ES="Tesis:">Theses:</h3>
<ul>
<li>Roffé, A. J. (2016). La genética de poblaciones y las fuerzas evolutivas. Tesis de licenciatura. <a target="_blank" href="https://drive.google.com/file/d/11AP8gLxfC19akSpUq4YY-FSjpcBYxiYV/view">[PDF]</a></li>
<li>Roffé, A. J. (2020). Contrastando reconstrucciones con herramientas computacionales: una aplicación a la cladística. Tesis de doctorado. <a target="_blank" href="https://drive.google.com/file/d/1UaRw1VQ6KoAlGTV22KueKGzzc0wVmJ0w/view?usp=sharing">[PDF]</a></li>
</ul>
<h3 class="translatable" data-ES="Otros:">Other:</h3>
<ul id="other-research" class="expandable-list">
<li>
<span class="translatable" data-ES="2021: Fui otorgado (junto a Kate Nicole Hoffman) el Marjorie Greene Prize, por la International Society for the History, Philosophy and Social Studies of Biology (ISHPSSB). Cita">
2021: I was the recipient (alongside Kate Nicole Hoffmann) of the Marjorie Green prize, given by the International Society for the History, Philosophy and Social Studies of Biology (ISHPSSB). Citation</span>
<a target="_blank" href="https://www.ishpssb.org/21-prizes/grene-prize/237-2021-grene-prize-citation-for-ariel-jonathan-roffe-and-kate-nicole-hoffmann" class="translatable" data-ES="aquí">here</a>.
</li>
<li>Roffé, A. J. & Da Ré, B. (2016). Introducción a las lógicas modales y no clásicas, parte 1. Buenos Aires: OPFyL. </li>
<li>Da Ré, B. & Roffé, A. J. (2016). Introducción a las lógicas modales y no clásicas, parte 2. Buenos Aires: OPFyL. </li>
</ul>
<span id="other-research-seemore" class="seemore">See more...</span>
</section>
<section id="teaching">
<h2 class="translatable" data-ES="Docencia">Teaching</h2>
<img src="assets/home/teach.png" alt="Teaching">
<h3 class="translatable" data-ES="Cursos dictados:">Courses:</h3>
<ul id="courses" class="expandable-list">
<li class="translatable" data-ES="2021, segundo semestre: Metodología de la investigación (Universidad de La Punta)">
2021, second semester: Methodology of Investigation (Universidad de La Punta)
</li>
<li class="translatable" data-ES="2021, segundo semestre: Filosofía de la ciencia (FCEN-Universidad de Buenos Aires)">
2021, second semester: Philosophy of Science (FCEN-Universidad de Buenos Aires)</li>
<li class="translatable" data-ES="2021, segundo semestre: Filosofía de la biología (FFyL-Universidad de Buenos Aires)">
2021, second semester: Philosophy of Biology (FFyL-Universidad de Buenos Aires)</li>
<li class="translatable" data-ES="2021, primer semestre: Metodología de la investigación (Universidad de La Punta)">
2021, first semester: Methodology of Investigation (Universidad de La Punta)</li>
<li class="translatable" data-ES="2021, primer semestre: Filosofía de la ciencia (Universidad Nacional de Quilmes)">
2021, first semester: Philosophy of Science (Universidad Nacional de Quilmes)</li>
<li class="translatable" data-ES="2020, segundo semestre: Metodología de la investigación (Universidad de La Punta)">
2020, second semester: Methodology of Investigation (Universidad de La Punta)</li>
<li class="translatable" data-ES="2020, segundo semestre: Lógica I (FFyL-Universidad de Buenos Aires)">
2020, second semester: Logic I (FFyL-Universidad de Buenos Aires)</li>
<li class="translatable" data-ES="2020, primer semestre: Metodología de la investigación (Universidad de La Punta)">
2020, first semester: Methodology of Investigation (Universidad de La Punta)</li>
<li class="translatable" data-ES="2020, primer semestre: Lógica I (FFyL-Universidad de Buenos Aires)">
2020, first semester: Logic I (FFyL-Universidad de Buenos Aires)</li>
<li class="translatable" data-ES="2020, primer semestre: Lógica I (FFyL-Universidad de Buenos Aires)">
2019, first semester: Logic I (FFyL-Universidad de Buenos Aires)</li>
<li class="translatable" data-ES="2019, receso de verano: seminario Python para filósofxs (SADAF - Sociedad Argentina de Análisis Filosófico)">
2019, summer recess: seminar, Python for philosophers (SADAF - Argentinian Society of Philosophical Analysis)</li>
<li class="translatable" data-ES="2019, primer semestre: Lógica I (FFyL-Universidad de Buenos Aires)">
2018, first semester: Logic I (FFyL-Universidad de Buenos Aires)</li>
<li class="translatable" data-ES="2018, primer semestre: seminario de grado, La estructura lógica de la biología (FFyL-Universidad de Buenos Aires)">
2018, first semester: undergraduate seminar, The logical structure of biology (FFyL-Universidad de Buenos Aires)</li>
<li class="translatable" data-ES="2017, segundo semestre: Lógica I (FFyL-Universidad de Buenos Aires)">
2017, second semester: Logic I (FFyL-Universidad de Buenos Aires)</li>
<li class="translatable" data-ES="2017, primer semestre: Lógica I (FFyL-Universidad de Buenos Aires)">
2017, first semester: Logic I (FFyL-Universidad de Buenos Aires)</li>
<li class="translatable" data-ES="2016, segundo semestre: Lógica I (FFyL-Universidad de Buenos Aires)">
2016, second semester: Logic I (FFyL-Universidad de Buenos Aires)</li>
<li class="translatable" data-ES="2016, receso de invierno: Introducción al pensamiento científico (UBA XXI-Universidad de Buenos Aires)">
2016, winter recess: Introduction to scientific thinking (UBA XXI-Universidad de Buenos Aires)</li>
<li class="translatable" data-ES="2016, primer semestre: Lógica I (FFyL-Universidad de Buenos Aires)">
2016, first semester: Logic I (FFyL-Universidad de Buenos Aires)</li>
<li class="translatable" data-ES="2015, segundo semestre: Lógica I (FFyL-Universidad de Buenos Aires)">
2015, second semester: Logic I (FFyL-Universidad de Buenos Aires)</li>
<li class="translatable" data-ES="2015, primer semestre: Lógica I (FFyL-Universidad de Buenos Aires)">
2015, first semester: Logic I (FFyL-Universidad de Buenos Aires)</li>
</ul>
<span id="courses-seemore" class="seemore translatable" data-ES="Ver más...">See more...</span>
</section>
<section id="software">
<h2>Software</h2>
<img src="assets/home/compu.gif" alt="Software">
<h3 id="personal-website" class="translatable" data-ES="Este hermoso sitio web">This beautiful website</h3>
<p class="translatable" data-ES="La parte del juego de este sitio fue creada usando el engine para HTML5 llamado Phaser 3.
Los assets que utilicé son todos de dominio público (véase el repositorio de GitHub para los créditos específicos), y
algunos fueron editados/creados por mí. Crear el juego fue bastante trabajo, en muchas áreas distintas, pero me
divertí y aprendí mucho haciéndolo. Esta parte del sitio está hecha simplemente con HTML, CSS y vanilla JS">
The game part of this site was made using the HTML5 game engine Phaser 3. The assets I used are all public domain
(see the GitHub repo for the specific credits), and some I created and/or edited myself. Building the game was
a lot of work in many different areas, but I had a lot of fun and learned a lot making it.
This part of the website was made simply using HTML, CSS and vanilla JS.
</p>
<p>
<span class="translatable" data-ES="Si desea ver el código, puede acceder al repositorio público">
If you wish to see the code, you can access the public repository</span>
<a target="_blank" href="https://github.com/ariroffe/personal-website" class="translatable" data-ES="aquí">here</a>.
</p>
<h3 id="ciyne" class="translatable" data-ES="CIyNE Base de datos de películas">CIyNE Movie Database</h3>
<p class="translatable" data-ES="Trabajé con el grupo de investigación CIyNE, el cual había compilado a las
películas argentinas desde 1900 en un conjunto de planillas de Excel. Mi trabajo consistió en diseñar una
base de datos SQL, traspasar los datos desde las planillas Excel y mostrar la información imitando la estética
del sitio web de filo.uba.ar (mejorándola en la versión para moviles).
El sitio está hecho con Django, PostgreSQL, Docker y Sass.">
I worked with the CIyNE research group, which had compiled a set of Excel sheets with argentinean movies from
1900 onwards. My job was to design an SQL database, move the data from the Excel sheets and show the
information while imitating filo.uba.ar site's aesthetics (and improving on it for the mobile version).
The site is made with Django, PostgreSQL, Docker and Sass.
</p>
<p>
<span class="translatable" data-ES="Acceda en: ">
Access it at: </span>
<a target="_blank" href="http://ciyne.filo.uba.ar/">http://ciyne.filo.uba.ar/</a>
</p>
<p>
<span class="translatable" data-ES="Para una comparación de la estética que estaba imitando: ">
For a comparison of the aesthetic that I was imitating see: </span>
<a target="_blank" href="http://historia.filo.uba.ar/">http://historia.filo.uba.ar/</a>
</p>
<h3 id="clmpst" class="translatable" data-ES="Congreso CLMPST 2023">CLMPST 2023 congress</h3>
<p class="translatable" data-ES="Sitio web para el congreso CLMPST 2023, que va a tener lugar en Buenos Aires.
Hecho con Django y Sass.">
Website for the CLMPST 2023 congress, to be held in Buenos Aires. Made with Django and Sass.
</p>
<p>
<span class="translatable" data-ES="Acceda en: ">
Access it at: </span>
<a target="_blank" href="https://clmpst2023.dc.uba.ar/">https://clmpst2023.dc.uba.ar/</a>
</p>
<h3 id="taut">TAUT</h3>
<p class="translatable" data-ES="TAUT es un sitio web de ejercicios de lógica que se generan al azar y se auto-corrigen">
TAUT is a website where you can find a variety of randomly-generated, self-correcting logic excercises.</p>
<p>
<span class="translatable" data-ES="Puede acceder a él">You can access it</span>
<a href="https://www.taut-logic.com/" class="translatable" data-ES="Aquí">here</a>.
</p>
<p class="translatable" data-ES="Véanse también:">See also:</p>
<ul>
<li><a target="_blank" href="http://dailynous.com/2018/11/20/randomly-generated-self-correcting-logic-exercises-site/"
class="translatable" data-ES="Post en Daily Nous">Daily Nous post</a></li>
<li><a target="_blank" href="https://www.conicet.gov.ar/taut-el-software-desarrollado-por-un-filosofo-del-conicet-para-ensenar-logica/"
class="translatable" data-ES="Artículo en CONICET">CONICET article (in spanish)</a></li>
</ul>
<h3 id="logics">logics</h3>
<p class="translatable" data-ES="Logics es un paquete de Python para hacer lógica matemática. Apunta a la
generalidad (poder representar la mayor cantidad de sistemas posible), a tener código claro y bien documentado, y
a poseer un mínimo de dependencias, más que a la rapidez. Algunas de sus aplicaciones pretendidas son el
software educativo (p.e. TAUT utiliza una versión previa de este paquete) y la posibilidad de prototipar
rápidamente ideas durante el curso de una investigación">
Logics is a Python package for mathematical logic. It aims at generality (being able to represent as many
systems as possible), well-documented and readable code and minimal dependencies, rather than speed. Some of
its intended applications are educational software (e.g. TAUT uses a previous version of this package), and
quick prototyping of ideas for research purposes
</p>
<p>
<span class="translatable" data-ES="Puede acceder a él">You can access it</span>
<a href="https://github.com/ariroffe/logics" class="translatable" data-ES="aquí">here</a>.
</p>
<p>
<span class="translatable" data-ES="Para ver la documentación, haga click">To see the documentation, see</span>
<a href="https://logics.readthedocs.io/en/latest/?" class="translatable" data-ES="aquí">here</a>.</p>
<h3 id="reconstructor">Reconstructor</h3>
<p class="translatable" data-ES="Reconstructor es un programa diseñado para testear y correr reconstrucciones
formales de teorías, hechas bajo la metateoría estructuralista. También hace algunas cosas copadas de lógica,
y creo que puede servir para la enseñanza de la lógica.">
Reconstructor is a program designed to test and run formal reconstructions of theories, made in the
structuralist format. It also does some cool logic stuff, and I believe it can be useful for teaching logic.
</p>
<p class="translatable" data-ES="Descargas:">Downloads:</p>
<h4>[version 2.1]:</h4>
<ul>
<li>Windows: <a target="_blank" href="https://drive.google.com/file/d/1NJV8L_uySY7jbocyIMBgLxYP0AqHWAof/view?usp=sharing">[DOWNLOAD]</a></li>
<li>Linux: <a target="_blank" href="https://drive.google.com/file/d/1Y687e32cFnFcQ0DViujplFCPsmn29Vuf/view?usp=sharing">[DOWNLOAD]</a></li>
</ul>
<h4>[version 1.4]:</h4>
<ul>
<li>Windows: <a target="_blank" href="https://drive.google.com/open?id=1UEdqdWIKI9z-HIA2iudtMlG9RW375T1O">[DOWNLOAD]</a></li>
<li>Mac OS [BETA]: <a target="_blank" href="https://drive.google.com/open?id=1mxUROLizn2sPKvMlVUwcFtOb7vKJ4fXd">[DOWNLOAD]</a></li>
<li>Linux [BETA]: <a target="_blank" href="https://drive.google.com/open?id=1VqE5EaiRwkiKOYem6Ch1etgE7jDKcEvN">[DOWNLOAD]</a></li>
</ul>
<p class="translatable" data-ES="Para correr el programa en Windows simplemente extraiga el archivo .rar
(puede usar WinRAR para eso) y abra Reconstructor.exe">
To run the program on Windows simply extract the .rar file (you can use WinRAR for that), and open Reconstructor.exe</p>
<p>
<span class="translatable" data-ES="Nota: si decide usar Reconstructor en el curso de sus investigaciones, por favor cite">
Note: If you decide to use Reconstructor in the course of your investigations, please cite</span>
<a href="https://www.tandfonline.com/doi/full/10.1080/11663081.2019.1703467" target="_blank" class="translatable" data-ES="este artículo">this article</a>
</p>
<h3 id="bib-unifier">Bib Unifier</h3>
<p class="translatable" data-ES="Bib Unifier es una herramienta CLI hecha en Rust. Toma como input un conjunto
de archivos .bib, y los concatena en un archivo .bib de salida, eliminando entradas repetidas. Detecta
entradas repetidas como aquellas que tienen la misma citation key, el mismo doi, el mismo título, e incluso
un título similar (según ciertas métricas de similaridad entre strings).">
Bib Unifier is a CLI tool made in Rust. It takes as input a set of .bib files, and outputs a single .bib
file that concatenates the input, and deletes repeated entries. It can detect repetitions via the same
citation key, same doi, same title and even similar title (according to some string similarity metrics).
</p>
<p>
<span class="translatable" data-ES="La herramienta puede descargarse">
You can download the tool</span>
<a target="_blank" href="https://drive.google.com/drive/folders/12cy34Vmh4q7DfeWBGot2WQYWokpaVoLf?usp=sharing" class="translatable" data-ES="aquí">here</a>.
</p>
<p>
<span class="translatable" data-ES="Las instrucciones de uso se encuentran en el repositorio público">
See the instructions to use it in the public repository</span>
<a target="_blank" href="https://github.com/ariroffe/bib-unifier" class="translatable" data-ES="aquí">here</a>.
</p>
<p>
<span class="translatable" data-ES="Si eres un desarrollador de Rust, también puedes verlo en">
If you are a Rust developer, you can also see it on</span>
<a target="_blank" href="https://crates.io/crates/bib_unifier">crates.io</a>.
</p>
</section>
<div id="download-cv-sect">
<div id="download-cv">
<a target="_blank" href="CV.pdf"><i class="bi bi-arrow-down-circle-fill"></i></a>
<div><a target="_blank" href="CV.pdf" class="translatable" data-ES="Descargar CV" download>Download CV</a></div>
</div>
<p class="translatable" data-ES="Este es un CV corto. Si necesitas un CV académico completo, escríbeme a
mi casilla de mail personal.">
This is a short CV. If you need a full academic CV please write to my email account.
</p>
</div>
<footer>
<span>Ariel Jonathan Roffé</span>
<a href="mailto:arielroffe@filo.uba.ar">arielroffe@filo.uba.ar</a>
</footer>
<script src="./home.js"></script>
<script data-goatcounter="https://arielroffe.goatcounter.com/count" async src="//gc.zgo.at/count.js"></script>
</body>
</html>