Reactie op post #161 van Pietverdriet
quote:
Nee, Logica is de wetenschap die zich bezig houd met de formele regels van het redeneren. Het is oa de basis van waarom taal, ook kunstmatige talen betekenis dragen. Daarmee is het ook de basis van programmeertalen.
Het maakt de discussie niet beter als je de hele tijd zelf definities gaat lopen verzinnen.
Dat is formele logica.
Waarom kun je het?
Waar komt dit vermogen vandaan?
Waarom zou het meer zijn dan onzin?
Interne consistentie?
Interne consistentie moet ook de bron omvatten.
Formele logica berust op menselijke logische intuïties.
Onze logische intuïties zijn geworteld in de wereld (een adaptatie)
De samenhang der dingen in de wereld is de uiteindelijke bron.
Ook betekenissen hebben gronden buiten onze taalspelen.
Ze hebben gronden in onze interacties met de fysieke omgeving.
Eet een broodje bedorven filet americain, wordt goed ziek, en het betekent: bah.
Dit inzicht is inductief en dat is een bottom-up benadering.
Formele logica is een top-down benadering.
Dat is alleen mogelijk als alle uitgangspunten formeel gegeven zijn.
De uitgangspunten zijn (syntactische en deductieve) definities en axioma's.
Alleen als alle gronden volledig zijn opgenomen in de formele logica, heb je een punt.
Maar het is al onmogelijk, om de rekenkunde te reduceren tot een formele logica.
Dat blijkt uit de onvolledigheidsstellingen van Gödel.
Het zijn dus geen eigen definities.
En waarom een verbod op eigen definities?
Als niemand ooit een eigen definitie had ingebracht, bestonden er geen definities.
De eis, dat je nooit buiten een andermans definities mag treden, is dictatoriaal.
Uitgaan van dezelfde definities, past bij een samenwerking in groepsverband.
Maar een individu kan ook een nieuwe definitie opwerpen.
Ben jij iemand die het individu ondergeschikt wilt maken aan de groep (of aan jezelf)?