Kort verslag van de vergadering van het VvL bestuur op 22 mei 2002

Aanwezig: John-Jules Meyer (voorzitter), Jan van Eijck, Wiebe van der
Hoek, Elias Thijsse.

Verhinderd: Erik Krabbe. 

De voorzitter opent de vergadering om 4.15 uur. 

De volgende agenda wordt vastgesteld: 

1. Notulen vorige vergadering, Mededelingen
2. Activiteiten 
3. Bestuurssamenstelling
4. Ledenvergadering 
5. Lidmaatschapsgelden
6. Wvttk
7. Rondvraag

Ad 1. De notulen van de vorige vergadering zijn van 7 nov 2000. 

Mededeling van JJM namens SIKS: Siks is bereid incidenteel 
activiteiten van VvL mee te sponsoren. 

Mededeling van JvE: VvL heeft een aanbod gekregen van de Beth Stichting 
om jaarlijks de VvL kas te spekken met een bedrag van 1000 Euro. Er 
wordt besloten deze gift in dank te aanvaarden. JvE zal dit schriftelijk 
bevestigen aan de Beth Stichting. 

Mededeling van JvE: VvL heeft het verzoek gekregen mee te doen aan een
middag over `De Erfenis van de Klassieken in de Wetenschapsfilosofie',
te houden op een vrijdag in November 2002 (streefdatum: 1
november). De middag zal bestaan uit vier lezingen, met sprekers aan
te wijzen door respectievelijk de Wiener Kreis Stichting, de Beth
Stichting, de Ned Vereniging voor Wetenschapsfilosofie en de VvL. JvE
stelt voor om Dirk van Dalen als eerste te benaderen, met Gerard
Alberts als reserve-spreker. Dit voorstel vindt algemene instemming.

Ad 2. Het `Debat over de toekomst van de logica' in het voorjaar van
2001 was een groot succes. Een van de conclusies is dat VvL
activiteiten voortaan niet op zaterdag maar op vrijdag moeten worden
gepland.

Plan voor najaar 2002. Op 20 september "Innovatie in Logica Onderwijs"
in Utrecht (Uil-OTS), de hele middag. Beoogde sprekers: Jan van Eijck
& Jan Jaspars (over "Denkende Machines"), Elias Thijsse (over voor- en
nadelen van Barwise/Etchemendy onderwijssoftware), Geertje Zwarts
(over vruchten van het LOK project). Er zal ook worden gepoogd een
Barwise/Etchemendy proponent uit de UK over te laten komen. 

We bieden die dag een ledenlunch aan op dezelfde locatie, en we vragen
om aanmelding vooraf. Tijdens de ledenlunch ledenvergadering VvL.

JvE zegt toe een pamfletje te schrijven ter voorbereiding van de vergadering. 

Ad 3. Penningmeester WvdH aanvaardt per 1 september een nieuwe baan in
Liverpool. Penningmeester WvdH is nooit echt in functie geweest. Tegen
de tijd dat activiteiten gewenst waren speelde zijn sollicitatie in
Liverpool. ET biedt aan het penningmeesterschap over te nemen. De
officiele tekenbevoegdheid berust nog bij Frank Veltman. Elias neemt
de overdracht zsm ter hand. Bij het overdragen van de kas moet een
onafhankelijke kascommissie de boeken controleren. Er wordt besloten
hiervoor Roel de Vrijer en Martin Stokhof te vragen.

Er is dringend behoefte aan nieuwe bestuursleden. JvE heeft
aangekondigd niet lang meer te willen aanblijven als secretaris. JJM
is ook al (te) lang voorzitter. Een korte brainstorm leidde tot de
volgende shortlist van beoogde nieuwe bestuursleden (1) Jan Jaspars,
(2) Rineke Verbrugge, (3) Balder ten Cate, (4) Yde Venema, en zonder
nadere volgorde: Paul Harrestein, Frans Voorbraak, Maarten de Rijke.
JJM neemt de recrutering ter hand. De nieuwe bestuurskandidaten kunnen
in de convocatie voor de bijeenkomst van 20 september worden voorgedragen, 
met tevens een algemeen verzoek om aanmelding van tegenkandidaten. 
Het nieuwe bestuur kan dan officieel tijdens de ledenvergadering worden 
geinstalleerd. 

Ad 4. Ledenvergadering in de lunch voorafgaande aan de 20 september
bijeenkomst. Voorlopige agenda:

  Kasoverzicht
  Bestuurswijziging
  VvL voorstel voor nieuwe activiteiten, met voorlopig keuze uit: 

    * Logica en Spel
    * Paradoxen
    * Drogredenen 
    * Argumentatie en AI
    * Robots en redeneren 
  
  Wvttk

Ad 5. Er is de afgelopen jaren geen contributie geheven. Daarmee zal 
dit jaar weer worden begonnen, maar niet met terugwerkende kracht. 

Nieuwe contributiebedragen: 15 euro voor gewone leden, 10 euro voor 
student-leden. 

De VvL gaat er naar streven leden te werven onder studenten logica, AI 
en aanverwante vakken. 

Ad 6 en 7. ET zegt toe dat hij alsnog lokaal leden gaat werven.
      JvE zegt toe dat hij een aanmeldingsformuliertje voor nieuwe 
      leden gaat produceren. 

De voorzitter sluit de vergadering rond 6 uur. 

Jan van Eijck 
25/5/02