| dbpedia-owl:abstract
|
- Logik ist die Lehre des vernünftigen (Schluss)Folgerns. Die Logik untersucht die Gültigkeit von Argumenten hinsichtlich ihrer Struktur unabhängig vom konkreten Inhalt der eigentlichen Aussagen. In diesem Sinne spricht man auch von „formaler“ Logik. Die Logik ist sowohl eine Disziplin der Philosophie als auch der Mathematik und der Informatik. Seit dem 20. Jahrhundert versteht man unter Logik überwiegend symbolische Logik. Diese verwendet statt der bis dahin vorherrschenden natürlichen Sprache (Der Apfel ist rot) eine erfundene künstliche Sprache (f, wobei x für Der Apfel und f für ist rot steht) und verwendet streng definierte Schlussregeln. Ein einfaches Beispiel für ein solches formales System ist die Aussagenlogik (p steht für die Aussage Der Apfel ist rot). Die symbolische Logik nennt man auch mathematische Logik oder formale Logik im engeren Sinn.
- La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος, «palabra, pensamiento, idea, argumento, razón o principio». La lógica examina la validez de los argumentos en términos de su estructura, (estructura lógica), independientemente del contenido específico del discurso y de la lengua utilizada en su expresión y del los estados reales a los que dicho contenido se pueda referir. Esto es exactamente lo que quiere decir que la lógica es una ciencia «formal». Tradicionalmente ha sido considerada como una parte de la filosofía. Pero en su desarrollo histórico, a partir del final del siglo XIX, y su formalización simbólica ha mostrado su íntima relación con las matemáticas; de tal forma que algunos la consideran como Lógica matemática. En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica. Un cálculo definido por unos símbolos y unas reglas de inferencia. Lo que ha permitido un campo de aplicación fundamental en la actualidad: la informática. Hasta entonces la lógica no tuvo este sentido de estructura formal estricta. La tradición aristotélica y estoica, mantuvo siempre una relación con los argumentos del lenguaje natural, concediendo por tanto a los argumentos una transmisión de contenidos verdaderos. Por ello aún siendo formales, no eran formalistas. Hoy, tras los progresos científicos relativos a la lingüística, y el concepto semántico de verdad en su relación con el lenguaje, tal relación se trata bajo un punto de vista completamente diferente. La formalización estricta ha mostrado las limitaciones de la lógica tradicional interpretada actualmente como una particularidad de la lógica de clases.
- Logic (from the Greek λογική logikē) is the formal systematic study of the principles of valid inference and correct reasoning. Logic is used in most intellectual activities, but is studied primarily in the disciplines of philosophy, mathematics, semantics, and computer science. Logic examines general forms which arguments may take, which forms are valid, and which are fallacies. In philosophy, the study of logic figures in most major areas: epistemology, ethics, metaphysics. In mathematics, it is the study of valid inferences within some formal language. Logic is also studied in argumentation theory. Logic was studied in several ancient civilizations, including the Indian subcontinent, China and Greece. Logic was established as a discipline by Aristotle, who gave it a fundamental place in philosophy. The study of logic was part of the classical trivium. Logic is often divided into two parts, inductive reasoning and deductive reasoning.
- Logiikka (kreikan sanasta λογική, johdettu sanasta λόγος, "sana", "järjestys", "järki") on tieteenala, joka tutkii päättelyn ja ajattelun muotoja, erityisesti deduktiivista päättelyä. Päättely on deduktiivista, jos se säilyttää totuuden siten, että oletusten ollessa tosia johtopäätös ei voi olla epätosi. Logiikka on perinteisesti nähty filosofian osana, mutta 1900-luvulla osa logiikan saralla tehtävästä tutkimuksesta eriytyi matematiikan osaksi. Logiikan tutkimus on myös muodostunut osaksi tietojenkäsittelytiedettä. Usein sanalla 'logiikka' viitataan täsmälliseen symboliseen tekniikkaan tai menetelmään, jolla voidaan tutkia argumentin deduktiivista pätevyyttä tai deduktiivisesti pätevien argumenttien muotoja, joko yleisesti tai tarkoittaen tiettyä logiikan järjestelmää. Filosofinen logiikka pyrkii mallintamaan filosofisesti relevantteja ilmiöitä logiikan keinoin. Esimerkiksi kielifilosofiassa voidaan kielen loogisen analyysin avulla pyrkiä ratkaisemaan kielellis-filosofisia ongelmia. Logiikan voidaan nähdä liittyvän myös läheisesti ontologiaan. Logiikan avulla voidaan tutkia erilaisten formaalien ontologioiden seurauksia. Matemaattisen logiikan painopiste on logiikan termistöä (päättely, malli, määritelmä) koskevien matemaattisten tulosten ja todistusten kehittämisessä. Matemaattisen ja filosofisen (formaalin) logiikan välinen täsmällinen rajanveto on osoittautunut ongelmalliseksi, mutta selviä kulttuurillisia eroja on.
- La logica è lo studio del ragionamento e dell'argomentazione e, in particolare, dei procedimenti inferenziali, rivolto a chiarire quali procedimenti di pensiero siano validi e quali non validi. Fanno parte degli studi della logica anche quelli per le espressioni verbali dell'analisi logica della proposizione e dell'analisi logica del periodo. La parola "logica" deriva dal greco λόγος (lògos), ovvero "parola, pensiero, idea, argomento, ragione".
- 論理学（ろんりがく、英:Logic）とは論理を成り立たせる論証の構成やその体系を研究する学問である。 ここでいう論理とは思考の法則、思考のつながり、推理の仕方や論証のつながりのことである。よく言われる「論理的に話す、書く」という言葉は、つながりを的確に、論証を的確にということである。 この論理を研究する論理学は、昔は哲学の一分野であった。数学の発展により、数理論理学という分野ができた。現在では、数理論理学は数学と論理学のどちらであるとも（時に、どちらでないとも）される。現在の論理学は、（それが論理学であるとするなら）数理論理学と、数理論理学をふまえた論理学と、数理論理学でない論理学とに分化している。 数理論理学は論理を単なる記号の操作として扱う事にTemplate:要出典範囲、記号の操作で表せないものは数理論理学では決して扱うことができない。たとえば、帰納（注意。数学的帰納法は帰納ではなく演繹である）を数理論理学は定式化できないTemplate:要出典。 弁証法なども、「論理」なのであるが、論理学における論理とは異なる。これらは、論理と言うよりむしろ理論（Theory）である。
- Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels van het redeneren. Traditioneel wordt de logica door de filosofie bestudeerd, maar zij wordt ook tot de wiskunde gerekend. De logicus is gespecialiseerd in deze tak van wetenschap, maar ook door wetenschappers binnen veel andere takken en subdisciplines van de wetenschap wordt veel gebruikgemaakt van de logica.
- Logikk er læren om lovene og reglene som gjør tenkningen, resonneringen og argumentasjonen gyldig («logisk»). Den klassiske logikk går tilbake på Aristoteles’ syllogismelære. Helt siden den gang har logikken utgjort en av filosofiens hoveddisipliner. Den moderne logikk kan spores tilbake til 1800-tallet. Det var på denne tiden at bl.a. George Boole, Augustus De Morgan og Gottlob Frege gjorde de første forsøkene på gi logikken en matematisk fremstilling. Den moderne logikkens mest grunnleggende gren er setningslogikken. Andre grener er predikat-, klasse- og relasjonslogikken. I løpet av 1900-tallet ble logikken videre utvidet til å gi rom for usikkerhet og sannsynlighet. Resultatet var utviklingen av bl.a. flerverdi-, fuzzy- og kvantelogikken.
- Logika (gr. λόγος, logos – rozum) – wedle klasycznej definicji – nauka o sposobach jasnego i ścisłego formułowania myśli, o regułach poprawnego rozumowania i uzasadniania twierdzeń. Jako taka wraz z retoryką logika stanowiła część filozofii. Współczesna logika wykorzystując metodę formalną znacznie rozszerzyła pole badań włączając w to badania nad matematyką, konstruowanie nowych systemów logicznych, czysto teoretyczne badania o matematycznym charakterze, zastosowania logiki w informatyce i sztucznej inteligencji (logic for computer science).
- Lógica (do grego clássico λογική logos, que significa palavra, pensamento, ideia, argumento, relato, razão lógica ou princípio lógico), é uma ciência de índole matemática e fortemente ligada à filosofia. Já que o pensamento é a manifestação do conhecimento, e que o conhecimento busca a verdade, é preciso estabelecer algumas regras para que essa meta possa ser atingida. Assim, a lógica é o ramo da filosofia que cuida das regras do bem pensar, ou do pensar correto, sendo, portanto, um instrumento do pensar. A aprendizagem da lógica não constitui um fim em si. Ela só tem sentido enquanto meio de garantir que nosso pensamento proceda corretamente a fim de chegar a conhecimentos verdadeiros. Podemos, então, dizer que a lógica trata dos argumentos, isto é, das conclusões a que chegamos através da apresentação de evidências que a sustentam. O principal organizador da lógica clássica foi Aristóteles, com sua obra chamada Organon. Ele divide a lógica em formal e material. Um sistema lógico é um conjunto de axiomas e regras de inferência que visam representar formalmente o raciocínio válido. Diferentes sistemas de lógica formal foram construídos ao longo do tempo quer no âmbito escrito da Lógica Teórica, quer em aplicações práticas na computação e em Inteligência artificial. Tradicionalmente, lógica é também a designação para o estudo de sistemas prescritivos de raciocínio, ou seja, sistemas que definem como se "deveria" realmente pensar para não errar, usando a razão, dedutivamente e indutivamente. A forma como as pessoas realmente raciocinam é estudado nas outras áreas, como na psicologia cognitiva. Como ciência, a lógica define a estrutura de declaração e argumento para elaborar fórmulas através das quais estes podem ser codificados. Implícita no estudo da lógica está a compreensão do que gera um bom argumento e de quais argumentos são falaciosos. A lógica filosófica lida com descrições formais da linguagem natural. A maior parte dos filósofos assumem que a maior parte do raciocínio "normal" pode ser capturada pela lógica, desde que se seja capaz de encontrar o método certo para traduzir a linguagem corrente para essa lógica. Abaixo estão discussões mais específicas sobre alguns sistemas lógicos.
- Логика (др. -греч. λογική — раздел философии, «наука о правильном мышлении», «искусство рассуждения» от λόγος — «речь», «рассуждение», «мысль») — наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это знание получено разумом, логика также определяется как наука о формах и законах правильного мышления. Поскольку мышление оформляется в языке в виде рассуждения, частными случаями которого являются доказательство и опровержение, логика иногда определяется как наука о способах рассуждения или наука о способах доказательств и опровержений. Логика как наука изучает способы достижения истины в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэтому её также можно определить как науку о способах получения выводного знания. Одна из главных задач логики — определить, как прийти к выводу из предпосылок (правильное рассуждение) и получить истинное знание о предмете размышления, чтобы глубже разобраться в нюансах изучаемого предмета мысли и его соотношениях с другими аспектами рассматриваемого явления. Логика служит одним из инструментов почти любой науки.
- Denna artikel behandlar vetenskapgrenen logik. För logik i betydelsen formellt system, se Formellt system. Logik är en av våra äldsta vetenskaper. Människan har förmodligen sedan "urminnes tider" haft förmågan att omedvetet dra korrekta slutsatser från givna påståenden, abstrahera gemensam information från flera idéer etc. Men det skulle dröja ända till antikens Grekland innan någon på allvar började studera hur dessa resonemang verkligen hänger ihop. Logikens ursprung brukar anges som Aristoteles första systematiseringar av korrekta respektive inkorrekta slutledningar.. Modern logik (såsom formell logik, symbolisk logik och matematisk logik) är en abstrakt vetenskap som ligger i gränslandet mellan filosofi och matematik som även har kopplingar till datalogi, lingvistik och kognitionsforskning. Matematikens olika delar är dock det som ligger allra närmast till hands som studieområde för logiken. Den nära kopplingen kan delvis bero på likheter i arbetsmetoder: exakta definitioner, bevis, abstrahering och formalism m.m. är självklarheter för båda vetenskaperna. Till en början handlade den moderna logiken helt enkelt om den moderna motsvarigheten till Aristoteles idéer: Deduktion i formella system med hjälp av formella språk. Språk som då tidigt studerades var framför allt satslogiken och predikatlogiken. Inom ramen för dessa kunde man ge precisa definitioner för begrepp som sats, bevis och logisk konsekvens. Senare fick logiker mer och mer kunskaper om själva språken, dess möjligheter och begränsningar. Detta logiska studium av metoder och system som redan används inom logiken har gett upphov till många nya grenar av logiken och viktiga begrepp som avgörbarhet och fullständighet.
- 邏輯（Template:Lang-en），或稱為推理、理則，為推論和證明的思想過程。研究推理的學問稱為推理學、理則學，或稱為邏輯學。
- La logique (du grec logikê, dérivé de logos, terme utilisé pour la première fois par Xénocrate signifiant à la fois raison, langage, et raisonnement) est dans une première approche l'étude des règles formelles que doit respecter toute argumentation correcte. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature). Au Moyen-Age, elle ne figure pas explicitement parmi les sept arts libéraux . En outre, on a assisté depuis le Modèle:XIXe siècle au développement fulgurant d'une approche mathématique et informatique de la logique. Elle trouve depuis le XXModèle:E siècle de nombreuses applications en ingénierie, en linguistique, en psychologie cognitive, en philosophie analytique ou en communication. La logique antique se décompose en dialectique, rhétorique, et théorie de la connaissance (à rapprocher de l'épistémologie).
|
| rdfs:comment
|
- La logica è lo studio del ragionamento e dell'argomentazione e, in particolare, dei procedimenti inferenziali, rivolto a chiarire quali procedimenti di pensiero siano validi e quali non validi. Fanno parte degli studi della logica anche quelli per le espressioni verbali dell'analisi logica della proposizione e dell'analisi logica del periodo. La parola "logica" deriva dal greco λόγος (lògos), ovvero "parola, pensiero, idea, argomento, ragione".
- 論理学（ろんりがく、英:Logic）とは論理を成り立たせる論証の構成やその体系を研究する学問である。 ここでいう論理とは思考の法則、思考のつながり、推理の仕方や論証のつながりのことである。よく言われる「論理的に話す、書く」という言葉は、つながりを的確に、論証を的確にということである。 この論理を研究する論理学は、昔は哲学の一分野であった。数学の発展により、数理論理学という分野ができた。現在では、数理論理学は数学と論理学のどちらであるとも（時に、どちらでないとも）される。現在の論理学は、（それが論理学であるとするなら）数理論理学と、数理論理学をふまえた論理学と、数理論理学でない論理学とに分化している。 数理論理学は論理を単なる記号の操作として扱う事にTemplate:要出典範囲、記号の操作で表せないものは数理論理学では決して扱うことができない。たとえば、帰納（注意。数学的帰納法は帰納ではなく演繹である）を数理論理学は定式化できないTemplate:要出典。 弁証法なども、「論理」なのであるが、論理学における論理とは異なる。これらは、論理と言うよりむしろ理論（Theory）である。
- Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels van het redeneren. Traditioneel wordt de logica door de filosofie bestudeerd, maar zij wordt ook tot de wiskunde gerekend. De logicus is gespecialiseerd in deze tak van wetenschap, maar ook door wetenschappers binnen veel andere takken en subdisciplines van de wetenschap wordt veel gebruikgemaakt van de logica.
- 邏輯（Template:Lang-en），或稱為推理、理則，為推論和證明的思想過程。研究推理的學問稱為推理學、理則學，或稱為邏輯學。
- Logik ist die Lehre des vernünftigen (Schluss)Folgerns. Die Logik untersucht die Gültigkeit von Argumenten hinsichtlich ihrer Struktur unabhängig vom konkreten Inhalt der eigentlichen Aussagen. In diesem Sinne spricht man auch von „formaler“ Logik. Die Logik ist sowohl eine Disziplin der Philosophie als auch der Mathematik und der Informatik. Seit dem 20. Jahrhundert versteht man unter Logik überwiegend symbolische Logik.
- La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος, «palabra, pensamiento, idea, argumento, razón o principio».
- Logic (from the Greek λογική logikē) is the formal systematic study of the principles of valid inference and correct reasoning. Logic is used in most intellectual activities, but is studied primarily in the disciplines of philosophy, mathematics, semantics, and computer science. Logic examines general forms which arguments may take, which forms are valid, and which are fallacies. In philosophy, the study of logic figures in most major areas: epistemology, ethics, metaphysics.
- Logiikka (kreikan sanasta λογική, johdettu sanasta λόγος, "sana", "järjestys", "järki") on tieteenala, joka tutkii päättelyn ja ajattelun muotoja, erityisesti deduktiivista päättelyä. Päättely on deduktiivista, jos se säilyttää totuuden siten, että oletusten ollessa tosia johtopäätös ei voi olla epätosi. Logiikka on perinteisesti nähty filosofian osana, mutta 1900-luvulla osa logiikan saralla tehtävästä tutkimuksesta eriytyi matematiikan osaksi.
- Logikk er læren om lovene og reglene som gjør tenkningen, resonneringen og argumentasjonen gyldig («logisk»). Den klassiske logikk går tilbake på Aristoteles’ syllogismelære. Helt siden den gang har logikken utgjort en av filosofiens hoveddisipliner. Den moderne logikk kan spores tilbake til 1800-tallet. Det var på denne tiden at bl.a. George Boole, Augustus De Morgan og Gottlob Frege gjorde de første forsøkene på gi logikken en matematisk fremstilling.
- Logika (gr. λόγος, logos – rozum) – wedle klasycznej definicji – nauka o sposobach jasnego i ścisłego formułowania myśli, o regułach poprawnego rozumowania i uzasadniania twierdzeń. Jako taka wraz z retoryką logika stanowiła część filozofii.
- Lógica (do grego clássico λογική logos, que significa palavra, pensamento, ideia, argumento, relato, razão lógica ou princípio lógico), é uma ciência de índole matemática e fortemente ligada à filosofia. Já que o pensamento é a manifestação do conhecimento, e que o conhecimento busca a verdade, é preciso estabelecer algumas regras para que essa meta possa ser atingida.
- Логика (др. -греч. λογική — раздел философии, «наука о правильном мышлении», «искусство рассуждения» от λόγος — «речь», «рассуждение», «мысль») — наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это знание получено разумом, логика также определяется как наука о формах и законах правильного мышления.
- Denna artikel behandlar vetenskapgrenen logik. För logik i betydelsen formellt system, se Formellt system. Logik är en av våra äldsta vetenskaper. Människan har förmodligen sedan "urminnes tider" haft förmågan att omedvetet dra korrekta slutsatser från givna påståenden, abstrahera gemensam information från flera idéer etc. Men det skulle dröja ända till antikens Grekland innan någon på allvar började studera hur dessa resonemang verkligen hänger ihop.
- La logique (du grec logikê, dérivé de logos, terme utilisé pour la première fois par Xénocrate signifiant à la fois raison, langage, et raisonnement) est dans une première approche l'étude des règles formelles que doit respecter toute argumentation correcte. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature). Au Moyen-Age, elle ne figure pas explicitement parmi les sept arts libéraux .
|
