网站首页  词典首页

请输入您要查询的词汇:

 

词汇 symbolic logic
释义

Definition of symbolic logic in English:

symbolic logic

noun
mass noun
  • The use of symbols to denote propositions, terms, and relations in order to assist reasoning.

    符号逻辑

    Example sentencesExamples
    • It's probably the same reason I like puzzles, and it's no doubt the reason I later excelled in symbolic logic classes.
    • He proposes that Boole's symbolic logic and Leibniz's work on language prefigured the development of computers, and complemented capitalism's imperative towards abstraction.
    • An interview in Cabinet magazine with a man who has invented a new form of symbolic logic.
    • Arrow demonstrated through the use of symbolic logic that, under certain clearly specified conditions or norms, collective choices could not achieve outcomes consistent with the diverse preferences held by voters.
    • Logicians disagree about what additional axioms and revisions are needed to make more of our beliefs about time be theorems of a symbolic logic of time.
    • Scharnberg, who understands mathematics and symbolic logic better than I do, complains about the moral dilemma of some types of Freudianism which claim the sanctity of ‘science’ for psychoanalysis.
    • I can't say for sure - in part it may have been due to the shift from the older syllogistic logic (which required a classification to commence inference) to modern set theory and formal symbolic logic.
    • Discourse communities use language that possesses its own internal symbolic logic, and this places the members of the community in a hierarchical relationship with those of other communities.
    • There have been a lot of ‘proofs’, some aided by kinds of formal or symbolic logic.
    • These remind one ever so much of tortuous university lectures in symbolic logic on a warm spring day.
    • It needs to be expressed in the perfect language of symbolic logic.
    • Now that we know all the details of the language of symbolic logic, it's time to actually do symbolic logic.
    • In the 1980s, as an undergraduate working toward a degree in mathematics at Drew University in Madison, N.J., she found herself particularly intrigued by courses on symbolic logic and infinity.
    • Recall that in 1940 a trial judge in New York disallowed the appointment of Uertrand Russell to teach symbolic logic in the Department of Philosophy of the City College of New York.
    • And yet, within the symbolic logic of the play, male narcissism seems to be symbiotically associated with female predation.
    • Frege was one of the founders of modern symbolic logic putting forward the view that mathematics is reducible to logic.
    • The book also contains cognitive analyses of various other mathematical concepts such as symbolic logic, geometry, and limits.
    • But you won't soon see education experts proclaim that ‘the spread of mobile phone text messaging is allowing students to expand their facility with symbolic logic and to apply it in new and creative ways.’
    • According to Tarski, his theory applies only to artificial languages - in particular, the classical formal languages of symbolic logic - because our natural languages are vague and unsystematic.
    • Russell commented to a friend, ‘I would much rather, of the two, preserve my relations with symbolic logic.’

Definition of symbolic logic in US English:

symbolic logic

noun
  • The use of symbols to denote propositions, terms, and relations in order to assist reasoning.

    符号逻辑

    Example sentencesExamples
    • An interview in Cabinet magazine with a man who has invented a new form of symbolic logic.
    • Recall that in 1940 a trial judge in New York disallowed the appointment of Uertrand Russell to teach symbolic logic in the Department of Philosophy of the City College of New York.
    • And yet, within the symbolic logic of the play, male narcissism seems to be symbiotically associated with female predation.
    • In the 1980s, as an undergraduate working toward a degree in mathematics at Drew University in Madison, N.J., she found herself particularly intrigued by courses on symbolic logic and infinity.
    • Scharnberg, who understands mathematics and symbolic logic better than I do, complains about the moral dilemma of some types of Freudianism which claim the sanctity of ‘science’ for psychoanalysis.
    • These remind one ever so much of tortuous university lectures in symbolic logic on a warm spring day.
    • I can't say for sure - in part it may have been due to the shift from the older syllogistic logic (which required a classification to commence inference) to modern set theory and formal symbolic logic.
    • Russell commented to a friend, ‘I would much rather, of the two, preserve my relations with symbolic logic.’
    • Frege was one of the founders of modern symbolic logic putting forward the view that mathematics is reducible to logic.
    • It needs to be expressed in the perfect language of symbolic logic.
    • Now that we know all the details of the language of symbolic logic, it's time to actually do symbolic logic.
    • It's probably the same reason I like puzzles, and it's no doubt the reason I later excelled in symbolic logic classes.
    • Discourse communities use language that possesses its own internal symbolic logic, and this places the members of the community in a hierarchical relationship with those of other communities.
    • The book also contains cognitive analyses of various other mathematical concepts such as symbolic logic, geometry, and limits.
    • There have been a lot of ‘proofs’, some aided by kinds of formal or symbolic logic.
    • But you won't soon see education experts proclaim that ‘the spread of mobile phone text messaging is allowing students to expand their facility with symbolic logic and to apply it in new and creative ways.’
    • Arrow demonstrated through the use of symbolic logic that, under certain clearly specified conditions or norms, collective choices could not achieve outcomes consistent with the diverse preferences held by voters.
    • He proposes that Boole's symbolic logic and Leibniz's work on language prefigured the development of computers, and complemented capitalism's imperative towards abstraction.
    • Logicians disagree about what additional axioms and revisions are needed to make more of our beliefs about time be theorems of a symbolic logic of time.
    • According to Tarski, his theory applies only to artificial languages - in particular, the classical formal languages of symbolic logic - because our natural languages are vague and unsystematic.
随便看

 

春雷网英语在线翻译词典收录了464360条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。

 

Copyright © 2000-2024 Sndmkt.com All Rights Reserved 更新时间:2024/12/28 0:37:21