Onderzoeksprojecten (20

www.researchportal.be - 18 jul 2017 17:02:11
Onderzoeksprojecten (20 - 35 van 35)
Zoekfilter: Classificaties: Wijsgerige logica
Het gebruik van adaptieve logica's voor de praktijk en de filosofie van de wiskunde en het gebruik van wiskundige
tools voor de abstracte analyse van adaptieve logica's
Universiteit Gent
Abstract: Dit project betreft het onderzoek naar de relatie tussen wiskunde en adaptieve logica's (AL's) op drie verschillende vlakken:
er wordt onderzocht hoe (a) AL's kunnen gebruikt worden voor de formele modellering van de praktijk van de wiskunde, (b) AL's
problemen van de grondslagen van de wiskunde kunnen oplossen en © wiskundige technieken kunnen gebruikt worden voor de abstracte studie
van AL's.
Organisaties:
• Vakgroep Wijsbegeerte en Moraalwetenschap
Onderzoekers:
• Joke Meheus
Logisch-filosofische studie van de notie "relevantie" in wetenschappelijk en alledaags redeneren
Universiteit Gent
Abstract: Het ontwikkelen van een algemeen logisch-filosofisch kader dat ons in staat stelt om de relevantie te expliciteren die voorkomt in
menselijke redeneerprocessen. Het betreft zowel deductieve relevantie, heuristische relevantie, als de relatie tussen beide.
Organisaties:
• Vakgroep Wijsbegeerte en Moraalwetenschap
Onderzoekers:
• Diderik Batens
Een algemene karakterisering van prospectieve bewijsprocedures
Universiteit Gent
Abstract: Het algemeen opzet van dit project is de ontwikkeling van een methode die op een systematisch wijze toelaat om voor een gegeven
logica een overeenkomstige prospectieve bewijsprocedure te ontwikkelen. Deze systematische methode moet zowel zorgen voor de eenvoudige
formulering van een inferentiesysteem voor een gegeven logica L als voor de ontwikkeling van een bijpassende heuristiek. Bovendien moet dit
ingebed worden in een metatheoretisch kader dat een rechtlijnige uitwerking van het correctheids- en volledigheidsbewijs van de prospectieve
bewijsprocedure ten opzichte van de oorspronkelijke logica L mogelijk maakt.
Organisaties:
• Vakgroep Wijsbegeerte en Moraalwetenschap
Onderzoekers:
• Joke Meheus
Contextuele en formeel-logische aanpak van wetenschappelijke probleemoplossingsprocessen
Universiteit Gent
Abstract: Het project heeft als doel om een methdologie voor wetenschappelijke probleemoplossingsprocessen te ontwikkelen die tegelijkertijd
formeel exact is en rekening houdt met de contextafhankelijkheid van probleemoplossing.
Organisaties:
• Vakgroep Wijsbegeerte en Moraalwetenschap
Onderzoekers:
• Diderik Batens
Een formele aanpak voor probleemoplossing en meer bepaald voor wetenschappelijke probleemoplossing
Universiteit Gent
Abstract: Het doel van dit project is de uitwerking van een formele benadering van probleemoplossing. Dit zal de vorm hebben van een formeel
gekarakteriseerde opeenvolging van problemen (in de enge zin: verzamelingen van vragen) en declaratieve uitdrukkingen. De constructie van deze
opeenvolging zal bepaald worden door een procedure die afhangt van de logische context van het probleem. Het resulterende formaat, dat wat lijkt
op dat van bewijzen, zal dan uitgebreid worden door middel van 'nieuwe premissen'.
Organisaties:
• Vakgroep Wijsbegeerte en Moraalwetenschap
Onderzoekers:
• Joke Meheus
Herdenken van de centrale wetenschapsfilosofische concepten voor wetmatigheid in de speciale wetenschappen en
logisch preciese formulering van de resulterende theorie
Universiteit Gent
Abstract: In de speciale wetenschappen hanteert men wetmatige generalisaties - cf. voorspelling, verklaring, ? De traditionele criteria voor
wetmatigheid sluiten deze echter uit. Doel van dit project is een nieuw theoretisch kader te vinden voor natuurwetten, op basis daarvan adaptieve
logica's voor het redeneren over/met natuurwetten te formuleren en de resultaten te toetsen aan casussen uit verschillende (speciale)
wetenschappen.
Organisaties:
• Vakgroep Wijsbegeerte en Moraalwetenschap
Onderzoekers:
• Joke Meheus
Een analyse van de verhouding vage logica tweewaardige logica in relatie tot de verhouding logica - realiteit met behulp
van inzichten uit de 'neural computing'
Universiteit Gent
Abstract: Het onderwerp betreft de verhouding vage logica-tweewaardige logica in relatie tot de verhouding logica-werkelijkheid. Er zal gebruik
gemaakt worden van artificiële neurale netwerken (ANN) uit de 'neural computing'. De centrale vraag is of de inductie van een
bepaalde logica in ANN-representaties iets zegt over de werkelijkheid en of deze dan noodzakelijkerwijze dezelfde logica bezit.
Organisaties:
• Vakgroep Wijsbegeerte en Moraalwetenschap
Onderzoekers:
• Joke Meheus
Onderzoek naar de praktische en filosofische relevantie van recente ontwikkelingen binnen de generatieve kunst voor de
wetenschap van de complexe fenomenen
Universiteit Gent
Abstract: Binnen de wetenschap van de complexe fenomenen doen zich ontwikkelingen voor met belangrijke wetenschapsfilosofische implicaties.
Het onderzoek zal er in bestaan een bijdrage te leveren tot de discussies die in dit verband worden gevoerd, vanuit het perspectief van generatieve
kunst, omdat zij beschikt over relevante technieken om bepaalde complexe fenomenen - die van belang zijn binnen deze discussies - vanuit een
ander standpunt te benaderen
Organisaties:
• Vakgroep Wijsbegeerte en Moraalwetenschap
Onderzoekers:
• Philip Van Loocke
De relevantie van niet-klassieke logica's voor de wetenschapsfilosofie, de filosofie van de wiskunde en de
taalfilosofie
Universiteit Gent
Abstract: Dit project betreft een samenwerking tussen drie Vlaamse centra voor wijsgerige logica (Ugent, KULeuven, VUB). Het basisidee is dat
klassieke logica's fundamentele tekorten vertonen en daardoor ongeschikt zijn als instrumenten om problemen uit e wetenschapsfilosofie, de
filosofie van de wiskunde en de taalfilosofie adequaat aan te pakken. Het Gentse onderzoek is gericht op adaptieve logica's en toepassingen
ervan in de wetenschapsfilosofie.
Organisaties:
• Vakgroep Wijsbegeerte en Moraalwetenschap
Onderzoekers:
• Diderik Batens
De relevantie van niet-klassieke logica's voor de wetenschapsfilosofie, de filosofie van de wiskunde en de taalfilosofie.
Vrije Universiteit Brussel
Abstract: Dit project brengt de diverse expertises bij elkaar die te vinden zijn in de diverse Centra voor Logica en Wetenschapsfilosofie aan de
universiteiten van Gent (Prof.dr. Diderik Batens), Brussel en Leuven (Prof.dr. Roger Vergauwen). Alle onderzoekers delen een interesse in het
gebruik van niet-klassieke logica's - het kan handelen over paraconsistent, ampliatieve, adaptieve, modale en strikt eindige logica's - om problemen
aan te pakken in de wetenschapsfilosofie, de filosofie van de wiskunde en de taalfilosofie.
De resultaten van dit onderzoek worden o.a. in het vaktijdschrift 'Logique et Analyse'.
Organisaties:
• Centrum voor Logica en Wetenschapsfilosofie
Onderzoekers:
• JEAN VAN BENDEGEM
Formele studie van topics uit de wetenschapsfilosofie, benaderd vanuit adaptieve en erotetische logica's en
gecombineerde vormen ervan.
Vrije Universiteit Brussel
Abstract: Dit project is een samenwerking tussen onderzoeksploegen in de Centra voor Logica en Wetenschapsfilosofie aan de Universiteiten van
Gent en Brussel en de corresponderende groepen in Zielona Gora en Torun, beide in Polen. Aan Vlaamse zijde werd adaptieve logica ontwikkeld
die uitermate geschikt is om kennis in verandering te modelleren, terwijl aan Poolse kant de vraag- en antwoordlogica centraal staat. De basis voor
de samenwerking is dat beide benaderingen elkaar zeer vruchtbaar kunnen beïnvloeden en zodoende zullen toelaten om wetenschapsfilosofische
problemen beter te analyseren.
Organisaties:
• Centrum voor Logica en Wetenschapsfilosofie
Onderzoekers:
• JEAN VAN BENDEGEM
Ontwerp van adaptieve logica?s voor het formeel-exact bestuderen van centrale onderwerpen uit de hedendaagse
wetenschapsfilosofie. Een aanzet tot een nieuwe formele wetenschapsfilosofie
Universiteit Gent
Abstract: Een groot aantal wetenschapsfilosofische concepten kunnen niet gedefinieerd worden op basis van klassieke logica, omdat ze betrekking
hebben op dynamische en niet-monotone redeneerprocessen. In dit project worden adaptieve logica?s, waarmee dit wel mogelijk is, ontworpen en
toegepast.
Organisaties:
• Vakgroep Wijsbegeerte en Moraalwetenschap
Onderzoekers:
• Diderik Batens
• Erik Weber
De studie van de logische structuren behorende bij de verschillende lagen van de realiteit.
Vrije Universiteit Brussel
Abstract: De logische structuur behorende bij een bepaalde laag is de structuur van de verzameling van experimentele proposities in verband met
de entiteiten binnen deze laag. Het onderzoek steunt in eerste instantie op de bevindingen binnen het domein van de quantumlogica waar reeds
een operationele methode is uitgewerkt voor het benaderen van experimentele proposities. Binnen dit kader wordt de logische beschrijving van
dynamische processen van verschillende soorten entiteiten noodzakelijk geacht. twee invalshoeken kunnen worden aangegeven.1) De oscillaties
van de logische waarheidswaarden die zich voordoen bij de tweeledige leugenaarsparadox kunnen gemodelleers worden ald een quantum
dynamisch proces van cognitieve entiteiten. 2) De dynamische processen van fysische entiteiten nl. de eigenschapentransities -een veralgemening
van toestandstransisties binnen het kader van de Genève School - kunnen via een 'actie logica' beschreven worden, mer bapaald een combinatie
van lineaire logica en operationele quabtumlogica. Als zodanig zal dit onderzoek uitmonden in de uitbouw van een model voor en en sequentie
calculus en volledige consistente semantiek voor de specifieke actie logica in (2).
Organisaties:
• Centrum voor Logica en Wetenschapsfilosofie
Onderzoekers:
• JEAN VAN BENDEGEM
De wiskundige praktijk: intergatie van funderings- en anti-funderingsopvattingen in de hedendaagse filosofie van de
wiskunde.
Vrije Universiteit Brussel
Abstract: In het grondslagenonderzoek van de wiskunde is recent een nieuwe richting te identificeren: de anti-fundering. Zowel onder sociologen als
filosofen is er belangstelling voor deze specifieke kijk op wiskunde, meerbepaald als primair in de praktijk geworteld. Merkwaardig is echter dat
deze twee groepen daarbij niet elkaar verwijzen, en de praktijkgedachte de facto anders invullen. Deze obsevatie vormt het uitgangspunt voor een
poging tot integratie van deze verschillende benaderingen. mogelijkheid en wenselijkheid van die integratie zullen worden onderzrocht, en tegelijk
de mate waarin de descriptieve en normatieve dimensies van de beide invullingen moeten worden geretaliveerd. Twee belangrijke deelopdrachten,
die het welslagen van de opdracht zullen bepalen, zijn het uitwerken van een gedegen basismethodologie voor sociologisch onderzoek van de
wiskundige praktijk, en het toetsen van het belang van een sociale oplossingscontext voor wiskundige problemen.
Organisaties:
• Wijsbegeerte-Moraalwetenschappen
Onderzoekers:
• JEAN VAN BENDEGEM
De logica van Willem Stanley Jevons (1835-1882)
Vrije Universiteit Brussel
Abstract: Een vorig OZR-project (1971131490) leverde (onder meer) een schat aan ongepubliceerd materiaal op met betrekking tot de logica van
William Stanley Jevons. Dit project is gericht op de verwerking van dit materiaal, en dient onder meer ter financiering van een nieuw bezoek aan de
Jevons-archieven. Meer bepaal komen volgende thema's aan bod in dit project: (1) De conceptie en werking van Jevons' logische abacus, (2) De
rol van Jevons bij het prioriteitsdebat omtrent de kwantificatie van het predicaat, (3) Jevons' kritiek op de logica van Mill, (4) Jevons en Boole over
probability theory, (5) Universality of method bij Jevons en Boole, (6) De relatie tussen Jevons en Peirce. Met dit project willen we enerzijds nog
meer ongepubliceerd materiaal verzamelen, en anderzijds dat materiaal verwerken in internationale publicaties.
Organisaties:
• Economisch, Monetair en Financieel Beleid
Onderzoekers:
• DIRK FRANTZEN