Hoorcollege 11: Logic and science

Question 1

Logisch conventionalism

Answer 1

Voor elke logische ware zin o (phi), onze linguïstische conventies verklaren waarom o (phi) waar is

Question 2

Different senses of “logic”

Answer 2

Een logica is een tuple <L, |= > met een formele taal een gevolg relatie

Question 3

More substantive readings of logic”

Answer 3

• logica docens: de logica die wordt onderwezen
• logica utens: de logica die wordt gebruikt
• logica ens: de logica zelf

ontwikkeling van de logica is niet cumulatief in de zin dat iets wat eenmaal geaccepteerd was, nooit werd verworpen

Vrijwel alle wetten va logica zijn op een gegeven moment betwist
- niet duidelijk hoe conventionalism dit kan verklaren

Question 4

Revised logic

Answer 4

Kunnen logische theorieën rationeel worden herzien

1). Priest analogy: geometry
- verschillende geometries doen hetzelfde, maar zijn ze allemaal even goed?
- Voor logica redelijk hetzelfde

Question 5

canonical application

Answer 5

deductief redeneren

Question 6

Anti-exceptionalist strategy

Answer 6

herzieningen logica vergelijkbaar met wetenschap

Question 7

How to understand “logica utens”

Answer 7

Logica utens is geen beschrijvend begrip
- wordt eerder gevormd door normen van inferientiele praktijk

Question 8

Revise logical consequence

Answer 8

Kan wat werkelijk uit datgene volgt, worden herzien?
- Het is moeilijk

1). Suggesties van Priest
- Geldigheidsclaims vormen de gegevens van logische theorieen
- Geldigheidsclaims worden uitgedrukt in natuurlijke taal
- Als betekenis veranderd, dan veranderen waarheidswaarden ook

Question 9

How does logic relate to other scientific disciplines

Logica is opzich zelf geen wetenschappelijke studie

Answer 9

Zuivere logica is slechts een formele taal -> tak van de wiskunde

Tegenargument:
- Wiskundige formalisme is weliswaar nuttig, maar is niet voldoende voor een volledige logische theorie
- logica is meer dan alleen wiskunde

Question 10

How does logic relate to other scientific disciplines
Logica is essentieel voor alle wetenschappelijke disciplines

Answer 10

alle theorieen zouden niet -triviaal moeten zijn en dat is een logisch idee

tegenargument:
- zijn alle logische gevolgtrekkingen werkelijk zo algemeen?
- er is niet een logische theorie die voor voor alle wetenschappen geldt

Question 11

Cognitieve wetenschap en logica

Answer 11

logica utens -> algemeen, dus domein afhankelijk
- Kwam onder vuur door selectie taak

tegenargument:
- Resultaten zijn namelijk significant verschillend terwijl backend zelfde
- Dus mensen redeneren met domein-afhankelijke heuristiek