Vad är logik?

Moderator: Moderatorgruppen

J R Auk
Inlägg: 8233
Blev medlem: 19 apr 2004 00:44
Ort: En borgerlig miljö

Inläggav J R Auk » 02 mar 2011 17:45

rekoj skrev:
Om logikern utfört sitt arbete helt enligt logikens regler och spottar ut ett svar som inte stämmer överens med verkligheten, då kan du aldrig säga att logiken har fel. Logikerns/datorns arbete handlar inte om att matcha inre verklighet med yttre verklighet, det är väl ganska självklart, eftersom logikern/datorn saknar medvetande och känner inte till något om yttre världen.

Istället måste felet ligga hos antingen forskaren som samlat in felaktig/otillräcklig information eller kodaren som skrivit in en kod som inte varit korrekt formulerad (logikern kan väl också tänkas ha fel om den slarvar i sin uträkning, men det berör då inte logiken till sin princip (notera skillnad mellan "logiker" och "logik")).

Tror det är kärnan i vad jag velat förmedla i denna tråd... Man kan aldrig skylla ett uppstått fel på att "logiken inte stämde", utan problemet finns alltid i någon av de andra processerna.


Jag instämmer till fullo med dig förutom i det att du påstår att logiker inte har något medvetande :)

Men jag förstår vad du menar, du tänker dig en logiker som får sina premisser av någon annan och inte själv har dem som antaganden. Den som då gör en logisk analys vet bara om det är enligt logikens principer giltigt inte om premisserna stämmer.

Och ja jag tycker det är pedagogiskt uttryckt, även om man i sammanhang utan programmerare bör skippa att göra referens till det.

Bättre bara ha; frågeställare, empiriker, logiker.
The decisions of bureaucracy are frequently reduced to Yes or No answers to drafts submitted to it; the bureaucratic way of thinking has become the secret model for a thought allegedly still free. But the responsibility of philosophical thought in its essential situations is not to play this game. A given alternative is already a piece of heteronomy. - Theodor W. Adorno

Användarvisningsbild
nytt namn
Inlägg: 782
Blev medlem: 23 okt 2009 06:42

Inläggav nytt namn » 02 mar 2011 18:22

J R Auk skrev:
nytt namn skrev:Logik är ingen philosophers stone.
Har ni själva svårt att se det enkla i logik, så snälla, "mystifiera" inte ämnet. :)


Har du lätt att se det enkla i logik? Du som inte ens tycker att det kan bestämmas? Om det inte kan bestämmas hur är det då enkelt?
Ja, jag har lätt att se det enkla i logik. Sen förstår jag inte varför du påstår att jag "inte ens tycker att det kan bestämmas"? Vart har jag sagt det? Jag känner att du börjat spinna iväg i en "never ending story", (och ibland har även jag tid och lust att göra detta, men inte här och nu).

Jag uppfann inte "logik". Vad logik är, står klart och tydligt i länkarna. RTFM.

Utöver det, så känner jag att jag inte längre vill vara ansluten till tråden som en i mängden av alla spin doctors som härjar här....

J R Auk skrev:Jag måste ju anta att du ger det här i respons till mig då det inte finns så många andra poster. Så vad menar du är att mystifiera? Jag lägger ju logik i en konkret mänsklig verksamhet, och just som verksamhet. Jag lägger det inte i ett ideal som verksamheten kan sträva mot. Jag lägger det inte i naturen som en "ordning". Så vad är mystiskt?
Det var ju jag som sa att logik inte är något mystiskt.

Logik är redan perfekt, allt annat "prat" är därför "en form av djupare förnekelse" (ett uttryck som Kotten så fint använde i en annan tråd).

:)

Rorschach
Inlägg: 655
Blev medlem: 25 jul 2008 01:54

Inläggav Rorschach » 02 mar 2011 19:34

