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).

PropertyValue
dbpedia-owl:abstract
  • 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 Âge, elle ne figure pas explicitement parmi les sept arts libéraux (trivium : grammaire, dialectique et rhétorique ; quadrivium : arithmétique, géométrie, astronomie et musique). En outre, on a assisté depuis le XIXe siècle (Boole, Jevons) au développement fulgurant d'une approche mathématique de la logique. Sa convergence opérée avec l'informatique depuis la fin du XXe siècle lui a donné un regain de vitalité. Elle trouve depuis le XXe 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 [Informations douteuses] [réf. nécessaire] (à rapprocher de l'épistémologie).
  • La logica (dal greco λόγος, logos, ovvero "parola", "pensiero", "idea", "argomento", "ragione", da cui poi λογική, logiké) è 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.
  • Logika má více významů – v češtině se běžně používá ve smyslu myšlenková cesta, která vedla k daným závěrům. Logika je také formální věda, zkoumající právě onen způsob vyvozování závěrů.Logika není empirickou vědou o myšlení; studuje objektivní podmínky správnosti, jinak řečeno je to disciplína studující relaci „vyplývání“. Logika také nezkoumá úplně obecně poznání – to je předmětem filosofické disciplíny epistemologie.Jako mnoho dalších věd vznikla logika coby součást filosofie a částečně takové zařazení stále platí. Logika se výrazně rozvinula i v matematice, a tak je řazena i do matematiky. Některé části logiky mají blíž k filosofii, některé k matematice, proto se někdy rozlišuje matematická logika.Logika má prakticky důležité aplikace v informatice.
  • Logika (gr. λόγος, logos – rozum, słowo, myśl) – 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ą (metamatematyka, logika matematyczna), konstruowanie nowych systemów logicznych (np. logiki wielowartościowe), czysto teoretyczne badania o matematycznym charakterze (np. teoria modeli), zastosowania logiki w informatyce i sztucznej inteligencji (logic for computer science).
  • Logika (grezieratik λόγος logos = hitz, arrazoi, funts) argudioen aztertzea gauzatzen duen zientzia da. Bere betebehar nagusiena egia eta gezurra desberdintzeko sistemak eta arrazoitze logikoak ezartzean datza.Logika oso garrantzitsua da epistemologiari dagokionez, honek arrazoitzea ahalbidetzen du, eta horrela, bai gizakiek - zein inteligentziadun beste zenbait izakik, gailuk edo sistemak- arrazoia aurkitzen dute, euren jakituria biderkatu dakielarik. Aipaturiko gailu eta sistemek, ez diote logikari jarraitzen, berez logikaz egindako programa baten aginduetara daude.Gizakiek arrazoitzeko duten modua, beste alor batzuetan ikasi ohi da, psikologia kognitiboan adibidez. Normalean logika, filosofiaren adar bat bailitzan ikasi izan da. 1800. urtearen erditik aurrera, logika matematikaren munduarekin erlazionatu, eta honetan ikasten hasi ziren. Azken aldian ordea, informatikara zabaldu izan da.Horrela, logikaren helburua oso zabala izan daiteke, bere barnean probabilitatearen eta kausen gaineko arrazoitzea biltzen duelarik. Logikan ere aztertu ohi dira, argudioak eta paradoxak. Greziarrek dialektika logika eta erretorikan banandu izan zuen; erretorikan agertutako konbentzitzeko argudioak, logikarekin alderatu daitezke, dialektika delako bien ezaugarri.
  • En general, la lògica (terme que prové del grec clàssic λόγος logos; i que significava paraula, pensament, idea, argument, explicació, raó o principi) és l'estudi dels sistemes de raonament correcte, és a dir, dels sistemes de raonament que un ésser racional podria utilitzar per raonar. La lògica s'ocupa de determinar quines formes d'inferència i de demostració són vàlides i quines no, i per tal de fer-ho la noció central que estudia és la de conseqüència lògica.Com a ciència formal, la lògica estudia i classifica l'estructura de les proposicions i els arguments, tant a través de l'estudi de sistemes formals d'inferència com a través de l'estudi directe del raonament en llenguatge natural. Els temes involucrats en aquests estudis inclouen les fal·làcies, les paradoxes, la inducció, la causalitat, el raonament amb probabilitat, el raonament amb vaguetat i imprecisió, entre altres.Tradicionalment, la lògica s'ha considerat una branca de la filosofia. Sota el nom de dialèctica i juntament amb la gramàtica i la retòrica, configurava el trivi en el sistema d'estudis medievals. Des de mitjans del segle XIX, la lògica formal ha esdevingut una disciplina matemàtica per un doble motiu: perquè s'ha estudiat amb eines matemàtiques i perquè s'ha desenvolupat amb la intenció d'establir una fonamentació per a les matemàtiques. En aquest context, la disciplina s'ha conegut com a lògica simbòlica o lògica matemàtica. Finalment, el paper destacat de la lògica formal en el desenvolupament de la computabilitat, i la implementació informàtica dels sistemes de raonament estudiats per la lògica (sobretot en el marc de la intel·ligència artificial) han fet que la lògica també es pugui considerar en certa manera una subdisciplina de la informàtica.
  • 논리학(論理學, 문화어: 론리학)은 올바른 추론과 증명의 법칙을 연구하는 학문을 말한다. 일반적으로는 논증의 학문이라고 정의되며, 판단·추리·개념 등의 올바른 조리에 관한 과학이라고도 한다. 논리학이 구체적으로, 정확하게 무엇인지에 대해 답하기는 쉽지 않다고도 한다.
  • Логиката е наука за формално-валидните умозаключения. Днес тя се изгражда най-често или като теория за логическата истина, или като теория за логическата импликация, за да се изследва кога една теза (извод, заключение) следва логически от дадени хипотези (предпоставки).
  • Unter Logik (von altgriechisch λογικὴ τέχνη logiké téchnē „denkende Kunst“, „Vorgehensweise“) versteht man die Lehre des vernünftigen Schlussfolgerns. In der Logik wird die Struktur von Argumenten im Hinblick auf ihre Gültigkeit untersucht, unabhängig vom Inhalt der Aussagen. Bereits in diesem Sinne spricht man auch von „formaler“ Logik. Traditionell ist die Logik ein Teil der Philosophie. Ursprünglich hat sich die traditionelle Logik in Nachbarschaft zur Rhetorik entwickelt. Seit dem 20. Jahrhundert versteht man unter Logik überwiegend symbolische Logik, die auch als grundlegende Strukturwissenschaft, z. B. innerhalb der Mathematik und der Theoretischen Informatik, behandelt wird. Die moderne symbolische Logik verwendet statt der natürlichen Sprache eine künstliche Sprache (Ein Satz wie Der Apfel ist rot wird z. B. in der Prädikatenlogik als f(a) formalisiert, wobei a 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 (Dabei werden sogenannte atomare Aussagen durch Buchstaben ersetzt). Die symbolische Logik nennt man auch mathematische Logik oder formale Logik im engeren Sinn.
  • Mantık, bilginin yapısını inceleyen, doğru ile yanlış arasındaki akıl yürütmenin ayrımını yapan disiplindir, doğru düşüncenin aletidir. Önceleri bir felsefe dalıyken daha sonra kendi başına bir ihtisas alanı olmuştur. Matematik ve Bilgisayar Biliminin de parçası haline gelmiştir. Bir disiplin olarak Aristoteles tarafından kurulmuştur. Aristoteles'den etkilenen Farabi tarafından iki kısımda kategorize edilmiştir.(düşünce ve sonuç) İbni Sina geçicilik ve içerme arasındaki ilişkiyi geliştirmiştir. Çağdaş zamanlarda Frege, Russell ve Wittgenstein önemli katkılar yapmıştır.
  • La lógica es una ciencia formal 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 λόγος (logos), «palabra, pensamiento, idea, argumento, razón o principio».Así como el objeto de estudio tradicional de la química es la materia, y el de la biología la vida, el de la lógica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas. La lógica investiga los principios por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenido específico del argumento o el lenguaje utilizado. Por esta razón la lógica se considera una ciencia formal, como la matemática, en vez de una ciencia empírica.La lógica tradicionalmente se consideró una rama de la filosofía. Pero desde finales del siglo XIX, su formalización simbólica ha demostrado una íntima relación con las matemáticas, y dio lugar a la 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 símbolos y reglas de inferencia, lo que ha permitido su aplicación a la informática. Hasta el siglo XIX, la lógica aristotélica y estoica mantuvieron siempre una relación con los argumentos formulados en lenguaje natural. Por eso aunque eran formales, no eran formalistas. Hoy esa relación se trata bajo un punto de vista completamente diferente. La formalización estricta ha mostrado las limitaciones de la lógica tradicional o aristotélica, que hoy se interpreta como una parte pequeña de la lógica de clases.
  • 論理学(ろんりがく、英: Logic)とは、論理を成り立たせる論証の構成やその体系を研究する学問である。
  • Logika berasal dari kata Yunani kuno λόγος (logos) yang berarti hasil pertimbangan akal pikiran yang diutarakan lewat kata dan dinyatakan dalam bahasa. Logika adalah salah satu cabang filsafat.Sebagai ilmu, logika disebut dengan logike episteme (Latin: logica scientia) atau ilmu logika (ilmu pengetahuan) yang mempelajari kecakapan untuk berpikir secara lurus, tepat, dan teratur.Ilmu di sini mengacu pada kemampuan rasional untuk mengetahui dan kecakapan mengacu pada kesanggupan akal budi untuk mewujudkan pengetahuan ke dalam tindakan. Kata logis yang dipergunakan tersebut bisa juga diartikan dengan masuk akal.
  • Ло́гика (др.-греч. λογική — «наука о правильном мышлении», «искусство рассуждения» от λόγος — «речь», «рассуждение», «мысль») — раздел философии, нормативная наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это знание получено разумом, логика также определяется как наука о формах и законах правильного мышления. Поскольку мышление оформляется в языке в виде рассуждения, частными случаями которого являются доказательство и опровержение, логика иногда определяется как наука о способах рассуждения или наука о способах доказательств и опровержений. Логика как наука изучает способы достижения истины в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэтому её также можно определить как науку о способах получения выводного знания.Одна из главных задач логики — определить, как прийти к выводу из предпосылок (правильное рассуждение) и получить истинное знание о предмете размышления, чтобы глубже разобраться в нюансах изучаемого предмета мысли и его соотношениях с другими аспектами рассматриваемого явления.В любой науке логика служит одним из основных инструментов.
  • 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 (meervoud: logici) 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.
  • Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido. No segundo sentido, a lógica é discutida principalmente nas disciplinas de filosofia, matemática e ciência da computação. A lógica examina de forma genérica as formas que a argumentação pode tomar, quais dessas formas são válidas e quais são falaciosas.Em filosofia, o estudo da lógica aplica-se na maioria dos seus principais ramos: metafísica, ontologia, epistemologia e ética.Na matemática, estuda-se as formas válidas de inferência de uma linguagem formal. Na ciência da computação, a lógica é uma ferramenta indispensável. Por fim, a lógica também é estudada na teoria da argumentação.A lógica foi estudada em várias civilizações da Antiguidade. Na Índia, a recursão silogística, Nyaya remonta a 1900 anos atrás. Na China, o Moísmo e a Escola dos Nomes datam de à 2200 anos atrás.Na Grécia Antiga a lógica foi estabelecida como disciplina por Aristóteles, com a sua obra Organon. Ele dividiu a lógica em formal e material. O estudo da lógica era parte do Trivium clássico, juntamente com a gramática e a retórica (ver: Artes liberais).A lógica é frequentemente dividida em três partes: o raciocínio indutivo, o raciocínio abdutivo e o raciocínio dedutivo.
  • Logic (from the Ancient Greek: λογική, logike) has two meanings: first, it describes the use of valid reasoning in some activity; second, it names the normative study of reasoning or a branch thereof. In the latter sense, it features most prominently in the subjects of philosophy, mathematics, and computer science.Logic was studied in several ancient civilizations, including India, China, Persia and Greece. In the West, logic was established as a formal discipline by Aristotle, who gave it a fundamental place in philosophy. The study of logic was part of the classical trivium, which also included grammar and rhetoric. Logic was further extended by Al-Farabi who categorized it into two separate groups (idea and proof). Later, Avicenna revived the study of logic and developed relationship between temporalis and the implication. In the East, logic was developed by Buddhists and Jains.Logic is often divided into three parts: inductive reasoning, abductive reasoning, and deductive reasoning.
dbpedia-owl:thumbnail
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 10433 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 18598 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 136 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 111079368 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-fr:année
  • 1987 (xsd:integer)
prop-fr:auteur
  • Michael R. Genesereth
  • Nils J. Nilsson
prop-fr:langue
  • en
prop-fr:référenceSimplifiée
  • Référence:Logical Foundations of Artificial Intelligence
prop-fr:titre
  • Logical Foundations of Artificial Intelligence
prop-fr:wikiPageUsesTemplate
prop-fr:wikisource
  • Catégorie:Logique
prop-fr:wikiversity
  • Département:Logique
prop-fr:wiktionary
  • logique
prop-fr:éditeur
  • Morgan Kaufmann
dcterms:subject
rdf:type
rdfs:comment
  • 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).
  • La logica (dal greco λόγος, logos, ovvero "parola", "pensiero", "idea", "argomento", "ragione", da cui poi λογική, logiké) è 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.
  • 논리학(論理學, 문화어: 론리학)은 올바른 추론과 증명의 법칙을 연구하는 학문을 말한다. 일반적으로는 논증의 학문이라고 정의되며, 판단·추리·개념 등의 올바른 조리에 관한 과학이라고도 한다. 논리학이 구체적으로, 정확하게 무엇인지에 대해 답하기는 쉽지 않다고도 한다.
  • Логиката е наука за формално-валидните умозаключения. Днес тя се изгражда най-често или като теория за логическата истина, или като теория за логическата импликация, за да се изследва кога една теза (извод, заключение) следва логически от дадени хипотези (предпоставки).
  • 論理学(ろんりがく、英: Logic)とは、論理を成り立たせる論証の構成やその体系を研究する学問である。
  • 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 (meervoud: logici) 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.
  • Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido. No segundo sentido, a lógica é discutida principalmente nas disciplinas de filosofia, matemática e ciência da computação.
  • En general, la lògica (terme que prové del grec clàssic λόγος logos; i que significava paraula, pensament, idea, argument, explicació, raó o principi) és l'estudi dels sistemes de raonament correcte, és a dir, dels sistemes de raonament que un ésser racional podria utilitzar per raonar.
  • Logika má více významů – v češtině se běžně používá ve smyslu myšlenková cesta, která vedla k daným závěrům. Logika je také formální věda, zkoumající právě onen způsob vyvozování závěrů.Logika není empirickou vědou o myšlení; studuje objektivní podmínky správnosti, jinak řečeno je to disciplína studující relaci „vyplývání“.
  • La lógica es una ciencia formal 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 λόγος (logos), «palabra, pensamiento, idea, argumento, razón o principio».Así como el objeto de estudio tradicional de la química es la materia, y el de la biología la vida, el de la lógica es la inferencia.
  • Logika berasal dari kata Yunani kuno λόγος (logos) yang berarti hasil pertimbangan akal pikiran yang diutarakan lewat kata dan dinyatakan dalam bahasa.
  • Mantık, bilginin yapısını inceleyen, doğru ile yanlış arasındaki akıl yürütmenin ayrımını yapan disiplindir, doğru düşüncenin aletidir. Önceleri bir felsefe dalıyken daha sonra kendi başına bir ihtisas alanı olmuştur. Matematik ve Bilgisayar Biliminin de parçası haline gelmiştir. Bir disiplin olarak Aristoteles tarafından kurulmuştur. Aristoteles'den etkilenen Farabi tarafından iki kısımda kategorize edilmiştir.(düşünce ve sonuç) İbni Sina geçicilik ve içerme arasındaki ilişkiyi geliştirmiştir.
  • Logic (from the Ancient Greek: λογική, logike) has two meanings: first, it describes the use of valid reasoning in some activity; second, it names the normative study of reasoning or a branch thereof. In the latter sense, it features most prominently in the subjects of philosophy, mathematics, and computer science.Logic was studied in several ancient civilizations, including India, China, Persia and Greece.
  • Logika (gr. λόγος, logos – rozum, słowo, myśl) – 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ą (metamatematyka, logika matematyczna), konstruowanie nowych systemów logicznych (np.
  • Logika (grezieratik λόγος logos = hitz, arrazoi, funts) argudioen aztertzea gauzatzen duen zientzia da. Bere betebehar nagusiena egia eta gezurra desberdintzeko sistemak eta arrazoitze logikoak ezartzean datza.Logika oso garrantzitsua da epistemologiari dagokionez, honek arrazoitzea ahalbidetzen du, eta horrela, bai gizakiek - zein inteligentziadun beste zenbait izakik, gailuk edo sistemak- arrazoia aurkitzen dute, euren jakituria biderkatu dakielarik.
  • Unter Logik (von altgriechisch λογικὴ τέχνη logiké téchnē „denkende Kunst“, „Vorgehensweise“) versteht man die Lehre des vernünftigen Schlussfolgerns. In der Logik wird die Struktur von Argumenten im Hinblick auf ihre Gültigkeit untersucht, unabhängig vom Inhalt der Aussagen. Bereits in diesem Sinne spricht man auch von „formaler“ Logik. Traditionell ist die Logik ein Teil der Philosophie. Ursprünglich hat sich die traditionelle Logik in Nachbarschaft zur Rhetorik entwickelt. Seit dem 20.
  • Ло́гика (др.-греч. λογική — «наука о правильном мышлении», «искусство рассуждения» от λόγος — «речь», «рассуждение», «мысль») — раздел философии, нормативная наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это знание получено разумом, логика также определяется как наука о формах и законах правильного мышления.
rdfs:label
  • Logique
  • Logic
  • Logica
  • Logica
  • Logik
  • Logika
  • Logika
  • Logika
  • Logika
  • Logika
  • Lògica
  • Lógica
  • Lógica
  • Mantık
  • Логика
  • Логика
  • 論理学
  • 논리학
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbpedia-owl:domain of
is dbpedia-owl:genre of
is dbpedia-owl:literaryGenre of
is dbpedia-owl:mainInterest of
is dbpedia-owl:notableIdea of
is dbpedia-owl:wikiPageDisambiguates of
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is prop-fr:champs of
is prop-fr:genre of
is prop-fr:principauxIntérêts of
is prop-fr:traditionLinguistique of
is skos:subject of
is foaf:primaryTopic of