- Sie sind hier:
- Startseite
- Über uns
- Map of International Research Activities (MIRA)
- Detail
Back
Back
Author |
|
| Name | Vaz Silva, Mahan |
| Research field | Philosophy, Logic |
| Career stage | doctoral researcher |
| Home university/institution | Ruhr-Universität Bochum (RUB) |
| Department/Research unit at home university/institution | Philosophy and Educational Research |
| Chair/Working group at home institution | Logik und Erkenntnistheorie |
International activity |
|
| Country | Belgium |
| Location | Ghent |
| University | Ghent University |
| Fund Research School | PR.INT |
| Type of activity | research stay |
| Period |
starts 10-05-2025 ends 10-12-2025 |
| Keywords | Logic, Nondeterministic Semantics, Non-classical Logic, Paraconsistent Logics |
| Report |
This visit had two distinct parts, which were interconnected. First, it consisted in research job at Ghent University under the supervision of Dr. Pawel Pawlowski and Prof. Dr. Joke Meheus, while the second consisted in a Workshop on non deterministic semantics, held at the last day of my visit (https://sites.google.com/dac.unicamp.br/ndsworkshop/). During the research time, for the first week we had only Dr. Pawlowski and I working on different ideas on nondeterministic semantics, mainly focusing on logics with negation, those within the CLoN-family of logics. The attention to these logics given during this period is also due to the fact that they were popularized by Diderik Batens, an Emeritus Professor from UGhent. We proposed a few new readings on those logics, that differ from their usual reading by flexibilizing their semantics. The fact that these logics are hyperintensional makes a usually straightforward adaptation very tricky. For the second week, we had also the opportunity of working together with Dr. Thomas Macaulay Ferguson (RPI), which inspired us to tackle new problems within the same framework. This time, we expanded the ideas developed so far to a new axiom (called FVP, for Ferguson-Vaz-Pawlowski), in which a negation of an implication implies the affirmation of the antecedent or the negation of the consequent. This relates some interpretations of implication in Nelson's logic, rendering yet another draft. The Workshop on Nondeterministic Semaantics was organized by me and Dr. Pawlowski and it was held on the 17th of October 2025. The workshop had talks from 7 speakers (Marcelo Esteban Coniglio (UNICAMP/CLE), Thomas Macaulay Fergusson (RPI), Stef Frijters (KU Leuven), Pablo Rivas-Robledo (University of Amsterdam), Daniel Skurt (RUB), Mahan Vaz (UNICAMP/RUB), Peter Verdée (UCLouvain)) concerning different aspects of Non-deterministic semantics, ranging from technical developments in the area, pedagogical applications and philosophical inquiries about the area. It is important to highlight that 3 of the participants are South Americans (Mahan Vaz, Marcelo Coniglio and Pablo Rivas-Robledo). |