"Det" är mycket "upplyftande" att se den något "kreativa" användningen av """ tecken i ett flertal poster. Extra underhållande är det att läsa texten högt för "sig" själv och "samtidigt" illustrera de små "rackarna" med att lyfta upp "fingrarna" i luften.

Användarvisningsbild
Algotezza
Inlägg: 21433
Blev medlem: 21 jul 2006 21:36
Ort: Lund
Kontakt:

Inläggav Algotezza » 03 mar 2011 11:59

Algotezza skrev:
Lill-Leif skrev:
logik i universitetsvärlden är bara matte utan siffror och matematiska operationer


Kan du förtydliga vad du menar med detta?


Båda bygger ju på logik - att genomföra slutledningar och dra slutsatser ur givna premisser, slutsatser som är en följd av deduktionsregler, axiom och begreppsdefinitioner.

Premisserna i matematiska slutledningar (uträkningar, ekvationslösningar etc.) uttrycks kvantitativt (kan man lite förenklat uttrycka det) även om man inte alltid använder siffror utan lika ofta t.ex. bokstäver oa symboler. Talsystemet och olika typer av mängder (N, R, K etc. kolla på Wikipedia)  ingår i matematikens grunder. Dess deduktionsregfeler är ju allt från de grundläggande "fyra räknesätten" till derivator, integraler och allt däröver som jag inte vet så mycket om just nu.

Logiken kan syssla med vilka påstånden som helst i sina premisser. Dess deduktionsregeler grundar sig på  vanliga begrepp som inte, och, eller och om - så. I min lärares på Philosophicum  i Lund (Bettil Mårtensson) utmärkta bok Logik - en introduktion formulerar han de regler som är basen för ett traditionellt logiskt system (i hans bok går han igenom han om satslogik och predikatlogik - sedan är det också möjligt att använda mängdlära för att dra slutsatser - detta går han också igenom i sin bok - detta gäller både inom matematik och logik):

1. Introduktion och elimination av dubbel negation - du får alltid lägga till och ta bort dubbel negation
2. Elimination av och: Från sanningen hos en och-förbindelse av ett antal satser kan man sluta sig till varje enskild sats' sanning
3. Introduktion av och: Från enskilda påståendens sanning kan du sluta dig till deras och-förbindelses sanning
4. Alternativeliminering, eliminering av eller: Om det ena ledet i en sann eller-förbindelse är falskt, är det andra sant
5. Eller-introduktion: Om ett påstående p är sant är (p eller q) sant, där q är ett helt valfritt påstående
6. Modus ponens: Om ett påstående medför ett annat, och det första påståendet är sant, så är det andra sant
7. Om ett påstående medför ett annat och det andra påståendet är falskt, så är det första påståendet falskt.

/Algotezza


Varför fortsätter ni älta denna fråga?  Här är ju svaret ovan  på vad logik som akademisk disciplin innebär och vilka tankelagar den bygger på.

Jag har också skrivit om logik i vardagen som det man är van vid och hur vi i vardagen ofta sammanblandar logisk följdriktighet med kausalitet.

Jag har skrivit om en andlig syn på logik som identisk med Guds kärlek enligt Martinus.

Men jag vet jag har kass cred här och att de flesta skiter i vad jag skriver, osynliggjord, förringad.

That's life for Jesus Light 2.0! HoHoHo!

Crucify the Bastard!

/AlltOmElsa
Algotezza aka Algotezza

J R Auk
Inlägg: 8233
Blev medlem: 19 apr 2004 00:44
Ort: En borgerlig miljö

Inläggav J R Auk » 03 mar 2011 15:26

nytt namn skrev:
J R Auk skrev:
nytt namn skrev:Logik är ingen philosophers stone.
Har ni själva svårt att se det enkla i logik, så snälla, "mystifiera" inte ämnet. :)


Har du lätt att se det enkla i logik? Du som inte ens tycker att det kan bestämmas? Om det inte kan bestämmas hur är det då enkelt?
Ja, jag har lätt att se det enkla i logik. Sen förstår jag inte varför du påstår att jag "inte ens tycker att det kan bestämmas"? Vart har jag sagt det? Jag känner att du börjat spinna iväg i en "never ending story", (och ibland har även jag tid och lust att göra detta, men inte här och nu).

Jag uppfann inte "logik". Vad logik är, står klart och tydligt i länkarna. RTFM.

Utöver det, så känner jag att jag inte längre vill vara ansluten till tråden som en i mängden av alla spin doctors som härjar här....

J R Auk skrev:Jag måste ju anta att du ger det här i respons till mig då det inte finns så många andra poster. Så vad menar du är att mystifiera? Jag lägger ju logik i en konkret mänsklig verksamhet, och just som verksamhet. Jag lägger det inte i ett ideal som verksamheten kan sträva mot. Jag lägger det inte i naturen som en "ordning". Så vad är mystiskt?
Det var ju jag som sa att logik inte är något mystiskt.

Logik är redan perfekt, allt annat "prat" är därför "en form av djupare förnekelse" (ett uttryck som Kotten så fint använde i en annan tråd).

:)


Logik är redan perfekt? Vad får du det ifrån? Logik utvecklas ständigt med nya former, som modallogik, fuzzy logic osv. Varför försöker du neka vad som följer implicit av dina de här uttalanden om att "logik är perfekt", "programmering är logik" osv.

Jag ser bara hur du först säger att det inte kan definieras, inte finns en korrekt definition, och sedan skall du leverera den korrekta definitionen ("främst"). Se bara här ovan, du uppfann inte logik säger du, det går inte att ge en korrekt definition säger du; men vad logik ÄR står i länkarna.

Och så säger du att jag mystifierar logik, och tänker inte ens kommentera vad detta "mystifierande" handlar om.

Dålig respons faktiskt. Obyggda påståenden, undflyende respons på frågor om vad du menar, och så tillskrivning av pejorativa benämningar till dina meningsmotståndare; "spin doctors". Seriöst vad är det för trams.
The decisions of bureaucracy are frequently reduced to Yes or No answers to drafts submitted to it; the bureaucratic way of thinking has become the secret model for a thought allegedly still free. But the responsibility of philosophical thought in its essential situations is not to play this game. A given alternative is already a piece of heteronomy. - Theodor W. Adorno

J R Auk
Inlägg: 8233
Blev medlem: 19 apr 2004 00:44
Ort: En borgerlig miljö

Inläggav J R Auk » 03 mar 2011 15:34

Vi kanske kommer dit till slut Algotezza ;) Det handlar nog inte så mycket om creds som att vissa saker behöver befästas genom en process istället för att lyftas fram som en auktoritär bestämning.


Vad du missar är frågan om vad som ger logik sin giltighet. Det är vad som främst kommit att diskuteras. Alltså finns logiken som sitt eget objekt, finns den i naturen, som kosmos ordnande princip osv osv. Det är relevant om även inte direkt för frågeställningen att definiera 'logik'.
The decisions of bureaucracy are frequently reduced to Yes or No answers to drafts submitted to it; the bureaucratic way of thinking has become the secret model for a thought allegedly still free. But the responsibility of philosophical thought in its essential situations is not to play this game. A given alternative is already a piece of heteronomy. - Theodor W. Adorno

Användarvisningsbild
freddemalte
Inlägg: 3392
Blev medlem: 04 mar 2006 20:04

Inläggav freddemalte » 03 mar 2011 16:49

Hej

Jag får en liten känsla av att det som många försöker göra i denna tråd är att definiera logikens väsen eller vara i sig, hur logiken, inte enbart visar sig för oss, eller hur vi handskas med den, utan hur den är, som om vore den fritt stående för sig själv som en manifestation i en objektivt sann och av medvetandet och tanken oberoende värld. Om så är fallet, vilket inte känns helt fel att tänka sig, synes mig logiken vara likställt med a priori-sanningarna, men tolkade genom sitt genomslag i vår vardagliga, pragmatiska, praktiska och tillämpbara verklighet. Att tänka logiskt, är då att tänka i enlighet med vad som i grunden är sant a priori, sviker vi logiken och lämnar det tänkandet, för att övergå till andra former av ordning och abstraktion, ja då har vi släppt de ankare som är fästa i världen som sådan: a priori.

Vänligen

Fredrik
"Jag drömde att jag var, vaknade och var den jag drömde."

För mig är filosofi i princip likställt med ifrågasättandet av det vardagliga (common-sense) med det rationella tänkandet (analys och abstraktion), känsla och språket som huvudsakliga verktyg i en spännande samklang med fantasin drivet av en enorm nyfikenhet på världen vanligast manifesterad i en undran över hur andra människor upplever sin tillvaro, tänker och känner.

Användarvisningsbild
Algotezza
Inlägg: 21433
Blev medlem: 21 jul 2006 21:36
Ort: Lund
Kontakt:

Inläggav Algotezza » 03 mar 2011 17:11

J R Auk skrev:Vi kanske kommer dit till slut Algotezza ;) Det handlar nog inte så mycket om creds som att vissa saker behöver befästas genom en process istället för att lyftas fram som en auktoritär bestämning.


Vad du missar är frågan om vad som ger logik sin giltighet. Det är vad som främst kommit att diskuteras. Alltså finns logiken som sitt eget objekt, finns den i naturen, som kosmos ordnande princip osv osv. Det är relevant om även inte direkt för frågeställningen att definiera 'logik'.


Är det skillnad på auktoritär och auktoritativ - eller är de helt synonyma?

På vilket agerar jag auktoritärt här?

Exakt vad skall befästas via en process?

Det du pekar på som viktiga frågor: "logiken som sitt eget objekt, finns den i naturen, som kosmos ordnande princip " är just frågor där det finns färdiga svar beroende på vilken värdsbild du utgår från. Inte är det fråga om något slags förutsättningslöst sökande när det gäller svaren på de frågorna, eller? Genast plockar man fram naturlagar  och att det finns något slags given ordning därute i naturen, oberoende av betraktaren. Gammal kristen skåpmat där man brukar peka på logiken i naturen som Gudsbevis och en strävan som naturvetenskapen tagit över, detta att till varje pris peka på ordning i naturen, universum, så desperat att man nu även menar sig kunna bevisa att kaos är självordnanade etc.  

Alla vill bevisa sin Guds existens via oberoende logik här och där i tillvaron. Man vill väl bevisa dämed främst bevsia att ens GUDSBILD är den rätta. Kristna kallar sin Gud för Personlig Himmelsk Fader, naturvetenskapstroende kallar sin Gud för en ungefär en "alltbestämmande kaos-slump-tid-naturlagar-kosmiska konstanter-makt". Handlar inte detta  om att man hoppas att via existensen av en logik som är oberoenda av betraktaren  och som inte härrör ur betraktarens perspektiviskt betingade  perpcetion och medvetande utan som finns"därute objektivt" kunna att tillvaron har ett slags objektiv grund, man kan kalla Gud eller vad man vill.

Då menar jag att logik är det vi vant oss vid (där har du grunden för den) och det vi vant oss vid som händer därute kallar vi naturlagar och kausalitet. Människan knarkar mening/mönster i tillvaron. Finns den inte där lägger vi dit den för att må bra.

En logisk tillvaro är en där vi finner mönster/ mening under dess omedelbara ofta kaotiska och tillfälliga yta. Logik = mönster = mening = något vi gilalr som människor - människan "det meningssökande djuret" (Peter Gärdenfors - eller om det var "meningsskapande"...)

Jag predikar alltså inte något slags kaoslära, jag menar bara att det är vi själva som skapar den ordning vi vill i vår värlsdsbild för att må bra. Jag gör på samma sätt som alla andra, men jag objektiverar inte min subjektiva strävan efter logik, mening och ordning, och menar att det finnsett slags objektiv logik därute, oberoende av mig.

Därute finns något borotm ordning/logik/mening/kaos/ slump... Tinget-i-sig (Kants bergepp) vet vi måste finnas men inte mer - det är tinget-för-mig som kan te sig logiskt, meningsfullt, vara bärare av logik.


Däremot finns alla andra därute som mer eller mindre oberoende av mig och min syn på världen skapar sin bild av den. Men förväxla inte detta faktum med att logiken "finns därute". Jo, den finns iofs "därute": i andras medvetanden och bilder av välrden.


---

Hallisar utan droger ("logik"/ mönster som vår perception  pådyvlar världen)


Bild



Bild



Bild

---


Har jag missat frågan om vad som gör den giltig? Hur då, menar du?



Citat från mina inlägg på denna tråd


Logik eller brist på logik kan finnas i och mellan satser uttryckta i något symbolspråk. Verklgiheten omkring oss kan beskrivas med satser som förhåller sig logiskt eller ologiskt till varandra - men där ute i verkligheten finns ingen logik. Å andra sidan - hur skiljer vi på vår beskrivning av verkligheten och verkligheten? Verklighete är det som bara är, som finns - det som bara finns, helt bortom kausalitet, kronologi och teleologi - men som kommer att präglas mer eller mindre av dessa begrepp när vi beskriver den.

Logik är väl annars det vi har vant oss vid? Och många har vant sig vid att likställa kausalitet och logik.

Mitt sätt att placera nydiskat porslin och glas i köksskåpen är i mina ögon logiskt och välordnat - jag har vant mig vi att ha det så - andras sätt är kaotiskt och ologiskt, det skär i ögonen.

Fruset kaos kallas ordning, logik.

Logik är det kaos vi vant oss vid.

Och som vi tror vi kan hantera och som känns tryggt.

"Varde ljus" som gör kosmos av kaos gör det just i ordets värld. Språket gjorde kosmos av kaos. Världen är en häxkittel bortom logik, kausalitet, ordning, teleologi, kronologi. Med ord väver vi våra skyddsnät, räddningsplankor, broar genom träsket, platåer av spröd mänsklig ordning och logik - så lätt rubbad...


all akademisk formaliserad logik har sin grund i vardagslogiken

alla formella logikregler har extraherats därur

logik i universitetsvärlden är bara matte utan siffror och matematiska operationer

men så finns det ju både induktion och deduktion

ur observationer och induktion växer deduktionen fram när man fastslagit de regelbundheter som vaskats fram ur just iakttagelser och induktion

en sak att se närmare på är förutsättningarna för de kontrafaktiska villkorsatserneas sanningsvärde - här strider formallogiken mot vardagslogiken

och i vardagslogiken anser man ofta kausal följd = logisk följd; här skiljer sig vardagslogik och formallogik
---

Och Martinus menar att "logik = kärlek"
Är det logiskt?


It's all about trying to get cred and gain power.

/Algotezza
Algotezza aka Algotezza

Användarvisningsbild
nytt namn
Inlägg: 782
Blev medlem: 23 okt 2009 06:42

Inläggav nytt namn » 03 mar 2011 19:00

J R Auk skrev:
nytt namn skrev:
J R Auk skrev:
nytt namn skrev:Logik är ingen philosophers stone.
Har ni själva svårt att se det enkla i logik, så snälla, "mystifiera" inte ämnet. :)


Har du lätt att se det enkla i logik? Du som inte ens tycker att det kan bestämmas? Om det inte kan bestämmas hur är det då enkelt?
Ja, jag har lätt att se det enkla i logik. Sen förstår jag inte varför du påstår att jag "inte ens tycker att det kan bestämmas"? Vart har jag sagt det? Jag känner att du börjat spinna iväg i en "never ending story", (och ibland har även jag tid och lust att göra detta, men inte här och nu).

Jag uppfann inte "logik". Vad logik är, står klart och tydligt i länkarna. RTFM.

Utöver det, så känner jag att jag inte längre vill vara ansluten till tråden som en i mängden av alla spin doctors som härjar här....

J R Auk skrev:Jag måste ju anta att du ger det här i respons till mig då det inte finns så många andra poster. Så vad menar du är att mystifiera? Jag lägger ju logik i en konkret mänsklig verksamhet, och just som verksamhet. Jag lägger det inte i ett ideal som verksamheten kan sträva mot. Jag lägger det inte i naturen som en "ordning". Så vad är mystiskt?
Det var ju jag som sa att logik inte är något mystiskt.

Logik är redan perfekt, allt annat "prat" är därför "en form av djupare förnekelse" (ett uttryck som Kotten så fint använde i en annan tråd).

:)


Logik är redan perfekt? Vad får du det ifrån? Logik utvecklas ständigt med nya former, som modallogik, fuzzy logic osv. Varför försöker du neka vad som följer implicit av dina de här uttalanden om att "logik är perfekt", "programmering är logik" osv.
Vad jag får att logik är perfekt ifrån? Ja, jag syftar på dess egen definition.
Att "Logik utvecklas ständigt med nya former, som modallogik, fuzzy logic osv." utesluter inte att den inte är perfekt.

Jag skrev:
nytt namn skrev:Logik är en metod att formalisera språk, för att formalisera relationerna inom ett (annat språk, t.ex. ett naturligt) språk.
Logik är även en uppsättning ("mängd") av dessa formella språk.
Vad du gör, är att räkna upp exempel på (perfekta) formella språk i mängden logik, och utesluter därför inte att logik är perfekt.

J R Auk skrev:Jag ser bara hur du först säger att det inte kan definieras, inte finns en korrekt definition, och sedan skall du leverera den korrekta definitionen ("främst"). Se bara här ovan, du uppfann inte logik säger du, det går inte att ge en korrekt definition säger du; men vad logik ÄR står i länkarna.
Du säger: "Jag ser bara hur du först säger att det inte kan definieras", men jag förstår inte vad du menar - det jag sa först i denna tråd var ju nämligen det ovan sagda. Jag har alltså inte sagt att logik inte kan definieras. Däremot har jag gjort en skillnad mellan formella språk och informella språk. Logik är i sin definition (främst) ett formellt språk. Det är inte svårare än så, så jag förstår fortfarande inte varför du vill "krångla till det".

J R Auk skrev:Och så säger du att jag mystifierar logik, och tänker inte ens kommentera vad detta "mystifierande" handlar om.
Ja, eftersom det inte är jag som "mystifierar" så blir det svårt att kommentera det. Läs vad du själv skrivit istället så förstår du kanske. :)

J R Auk skrev:Dålig respons faktiskt.
Ja, jag förstår att du tycker responsen är dålig, men detta beror i sådant fall på dina förväntningar. Jag sade klart och tydligt att logik är enkelt. Tråkigt om jag i sådant fall gjorde dig besviken.

J R Auk skrev:Obyggda påståenden, undflyende respons på frågor om vad du menar
Undflyende respons? Nej, jag sade klart och tydligt att jag inte ville ha en "never ending story" här. :)

J R Auk skrev:och så tillskrivning av pejorativa benämningar till dina meningsmotståndare; "spin doctors". Seriöst vad är det för trams.
Tja, estetiken ligger i betraktarens öga. ;)

(Edit: Fel på en quote-tag)

Marko
Avstängd
Inlägg: 5407
Blev medlem: 13 jan 2011 01:47

Inläggav Marko » 03 mar 2011 19:04

Bild

Jag antar att man skulle kunna förklara den bilden med logik.
Hjärnan har en komprimerings algoritm där cirklar tar mindre utrymme att lagra än tex trianglar.
hjärnan fyller i det mest troliga mönstret från lagrad information och cirkeln är den mest effektiva och energi besparande metoden.


det går säkerligen att göra upp en logik utifrån det.

Användarvisningsbild
nytt namn
Inlägg: 782
Blev medlem: 23 okt 2009 06:42

Inläggav nytt namn » 03 mar 2011 19:05

J R Auk skrev:Vi kanske kommer dit till slut Algotezza ;) Det handlar nog inte så mycket om creds som att vissa saker behöver befästas genom en process istället för att lyftas fram som en auktoritär bestämning.


Vad du missar är frågan om vad som ger logik sin giltighet. Det är vad som främst kommit att diskuteras. Alltså finns logiken som sitt eget objekt, finns den i naturen, som kosmos ordnande princip osv osv. Det är relevant om även inte direkt för frågeställningen att definiera 'logik'.
Är: Alltså finns logiken som sitt eget objekt, finns den i naturen, som kosmos ordnande princip osv osv. ett metafysiskt antagande?

Användarvisningsbild
David H
Moderator
Inlägg: 5742
Blev medlem: 13 nov 2005 22:29
Ort: Knivsta/Uppsala

Inläggav David H » 03 mar 2011 19:07

Algotezza skrev:
Algotezza skrev:
Lill-Leif skrev:
logik i universitetsvärlden är bara matte utan siffror och matematiska operationer


Kan du förtydliga vad du menar med detta?


Båda bygger ju på logik - att genomföra slutledningar och dra slutsatser ur givna premisser, slutsatser som är en följd av deduktionsregler, axiom och begreppsdefinitioner.

Premisserna i matematiska slutledningar (uträkningar, ekvationslösningar etc.) uttrycks kvantitativt (kan man lite förenklat uttrycka det) även om man inte alltid använder siffror utan lika ofta t.ex. bokstäver oa symboler. Talsystemet och olika typer av mängder (N, R, K etc. kolla på Wikipedia)  ingår i matematikens grunder. Dess deduktionsregfeler är ju allt från de grundläggande "fyra räknesätten" till derivator, integraler och allt däröver som jag inte vet så mycket om just nu.

Logiken kan syssla med vilka påstånden som helst i sina premisser. Dess deduktionsregeler grundar sig på  vanliga begrepp som inte, och, eller och om - så. I min lärares på Philosophicum  i Lund (Bettil Mårtensson) utmärkta bok Logik - en introduktion formulerar han de regler som är basen för ett traditionellt logiskt system (i hans bok går han igenom han om satslogik och predikatlogik - sedan är det också möjligt att använda mängdlära för att dra slutsatser - detta går han också igenom i sin bok - detta gäller både inom matematik och logik):

1. Introduktion och elimination av dubbel negation - du får alltid lägga till och ta bort dubbel negation
2. Elimination av och: Från sanningen hos en och-förbindelse av ett antal satser kan man sluta sig till varje enskild sats' sanning
3. Introduktion av och: Från enskilda påståendens sanning kan du sluta dig till deras och-förbindelses sanning
4. Alternativeliminering, eliminering av eller: Om det ena ledet i en sann eller-förbindelse är falskt, är det andra sant
5. Eller-introduktion: Om ett påstående p är sant är (p eller q) sant, där q är ett helt valfritt påstående
6. Modus ponens: Om ett påstående medför ett annat, och det första påståendet är sant, så är det andra sant
7. Om ett påstående medför ett annat och det andra påståendet är falskt, så är det första påståendet falskt.

/Algotezza


Varför fortsätter ni älta denna fråga?  Här är ju svaret ovan  på vad logik som akademisk disciplin innebär och vilka tankelagar den bygger på.

Jag har också skrivit om logik i vardagen som det man är van vid och hur vi i vardagen ofta sammanblandar logisk följdriktighet med kausalitet.

Jag har skrivit om en andlig syn på logik som identisk med Guds kärlek enligt Martinus.

Men jag vet jag har kass cred här och att de flesta skiter i vad jag skriver, osynliggjord, förringad.

That's life for Jesus Light 2.0! HoHoHo!

Crucify the Bastard!

/AlltOmElsa


Jag tycker om det inlägget du skrev Algotezza. Angående att älta och älta. Ibland kan det behövas bankas in med mer kraft.

Användarvisningsbild
nytt namn
Inlägg: 782
Blev medlem: 23 okt 2009 06:42

Inläggav nytt namn » 03 mar 2011 19:10

Hej

Jag får en liten känsla av att det som många försöker göra i denna tråd är att definiera guds väsen eller vara i sig, hur gud, inte enbart visar sig för oss, eller hur vi handskas med han, utan hur han är, som om vore han fritt stående för sig själv som en manifestation i en objektivt sann och av medvetandet och tanken oberoende värld. Om så är fallet, vilket inte känns helt fel att tänka sig, synes mig gud vara likställt med a priori-sanningarna, men tolkade genom sitt genomslag i vår vardagliga, pragmatiska, praktiska och tillämpbara verklighet. Att tänka på gud, är då att tänka i enlighet med vad som i grunden är sant a priori, sviker vi gud och lämnar det tänkandet, för att övergå till andra former av ordning och abstraktion, ja då har vi släppt de ankare som är fästa i världen som sådan: a priori.

Vänligen

nytt namn

J R Auk
Inlägg: 8233
Blev medlem: 19 apr 2004 00:44
Ort: En borgerlig miljö

Inläggav J R Auk » 03 mar 2011 19:25

Algotezza skrev:
J R Auk skrev:Vi kanske kommer dit till slut Algotezza ;) Det handlar nog inte så mycket om creds som att vissa saker behöver befästas genom en process istället för att lyftas fram som en auktoritär bestämning.


Vad du missar är frågan om vad som ger logik sin giltighet. Det är vad som främst kommit att diskuteras. Alltså finns logiken som sitt eget objekt, finns den i naturen, som kosmos ordnande princip osv osv. Det är relevant om även inte direkt för frågeställningen att definiera 'logik'.


Är det skillnad på auktoritär och auktoritativ - eller är de helt synonyma?

På vilket agerar jag auktoritärt här?


Jag menar inte att du agerar auktoritärt. Men jag menar att om din utsaga inte undersöks utan bara antas i ljuset av att det är du (som är kunnig i dessa frågor) som säger dem så kommer de befästas som auktoritära.

Jag gör inte en större sak av definitionen än att jag kan använda wikipedias definitioner.

"Auktoritär är den som (orätt eller opåkallat) gör anspråk på auktoritet" - även om jag skriver om det till att det är uttrycket och inte den som ger uttryck som är auktoritär. Eller rent av sättet som ett uttryck mottas. Det kan innehålla argumentation vilket kan grunda det som en auktoritet men genom sättet som argumentet förstås så blir det auktoritärt.

"Auktoritet, av latin auctoritas, bemyndigande; myndighet, att ingiva respekt, fullmakt eller tillstånd att göra någonting, eller förmåga att driva igenom sin vilja, någon med legitim makt."

Algotezza skrev:Exakt vad skall befästas via en process?


En förståelse likt den du menar att du bär inför frågan om logik och dess väsen?

Algotezza skrev:Det du pekar på som viktiga frågor: "logiken som sitt eget objekt, finns den i naturen, som kosmos ordnande princip " är just frågor där det finns färdiga svar beroende på vilken värdsbild du utgår från. Inte är det fråga om något slags förutsättningslöst sökande när det gäller svaren på de frågorna, eller?


Jag instämmer till fullo med dig här. Jag har försökt påtala just detta att det följer med antaganden och föregår den definition som söker göras av logik. Det är alltså inte utsagor om 'logik' utan om den värld där vi sen förlägger logiken i för sin existens. Jag tycker det är viktiga poänger. Vad man vill nå är väl det som består i logiken oberoende av de antaganden om metafysik, ontologi, eller vad vi vill kalla det?

Algotezza skrev:Då menar jag att logik är det vi vant oss vid (där har du grunden för den) och det vi vant oss vid som händer därute kallar vi naturlagar och kausalitet. Människan knarkar mening/mönster i tillvaron. Finns den inte där lägger vi dit den för att må bra.

En logisk tillvaro är en där vi finner mönster/ mening under dess omedelbara ofta kaotiska och tillfälliga yta. Logik = mönster = mening = något vi gilalr som människor - människan "det meningssökande djuret" (Peter Gärdenfors - eller om det var "meningsskapande"...)

Jag predikar alltså inte något slags kaoslära, jag menar bara att det är vi själva som skapar den ordning vi vill i vår värlsdsbild för att må bra. Jag gör på samma sätt som alla andra, men jag objektiverar inte min subjektiva strävan efter logik, mening och ordning, och menar att det finnsett slags objektiv logik därute, oberoende av mig.


Jag predikar kaoslära. För varför ordnar vi? För att känna oss trygga, för att slippa betänka det hela hela tiden. Vi förenklar, reducerar genom denna vår belägenhet att skapa mönster. Men genom förenklingen så blir vi för-situerade, vi kommer in med för-förståelse. Nu kan man diskutera i vilken mån vi kan undgå det. Men givet att vi genom kritisk översyn över förförståelse kan öppna upp tolkningen i så stor mån möjligt, så borde det vara eftersträvansvärt. Så att säga göra fulla omdömen som beror på så lite antaganden (tidigare sedda mönster) som möjligt.

Logik som du först postulerar det här ovan måste väl vara vardagslogik? Vad du säger om logik oberoende dig instämmer jag till fullo med.

Algotezza skrev:Därute finns något borotm ordning/logik/mening/kaos/ slump... Tinget-i-sig (Kants bergepp) vet vi måste finnas men inte mer - det är tinget-för-mig som kan te sig logiskt, meningsfullt, vara bärare av logik.

Däremot finns alla andra därute som mer eller mindre oberoende av mig och min syn på världen skapar sin bild av den. Men förväxla inte detta faktum med att logiken "finns därute". Jo, den finns iofs "därute": i andras medvetanden och bilder av välrden.

Och Martinus menar att "logik = kärlek"
Är det logiskt?

It's all about trying to get cred and gain power.

/Algotezza


Det enda problemet med den här subjektivistiskt relativa bilden av logik är att förklara hur vi kan ha universella mönster som alla (eller en övervägande mängd) ser som "giltiga" (givet antagandena som logiken satt som sin metod).

Tydligen hade jag inte tillräckligt med cred för att förlänas kommentar på min respons om Martinus och logik som kärlek ;)
The decisions of bureaucracy are frequently reduced to Yes or No answers to drafts submitted to it; the bureaucratic way of thinking has become the secret model for a thought allegedly still free. But the responsibility of philosophical thought in its essential situations is not to play this game. A given alternative is already a piece of heteronomy. - Theodor W. Adorno

Marko
Avstängd
Inlägg: 5407
Blev medlem: 13 jan 2011 01:47

Inläggav Marko » 03 mar 2011 19:28

hur löser man detta med logik ?

den allmän relativitetsteori används på föremål med hög gravitation
kvantteori används på små föremål i mikro kossmos

svarta hål är små och tunga.


Återgå till "Filosofi"

Vilka är online

Användare som besöker denna kategori: 27 och 0 gäster