首页 > 最新文献

Logic Works最新文献

英文 中文
Reduction Trees 树木减少
Pub Date : 2021-11-11 DOI: 10.4324/9781003026532-10
L. Falkenstein, S. Stapleford, Molly Kao
While truth tables allow us to determine the validity or invalidity of arguments by searching for counter-examples, they are limited because as they grow in size, the chance of error increases and the time required to construct and read them becomes increasingly prohibitive. Reduction trees give us a more efficient way of exploring the possible substitution instances of an argument form. They also provide a different and more comprehensible picture of the structure of the argument. Reduction tree construction begins by listing the premises of the argument. The denial of the conclusion is then added as the last item in the list. If the argument is valid, then it is impossible to assert the premises along with the denial of the conclusion without contradiction. The process of developing the rest of the tree involves uncovering the contradictions that must occur if the argument is valid. Let's first consider a simple argument, one whose premises and conclusion consist only of truth functionally simple statements.
虽然真值表允许我们通过搜索反例来确定论点的有效性或无效性,但它们是有限的,因为随着它们的规模增长,出错的机会增加,构建和读取它们所需的时间也变得越来越令人望而却步。约简树为我们提供了一种更有效的方法来探索参数形式的可能替换实例。它们还提供了一幅不同的、更容易理解的论证结构图。约简树的构建首先列出论证的前提。然后将结论的否定添加为列表中的最后一项。如果论证是有效的,那么不可能在没有矛盾的情况下断言前提和否定结论。发展树的其余部分的过程包括揭示如果论点有效必须发生的矛盾。让我们首先考虑一个简单的论证,它的前提和结论只由功能简单的真值语句组成。
{"title":"Reduction Trees","authors":"L. Falkenstein, S. Stapleford, Molly Kao","doi":"10.4324/9781003026532-10","DOIUrl":"https://doi.org/10.4324/9781003026532-10","url":null,"abstract":"While truth tables allow us to determine the validity or invalidity of arguments by searching for counter-examples, they are limited because as they grow in size, the chance of error increases and the time required to construct and read them becomes increasingly prohibitive. Reduction trees give us a more efficient way of exploring the possible substitution instances of an argument form. They also provide a different and more comprehensible picture of the structure of the argument. Reduction tree construction begins by listing the premises of the argument. The denial of the conclusion is then added as the last item in the list. If the argument is valid, then it is impossible to assert the premises along with the denial of the conclusion without contradiction. The process of developing the rest of the tree involves uncovering the contradictions that must occur if the argument is valid. Let's first consider a simple argument, one whose premises and conclusion consist only of truth functionally simple statements.","PeriodicalId":208547,"journal":{"name":"Logic Works","volume":"574 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121736905","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Working with SL Semantics 使用SL语义
Pub Date : 2021-11-11 DOI: 10.4324/9781003026532-6
L. Falkenstein, S. Stapleford, Molly Kao
{"title":"Working with SL Semantics","authors":"L. Falkenstein, S. Stapleford, Molly Kao","doi":"10.4324/9781003026532-6","DOIUrl":"https://doi.org/10.4324/9781003026532-6","url":null,"abstract":"","PeriodicalId":208547,"journal":{"name":"Logic Works","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128880057","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A-6 a - 6
Pub Date : 2021-11-11 DOI: 10.4324/9781003026532-26
L. Falkenstein, S. Stapleford, Molly Kao
{"title":"A-6","authors":"L. Falkenstein, S. Stapleford, Molly Kao","doi":"10.4324/9781003026532-26","DOIUrl":"https://doi.org/10.4324/9781003026532-26","url":null,"abstract":"","PeriodicalId":208547,"journal":{"name":"Logic Works","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122964986","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Formalization 形式化
Pub Date : 2021-11-11 DOI: 10.4324/9781003026532-5
L. Falkenstein, S. Stapleford, Molly Kao
{"title":"Formalization","authors":"L. Falkenstein, S. Stapleford, Molly Kao","doi":"10.4324/9781003026532-5","DOIUrl":"https://doi.org/10.4324/9781003026532-5","url":null,"abstract":"","PeriodicalId":208547,"journal":{"name":"Logic Works","volume":"180 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124496650","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Vocabulary, Syntax, Formalization, and Derivations 词汇,语法,形式化和衍生
Pub Date : 2021-11-11 DOI: 10.4324/9781003026532-13
L. Falkenstein, S. Stapleford, Molly Kao
{"title":"Vocabulary, Syntax, Formalization, and Derivations","authors":"L. Falkenstein, S. Stapleford, Molly Kao","doi":"10.4324/9781003026532-13","DOIUrl":"https://doi.org/10.4324/9781003026532-13","url":null,"abstract":"","PeriodicalId":208547,"journal":{"name":"Logic Works","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131162494","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Semantics and Trees for Modal and Intuitionistic Sentential Logic 模态和直觉句式逻辑的语义和树
Pub Date : 2021-11-11 DOI: 10.4324/9781003026532-14
L. Falkenstein, S. Stapleford, Molly Kao
{"title":"Semantics and Trees for Modal and Intuitionistic Sentential Logic","authors":"L. Falkenstein, S. Stapleford, Molly Kao","doi":"10.4324/9781003026532-14","DOIUrl":"https://doi.org/10.4324/9781003026532-14","url":null,"abstract":"","PeriodicalId":208547,"journal":{"name":"Logic Works","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115480414","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Introduction to the Study of Logic 逻辑研究导论
Pub Date : 2021-11-11 DOI: 10.4324/9781003026532-1
L. Falkenstein, S. Stapleford, Molly Kao
{"title":"Introduction to the Study of Logic","authors":"L. Falkenstein, S. Stapleford, Molly Kao","doi":"10.4324/9781003026532-1","DOIUrl":"https://doi.org/10.4324/9781003026532-1","url":null,"abstract":"","PeriodicalId":208547,"journal":{"name":"Logic Works","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127368832","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A-1 a - 1
Pub Date : 2021-11-11 DOI: 10.4324/9781003026532-7
L. Falkenstein, S. Stapleford, Molly Kao
{"title":"A-1","authors":"L. Falkenstein, S. Stapleford, Molly Kao","doi":"10.4324/9781003026532-7","DOIUrl":"https://doi.org/10.4324/9781003026532-7","url":null,"abstract":"","PeriodicalId":208547,"journal":{"name":"Logic Works","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125074531","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A-2 a -
Pub Date : 2021-11-11 DOI: 10.4324/9781003026532-9
L. Falkenstein, S. Stapleford, Molly Kao
Infants are able to extract words from speech early in life. Here we show that the quality of forming longer-term representations for word forms at birth predicts expressive language ability at the age of two years. Seventy-five neonates were familiarized with two spoken disyllabic pseudowords. We then tested whether the neonate brain predicts the second syllable from the first one by presenting a familiarized pseudoword frequently, and occasionally violating the learned syllable combination by different rare pseudowords. Distinct brain responses were elicited by predicted and unpredicted word endings, suggesting that the neonates had learned the familiarized pseudowords. The difference between responses to predicted and unpredicted pseudowords indexing the quality of word-form learning during familiarization significantly correlated with expressive language scores (the mean length of utterance) at 24 months in the same infant. These findings suggest that 1) neonates can memorize disyllabic words so that a learned first syllable generates predictions for the word ending, and 2) early individual differences in the quality of word-form learning correlate with language skills. This relationship helps early identification of infants at risk for language impairment.
婴儿在很小的时候就能从言语中提取单词。在这里,我们展示了出生时形成单词形式的长期表征的质量可以预测两岁时的表达语言能力。75名新生儿熟悉两个双音节假词。然后,我们测试了新生儿的大脑是否通过频繁地呈现一个熟悉的假词来预测第一个音节的第二个音节,偶尔用不同的罕见假词来违背所学的音节组合。预测和未预测的单词结尾会引起不同的大脑反应,这表明新生儿已经学会了熟悉的假词。同一婴儿在24月龄时对预测和非预测假词的反应差异与表达性语言分数(平均话语长度)显著相关。这些发现表明,1)新生儿可以记忆双音节单词,因此,学会的第一个音节可以预测单词的结尾;2)早期个体在词形学习质量上的差异与语言技能有关。这种关系有助于早期识别有语言障碍风险的婴儿。
{"title":"A-2","authors":"L. Falkenstein, S. Stapleford, Molly Kao","doi":"10.4324/9781003026532-9","DOIUrl":"https://doi.org/10.4324/9781003026532-9","url":null,"abstract":"Infants are able to extract words from speech early in life. Here we show that the quality of forming longer-term representations for word forms at birth predicts expressive language ability at the age of two years. Seventy-five neonates were familiarized with two spoken disyllabic pseudowords. We then tested whether the neonate brain predicts the second syllable from the first one by presenting a familiarized pseudoword frequently, and occasionally violating the learned syllable combination by different rare pseudowords. Distinct brain responses were elicited by predicted and unpredicted word endings, suggesting that the neonates had learned the familiarized pseudowords. The difference between responses to predicted and unpredicted pseudowords indexing the quality of word-form learning during familiarization significantly correlated with expressive language scores (the mean length of utterance) at 24 months in the same infant. These findings suggest that 1) neonates can memorize disyllabic words so that a learned first syllable generates predictions for the word ending, and 2) early individual differences in the quality of word-form learning correlate with language skills. This relationship helps early identification of infants at risk for language impairment.","PeriodicalId":208547,"journal":{"name":"Logic Works","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133866559","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
A-5 一个5
Pub Date : 2021-11-11 DOI: 10.4324/9781003026532-19
L. Falkenstein, S. Stapleford, Molly Kao
{"title":"A-5","authors":"L. Falkenstein, S. Stapleford, Molly Kao","doi":"10.4324/9781003026532-19","DOIUrl":"https://doi.org/10.4324/9781003026532-19","url":null,"abstract":"","PeriodicalId":208547,"journal":{"name":"Logic Works","volume":"127 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115920539","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
期刊
Logic Works
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1