Föreställningar om logik

Logikens historia som ämne har präglats av många dispyter om vad ämnet handlar om, och huvudartikeln ' Logik ' har som ett resultat varit tveksam till att förbinda sig till en viss definition av logik. Den här artikeln går igenom olika definitioner av ämnet som har dykt upp under århundradena fram till modern tid, och sätter dem i ett sammanhang som återspeglar rivaliserande uppfattningar om ämnet.

Rivalistiska föreställningar om logik

Under den skolastiska filosofins period var logiken övervägande aristotelisk . Efter skolastikens nedgång sågs logik som en idéaffär av tidiga moderna filosofer som Locke och Hume (1711-1716). Immanuel Kant tog detta ett steg längre. Han börjar med de empiristiska filosofernas antagande, att all kunskap överhuvudtaget är inre i sinnet och att vi inte har någon genuin kunskap om "saker i sig själva". Vidare (en idé som han tycktes ha fått från Hume) är kunskapsmaterialet en följd av separata idéer som inte har något inneboende samband och därmed ingen verklig enhet. För att dessa olika förnimmelser ska bringas in i någon slags ordning och sammanhållning måste det finnas en inre mekanism i sinnet som tillhandahåller de former genom vilka vi tänker, uppfattar och resonerar.

Kant kallar dessa former för kategorier (i en något annan mening än de aristoteliska logikerna använder), av vilka han hävdar att det finns tolv:

  • Kvantitet (singular, partikulär, universell)
  • Kvalitet (jakande, negativ, oändlig)
  • Relation (kategorisk, hypotetisk, disjunktiv)
  • Modalitet (problematisk, assertorisk, apodiktisk)

Detta verkar dock vara ett godtyckligt arrangemang, drivet av önskan att presentera ett harmoniskt utseende än från någon underliggande metod eller system. Till exempel tvingade varje divisions trefaldiga natur honom att lägga till konstgjorda kategorier som det oändliga omdömet.

Denna uppfattning om logik utvecklades så småningom till en extrem form av psykologism som hyllades på nittonde av Benno Erdmann och andra. Logikhistorikers uppfattning är att Kants inflytande var negativt.

En annan syn på logik som förespråkades av Hegel och andra i hans skola (såsom Lotze , Bradley , Bosanquet och andra), var "den rena idéns logik". Det centrala inslaget i denna uppfattning är identifieringen av logik och metafysik. Universum har sitt ursprung i tankekategorierna. Tanken i sin fullaste utveckling blir den Absoluta Idén, ett gudomligt sinne som utvecklas i universums utveckling.

I den moderna perioden sa Gottlob Frege "Precis som "vacker" visar vägen för estetik och "bra" för etik, så gör ord som "sant" för logik", och fortsatte att karakterisera logikens särskiljande uppgift "att urskilja sanningens lagar". Senare WV Quine (1940, s. 2–3) logik i termer av ett logiskt ordförråd, vilket i sin tur identifieras av ett argument att de många särskilda ordförråden —Quine nämner geologiska ordförråd — används i deras speciella diskurser tillsammans med en gemensam, ämnesoberoende kärna av termer. Dessa termer utgör alltså den logiska vokabulären, och de logiska sanningarna är de sanningar som är gemensamma för alla speciella ämnen.

Hofweber (2004) listar flera definitioner av logik och fortsätter med att hävda att alla definitioner av logik är av en av fyra sorter. Dessa är att logik är studiet av: (i) artificiella formella strukturer, (ii) ljudinferens (t.ex. Poinsot), (iii) tautologier (t.ex. Watts) eller (iv) allmänna drag i tanken (t.ex. Frege ) . Han hävdar då att dessa definitioner är relaterade till varandra, men inte utmattar varandra, och att en granskning av formell ontologi visar att dessa brister mellan rivaliserande definitioner beror på knepiga frågor inom ontologi.

Informella och vardagliga definitioner

Ordnade i ungefärlig kronologisk ordning.

  • Verktyget för att skilja mellan det sanna och det falska ( Averroes ).
  • Vetenskapen om resonemang, lära ut sättet att undersöka okänd sanning i samband med en avhandling ( Robert Kilwardby ) .
  • Konsten vars funktion är att styra orsaken så att den inte tar fel på sättet att sluta eller veta ( John Poinsot) .
  • Konsten att föra förnuftet väl i att veta saker ( Antoine Arnauld) .
  • Rätt användning av förnuftet i utredningen efter sanningen ( Isaac Watts) .
  • Vetenskapen, såväl som konsten, av resonemang ( Richard Whately) .
  • Vetenskapen om förståelsens operationer som är underordnade uppskattningen av bevis ( John Stuart Mill) .
  • Vetenskapen om det diskursiva tänkandets lagar ( James McCosh) .
  • Vetenskapen om de mest allmänna sanningens lagar ( Gottlob Frege) .

Se även

Anteckningar

  1. ^ Från 'Der Gedanke', Beitraege zur Philosophie des deutschen Idealismus I, 1918, s.58--77, översatt som 'Tanke' i Beaney (1997).
  2. ^ Jfr. Ferreiros, 2001
  3. ^ Zekai Sen filosofiska, logiska och vetenskapliga perspektiv inom teknik sida 114
  • Beaney, M. (1997). Frege-läsaren . Oxford: Blackwell.
  • Ferreirós, J. (2001). Vägen till modern logik – en tolkning . I Bulletin of Symbolic Logic 7(4):441-483.
  • Frege, G. (1897). Logik . transl. Long, P. & White, R., Postuma skrifter.
  • Hofweber, T. (2004). Logik och ontologi . Stanford Encyclopedia of Philosophy .
  • Joyce, GH (1908). Logikens principer . London.
  • Kilwardby, R. The Nature of Logic , från De Ortu Scientarum , övers. Kretzmann, i Kretzmann N. & Stump E., The Cambridge Translation of Medieval Philosophical Texts, Vol I. Cambridge 1988, s. 262 ff.)
  • McCosh, J. (1870). Lagarna för det diskursiva tänkandet . London.
  • Mill, JS (1904). Ett system av logik . 8:e upplagan. London.
  • Poinsot, J. (1637/1955). "Konturer av formell logik". I hans Ars Logica , Lyons 1637, ed. och transl. FC Wade, 1955.
  • Quine, WVO (1940/1981). Matematisk logik . Tredje upplagan. Harvard University Press.
  • Watts, I. (1725). Logick.
  • Whateley, R. (1826). Element av logik .
Hämtad från " https://en.wikipedia.org/w/index.php?title=Conceptions_of_logic&oldid=999554011 "