Logic (from the Ancient Greek: λογική, logikḗ), originally meaning "the word" or "what is spoken" (but coming to mean "thought" or "reason"), is generally held to consist of the systematic study of the form of arguments. A valid argument is one where there is a specific relation of logical support between the assumptions of the argument and its conclusion. (In ordinary discourse, the conclusion of such an argument may be signified by words like therefore', hence, ergo and so on.)

Property Value
dbo:abstract
  • المنطق هو دراسة مناهج الفكر وطرق الاستدلال السليم، وفي المقام الأول يدرس في تخصصات الفلسفة والرياضيات وعلم الدلالة وعلم الحاسوب. ويعتبر أرسطو أول من كتب عن المنطق بوصفه علماً قائماً بذاته، وسميت مجموعة بحوثه المنطقية اورغانون، فكان القياس في نظر أرسطو هو صورة الاستدلال، ولكن بقيام النهضة الأوروبية ونهضة العلوم الطبيعية أصبح المنطق علماً مختلفاً نوعا ما عن منطق أرسطو فظهر منطق الاستقراء الذي كان رائده فرانسيس بيكون واستكمله بعد ذلك جون ستيوارت ميل. هناك أيضاً جانب المنطق الرياضي الذي ابتدأه ليبنتز وعدّله برتراند راسل الذي ربط الرياضيات بالمنطق وجعلها امتداد له. (ar)
  • La lógica es una ciencia formal que estudia los principios de la demostración y la inferencia válida. La palabra deriva del griego antiguo λογική logikḗ, que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (lógos), «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 fundamentos 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. (es)
  • 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. (de)
  • La logique, du grec λογική / logikê, est un terme dérivé de λόγος / lógos — 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. Le terme fut utilisé pour la première fois par Xénocrate[réf. nécessaire]. 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 (George 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. (fr)
  • La logica (dal greco λόγος, logos, ovvero "parola", "pensiero", "idea", "argomento", "ragione", da cui poi λογική, logiké) è lo studio del ragionamento e dell'argomentazione, rivolto in particolare a chiarire la correttezza o meno dei procedimenti inferenziali del pensiero. (it)
  • 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. (nl)
  • 論理学(ろんりがく、英: logic)とは、論理を成り立たせる論証の構成やその体系を研究する学問である。 (ja)
  • 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). (pl)
  • 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. Ambos os sentidos se baseando no foco comum referente a harmonia de raciocínio, a proporcionalidade formal entre argumentos, assim sendo, a correta e equilibrada relação entre todos os termos, a total concordância entre cada um deles dentro de um desenvolvimento. 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, estudam-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. (pt)
  • Ло́гика (др.-греч. λογική — «наука о правильном мышлении», «способность к рассуждению» от др.-греч. λόγος — «рассуждение», «мысль», «разум») — раздел философии, нормативная наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это знание получено разумом, логика также определяется как наука о формах и законах правильного мышления. Так как мышление оформляется в языке в виде рассуждения, частными случаями которого являются доказательство и опровержение, логика иногда определяется как наука о способах рассуждения или наука о способах доказательств и опровержений. Логика как наука изучает методы достижения истины в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэтому её также можно определить как науку о способах получения выводного знания. Одна из главных задач логики — определить, как прийти к выводу из предпосылок (правильное рассуждение) и получить истинное знание о предмете размышления, чтобы глубже разобраться в нюансах изучаемого предмета мысли и его соотношениях с другими аспектами рассматриваемого явления. В любой науке логика служит одним из основных инструментов. Кроме философии, логика также является подразделом математики, а булева алгебра одной из основ информатики. (ru)
  • 邏輯(英语:logic),又稱理則、論理、推理、推論,是有效推論的哲學研究。邏輯被使用在大部份的智能活動中,但主要在哲學、數學、語義學和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式,哪種形式是有效的,以及其中的謬論。在哲學裡,邏輯被應用在大多數的主要領域之中:形上學/宇宙論、本體論、知識論及倫理學。在數學裡,邏輯是指研究某個形式語言的有效推論。在辯證法中也會學習到邏輯。 一些古文明(如印度、中國和希臘)都有對邏輯進行研究。在西方,亞里斯多德將邏輯建立成一門正式的學科,並在哲學中給予它一個基本的位子。 邏輯通常可分為三個部份:歸納推理、溯因推理和演繹推理。 (zh)
  • Logic (from the Ancient Greek: λογική, logikḗ), originally meaning "the word" or "what is spoken" (but coming to mean "thought" or "reason"), is generally held to consist of the systematic study of the form of arguments. A valid argument is one where there is a specific relation of logical support between the assumptions of the argument and its conclusion. (In ordinary discourse, the conclusion of such an argument may be signified by words like therefore', hence, ergo and so on.) There is no universal agreement as to the exact scope and subject matter of logic (see , below), but it has traditionally included the classification of arguments, the systematic exposition of the 'logical form' common to all valid arguments, the study of inference, including fallacies, and the study of semantics, including paradoxes. Historically, logic has been studied in philosophy (since ancient times) and mathematics (since the mid-1800s), and recently logic has been studied in computer science, linguistics, psychology, and other fields. (en)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 46426065 (xsd:integer)
dbo:wikiPageRevisionID
  • 745116295 (xsd:integer)
dbp:id
  • p/l060690
dbp:title
  • Logical calculus
dct:subject
http://purl.org/linguistics/gold/hypernym
rdf:type
rdfs:comment
  • المنطق هو دراسة مناهج الفكر وطرق الاستدلال السليم، وفي المقام الأول يدرس في تخصصات الفلسفة والرياضيات وعلم الدلالة وعلم الحاسوب. ويعتبر أرسطو أول من كتب عن المنطق بوصفه علماً قائماً بذاته، وسميت مجموعة بحوثه المنطقية اورغانون، فكان القياس في نظر أرسطو هو صورة الاستدلال، ولكن بقيام النهضة الأوروبية ونهضة العلوم الطبيعية أصبح المنطق علماً مختلفاً نوعا ما عن منطق أرسطو فظهر منطق الاستقراء الذي كان رائده فرانسيس بيكون واستكمله بعد ذلك جون ستيوارت ميل. هناك أيضاً جانب المنطق الرياضي الذي ابتدأه ليبنتز وعدّله برتراند راسل الذي ربط الرياضيات بالمنطق وجعلها امتداد له. (ar)
  • 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. (de)
  • La logica (dal greco λόγος, logos, ovvero "parola", "pensiero", "idea", "argomento", "ragione", da cui poi λογική, logiké) è lo studio del ragionamento e dell'argomentazione, rivolto in particolare a chiarire la correttezza o meno dei procedimenti inferenziali del pensiero. (it)
  • 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. (nl)
  • 論理学(ろんりがく、英: logic)とは、論理を成り立たせる論証の構成やその体系を研究する学問である。 (ja)
  • 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). (pl)
  • 邏輯(英语:logic),又稱理則、論理、推理、推論,是有效推論的哲學研究。邏輯被使用在大部份的智能活動中,但主要在哲學、數學、語義學和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式,哪種形式是有效的,以及其中的謬論。在哲學裡,邏輯被應用在大多數的主要領域之中:形上學/宇宙論、本體論、知識論及倫理學。在數學裡,邏輯是指研究某個形式語言的有效推論。在辯證法中也會學習到邏輯。 一些古文明(如印度、中國和希臘)都有對邏輯進行研究。在西方,亞里斯多德將邏輯建立成一門正式的學科,並在哲學中給予它一個基本的位子。 邏輯通常可分為三個部份:歸納推理、溯因推理和演繹推理。 (zh)
  • La lógica es una ciencia formal que estudia los principios de la demostración y la inferencia válida. La palabra deriva del griego antiguo λογική logikḗ, que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (lógos), «palabra, pensamiento, idea, argumento, razón o principio». (es)
  • La logique, du grec λογική / logikê, est un terme dérivé de λόγος / lógos — 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. Le terme fut utilisé pour la première fois par Xénocrate[réf. nécessaire]. (fr)
  • 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. Ambos os sentidos se baseando no foco comum referente a harmonia de raciocínio, a proporcionalidade formal entre argumentos, assim sendo, a correta e equilibrada relação entre todos os termos, a total concordância entre cada um deles dentro de um desenvolvimento. (pt)
  • Ло́гика (др.-греч. λογική — «наука о правильном мышлении», «способность к рассуждению» от др.-греч. λόγος — «рассуждение», «мысль», «разум») — раздел философии, нормативная наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это знание получено разумом, логика также определяется как наука о формах и законах правильного мышления. Так как мышление оформляется в языке в виде рассуждения, частными случаями которого являются доказательство и опровержение, логика иногда определяется как наука о способах рассуждения или наука о способах доказательств и опровержений. Логика как наука изучает методы достижения истины в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэт (ru)
  • Logic (from the Ancient Greek: λογική, logikḗ), originally meaning "the word" or "what is spoken" (but coming to mean "thought" or "reason"), is generally held to consist of the systematic study of the form of arguments. A valid argument is one where there is a specific relation of logical support between the assumptions of the argument and its conclusion. (In ordinary discourse, the conclusion of such an argument may be signified by words like therefore', hence, ergo and so on.) (en)
rdfs:label
  • Logic (en)
  • منطق (ar)
  • Logik (de)
  • Lógica (es)
  • Logique (fr)
  • Logica (it)
  • 論理学 (ja)
  • Logica (nl)
  • Logika (pl)
  • Lógica (pt)
  • Логика (ru)
  • 逻辑 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:academicDiscipline of
is dbo:associatedBand of
is dbo:associatedMusicalArtist of
is dbo:field of
is dbo:genre of
is dbo:instrument of
is dbo:knownFor of
is dbo:literaryGenre of
is dbo:mainInterest of
is dbo:nonFictionSubject of
is dbo:notableIdea of
is dbo:philosophicalSchool of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbp:data of
is dbp:formerName of
is dbp:knownFor of
is dbp:mainInterests of
is dbp:skills of
is dc:subject of
is http://purl.org/linguistics/gold/hypernym of
is rdfs:seeAlso of
is foaf:primaryTopic of